Stefan Leue

Stefan Leue, Wei Wei: Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems. IEEE Trans. Software Eng. 39(2): 216-236 (2013)

Florian Leitner-Fischer, Stefan Leue: Causality Checking for Complex System Models. VMCAI 2013: 248-267

Florian Leitner-Fischer, Stefan Leue: Towards Causality Checking for Complex System Models. MBEES 2012: 71-80

Stefan Leue, Mitra Tabaei Befrouei: Counterexample Explanation by Anomaly Detection. SPIN 2012: 24-42

Husain Aljazzar, Stefan Leue: K^⁎: A heuristic search algorithm for finding the k shortest paths. Artif. Intell. 175(18): 2129-2154 (2011)

Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino: Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). Sci. Comput. Program. 76(2): 63-64 (2011)

Florian Leitner-Fischer, Stefan Leue: Quantitative Analysis of UML Models. MBEES 2011: 91-100

Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue: From Probabilistic Counterexamples via Causality to Fault Trees. SAFECOMP 2011: 71-84

Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov: DiPro - A Tool for Probabilistic Counterexample Generation. SPIN 2011: 183-187

Florian Leitner-Fischer, Stefan Leue: QuantUM: Quantitative Safety Analysis of UML Models. QAPL 2011: 16-30

Husain 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)

Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente: Partial-order reduction for general state exploring algorithms. STTT 11(1): 39-51 (2009)

Christian Dax, Felix Klaedtke, Stefan Leue: Specification Languages for Stutter-Invariant Regular Properties. ATVA 2009: 244-254

Stefan Leue, Wei Wei: An Executable and Extensible Formal Semantics for UML-RT. MBEES 2009: 182-188

Husain Aljazzar, Stefan Leue: Generation of Counterexamples for Model Checking of Markov Decision Processes. QEST 2009: 197-206

Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue: Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. QEST 2009: 299-308

Bahareh Badban, Stefan Leue, Jan-Georg Smaus: Automated Predicate Abstraction for Real-Time Models. INFINITY 2009: 36-43

Husain Aljazzar, Stefan Leue: Debugging of Dependability Models Using Interactive Visualization of Counterexamples. QEST 2008: 189-198

Stefan Leue, Alin Stefanescu, Wei Wei: Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. SPIN 2008: 176-195

Stefan Leue, Alin Stefanescu, Wei Wei: An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. TOOLS (46) 2008: 238-257

Stefan Leue, Pedro Merino (Eds.): Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4916, Springer 2008, isbn 978-3-540-79706-7

Stefan Edelkamp, Stefan Leue, Willem Visser (Eds.): Directed Model Checking, 26.04. - 29.04.2006. Dagstuhl Seminar Proceedings 06172, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007

Stefan Leue, Alin Stefanescu, Wei Wei: A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. CONCUR 2006: 79-94

Stefan Edelkamp, Stefan Leue, Willem Visser: 06172 Executive Summary -- Directed Model Checking. Directed Model Checking 2006

Stefan Edelkamp, Stefan Leue, Willem Visser: 06172 Abstracts Collection -- Directed Model Checking. Directed Model Checking 2006

Husain Aljazzar, Stefan Leue: Extended Directed Search for Probabilistic Timed Reachability. FORMATS 2006: 33-51

Giuseppe Di Fatta, Stefan Leue, Evghenia Stegantova: Discriminative pattern mining in software fault detection. SOQUA 2006: 62-69

Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente: Partial-Order Reduction for General State Exploring Algorithms. SPIN 2006: 271-287

Stefan Leue, Wei Wei: A Region Graph Based Approach to Termination Proofs. TACAS 2006: 318-333

Husain Aljazzar, Holger Hermanns, Stefan Leue: Counterexamples for Timed Probabilistic Reachability. FORMATS 2005: 177-195

Stefan Leue, Wei Wei: Counterexample-Based Refinement for a Boundedness Test for CFSM Languages. SPIN 2005: 58-74

