Stefan Leue
Stefan Leue
Professor of Computer Science
Verified email at uni-konstanz.de - Homepage
Title
Cited by
Cited by
Year
Directed explicit model checking with HSF-SPIN
S Edelkamp, AL Lafuente, S Leue
International SPIN Workshop on Model Checking of Software, 57-79, 2001
2262001
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 (2-3), 247-267, 2004
2122004
Syntactic detection of process divergence and non-local choice in message sequence charts
H Ben-Abdallah, S Leue
International Workshop on Tools and Algorithms for the Construction and …, 1997
1911997
Interpreting message flow graphs
PB Ladkin, S Leue
Formal Aspects of Computing 7 (5), 473-509, 1995
1511995
K⁎: A heuristic search algorithm for finding the k shortest paths
H Aljazzar, S Leue
Artificial Intelligence 175 (18), 2129-2154, 2011
1232011
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
792006
What do message sequence charts mean?
PB Ladkin, S Leue
IFIP TC6/WG6. 1, 301-316, 1994
721994
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
712009
Timing constraints in message sequence chart specifications
H Ben-Abdallah, S Leue
Formal Description Techniques and Protocol Specification, Testing and …, 1997
701997
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
662009
Partial order reduction in directed model checking
A Lluch-Lafuente, S Edelkamp, S Leue
International SPIN Workshop on Model Checking of Software, 112-127, 2002
662002
Synthesizing software architecture descriptions from Message Sequence Chart specifications
S Leue, L Mehrmann, M Rezai
Proceedings 13th IEEE International Conference on Automated Software …, 1998
641998
Specifying real-time requirements for SDL specifications—A temporal logic-based approach
S Leue
International Conference on Protocol Specification, Testing and Verification …, 1995
641995
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 (4), 394-409, 2000
622000
Synthesizing ROOM models from message sequence chart specifications
S Leue, L Mehrmann, M Rezai
621998
MESA: Support for scenario-based design of concurrent systems
H Ben-Abdallah, S Leue
International Conference on Tools and Algorithms for the Construction and …, 1998
601998
Protocol verification with heuristic search
S Edelkamp, AL Lafuente, S Leue
Bibliothek der Universität Konstanz, 2001
552001
Partial-order reduction for general state exploring algorithms
D Bošnački, S Leue, AL Lafuente
International Journal on Software Tools for Technology Transfer 11 (1), 39-51, 2009
522009
Counterexamples for timed probabilistic reachability
H Aljazzar, H Hermanns, S Leue
International Conference on Formal Modeling and Analysis of Timed Systems …, 2005
502005
Expressing and analyzing timing constraints in message sequence chart specifications
H Ben-Abdallah, S Leue
481997
The system can't perform the operation now. Try again later.
Articles 1–20