Alexander Pretschner

Walter Alexander Pretschner

	2013
c56		Florian Kelbert, Alexander Pretschner: Data usage control enforcement in distributed systems. CODASPY 2013: 71-82
c55		Prachi Kumari, Alexander Pretschner: Model-Based Usage Control Policy Derivation. ESSoS 2013: 58-74
	2012
j20		Gilles Barthe, Jorge Cuéllar, Javier Lopez, Alexander Pretschner: Preface. Journal of Computer Security 20(4): 307-308 (2012)
j19		Mark Utting, Alexander Pretschner, Bruno Legeard: A taxonomy of model-based testing approaches. Softw. Test., Verif. Reliab. 22(5): 297-312 (2012)
c54		Prachi Kumari, Alexander Pretschner: Deriving implementation-level policies for usage control enforcement. CODASPY 2012: 83-94
c53		Matthias Büchler, Johan Oudinet, Alexander Pretschner: SPaCiTE - Web Application Testing Engine. ICST 2012: 858-859
c52		Tobias Wuchner, Alexander Pretschner: Data Loss Prevention Based on Data-Driven Usage Control. ISSRE 2012: 151-160
c51		Florian Kelbert, Alexander Pretschner: Towards a policy enforcement infrastructure for distributed usage control. SACMAT 2012: 119-122
c50		Denis Feth, Alexander Pretschner: Flexible Data-Driven Security for Android. SERE 2012: 41-50
c49		Matthias Büchler, Johan Oudinet, Alexander Pretschner: Semi-Automatic Security Testing of Web Applications from a Secure Model. SERE 2012: 253-262
	2011
j18		Bernhard Beckert, Dennis Hofheinz, Jörn Müller-Quade, Alexander Pretschner, Gregor Snelting: Software Security in Virtualized Infrastructures - The Smart Meter Example. it - Information Technology 53(3): 142-151 (2011)
j17		Ilinca Ciupa, Alexander Pretschner, Manuel Oriol, Andreas Leitner, Bertrand Meyer: On the number and nature of faults found by random testing. Softw. Test., Verif. Reliab. 21(1): 3-28 (2011)
c48		Ricardo Neisse, Alexander Pretschner, Valentina Di Giacomo: A Trustworthy Usage Control Enforcement Framework. ARES 2011: 230-235
c47		Cornelius Moucha, Enrico Lovat, Alexander Pretschner: A Hypervisor-Based Bus System for Usage Control. ARES 2011: 254-259
c46		Ricardo Neisse, Dominik Holling, Alexander Pretschner: Implementing Trust in Cloud Infrastructures. CCGRID 2011: 524-533
c45		Prachi Kumari, Alexander Pretschner, Jonas Peschla, Jens-Michael Kuhn: Distributed data usage control for web applications: a social network implementation. CODASPY 2011: 85-96
c44		Alexander Pretschner, Enrico Lovat, Matthias Büchler: Representation-Independent Data Usage Control. DPM/SETOP 2011: 122-140
c43		Enrico Lovat, Alexander Pretschner: Data-centric multi-layer usage control enforcement: a social network example. SACMAT 2011: 151-152
c42		Matthias Büchler, Johan Oudinet, Alexander Pretschner: Security Mutants for Property-Based Testing. TAP 2011: 69-77
e4		Ralf Reussner, Alexander Pretschner, Stefan Jähnichen (Eds.): Software Engineering 2011 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25.02.2011, Karlsruhe. LNI 184, GI 2011, isbn 978-3-88579-278-9
e3		Jorge Cuéllar, Javier Lopez, Gilles Barthe, Alexander Pretschner (Eds.): Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6710, Springer 2011, isbn 978-3-642-22443-0
	2010
c41		Alexander Pretschner: Doktorandensymposium der SE 2010. Software Engineering (Workshops) 2010: 514-516
e2		Gregor Engels, Markus Luckey, Alexander Pretschner, Ralf Reussner (Eds.): Software Engineering 2010 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26.02.2010, Paderborn. LNI 160, GI 2010, isbn 978-3-88579-254-3
	2009
