Stefan Leue 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 keys2010
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHusain Aljazzar, Stefan Leue: Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking. IEEE Trans. Software Eng. 36(1): 37-60 (2010)
2009
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Dax, Felix Klaedtke, Stefan Leue: Specification Languages for Stutter-Invariant Regular Properties. ATVA 2009: 244-254
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBahareh Badban, Stefan Leue, Jan-Georg Smaus: Automated Predicate Abstraction for Real-Time Models CoRR abs/0911.3277: (2009)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente: Partial-order reduction for general state exploring algorithms. STTT 11(1): 39-51 (2009)
2008
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Leue, Pedro Merino: Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers Springer 2008
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHusain Aljazzar, Stefan Leue: Debugging of Dependability Models Using Interactive Visualization of Counterexamples. QEST 2008: 189-198
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Leue, Alin Stefanescu, Wei Wei: Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. SPIN 2008: 176-195
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Leue, Alin Stefanescu, Wei Wei: An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. TOOLS (46) 2008: 238-257
2007
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Stefan Leue, Willem Visser: Directed Model Checking, 26.04. - 29.04.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
2006
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Leue, Alin Stefanescu, Wei Wei: A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. CONCUR 2006: 79-94
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Stefan Leue, Willem Visser: 06172 Abstracts Collection -- Directed Model Checking. Directed Model Checking 2006
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Stefan Leue, Willem Visser: 06172 Executive Summary -- Directed Model Checking. Directed Model Checking 2006
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHusain Aljazzar, Stefan Leue: Extended Directed Search for Probabilistic Timed Reachability. FORMATS 2006: 33-51
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Di Fatta, Stefan Leue, Evghenia Stegantova: Discriminative pattern mining in software fault detection. SOQUA 2006: 62-69
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente: Partial-Order Reduction for General State Exploring Algorithms. SPIN 2006: 271-287
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Leue, Wei Wei: A Region Graph Based Approach to Termination Proofs. TACAS 2006: 318-333
2005
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Leue, Tarja Systä: Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers Springer 2005
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHusain Aljazzar, Holger Hermanns, Stefan Leue: Counterexamples for Timed Probabilistic Reachability. FORMATS 2005: 177-195
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Leue, Wei Wei: Counterexample-Based Refinement for a Boundedness Test for CFSM Languages. SPIN 2005: 58-74
2004
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue: Heuristic-guided counterexample search in FLAVERS. SIGSOFT FSE 2004: 201-210
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Leue, Richard Mayr, Wei Wei: A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. SPIN 2004: 216-233
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Leue, Richard Mayr, Wei Wei: A Scalable Incomplete Test for the Boundedness of UML RT Models. TACAS 2004: 327-341
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente: Directed explicit-state model checking in the validation of communication protocols. STTT 5(2-3): 247-267 (2004)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew B. Dwyer, Stefan Leue: Introductory paper. STTT 6(4): 257-259 (2004)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente: Partial-order reduction and trail improvement in directed model checking. STTT 6(4): 277-301 (2004)
2002
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDragan Bosnacki, Stefan Leue: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings Springer 2002
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue: Partial Order Reduction in Directed Model Checking. SPIN 2002: 112-127
2001
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Directed Explicit Model Checking with HSF-SPIN. SPIN 2001: 57-79
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Trail-directed model checking. Electr. Notes Theor. Comput. Sci. 55(3): (2001)
2000
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoataz Kamel, Stefan Leue: VIP: A Visual Editor and Compiler for v-Promela. TACAS 2000: 471-486
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoataz Kamel, Stefan Leue: Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. STTT 2(4): 394-409 (2000)
1999
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDennis Dams, Rob Gerth, Stefan Leue, Mieke Massink: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings Springer 1999
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Leue, Gerard J. Holzmann: v-Promela: A Visual, Object-Oriented Language for SPIN. ISORC 1999: 14-23
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoataz Kamel, Stefan Leue: VIP: A Visual Interface for Promela. SPIN 1999: 153
1998
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Leue, L. Mehrmann, Mohammad Rezai: Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. ASE 1998: 192-195
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanêne Ben-Abdallah, Stefan Leue: MESA: Support for Scenario-Based Design of Concurrent Systems. TACAS 1998: 118-135
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Fischer, Stefan Leue: Formal Methods for Broadband and Multimedia Systems. Computer Networks 30(9-10): 865-899 (1998)
1997
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanêne Ben-Abdallah, Stefan Leue: Timing Constraints in Message Sequence Chart Specifications. FORTE 1997: 91-106
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Fischer, Stefan Leue: Formal Methods for Broadband and Multimedia Systems (Tutorial). ICSE 1997: 665-666
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanêne Ben-Abdallah, Stefan Leue: Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts. TACAS 1997: 259-274
1996
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Leue, Philippe Oechslin: On parallelizing and optimizing the implementation of communication protocols. IEEE/ACM Trans. Netw. 4(1): 55-70 (1996)
1995
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter Hogrefe, Stefan Leue: Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994 Chapman & Hall 1995
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Leue: Specifying real-time requirements for SDL specifications - a temporal logic-based approach. PSTV 1995: 19-34
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter B. Ladkin, Stefan Leue: Interpreting Message Flow Graphs. Formal Asp. Comput. 7(5): 473-509 (1995)
1994
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter B. Ladkin, Stefan Leue: Four issues concerning the semantics of Message Flow Graphs. FORTE 1994: 355-369
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Leue, Philippe Oechslin: From SDL specifications to optimized parallel protocol implementations. Protocols for High-Speed Networks 1994: 308-327
1993
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter B. Ladkin, Stefan Leue: What Do Message Sequence Charts Mean? FORTE 1993: 301-316
1992
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter B. Ladkin, Stefan Leue: On the Semantics of Message Sequence Charts. FBT 1992: 88-104

Coauthor Index

1Husain Aljazzar [31] [36] [43] [48]
2George S. Avrunin [29]
3Bahareh Badban [46]
4Hanêne Ben-Abdallah [9] [11] [13]
5Dragan Bosnacki [23] [34] [45]
6Lori A. Clarke [29]
7Dennis Dams [17]
8Christian Dax [47]
9Matthew B. Dwyer [25]
10Stefan Edelkamp [20] [21] [22] [24] [26] [37] [38] [40]
11Giuseppe Di Fatta [35]
12Stefan Fischer [10] [12]
13Rob Gerth [17]
14Holger Hermanns [31]
15Dieter Hogrefe [7]
16Gerard J. Holzmann [16]
17Moataz Kamel [15] [18] [19]
18Felix Klaedtke [47]
19Peter B. Ladkin [1] [2] [4] [5]
20Alberto Lluch-Lafuente [20] [21] [22] [24] [26] [34] [45]
21Mieke Massink [17]
22Richard Mayr [27] [28]
23L. Mehrmann [14]
24Pedro Merino [44]
25Philippe Oechslin [3] [8]
26Mohammad Rezai [14]
27Jan-Georg Smaus [46]
28Alin Stefanescu [39] [41] [42]
29Evghenia Stegantova [35]
30Tarja Systä [32]
31Jianbin Tan [29]
32Willem Visser [37] [38] [40]
33Wei Wei [27] [28] [30] [33] [39] [41] [42]
34Shlomo Zilberstein [29]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)