On the Semantics of Message Sequence Charts. - Peter B. Ladkin; Stefan Leue (FBT, 1992)

What Do Message Sequence Charts Mean? - Peter B. Ladkin; Stefan Leue (FORTE, 1993)

Four issues concerning the semantics of Message Flow Graphs. - Peter B. Ladkin; Stefan Leue (FORTE, 1994)

Formalizations and algorithms for optimized parallel protocol implementation. - Stefan Leue; Philippe Oechslin (ICNP, 1994)

From SDL specifications to optimized parallel protocol implementations. - Stefan Leue; Philippe Oechslin (Protocols for High-Speed Networks, 1994)

Specifying real-time requirements for SDL specifications - a temporal logic-based approach. - Stefan Leue (PSTV, 1995)

Interpreting Message Flow Graphs. - Peter B. Ladkin; Stefan Leue (Formal Aspects Comput., 1995)

Implementing and verifying MSC specifications using Promela/XSpin. - Stefan Leue; Peter B. Ladkin (The Spin Verification System, 1996)

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

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

Timing Constraints in Message Sequence Chart Specifications. - Hanêne Ben-Abdallah; Stefan Leue (FORTE, 1997)

Formal Methods for Broadband and Multimedia Systems (Tutorial). - Stefan Fischer 001; Stefan Leue (ICSE, 1997)

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

Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. - Stefan Leue; Lars Mehrmann; Mohammad Reza Mousavi 001 (ASE, 1998)

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

Formal Methods for Broadband and Multimedia Systems. - Stefan Fischer 001; Stefan Leue (Comput. Networks, 1998)

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

VIP: A Visual Interface for Promela. - Moataz Kamel; Stefan Leue (SPIN, 1999)

VIP: A Visual Editor and Compiler for v-Promela. - Moataz Kamel; Stefan Leue (TACAS, 2000)

Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. - Moataz Kamel; Stefan Leue (Int. J. Softw. Tools Technol. Transf., 2000)

Directed Explicit Model Checking with HSF-SPIN. - Stefan Edelkamp; Alberto Lluch-Lafuente; Stefan Leue (SPIN, 2001)

Trail-directed model checking. - Stefan Edelkamp; Alberto Lluch-Lafuente; Stefan Leue (Workshop on Software Model Checking @ CAV, 2001)

Partial Order Reduction in Directed Model Checking. - Alberto Lluch-Lafuente; Stefan Edelkamp; Stefan Leue (SPIN, 2002)

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

A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. - Stefan Leue; Richard Mayr; Wei Wei 015 (SPIN, 2004)

A Scalable Incomplete Test for the Boundedness of UML RT Models. - Stefan Leue; Richard Mayr; Wei Wei 015 (TACAS, 2004)

Introductory paper. - Matthew B. Dwyer; Stefan Leue (Int. J. Softw. Tools Technol. Transf., 2004)

Directed explicit-state model checking in the validation of communication protocols. - Stefan Edelkamp; Stefan Leue; Alberto Lluch-Lafuente (Int. J. Softw. Tools Technol. Transf., 2004)

Partial-order reduction and trail improvement in directed model checking. - Stefan Edelkamp; Stefan Leue; Alberto Lluch-Lafuente (Int. J. Softw. Tools Technol. Transf., 2004)

Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. - Manfred Broy; Matthias Jarke; Manfred Nagl; Hans Dieter Rombach; Armin B. Cremers; Jürgen Ebert; Sabine Glesner; Martin Glinz; Michael Goedicke; Gerhard Goos; Volker Gruhn; Wilhelm Hasselbring; et al. (Perspectives Workshop, 2005)

Counterexamples for Timed Probabilistic Reachability. - Husain Aljazzar; Holger Hermanns; Stefan Leue (FORMATS, 2005)

Counterexample-Based Refinement for a Boundedness Test for CFSM Languages. - Stefan Leue; Wei Wei 015 (SPIN, 2005)

