Stefan Leue
Stefan Leue
Professor of Computer Science
Verified email at - Homepage
Cited by
Cited by
Directed explicit model checking with HSF-SPIN
S Edelkamp, AL Lafuente, S Leue
Model Checking Software: 8th International SPIN Workshop Toronto, Canada …, 2001
Directed explicit-state model checking in the validation of communication protocols
S Edelkamp, S Leue, A Lluch-Lafuente
International journal on software tools for technology transfer 5, 247-267, 2004
Syntactic detection of process divergence and non-local choice in message sequence charts
H Ben-Abdallah, S Leue
Tools and Algorithms for the Construction and Analysis of Systems: Third …, 1997
K⁎: A heuristic search algorithm for finding the k shortest paths
H Aljazzar, S Leue
Artificial Intelligence 175 (18), 2129-2154, 2011
Interpreting message flow graphs
PB Ladkin, S Leue
Formal Aspects of Computing 7, 473-509, 1995
Safety analysis of an airbag system using probabilistic FMEA and probabilistic counterexamples
H Aljazzar, M Fischer, L Grunske, M Kuntz, F Leitner-Fischer, S Leue
2009 Sixth International Conference on the Quantitative Evaluation of …, 2009
Discriminative pattern mining in software fault detection
G Di Fatta, S Leue, E Stegantova
Proceedings of the 3rd international workshop on Software quality assurance …, 2006
Partial order reduction in directed model checking
A Lluch-Lafuente, S Edelkamp, S Leue
Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002
What do message sequence charts mean?
PB Ladkin, S Leue
IFIP TC6/WG6. 1, 301-316, 1994
Directed explicit state-space search in the generation of counterexamples for stochastic model checking
H Aljazzar, S Leue
IEEE Transactions on Software Engineering 36 (1), 37-60, 2009
Timing constraints in message sequence chart specifications
H Ben-Abdallah, S Leue
Formal Description Techniques and Protocol Specification, Testing and …, 1997
Causality checking for complex system models
F Leitner-Fischer, S Leue
Verification, Model Checking, and Abstract Interpretation: 14th …, 2013
Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN
M Kamel, S Leue
International Journal on Software Tools for Technology Transfer 2, 394-409, 2000
Synthesizing ROOM models from message sequence chart specifications
S Leue, L Mehrmann, M Rezai
Specifying real-time requirements for SDL specifications—A temporal logic-based approach
S Leue
Protocol Specification, Testing and Verification XV: Proceedings of the …, 1996
Protocol verification with heuristic search
S Edelkamp, AL Lafuente, S Leue
Bibliothek der Universität Konstanz, 2001
Synthesizing software architecture descriptions from Message Sequence Chart specifications
S Leue, L Mehrmann, M Rezai
Proceedings 13th IEEE International Conference on Automated Software …, 1998
MESA: Support for Scenario-Based Design of
H Ben-Abdallah¹, S Leue
Tools and Algorithms for the Construction and Analysis of Systems: 4th …, 1998
Counterexamples for timed probabilistic reachability
H Aljazzar, H Hermanns, S Leue
FORMATS 3829, 177-195, 2005
Partial-order reduction for general state exploring algorithms
D Bošnački, S Leue, A Lluch Lafuente
International Journal on Software Tools for Technology Transfer 11, 39-51, 2009
The system can't perform the operation now. Try again later.
Articles 1–20