| 2025 | ICML | Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound. | David Boetius, Stefan Leue, Tobias Sutter |
| 2023 | CAV | Verifying Global Neural Network Specifications using Hyperproperties. | David Boetius, Stefan Leue |
| 2023 | FM | symQV: Automated Symbolic Verification of Quantum Programs. | Fabian Bauer-Marquart, Stefan Leue, Christian Schilling |
| 2023 | ICML | A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks. | David Boetius, Stefan Leue, Tobias Sutter |
| 2020 | CAV | TarTar: A Timed Automata Repair Tool. | Martin Klbl, Stefan Leue, Thomas Wies |
| 2020 | ISoLA | An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces. | Martin Klbl, Stefan Leue |
| 2020 | MODELSWARD | Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. | Georgiana Caltais, Stefan Leue, Hargurbir Singh |
| 2019 | ATVA | An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking. | Martin Klbl, Stefan Leue |
| 2019 | CAV | Clock Bound Repair for Timed Systems. | Martin Klbl, Stefan Leue, Thomas Wies |
| 2018 | FMICS | Automated Functional Safety Analysis of Automated Driving Systems. | Martin Klbl, Stefan Leue |
| 2013 | VMCAI | Causality Checking for Complex System Models. | Florian Leitner-Fischer, Stefan Leue |
| 2011 | SAFECOMP | From Probabilistic Counterexamples via Causality to Fault Trees. | Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue |
| 2010 | CADE | Automated Invariant Generation for the Verification of Real-Time Systems. | Bahareh Badban, Stefan Leue, Jan-Georg Smaus |
| 2010 | CADE | Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. | Matthias Kuntz, Stefan Leue, Christoph Scheben |
| 2010 | ICSE | Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. | Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue |
| 2009 | ATVA | Specification Languages for Stutter-Invariant Regular Properties. | Christian Dax, Felix Klaedtke, Stefan Leue |
| 2006 | CONCUR | A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. | Stefan Leue, Alin Stefanescu, Wei Wei |
| 2006 | TACAS | A Region Graph Based Approach to Termination Proofs. | Stefan Leue, Wei Wei |
| 2004 | TACAS | A Scalable Incomplete Test for the Boundedness of UML RT Models. | Stefan Leue, Richard Mayr, Wei Wei |
| 2000 | TACAS | VIP: A Visual Editor and Compiler for v-Promela. | Moataz Kamel, Stefan Leue |
| 1999 | ISORC | v-Promela: A Visual, Object-Oriented Language for SPIN. | Stefan Leue, Gerard J. Holzmann |
| 1998 | TACAS | MESA: Support for Scenario-Based Design of Concurrent Systems. | Hanne Ben-Abdallah, Stefan Leue |
| 1997 | FORTE | Timing Constraints in Message Sequence Chart Specifications. | Hanne Ben-Abdallah, Stefan Leue |
| 1997 | ICSE | Formal Methods for Broadband and Multimedia Systems (Tutorial). | Stefan Fischer, Stefan Leue |
| 1997 | TACAS | Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts. | Hanne Ben-Abdallah, Stefan Leue |
| 1994 | FORTE | Four issues concerning the semantics of Message Flow Graphs. | Peter B. Ladkin, Stefan Leue |
| 1994 | ICNP | Formalizations and algorithms for optimized parallel protocol implementation. | Stefan Leue, Philippe Oechslin |
| 1993 | FORTE | What Do Message Sequence Charts Mean? | Peter B. Ladkin, Stefan Leue |