Alexander Pretschner

	2009
55		Alexander Pretschner, Judith Rüesch, Christian Schaefer, Thomas Walter: Formal Analyses of Usage Control Policies. ARES 2009: 98-105
54		Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol: On the Effectiveness of Test Extraction without Overhead. ICST 2009: 416-425
53		Alexander Pretschner, Florian Schütz, Christian Schaefer, Thomas Walter: Policy Evolution in Distributed Usage Control. Electr. Notes Theor. Comput. Sci. 244: 109-123 (2009)
	2008
52		Alexander Pretschner, Thomas Walter: Negotiation of Usage Control Policies - Simply the Best? ARES 2008: 1135-1136
51		Alexander Pretschner, Manuel Hilty, David A. Basin, Christian Schaefer, Thomas Walter: Mechanisms for usage control. ASIACCS 2008: 240-244
50		Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry: Test-Driven Assessment of Access Control in Legacy Applications. ICST 2008: 238-247
49		Alexander Pretschner, Tejeddine Mouelhi, Yves Le Traon: Model-Based Tests for Access Control Policies. ICST 2008: 338-347
48		Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer: On the Predictability of Random Tests for Object-Oriented Software. ICST 2008: 72-81
47		Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner: Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. ISSRE 2008: 157-166
46		Alexander Pretschner: Doctoral Symposium at MODELS 2008. MoDELS 2008: 908-909
45		Alexander Pretschner, Ruth Breu: Vorwort zum Doktorandensymposium der Modellierung 2008. Modellierung 2008: 215-216
44		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)
43		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)
	2007
42		Manuel Hilty, Alexander Pretschner, David A. Basin, Christian Schaefer, Thomas Walter: A Policy Language for Distributed Usage Control. ESORICS 2007: 531-546
41		Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner: Software Engineering for Automotive Systems: A Roadmap. FOSE 2007: 55-71
40		Alexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner: 4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion 2007: 146
39		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
38		Manuel Hilty, Alexander Pretschner, Christian Schaefer, Thomas Walter: DUKE - Distributed Usage Control Enforcement. POLICY 2007: 275
37		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
36		Alexander Pretschner, Fabio Massacci, Manuel Hilty: Usage Control in Service-Oriented Architectures. TrustBus 2007: 83-93
35		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)
34		Alexander Pretschner, Wolfgang Prenninger: Computing refactorings of state machines. Software and System Modeling 6(4): 381-399 (2007)
	2006
33		Martin Rappl, Alexander Pretschner, Chris Salzmann, Thomas Stauner: 3rd international workshop on software engineering for automotive systems - SEAS 2006. ICSE 2006: 1034
32		Manuel Hilty, Alexander Pretschner, Christian Schaefer, Christian Schaefer, Thomas Walter: Usage Control Requirements in Mobile and Ubiquitous Computing Applications. ICSNC 2006: 27
31		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)
30		Alexander Pretschner, Manuel Hilty, David A. Basin: Distributed usage control. Commun. ACM 49(9): 39-44 (2006)
	2005
29		Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner: 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] Springer 2005
28		Manuel Hilty, David A. Basin, Alexander Pretschner: On Obligations. ESORICS 2005: 98-117
27		Alexander Pretschner: Model-Based Testing in Practice. FM 2005: 537-541
26		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
25		Chris Salzmann, Thomas Stauner, Alexander Pretschner: 2nd international workshop on software engineering for automotive systems. ICSE 2005: 695
24		Alexander Pretschner: Model-based testing. ICSE 2005: 722-723
23		Alexander Pretschner, Wolfgang Prenninger: Computing Refactorings of Behavior Models. MoDELS 2005: 126-141
22		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)
21		Wolfgang Prenninger, Alexander Pretschner: Abstractions for Model-Based Testing. Electr. Notes Theor. Comput. Sci. 116: 59-71 (2005)
	2004
20		Chris Salzmann, Thomas Stauner, Alexander Pretschner: ICSE Workshop: Software Engineering for Automotive Systems. ICSE 2004: 779
19		Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner: Coverage Metrics for Continuous Function Charts. ISSRE 2004: 257-268
18		Alexander Pretschner, Jan Philipps: Methodological Issues in Model-Based Testing. Model-Based Testing of Reactive Systems 2004: 281-291
17		Alexander Pretschner, Martin Leucker: Model-Based Testing - A Glossary. Model-Based Testing of Reactive Systems 2004: 607-609
16		Alexander Pretschner: Modellbasiertes Testen. Modellierung 2004: 274
15		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)
14		Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps: Model based testing in incremental system development. Journal of Systems and Software 70(3): 315-329 (2004)
13		Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel: Model-based testing for real. STTT 5(2-3): 140-157 (2004)
	2003