j16		Alexander Pretschner, Florian Schütz, Christian Schaefer, Thomas Walter: Policy Evolution in Distributed Usage Control. Electr. Notes Theor. Comput. Sci. 244: 109-123 (2009)
c40		Alexander Pretschner, Judith Rüesch, Christian Schaefer, Thomas Walter: Formal Analyses of Usage Control Policies. ARES 2009: 98-105
c39		Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol: On the Effectiveness of Test Extraction without Overhead. ICST 2009: 416-425
c38		Christian Schaefer, Thomas Walter, Matús Harvan, Alexander Pretschner: Usage Control Policy Enforcement in OpenOffice.org and Information Flow. ISSA 2009: 393-406
c37		Matús Harvan, Alexander Pretschner: State-Based Usage Control Enforcement with Data Flow Tracking using System Call Interposition. NSS 2009: 373-380
	2008
j15		Alexander Pretschner, Manuel Hilty, Florian Schütz, Christian Schaefer, Thomas Walter: Usage Control Enforcement: Present and Future. IEEE Security & Privacy 6(4): 44-53 (2008)
j14		Volkmar Lotz, Emmanuel Pigout, Peter M. Fischer, Donald Kossmann, Fabio Massacci, Alexander Pretschner: Towards Systematic Achievement of Compliance in Service-Oriented Architectures: The MASTER Approach. Wirtschaftsinformatik 50(5): 383-391 (2008)
c36		Alexander Pretschner, Thomas Walter: Negotiation of Usage Control Policies - Simply the Best? ARES 2008: 1135-1136
c35		Alexander Pretschner, Manuel Hilty, David A. Basin, Christian Schaefer, Thomas Walter: Mechanisms for usage control. ASIACCS 2008: 240-244
c34		Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer: On the Predictability of Random Tests for Object-Oriented Software. ICST 2008: 72-81
c33		Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry: Test-Driven Assessment of Access Control in Legacy Applications. ICST 2008: 238-247
c32		Alexander Pretschner, Tejeddine Mouelhi, Yves Le Traon: Model-Based Tests for Access Control Policies. ICST 2008: 338-347
c31		Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner: Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. ISSRE 2008: 157-166
c30		Alexander Pretschner, Ruth Breu: Vorwort zum Doktorandensymposium der Modellierung 2008. Modellierung 2008: 215-216
c29		Alexander Pretschner: Doctoral Symposium at MODELS 2008. MoDELS 2008: 908-909
	2007
j13		Alexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner: 4th Intl. ICSE workshop on Software Engineering for Automotive Systems. ACM SIGSOFT Software Engineering Notes 32(4): 40 (2007)
j12		Alexander Pretschner, Wolfgang Prenninger: Computing refactorings of state machines. Software and System Modeling 6(4): 381-399 (2007)
c28		Manuel Hilty, Alexander Pretschner, David A. Basin, Christian Schaefer, Thomas Walter: A Policy Language for Distributed Usage Control. ESORICS 2007: 531-546
c27		Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner: Software Engineering for Automotive Systems: A Roadmap. FOSE 2007: 55-71
c26		Alexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner: 4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion 2007: 146
c25		Benoit Baudry, Alain Faivre, Sudipto Ghosh, Alexander Pretschner: 4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. MoDELS Workshops 2007: 145-150
c24		Manuel Hilty, Alexander Pretschner, Christian Schaefer, Thomas Walter: DUKE - Distributed Usage Control Enforcement. POLICY 2007: 275
c23		Berthold Agreiter, Muhammad Alam, Ruth Breu, Michael Hafner, Alexander Pretschner, Jean-Pierre Seifert, Xinwen Zhang: A technical architecture for enforcing usage control requirements in service-oriented architectures. SWS 2007: 18-25
c22		Alexander Pretschner, Fabio Massacci, Manuel Hilty: Usage Control in Service-Oriented Architectures. TrustBus 2007: 83-93
	2006
j11		Alexander Pretschner, Manuel Hilty, David A. Basin: Distributed usage control. Commun. ACM 49(9): 39-44 (2006)
j10		Martin Rappl, Alexander Pretschner, Chris Salzmann, Thomas Stauner: 3rd Intl. ICSE workshop on software engineering for automotive systems. ACM SIGSOFT Software Engineering Notes 31(5): 22-23 (2006)
c21		Martin Rappl, Alexander Pretschner, Chris Salzmann, Thomas Stauner: 3rd international workshop on software engineering for automotive systems - SEAS 2006. ICSE 2006: 1034
c20		Manuel Hilty, Alexander Pretschner, Christian Schaefer, Thomas Walter: Usage Control Requirements in Mobile and Ubiquitous Computing Applications. ICSNC 2006: 27
c19		Alexander Pretschner: Zur Kosteneffektivität des modellbasierten Testens. MBEES 2006: 85-94
	2005
