Stefan Leue

According to our database, Stefan Leue authored at least 91 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Probabilistic Verification of Neural Networks using Branch and Bound.

David Boetius, Stefan Leue, Tobias Sutter

CoRR, 2024

Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics.

David Boetius, Stefan Leue

CoRR, 2024

2023

A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks.

David Boetius, Stefan Leue, Tobias Sutter

Proceedings of the International Conference on Machine Learning, 2023

symQV: Automated Symbolic Verification of Quantum Programs.

Fabian Bauer-Marquart, Stefan Leue, Christian Schilling

Proceedings of the Formal Methods - 25th International Symposium, 2023

Verifying Global Neural Network Specifications using Hyperproperties.

David Boetius, Stefan Leue

Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2023

2022

Formal Modeling and Analysis of Legal Contracts using ContractCheck.

Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi

CoRR, 2022

Automated Consistency Analysis for Legal Contracts.

Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi

Proceedings of the Model Checking Software - 28th International Symposium, 2022

SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks.

Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling

Proceedings of the Model Checking Software - 28th International Symposium, 2022

2021

Automated repair for timed systems.

Martin Kölbl, Stefan Leue, Thomas Wies

Formal Methods Syst. Des., 2021

DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization.

Fabian Bauer-Marquart, Stefan Leue, Christian Schilling

CoRR, 2021

2020

Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela.

Georgiana Caltais, Stefan Leue, Hargurbir Singh

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces.

Martin Kölbl, Stefan Leue

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Dynamic Causes for the Violation of Timed Reachability Properties.

Martin Kölbl, Stefan Leue, Robert Schmid

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

TarTar: A Timed Automata Repair Tool.

Martin Kölbl, Stefan Leue, Thomas Wies

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Causal Reasoning in Systems (NII Shonan Meeting 139).

Gregor Gössler, Stefan Leue, Shin Nakajima

NII Shonan Meet. Rep., 2019

Clock Bound Repair for Timed Systems.

Martin Kölbl, Stefan Leue, Thomas Wies

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking.

Martin Kölbl, Stefan Leue

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Verlässliche Software im 21. Jahrhundert.

Stefan Wagner, Matthias Tichy, Michael Felderer, Stefan Leue

Inform. Spektrum, 2018

Causality for General LTL-definable Properties.

Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue

Proceedings of the Proceedings 3rd Workshop on formal reasoning about Causation, 2018

From SysML to Model Checkers via Model Transformation.

Martin Kölbl, Stefan Leue, Hargurbir Singh

Proceedings of the Model Checking Software - 25th International Symposium, 2018

Automated Functional Safety Analysis of Automated Driving Systems.

Martin Kölbl, Stefan Leue

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

2016

(De-)Composing Causality in Labeled Transition Systems.

Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi

Proceedings of the Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2016

SysML to NuSMV Model Transformation via Object-Orientation.

Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

2015

Methods and semantics for telecommunications systems engineering.

Stefan Leue

PhD thesis, 2015

Symbolic Causality Checking Using Bounded Model Checking.

Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

2014

SpinCause: a tool for causality checking.

Florian Leitner-Fischer, Stefan Leue

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

2013

Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems.

Stefan Leue, Wei Wei

IEEE Trans. Software Eng., 2013

Probabilistic fault tree synthesis using causality computation.

Florian Leitner-Fischer, Stefan Leue

Int. J. Crit. Comput. Based Syst., 2013

Causality Checking for Complex System Models.

Florian Leitner-Fischer, Stefan Leue

Proceedings of the Verification, 2013

Mining Sequential Patterns to Explain Concurrent Counterexamples.

Stefan Leue, Mitra Tabaei Befrouei

Proceedings of the Model Checking Software - 20th International Symposium, 2013

On the Synergy of Probabilistic Causality Computation and Causality Checking.

Florian Leitner-Fischer, Stefan Leue

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models.

Adrian Beer, Todor G. Georgiev, Florian Leitner-Fischer, Stefan Leue

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, 2013

2012

Counterexample Explanation by Anomaly Detection.

Stefan Leue, Mitra Tabaei Befrouei

Proceedings of the Model Checking Software - 19th International Workshop, 2012

Towards Causality Checking for Complex System Models.

Florian Leitner-Fischer, Stefan Leue

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

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

Sci. Comput. Program., 2011

QuantUM: Quantitative Safety Analysis of UML Models

Florian Leitner-Fischer, Stefan Leue

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

K^⁎: A heuristic search algorithm for finding the k shortest paths.

Husain Aljazzar, Stefan Leue

Artif. Intell., 2011

DiPro - A Tool for Probabilistic Counterexample Generation.

Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov

Proceedings of the Model Checking Software, 2011

From Probabilistic Counterexamples via Causality to Fault Trees.

Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue

Proceedings of the Computer Safety, Reliability, and Security, 2011

Quantitative Analysis of UML Models.

Florian Leitner-Fischer, Stefan Leue

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

2010

Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking.

Husain Aljazzar, Stefan Leue

IEEE Trans. Software Eng., 2010

Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation.

Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue

Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, 2010

Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs.

Matthias Kuntz, Stefan Leue, Christoph Scheben

Proceedings of the Second International Workshop on Invariant Generation, 2010

Automated Invariant Generation for the Verification of Real-Time Systems.

Bahareh Badban, Stefan Leue, Jan-Georg Smaus

Proceedings of the Second International Workshop on Invariant Generation, 2010

2009

Partial-order reduction for general state exploring algorithms.

Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente

Int. J. Softw. Tools Technol. Transf., 2009

Automated Predicate Abstraction for Real-Time Models

