Stefan Leue

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 28

Top Venues

University of Bern, Switzerland (PHD)

Education History

University of Bern, Switzerland

PHD

Publications

David Boetius, Stefan Leue, Tobias Sutter
Probabilistic Verification of Neural Networks using Branch and Bound. CoRR (2024)
David Boetius, Stefan Leue
Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics. CoRR (2024)
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
symQV: Automated Symbolic Verification of Quantum Programs. FM (2023)
David Boetius, Stefan Leue, Tobias Sutter
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks. ICML (2023)
David Boetius, Stefan Leue
Verifying Global Neural Network Specifications using Hyperproperties. FoMLAS@CAV (2023)
David Boetius, Stefan Leue, Tobias Sutter
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks. CoRR (2023)
David Boetius, Stefan Leue
Verifying Global Neural Network Specifications using Hyperproperties. CoRR (2023)
Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks. SPIN (2022)
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
symQV: Automated Symbolic Verification of Quantum Programs. CoRR (2022)
Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi
Automated Consistency Analysis for Legal Contracts. SPIN (2022)
Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi
Formal Modeling and Analysis of Legal Contracts using ContractCheck. CoRR (2022)
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization. CoRR (2021)
Martin Kölbl, Stefan Leue, Thomas Wies
Automated repair for timed systems. Formal Methods Syst. Des. 59 (1) (2021)
Martin Kölbl, Stefan Leue
An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces. ISoLA (4) (2020)
Martin Kölbl, Stefan Leue, Thomas Wies
TarTar: A Timed Automata Repair Tool. CoRR (2020)
Martin Kölbl, Stefan Leue, Robert Schmid
Dynamic Causes for the Violation of Timed Reachability Properties. FORMATS (2020)
Martin Kölbl, Stefan Leue, Thomas Wies
TarTar: A Timed Automata Repair Tool. CAV (1) (2020)
Georgiana Caltais, Stefan Leue, Hargurbir Singh
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. MODELSWARD (2020)
Martin Kölbl, Stefan Leue, Thomas Wies
Clock Bound Repair for Timed Systems. CAV (1) (2019)
Gregor Gössler, Stefan Leue, Shin Nakajima
Causal Reasoning in Systems (NII Shonan Meeting 139). NII Shonan Meet. Rep. 2019 (2019)
Martin Kölbl, Stefan Leue
An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking. ATVA (2019)
Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue
Causality for General LTL-definable Properties. CREST@ETAPS (2018)
Martin Kölbl, Stefan Leue, Hargurbir Singh
From SysML to Model Checkers via Model Transformation. SPIN (2018)
Stefan Wagner, Matthias Tichy, Michael Felderer, Stefan Leue
Verlässliche Software im 21. Jahrhundert. Inform. Spektrum 41 (5) (2018)
Martin Kölbl, Stefan Leue
Automated Functional Safety Analysis of Automated Driving Systems. FMICS (2018)
Stefan Wagner, Matthias Tichy, Michael Felderer, Stefan Leue
Verlässliche Software im 21. Jahrhundert. CoRR (2018)
Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi
(De-)Composing Causality in Labeled Transition Systems. CREST@ETAPS (2016)
Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser
SysML to NuSMV Model Transformation via Object-Orientation. CyPhy (2016)
Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue
Symbolic Causality Checking Using Bounded Model Checking. SPIN (2015)
Florian Leitner-Fischer, Stefan Leue
SpinCause: a tool for causality checking. SPIN (2014)
Stefan Leue, Wei Wei
Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems. IEEE Trans. Software Eng. 39 (2) (2013)
Stefan Leue, Mitra Tabaei Befrouei
Mining Sequential Patterns to Explain Concurrent Counterexamples. SPIN (2013)
Florian Leitner-Fischer, Stefan Leue
Probabilistic fault tree synthesis using causality computation. Int. J. Crit. Comput. Based Syst. 4 (2) (2013)
Adrian Beer, Todor G. Georgiev, Florian Leitner-Fischer, Stefan Leue
Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models. MBEES (2013)
Florian Leitner-Fischer, Stefan Leue
On the Synergy of Probabilistic Causality Computation and Causality Checking. SPIN (2013)
Florian Leitner-Fischer, Stefan Leue
Causality Checking for Complex System Models. VMCAI (2013)
Stefan Leue, Mitra Tabaei Befrouei
Counterexample Explanation by Anomaly Detection. SPIN (2012)
Florian Leitner-Fischer, Stefan Leue
Towards Causality Checking for Complex System Models. MBEES (2012)
Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov
DiPro - A Tool for Probabilistic Counterexample Generation. SPIN (2011)
Florian Leitner-Fischer, Stefan Leue
Quantitative Analysis of UML Models. MBEES (2011)
Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
From Probabilistic Counterexamples via Causality to Fault Trees. SAFECOMP (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) (2011)
Husain Aljazzar, Stefan Leue
: A heuristic search algorithm for finding the k shortest paths. Artif. Intell. 175 (18) (2011)
Florian Leitner-Fischer, Stefan Leue
QuantUM: Quantitative Safety Analysis of UML Models QAPL (2011)
Husain Aljazzar, Stefan Leue
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking. IEEE Trans. Software Eng. 36 (1) (2010)
Matthias Kuntz, Stefan Leue, Christoph Scheben
Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. WING@ETAPS/IJCAR (2010)
Bahareh Badban, Stefan Leue, Jan-Georg Smaus
Automated Invariant Generation for the Verification of Real-Time Systems. WING@ETAPS/IJCAR (2010)
Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. QUOVADIS@ICSE (2010)
Christian Dax, Felix Klaedtke, Stefan Leue
Specification Languages for Stutter-Invariant Regular Properties. ATVA (2009)
Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente
Partial-order reduction for general state exploring algorithms. Int. J. Softw. Tools Technol. Transf. 11 (1) (2009)
Bahareh Badban, Stefan Leue, Jan-Georg Smaus
Automated Predicate Abstraction for Real-Time Models INFINITY (2009)
Husain Aljazzar, Stefan Leue
Generation of Counterexamples for Model Checking of Markov Decision Processes. QEST (2009)
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)
Stefan Leue, Wei Wei
An Executable and Extensible Formal Semantics for UML-RT. MBEES (2009)
Stefan Leue, Alin Stefanescu, Wei Wei
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. TOOLS (46) (2008)
Stefan Leue, Alin Stefanescu, Wei Wei
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. SPIN (2008)
Husain Aljazzar, Stefan Leue
Debugging of Dependability Models Using Interactive Visualization of Counterexamples. QEST (2008)
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)
Stefan Leue, Alin Stefanescu, Wei Wei
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. CONCUR (2006)
Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente
Partial-Order Reduction for General State Exploring Algorithms. SPIN (2006)
Husain Aljazzar, Stefan Leue
Extended Directed Search for Probabilistic Timed Reachability. FORMATS (2006)
Stefan Leue, Wei Wei
A Region Graph Based Approach to Termination Proofs. TACAS (2006)
Giuseppe Di Fatta, Stefan Leue, Evghenia Stegantova
Discriminative pattern mining in software fault detection. SOQUA (2006)
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, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop (2005)
Stefan Leue, Wei Wei
Counterexample-Based Refinement for a Boundedness Test for CFSM Languages. SPIN (2005)
Husain Aljazzar, Holger Hermanns, Stefan Leue
Counterexamples for Timed Probabilistic Reachability. FORMATS (2005)
Matthew B. Dwyer, Stefan Leue
Introductory paper. Int. J. Softw. Tools Technol. Transf. 6 (4) (2004)
Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue
Heuristic-guided counterexample search in FLAVERS. SIGSOFT FSE (2004)
Stefan Leue, Richard Mayr, Wei Wei
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. SPIN (2004)
Stefan Leue, Richard Mayr, Wei Wei
A Scalable Incomplete Test for the Boundedness of UML RT Models. TACAS (2004)
Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente
Partial-order reduction and trail improvement in directed model checking. Int. J. Softw. Tools Technol. Transf. 6 (4) (2004)
Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente
Directed explicit-state model checking in the validation of communication protocols. Int. J. Softw. Tools Technol. Transf. 5 (2-3) (2004)
Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue
Partial Order Reduction in Directed Model Checking. SPIN (2002)
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue
Trail-directed model checking. Electron. Notes Theor. Comput. Sci. 55 (3) (2001)
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue
Directed Explicit Model Checking with HSF-SPIN. SPIN (2001)
Moataz Kamel, Stefan Leue
Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. Int. J. Softw. Tools Technol. Transf. 2 (4) (2000)
Moataz Kamel, Stefan Leue
VIP: A Visual Editor and Compiler for v-Promela. TACAS (2000)
Stefan Leue, Gerard J. Holzmann
v-Promela: A Visual, Object-Oriented Language for SPIN. ISORC (1999)
Moataz Kamel, Stefan Leue
VIP: A Visual Interface for Promela. SPIN (1999)
Hanêne Ben-Abdallah, Stefan Leue
MESA: Support for Scenario-Based Design of Concurrent Systems. TACAS (1998)
Stefan Leue, Lars Mehrmann, Mohammad Reza Mousavi
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. ASE (1998)
Stefan Fischer, Stefan Leue
Formal Methods for Broadband and Multimedia Systems. Comput. Networks 30 (9-10) (1998)
Stefan Fischer, Stefan Leue
Formal Methods for Broadband and Multimedia Systems (Tutorial). ICSE (1997)
Hanêne Ben-Abdallah, Stefan Leue
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts. TACAS (1997)
Hanêne Ben-Abdallah, Stefan Leue
Timing Constraints in Message Sequence Chart Specifications. FORTE (1997)
Stefan Leue, Philippe Oechslin
OpParIm: A method and tool for optimized parallel protocol implementation. J. High Speed Networks 5 (2) (1996)
Stefan Leue, Philippe Oechslin
On parallelizing and optimizing the implementation of communication protocols. IEEE/ACM Trans. Netw. 4 (1) (1996)
Stefan Leue, Peter B. Ladkin
Implementing and verifying MSC specifications using Promela/XSpin. The Spin Verification System (1996)
Stefan Leue
Specifying real-time requirements for SDL specifications - a temporal logic-based approach. PSTV (1995)
Peter B. Ladkin, Stefan Leue
Interpreting Message Flow Graphs. Formal Aspects Comput. 7 (5) (1995)
Stefan Leue, Philippe Oechslin
Formalizations and algorithms for optimized parallel protocol implementation. ICNP (1994)
Stefan Leue, Philippe Oechslin
From SDL specifications to optimized parallel protocol implementations. Protocols for High-Speed Networks (1994)
Peter B. Ladkin, Stefan Leue
Four issues concerning the semantics of Message Flow Graphs. FORTE (1994)
Peter B. Ladkin, Stefan Leue
What Do Message Sequence Charts Mean? FORTE (1993)
Peter B. Ladkin, Stefan Leue
On the Semantics of Message Sequence Charts. FBT (1992)

Stefan Leue.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Leue