12		Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner: Prototype-Based Tests for Hybrid Reactive Systems. IEEE International Workshop on Rapid System Prototyping 2003: 78-
11		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: (2003)
10		Alexander Pretschner: Compositional Generation of MC/DC Integration Test Suites. Electr. Notes Theor. Comput. Sci. 82(6): (2003)
9		Susan Gauch, Jason Chaffee, Alexander Pretschner: Ontology-based personalized search and browsing. Web Intelligence and Agent Systems 1(3-4): 219-234 (2003)
	2002
8		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
7		Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps: Model-Based Development of Embedded Systems. OOIS Workshops 2002: 298-312
6		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
5		Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps: Model Based Testing in Evolutionary Software Development. IEEE International Workshop on Rapid System Prototyping 2001: 155-161
4		Thomas Stauner, Alexander Pretschner, Istran Péter: Approaching a Discrete-Continuous UML: Tool Support and Formalization. pUML 2001: 242-257
	2000
3		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
2		Xiaolan Zhu, Susan Gauch, Lutz Gerhard, Nicholas Kral, Alexander Pretschner: Ontology-Based Web Site Mapping for Information Exploration. CIKM 1999: 188-194
1		Alexander Pretschner, Susan Gauch: Ontology Based Personalized Search. ICTAI 1999: 391-398

Coauthor Index

1	Berthold Agreiter	[37]
2	Ernst Aiglstorfer	[11] [13]
3	Muhammad Alam	[37]
4	Vadim Alyokhin	[19]
5	David A. Basin	[28] [30] [42] [51]
6	Benoit Baudry	[39] [50]
7	M. Baumgartner	[26]
8	Andree Blotz	[6] [8]
9	Ruth Breu	[37] [45]
10	Manfred Broy	[29] [41]
11	Jason Chaffee	[9]
12	Ilinca Ciupa	[47] [48]
13	Benedikte Elbel	[19]
14	Alain Faivre	[39]
15	Peter M. Fischer	[43]
16	Susan Gauch	[1] [2] [9]
17	Lutz Gerhard	[2]
18	Sudipto Ghosh	[39]
19	Michael Hafner	[37]
20	Gabor Hahn	[12]
21	Manuel Hilty	[28] [30] [32] [36] [38] [42] [44] [51]
22	Franz Huber	[6] [7] [8]
23	Bengt Jonsson	[29]
24	Joost-Pieter Katoen	[29]
25	Donald Kossmann	[43]
26	Nicholas Kral	[2]
27	Stefan Kriebel	[11] [13]
28	Ingolf Krüger (Ingolf H. Krüger)	[41]
29	Christian Kühnel	[26]
30	Andreas Leitner	[48] [54]
31	Martin Leucker	[17] [29]
32	Volkmar Lotz	[43]
33	Heiko Lötzbeyer	[3] [5] [6] [8] [14]
34	Fabio Massacci	[36] [43]
35	Bertrand Meyer	[47] [48] [54]
36	Stefan Mori	[54]
37	Tejeddine Mouelhi	[49] [50]
38	Manuel Oriol	[47] [48] [54]
39	Istran Péter	[4]
40	Jan Philipps	[5] [7] [11] [12] [14] [18]
41	Emmanuel Pigout	[43]
42	Wolfgang Prenninger	[21] [23] [26] [34]
43	Martin Rappl	[31] [33]
44	Martin Rothfelder	[19]
45	Judith Rüesch	[55]
46	Chris Salzmann	[15] [20] [22] [25] [31] [33] [35] [40]
47	Christian Schaefer	[32] [38] [42] [44] [51] [53] [55]
48	Bernhard Schätz	[7] [35] [40]
49	Kai Scholl	[11]
50	Florian Schütz	[44] [53]
51	Jean-Pierre Seifert	[37]
52	Oscar Slotosch	[3] [6] [8] [11] [13]
53	B. Sostawa	[26]
54	Thomas Stauner	[4] [12] [15] [20] [22] [25] [26] [31] [33] [35] [40] [41]
55	Yves Le Traon	[49] [50]
56	Stefan Wagner	[26]
57	Thomas Walter	[32] [38] [42] [44] [51] [52] [53] [55]
58	Guido Wimmel	[3]
59	Hans-Peter Zängerl	[6] [8]
60	Xinwen Zhang	[37]
61	Xiaolan Zhu	[2]
62	R. Zölch	[26]

Colors in the list of coauthors