A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. - Stefan Leue; Alin Stefanescu; Wei Wei 015 (CONCUR, 2006)

06172 Executive Summary – Directed Model Checking. - Stefan Edelkamp; Stefan Leue; Willem Visser (Directed Model Checking, 2006)

06172 Abstracts Collection – Directed Model Checking. - Stefan Edelkamp; Stefan Leue; Willem Visser (Directed Model Checking, 2006)

Extended Directed Search for Probabilistic Timed Reachability. - Husain Aljazzar; Stefan Leue (FORMATS, 2006)

Discriminative pattern mining in software fault detection. - Giuseppe Di Fatta; Stefan Leue; Evghenia Stegantova (SOQUA, 2006)

A Region Graph Based Approach to Termination Proofs. - Stefan Leue; Wei Wei 015 (TACAS, 2006)

Debugging of Dependability Models Using Interactive Visualization of Counterexamples. - Husain Aljazzar; Stefan Leue (QEST, 2008)

Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. - Stefan Leue; Alin Stefanescu; Wei Wei 015 (SPIN, 2008)

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

Specification Languages for Stutter-Invariant Regular Properties. - Christian Dax; Felix Klaedtke; Stefan Leue (ATVA, 2009)

An Executable and Extensible Formal Semantics for UML-RT. - Stefan Leue; Wei Wei 015 (MBEES, 2009)

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

Generation of Counterexamples for Model Checking of Markov Decision Processes. - Husain Aljazzar; Stefan Leue (QEST, 2009)

Automated Predicate Abstraction for Real-Time Models - Bahareh Badban; Stefan Leue; Jan-Georg Smaus (INFINITY, 2009)

Partial-order reduction for general state exploring algorithms. - Dragan Bosnacki; Stefan Leue; Alberto Lluch-Lafuente (Int. J. Softw. Tools Technol. Transf., 2009)

Automated Invariant Generation for the Verification of Real-Time Systems. - Bahareh Badban; Stefan Leue; Jan-Georg Smaus (WING@ETAPS/IJCAR, 2010)

Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. - Matthias Kuntz; Stefan Leue; Christoph Scheben (WING@ETAPS/IJCAR, 2010)

Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. - Husain Aljazzar; Matthias Kuntz; Florian Leitner-Fischer; Stefan Leue (QUOVADIS@ICSE, 2010)

Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking. - Husain Aljazzar; Stefan Leue (IEEE Trans. Software Eng., 2010)

Quantitative Analysis of UML Models. - Florian Leitner-Fischer; Stefan Leue (MBEES, 2011)

From Probabilistic Counterexamples via Causality to Fault Trees. - Matthias Kuntz; Florian Leitner-Fischer; Stefan Leue (SAFECOMP, 2011)

DiPro - A Tool for Probabilistic Counterexample Generation. - Husain Aljazzar; Florian Leitner-Fischer; Stefan Leue; Dimitar Simeonov (SPIN, 2011)

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

QuantUM: Quantitative Safety Analysis of UML Models - Florian Leitner-Fischer; Stefan Leue (QAPL, 2011)

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

Towards Causality Checking for Complex System Models. - Florian Leitner-Fischer; Stefan Leue (MBEES, 2012)

Counterexample Explanation by Anomaly Detection. - Stefan Leue; Mitra Tabaei Befrouei (SPIN, 2012)

Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models. - Adrian Beer; Todor G. Georgiev; Florian Leitner-Fischer; Stefan Leue (MBEES, 2013)

On the Synergy of Probabilistic Causality Computation and Causality Checking. - Florian Leitner-Fischer; Stefan Leue (SPIN, 2013)

Mining Sequential Patterns to Explain Concurrent Counterexamples. - Stefan Leue; Mitra Tabaei Befrouei (SPIN, 2013)

Causality Checking for Complex System Models. - Florian Leitner-Fischer; Stefan Leue (VMCAI, 2013)