Stefan Leue, Tarja Systä (Eds.): Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers. Lecture Notes in Computer Science 3466, Springer 2005, isbn 3-540-26189-3

Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente: Directed explicit-state model checking in the validation of communication protocols. STTT 5(2-3): 247-267 (2004)

Matthew B. Dwyer, Stefan Leue: Introductory paper. STTT 6(4): 257-259 (2004)

Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente: Partial-order reduction and trail improvement in directed model checking. STTT 6(4): 277-301 (2004)

Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue: Heuristic-guided counterexample search in FLAVERS. SIGSOFT FSE 2004: 201-210

Stefan Leue, Richard Mayr, Wei Wei: A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. SPIN 2004: 216-233

Stefan Leue, Richard Mayr, Wei Wei: A Scalable Incomplete Test for the Boundedness of UML RT Models. TACAS 2004: 327-341

Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue: Partial Order Reduction in Directed Model Checking. SPIN 2002: 112-127

Dragan Bosnacki, Stefan Leue (Eds.): Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings. Lecture Notes in Computer Science 2318, Springer 2002, isbn 3-540-43477-1

Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Trail-directed model checking. Electr. Notes Theor. Comput. Sci. 55(3): 343-356 (2001)

Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Directed Explicit Model Checking with HSF-SPIN. SPIN 2001: 57-79

Moataz Kamel, Stefan Leue: Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. STTT 2(4): 394-409 (2000)

Moataz Kamel, Stefan Leue: VIP: A Visual Editor and Compiler for v-Promela. TACAS 2000: 471-486

Stefan Leue, Gerard J. Holzmann: v-Promela: A Visual, Object-Oriented Language for SPIN. ISORC 1999: 14-23

Moataz Kamel, Stefan Leue: VIP: A Visual Interface for Promela. SPIN 1999: 153

Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (Eds.): 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. Lecture Notes in Computer Science 1680, Springer 1999, isbn 3-540-66499-8

Stefan Fischer, Stefan Leue: Formal Methods for Broadband and Multimedia Systems. Computer Networks 30(9-10): 865-899 (1998)

Stefan Leue, L. Mehrmann, Mohammad Rezai: Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. ASE 1998: 192-195

Hanêne Ben-Abdallah, Stefan Leue: MESA: Support for Scenario-Based Design of Concurrent Systems. TACAS 1998: 118-135

Hanêne Ben-Abdallah, Stefan Leue: Timing Constraints in Message Sequence Chart Specifications. FORTE 1997: 91-106

Stefan Fischer, Stefan Leue: Formal Methods for Broadband and Multimedia Systems (Tutorial). ICSE 1997: 665-666

Hanêne Ben-Abdallah, Stefan Leue: Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts. TACAS 1997: 259-274

Stefan Leue, Philippe Oechslin: OpParIm: A method and tool for optimized parallel protocol implementation. J. High Speed Networks 5(2): 125-143 (1996)

Stefan Leue, Philippe Oechslin: On parallelizing and optimizing the implementation of communication protocols. IEEE/ACM Trans. Netw. 4(1): 55-70 (1996)

Peter B. Ladkin, Stefan Leue: Interpreting Message Flow Graphs. Formal Asp. Comput. 7(5): 473-509 (1995)

Stefan Leue: Specifying real-time requirements for SDL specifications - a temporal logic-based approach. PSTV 1995: 19-34

Dieter Hogrefe, Stefan Leue (Eds.): Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994. IFIP Conference Proceedings 6, Chapman & Hall 1995, isbn 0-412-64450-9

Peter B. Ladkin, Stefan Leue: Four issues concerning the semantics of Message Flow Graphs. FORTE 1994: 355-369

Stefan Leue, Philippe Oechslin: From SDL specifications to optimized parallel protocol implementations. Protocols for High-Speed Networks 1994: 308-327

Peter B. Ladkin, Stefan Leue: What Do Message Sequence Charts Mean? FORTE 1993: 301-316

Peter B. Ladkin, Stefan Leue: On the Semantics of Message Sequence Charts. FBT 1992: 88-104