Alexander Pretschner Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)