Bahareh Badban, Stefan Leue, Jan-Georg Smaus

Proceedings of the Proceedings International Workshop on Verification of Infinite-State Systems, 2009

Generation of Counterexamples for Model Checking of Markov Decision Processes.

Husain Aljazzar, Stefan Leue

Proceedings of the QEST 2009, 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

Proceedings of the QEST 2009, 2009

An Executable and Extensible Formal Semantics for UML-RT.

Stefan Leue, Wei Wei

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

Specification Languages for Stutter-Invariant Regular Properties.

Christian Dax, Felix Klaedtke, Stefan Leue

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT.

Stefan Leue, Alin Stefanescu, Wei Wei

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.

Stefan Leue, Alin Stefanescu, Wei Wei

Proceedings of the Model Checking Software, 2008

Debugging of Dependability Models Using Interactive Visualization of Counterexamples.

Husain Aljazzar, Stefan Leue

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2006

A Region Graph Based Approach to Termination Proofs.

Stefan Leue, Wei Wei

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Discriminative pattern mining in software fault detection.

Giuseppe Di Fatta, Stefan Leue, Evghenia Stegantova

Proceedings of the Third International Workshop on Software Quality Assurance, 2006

Extended Directed Search for Probabilistic Timed Reachability.

Husain Aljazzar, Stefan Leue

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

06172 Abstracts Collection -- Directed Model Checking.

Stefan Edelkamp, Stefan Leue, Willem Visser

Proceedings of the Directed Model Checking, 26.04. - 29.04.2006, 2006

06172 Executive Summary -- Directed Model Checking.

Stefan Edelkamp, Stefan Leue, Willem Visser

Proceedings of the Directed Model Checking, 26.04. - 29.04.2006, 2006

A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems.

Stefan Leue, Alin Stefanescu, Wei Wei

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Counterexample-Based Refinement for a Boundedness Test for CFSM Languages.

Stefan Leue, Wei Wei

Proceedings of the Model Checking Software, 2005

Counterexamples for Timed Probabilistic Reachability.

Husain Aljazzar, Holger Hermanns, Stefan Leue

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

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, 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

Proceedings of the Perspectives Workshop, 05.10. - 08.10.2005, 2005

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

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

Introductory paper.

Matthew B. Dwyer, Stefan Leue

Int. J. Softw. Tools Technol. Transf., 2004

A Scalable Incomplete Test for the Boundedness of UML RT Models.

Stefan Leue, Richard Mayr, Wei Wei

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

A Scalable Incomplete Test for Message Buffer Overflow in Promela Models.

Stefan Leue, Richard Mayr, Wei Wei

Proceedings of the Model Checking Software, 2004

Heuristic-guided counterexample search in FLAVERS.

Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

2002

Partial Order Reduction in Directed Model Checking.

Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue

Proceedings of the Model Checking of Software, 2002

2001

Trail-directed model checking.

Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue

Proceedings of the Workshop on Software Model Checking 2001, 2001

Directed Explicit Model Checking with HSF-SPIN.

Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue

Proceedings of the Model Checking Software, 2001

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

VIP: A Visual Editor and Compiler for v-Promela.

Moataz Kamel, Stefan Leue

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

1999

VIP: A Visual Interface for Promela.

Moataz Kamel, Stefan Leue

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

v-Promela: A Visual, Object-Oriented Language for SPIN.

Stefan Leue, Gerard J. Holzmann

Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

1998

Formal Methods for Broadband and Multimedia Systems.

Stefan Fischer, Stefan Leue

Comput. Networks, 1998

MESA: Support for Scenario-Based Design of Concurrent Systems.

Hanêne Ben-Abdallah, Stefan Leue

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications.

Stefan Leue, Lars Mehrmann, Mohammad Reza Mousavi

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997

Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts.

Hanêne Ben-Abdallah, Stefan Leue

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Formal Methods for Broadband and Multimedia Systems (Tutorial).

Stefan Fischer, Stefan Leue

Proceedings of the Pulling Together, 1997

Timing Constraints in Message Sequence Chart Specifications.

Hanêne Ben-Abdallah, Stefan Leue

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996

On parallelizing and optimizing the implementation of communication protocols.

Stefan Leue, Philippe Oechslin

IEEE/ACM Trans. Netw., 1996

OpParIm: A method and tool for optimized parallel protocol implementation.

Stefan Leue, Philippe Oechslin

J. High Speed Networks, 1996

Implementing and verifying MSC specifications using Promela/XSpin.

Stefan Leue, Peter B. Ladkin

Proceedings of the Spin Verification System, 1996

1995

Interpreting Message Flow Graphs.

Peter B. Ladkin, Stefan Leue

Formal Aspects Comput., 1995

Specifying real-time requirements for SDL specifications - a temporal logic-based approach.

Stefan Leue

Proceedings of the Protocol Specification, 1995

1994

From SDL specifications to optimized parallel protocol implementations.

Stefan Leue, Philippe Oechslin

Proceedings of the Protocols for High-Speed Networks IV, 1994

Formalizations and algorithms for optimized parallel protocol implementation.

Stefan Leue, Philippe Oechslin

Proceedings of the 1994 International Conference on Network Protocols, 1994

Four issues concerning the semantics of Message Flow Graphs.

Peter B. Ladkin, Stefan Leue

Proceedings of the Formal Description Techniques VII, 1994

1993

What Do Message Sequence Charts Mean?

Peter B. Ladkin, Stefan Leue

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992

On the Semantics of Message Sequence Charts.

Peter B. Ladkin, Stefan Leue

Proceedings of the Formale Methoden für verteilte Systeme, 1992