Stefan Leue

According to our database1, Stefan Leue authored at least 75 papers between 1992 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Clock Bound Repair for Timed Systems.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Verlässliche Software im 21. Jahrhundert.
Informatik Spektrum, 2018

Causality for General LTL-definable Properties.
Proceedings of the Proceedings 3rd Workshop on formal reasoning about Causation, 2018

From SysML to Model Checkers via Model Transformation.
Proceedings of the Model Checking Software - 25th International Symposium, 2018

Automated Functional Safety Analysis of Automated Driving Systems.
Proceedings of the Formal Methods for Industrial Critical Systems, 2018

2016
(De-)Composing Causality in Labeled Transition Systems.
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.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

2015
Methods and semantics for telecommunications systems engineering.
PhD thesis, 2015

Symbolic Causality Checking Using Bounded Model Checking.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

2014
SpinCause: a tool for causality checking.
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

2013
Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems.
IEEE Trans. Software Eng., 2013

Probabilistic fault tree synthesis using causality computation.
IJCCBS, 2013

Causality Checking for Complex System Models.
Proceedings of the Verification, 2013

Mining Sequential Patterns to Explain Concurrent Counterexamples.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

On the Synergy of Probabilistic Causality Computation and Causality Checking.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, 2013

2012
Counterexample Explanation by Anomaly Detection.
Proceedings of the Model Checking Software - 19th International Workshop, 2012

Towards Causality Checking for Complex System Models.
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).
Sci. Comput. Program., 2011

QuantUM: Quantitative Safety Analysis of UML Models
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

K: A heuristic search algorithm for finding the k shortest paths.
Artif. Intell., 2011

DiPro - A Tool for Probabilistic Counterexample Generation.
Proceedings of the Model Checking Software, 2011

From Probabilistic Counterexamples via Causality to Fault Trees.
Proceedings of the Computer Safety, Reliability, and Security, 2011

Quantitative Analysis of UML Models.
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.
IEEE Trans. Software Eng., 2010

Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation.
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.
Proceedings of the Second International Workshop on Invariant Generation, 2010

Automated Invariant Generation for the Verification of Real-Time Systems.
Proceedings of the Second International Workshop on Invariant Generation, 2010

2009
Automated Predicate Abstraction for Real-Time Models
Proceedings of the Proceedings International Workshop on Verification of Infinite-State Systems, 2009

Generation of Counterexamples for Model Checking of Markov Decision Processes.
Proceedings of the QEST 2009, 2009

Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples.
Proceedings of the QEST 2009, 2009

An Executable and Extensible Formal Semantics for UML-RT.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

Specification Languages for Stutter-Invariant Regular Properties.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT.
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.
Proceedings of the Model Checking Software, 2008

Debugging of Dependability Models Using Interactive Visualization of Counterexamples.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2006
A Region Graph Based Approach to Termination Proofs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Partial-Order Reduction for General State Exploring Algorithms.
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Discriminative pattern mining in software fault detection.
Proceedings of the Third International Workshop on Software Quality Assurance, 2006

Extended Directed Search for Probabilistic Timed Reachability.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

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

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

A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005
Counterexample-Based Refinement for a Boundedness Test for CFSM Languages.
Proceedings of the Model Checking Software, 2005

Counterexamples for Timed Probabilistic Reachability.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005


2004
Partial-order reduction and trail improvement in directed model checking.
STTT, 2004

Directed explicit-state model checking in the validation of communication protocols.
STTT, 2004

Introductory paper.
STTT, 2004

A Scalable Incomplete Test for the Boundedness of UML RT Models.
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.
Proceedings of the Model Checking Software, 2004

Heuristic-guided counterexample search in FLAVERS.
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.
Proceedings of the Model Checking of Software, 2002

2001
Trail-directed model checking.
Electr. Notes Theor. Comput. Sci., 2001

Directed Explicit Model Checking with HSF-SPIN.
Proceedings of the Model Checking Software, 2001

2000
Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN.
STTT, 2000

VIP: A Visual Editor and Compiler for v-Promela.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

1999
VIP: A Visual Interface for Promela.
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

v-Promela: A Visual, Object-Oriented Language for SPIN.
Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

1998
Formal Methods for Broadband and Multimedia Systems.
Computer Networks, 1998

MESA: Support for Scenario-Based Design of Concurrent Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Formal Methods for Broadband and Multimedia Systems (Tutorial).
Proceedings of the Pulling Together, 1997

Timing Constraints in Message Sequence Chart Specifications.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996
On parallelizing and optimizing the implementation of communication protocols.
IEEE/ACM Trans. Netw., 1996

OpParIm: A method and tool for optimized parallel protocol implementation.
J. High Speed Networks, 1996

Implementing and verifying MSC specifications using Promela/XSpin.
Proceedings of the Spin Verification System, 1996

1995
Interpreting Message Flow Graphs.
Formal Asp. Comput., 1995

Specifying real-time requirements for SDL specifications - a temporal logic-based approach.
Proceedings of the Protocol Specification, 1995

1994
From SDL specifications to optimized parallel protocol implementations.
Proceedings of the Protocols for High-Speed Networks IV, 1994

Formalizations and algorithms for optimized parallel protocol implementation.
Proceedings of the 1994 International Conference on Network Protocols, 1994

Four issues concerning the semantics of Message Flow Graphs.
Proceedings of the Formal Description Techniques VII, 1994

1993
What Do Message Sequence Charts Mean?
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.
Proceedings of the Formale Methoden für verteilte Systeme, 1992


  Loading...