Alexander Pretschner

2008
50	EE	Alexander Pretschner, Thomas Walter: Negotiation of Usage Control Policies - Simply the Best? ARES 2008: 1135-1136
49	EE	Alexander Pretschner, Manuel Hilty, David A. Basin, Christian Schaefer, Thomas Walter: Mechanisms for usage control. ASIACCS 2008: 240-244
48	EE	Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry: Test-Driven Assessment of Access Control in Legacy Applications. ICST 2008: 238-247
47	EE	Alexander Pretschner, Tejeddine Mouelhi, Yves Le Traon: Model-Based Tests for Access Control Policies. ICST 2008: 338-347
46	EE	Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer: On the Predictability of Random Tests for Object-Oriented Software. ICST 2008: 72-81
45	EE	Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner: Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. ISSRE 2008: 157-166
44	EE	Alexander Pretschner: Doctoral Symposium at MODELS 2008. MoDELS 2008: 908-909
43		Alexander Pretschner, Ruth Breu: Vorwort zum Doktorandensymposium der Modellierung 2008. Modellierung 2008: 215-216
2007
42	EE	Manuel Hilty, Alexander Pretschner, David A. Basin, Christian Schaefer, Thomas Walter: A Policy Language for Distributed Usage Control. ESORICS 2007: 531-546
41	EE	Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner: Software Engineering for Automotive Systems: A Roadmap. FOSE 2007: 55-71
40	EE	Alexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner: 4th International ICSE Workshop on Software Engineering for Automotive Systems. ICSE Companion 2007: 146
39	EE	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	EE	Manuel Hilty, Alexander Pretschner, Christian Schaefer, Thomas Walter: DUKE - Distributed Usage Control Enforcement. POLICY 2007: 275
37	EE	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	EE	Alexander Pretschner, Fabio Massacci, Manuel Hilty: Usage Control in Service-Oriented Architectures. TrustBus 2007: 83-93
35	EE	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	EE	Alexander Pretschner, Wolfgang Prenninger: Computing refactorings of state machines. Software and System Modeling 6(4): 381-399 (2007)
2006
33	EE	Martin Rappl, Alexander Pretschner, Chris Salzmann, Thomas Stauner: 3rd international workshop on software engineering for automotive systems - SEAS 2006. ICSE 2006: 1034
32	EE	Manuel Hilty, Alexander Pretschner, Christian Schaefer, Christian Schaefer, Thomas Walter: Usage Control Requirements in Mobile and Ubiquitous Computing Applications. ICSNC 2006: 27
31	EE	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	EE	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	EE	Manuel Hilty, David A. Basin, Alexander Pretschner: On Obligations. ESORICS 2005: 98-117
27	EE	Alexander Pretschner: Model-Based Testing in Practice. FM 2005: 537-541
26	EE	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	EE	Chris Salzmann, Thomas Stauner, Alexander Pretschner: 2nd international workshop on software engineering for automotive systems. ICSE 2005: 695
24	EE	Alexander Pretschner: Model-based testing. ICSE 2005: 722-723
23	EE	Alexander Pretschner, Wolfgang Prenninger: Computing Refactorings of Behavior Models. MoDELS 2005: 126-141
22	EE	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	EE	Wolfgang Prenninger, Alexander Pretschner: Abstractions for Model-Based Testing. Electr. Notes Theor. Comput. Sci. 116: 59-71 (2005)
2004
20	EE	Chris Salzmann, Thomas Stauner, Alexander Pretschner: ICSE Workshop: Software Engineering for Automotive Systems. ICSE 2004: 779
19	EE	Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner: Coverage Metrics for Continuous Function Charts. ISSRE 2004: 257-268
18	EE	Alexander Pretschner, Jan Philipps: Methodological Issues in Model-Based Testing. Model-Based Testing of Reactive Systems 2004: 281-291
17	EE	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	EE	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	EE	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	EE	Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel: Model-based testing for real. STTT 5(2-3): 140-157 (2004)
2003
12	EE	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	EE	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	EE	Alexander Pretschner: Compositional Generation of MC/DC Integration Test Suites. Electr. Notes Theor. Comput. Sci. 82(6): (2003)
9	EE	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	EE	Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps: Model-Based Development of Embedded Systems. OOIS Workshops 2002: 298-312
6	EE	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	EE	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	EE	Xiaolan Zhu, Susan Gauch, Lutz Gerhard, Nicholas Kral, Alexander Pretschner: Ontology-Based Web Site Mapping for Information Exploration. CIKM 1999: 188-194
1	EE	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] [49]
6	Benoit Baudry	[39] [48]
7	M. Baumgartner	[26]
8	Andree Blotz	[6] [8]
9	Ruth Breu	[37] [43]
10	Manfred Broy	[29] [41]
11	Jason Chaffee	[9]
12	Ilinca Ciupa	[45] [46]
13	Benedikte Elbel	[19]
14	Alain Faivre	[39]
15	Susan Gauch	[1] [2] [9]
16	Lutz Gerhard	[2]
17	Sudipto Ghosh	[39]
18	Michael Hafner	[37]
19	Gabor Hahn	[12]
20	Manuel Hilty	[28] [30] [32] [36] [38] [42] [49]
21	Franz Huber	[6] [7] [8]
22	Bengt Jonsson	[29]
23	Joost-Pieter Katoen	[29]
24	Nicholas Kral	[2]
25	Stefan Kriebel	[11] [13]
26	Ingolf Krüger (Ingolf H. Krüger)	[41]
27	Christian Kühnel	[26]
28	Andreas Leitner	[46]
29	Martin Leucker	[17] [29]
30	Heiko Lötzbeyer	[3] [5] [6] [8] [14]
31	Fabio Massacci	[36]
32	Bertrand Meyer	[45] [46]
33	Tejeddine Mouelhi	[47] [48]
34	Manuel Oriol	[45] [46]
35	Istran Péter	[4]
36	Jan Philipps	[5] [7] [11] [12] [14] [18]
37	Wolfgang Prenninger	[21] [23] [26] [34]
38	Martin Rappl	[31] [33]
39	Martin Rothfelder	[19]
40	Chris Salzmann	[15] [20] [22] [25] [31] [33] [35] [40]
41	Christian Schaefer	[32] [38] [42] [49]
42	Bernhard Schätz	[7] [35] [40]
43	Kai Scholl	[11]
44	Jean-Pierre Seifert	[37]
45	Oscar Slotosch	[3] [6] [8] [11] [13]
46	B. Sostawa	[26]
47	Thomas Stauner	[4] [12] [15] [20] [22] [25] [26] [31] [33] [35] [40] [41]
48	Yves Le Traon	[47] [48]
49	Stefan Wagner	[26]
50	Thomas Walter	[32] [38] [42] [49] [50]
51	Guido Wimmel	[3]
52	Hans-Peter Zängerl	[6] [8]
53	Xinwen Zhang	[37]
54	Xiaolan Zhu	[2]
55	R. Zölch	[26]

Colors in the list of coauthors