j9		Wolfgang Prenninger, Alexander Pretschner: Abstractions for Model-Based Testing. Electr. Notes Theor. Comput. Sci. 116: 59-71 (2005)
j8		Alexander Pretschner, Chris Salzmann, Thomas Stauner: 2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems. ACM SIGSOFT Software Engineering Notes 30(4): 1-2 (2005)
c18		Manuel Hilty, David A. Basin, Alexander Pretschner: On Obligations. ESORICS 2005: 98-117
c17		Alexander Pretschner: Model-Based Testing in Practice. FM 2005: 537-541
c16		Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kühnel, M. Baumgartner, B. Sostawa, R. Zölch, Thomas Stauner: One evaluation of model-based testing and its automation. ICSE 2005: 392-401
c15		Chris Salzmann, Thomas Stauner, Alexander Pretschner: 2nd international workshop on software engineering for automotive systems. ICSE 2005: 695
c14		Alexander Pretschner: Model-based testing. ICSE 2005: 722-723
c13		Alexander Pretschner, Wolfgang Prenninger: Computing Refactorings of Behavior Models. MoDELS 2005: 126-141
e1		Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (Eds.): Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]. Lecture Notes in Computer Science 3472, Springer 2005, isbn 3-540-26278-4
	2004
j7		Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps: Model based testing in incremental system development. Journal of Systems and Software 70(3): 315-329 (2004)
j6		Alexander Pretschner, Chris Salzmann, Thomas Stauner: Software engineering for automotive systems at ICSE 2004 workshop summary. ACM SIGSOFT Software Engineering Notes 29(5): 1-2 (2004)
j5		Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel: Model-based testing for real. STTT 5(2-3): 140-157 (2004)
c12		Alexander Pretschner, Jan Philipps: Methodological Issues in Model-Based Testing. Model-Based Testing of Reactive Systems 2004: 281-291
c11		Alexander Pretschner, Martin Leucker: Model-Based Testing - A Glossary. Model-Based Testing of Reactive Systems 2004: 607-609
c10		Chris Salzmann, Thomas Stauner, Alexander Pretschner: ICSE Workshop: Software Engineering for Automotive Systems. ICSE 2004: 779
c9		Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner: Coverage Metrics for Continuous Function Charts. ISSRE 2004: 257-268
c8		Alexander Pretschner: Modellbasiertes Testen. Modellierung 2004: 274
	2003
b1		Walter Alexander Pretschner: Zum modellbasierten funktionalen Test reaktiver Systeme. Technical University Munich 2003, pp. 1-234
j4		Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl: Model-Based Test Case Generation for Smart Cards. Electr. Notes Theor. Comput. Sci. 80: 170-184 (2003)
j3		Alexander Pretschner: Compositional Generation of MC/DC Integration Test Suites. Electr. Notes Theor. Comput. Sci. 82(6): 1-10 (2003)
j2		Susan Gauch, Jason Chaffee, Alexander Pretschner: Ontology-based personalized search and browsing. Web Intelligence and Agent Systems 1(3-4): 219-234 (2003)
c7		Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner: Prototype-Based Tests for Hybrid Reactive Systems. IEEE International Workshop on Rapid System Prototyping 2003: 78-
	2002
c6		Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl: Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. Ada Deutschland Tagung 2002: 37-52
c5		Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps: Model-Based Development of Embedded Systems. OOIS Workshops 2002: 298-312
i1		Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl: Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. CoRR cs.SE/0201023 (2002)
	2001
c4		Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps: Model Based Testing in Evolutionary Software Development. IEEE International Workshop on Rapid System Prototyping 2001: 155-161
c3		Thomas Stauner, Alexander Pretschner, Istran Péter: Approaching a Discrete-Continuous UML: Tool Support and Formalization. pUML 2001: 242-257
	2000
j1		Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch: Specification based test sequence generation with propositional logic. Softw. Test., Verif. Reliab. 10(4): 229-248 (2000)
	1999
c2		Xiaolan Zhu, Susan Gauch, Lutz Gerhard, Nicholas Kral, Alexander Pretschner: Ontology-Based Web Site Mapping for Information Exploration. CIKM 1999: 188-194
c1		Alexander Pretschner, Susan Gauch: Ontology Based Personalized Search. ICTAI 1999: 391-398

Coauthor Index

Colors in the list of coauthors

Last update Sat May 25 00:16:19 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page