Probabilistic fault tree synthesis using causality computation. - Florian Leitner-Fischer; Stefan Leue (Int. J. Crit. Comput. Based Syst., 2013)

Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems. - Stefan Leue; Wei Wei 015 (IEEE Trans. Software Eng., 2013)

SpinCause: a tool for causality checking. - Florian Leitner-Fischer; Stefan Leue (SPIN, 2014)

Symbolic Causality Checking Using Bounded Model Checking. - Adrian Beer; Stephan Heidinger; Uwe Kühne; Florian Leitner-Fischer; Stefan Leue (SPIN, 2015)

Methods and semantics for telecommunications systems engineering. - Stefan Leue (2015)

SysML to NuSMV Model Transformation via Object-Orientation. - Georgiana Caltais; Florian Leitner-Fischer; Stefan Leue; Jannis Weiser (CyPhy, 2016)

(De-)Composing Causality in Labeled Transition Systems. - Georgiana Caltais; Stefan Leue; Mohammad Reza Mousavi 001 (CREST@ETAPS, 2016)

Automated Functional Safety Analysis of Automated Driving Systems. - Martin Kölbl; Stefan Leue (FMICS, 2018)

From SysML to Model Checkers via Model Transformation. - Martin Kölbl; Stefan Leue; Hargurbir Singh (SPIN, 2018)

Causality for General LTL-definable Properties. - Georgiana Caltais; Sophie Linnea Guetlein; Stefan Leue (CREST@ETAPS, 2018)

Verlässliche Software im 21. Jahrhundert. - Stefan Wagner 001; Matthias Tichy; Michael Felderer; Stefan Leue (Inform. Spektrum, 2018)

An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking. - Martin Kölbl; Stefan Leue (ATVA, 2019)

Clock Bound Repair for Timed Systems. - Martin Kölbl; Stefan Leue; Thomas Wies (CAV (1), 2019)

Causal Reasoning in Systems (NII Shonan Meeting 139). - Gregor Gössler; Stefan Leue; Shin Nakajima 001 (NII Shonan Meet. Rep., 2019)

TarTar: A Timed Automata Repair Tool. - Martin Kölbl; Stefan Leue; Thomas Wies (CAV (1), 2020)

Dynamic Causes for the Violation of Timed Reachability Properties. - Martin Kölbl; Stefan Leue; Robert Schmid (FORMATS, 2020)

An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces. - Martin Kölbl; Stefan Leue (ISoLA (4), 2020)

Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. - Georgiana Caltais; Stefan Leue; Hargurbir Singh (MODELSWARD, 2020)

DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization. - Fabian Bauer-Marquart; Stefan Leue; Christian Schilling 001 (CoRR, 2021)

Automated repair for timed systems. - Martin Kölbl; Stefan Leue; Thomas Wies (Formal Methods Syst. Des., 2021)

SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks. - Fabian Bauer-Marquart; David Boetius; Stefan Leue; Christian Schilling 001 (SPIN, 2022)

Automated Consistency Analysis for Legal Contracts. - Alan Khoja; Martin Kölbl; Stefan Leue; Rüdiger Wilhelmi (SPIN, 2022)

Formal Modeling and Analysis of Legal Contracts using ContractCheck. - Alan Khoja; Martin Kölbl; Stefan Leue; Rüdiger Wilhelmi (CoRR, 2022)

Verifying Global Neural Network Specifications using Hyperproperties. - David Boetius; Stefan Leue (FoMLAS@CAV, 2023)

symQV: Automated Symbolic Verification of Quantum Programs. - Fabian Bauer-Marquart; Stefan Leue; Christian Schilling 001 (FM, 2023)

A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks. - David Boetius; Stefan Leue; Tobias Sutter (ICML, 2023)

Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics. - David Boetius; Stefan Leue (CoRR, 2024)

Probabilistic Verification of Neural Networks using Branch and Bound. - David Boetius; Stefan Leue; Tobias Sutter (CoRR, 2024)