Stefan Leue
Orcid: 0000-0002-4259-624XAffiliations:
- University of Konstanz, Department of Computer and Information Science, Germany
According to our database1,
Stefan Leue
authored at least 89 papers
between 1992 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks.
Proceedings of the International Conference on Machine Learning, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
2022
Proceedings of the Model Checking Software - 28th International Symposium, 2022
Proceedings of the Model Checking Software - 28th International Symposium, 2022
2021
DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization.
CoRR, 2021
2020
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela.
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Proceedings of the Automated Technology for Verification and Analysis, 2019
2018
Proceedings of the Proceedings 3rd Workshop on formal reasoning about Causation, 2018
Proceedings of the Model Checking Software - 25th International Symposium, 2018
Proceedings of the Formal Methods for Industrial Critical Systems, 2018
2016
Proceedings of the Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2016
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016
2015
Proceedings of the Model Checking Software - 22nd International Symposium, 2015
2014
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
Int. J. Crit. Comput. Based Syst., 2013
Proceedings of the Model Checking Software - 20th International Symposium, 2013
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
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
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011
Artif. Intell., 2011
Proceedings of the Model Checking Software, 2011
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
Proceedings of the Second International Workshop on Invariant Generation, 2010
2009
Int. J. Softw. Tools Technol. Transf., 2009
Proceedings of the Proceedings International Workshop on Verification of Infinite-State Systems, 2009
Proceedings of the QEST 2009, 2009
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples.
Proceedings of the QEST 2009, 2009
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009
Proceedings of the Automated Technology for Verification and Analysis, 2009
2008
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008
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
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006
Proceedings of the Third International Workshop on Software Quality Assurance, 2006
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006
Proceedings of the Directed Model Checking, 26.04. - 29.04.2006, 2006
Proceedings of the Directed Model Checking, 26.04. - 29.04.2006, 2006
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
2005
Proceedings of the Model Checking Software, 2005
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.
Proceedings of the Perspectives Workshop, 05.10. - 08.10.2005, 2005
2004
Int. J. Softw. Tools Technol. Transf., 2004
Int. J. Softw. Tools Technol. Transf., 2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Proceedings of the Model Checking Software, 2004
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004
2002
Proceedings of the Model Checking of Software, 2002
2001
Proceedings of the Workshop on Software Model Checking 2001, 2001
Proceedings of the Model Checking Software, 2001
2000
Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN.
Int. J. Softw. Tools Technol. Transf., 2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
1999
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999
Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999
1998
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
Proceedings of the Pulling Together, 1997
Timing Constraints in Message Sequence Chart Specifications.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997
1996
IEEE/ACM Trans. Netw., 1996
J. High Speed Networks, 1996
Proceedings of the Spin Verification System, 1996
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
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