Stefan Leue
University of Konstanz(DE)
Publications by Year
Research Areas
Formal Methods in Verification, Software Reliability and Analysis Research, Software Testing and Debugging Techniques, Advanced Software Engineering Methodologies, Model-Driven Software Engineering Techniques
Most-Cited Works
- → Directed explicit-state model checking in the validation of communication protocols(2004)168 cited
- → K⁎: A heuristic search algorithm for finding the k shortest paths(2011)145 cited
- → Syntactic detection of process divergence and non-local choice in message sequence charts(1997)129 cited
- → Directed explicit model checking with HSF-SPIN(2001)107 cited
- → Interpreting Message Flow Graphs(1995)92 cited
- → Theoretical and Practical Aspects of SPIN Model Checking(1999)77 cited
- → Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples(2009)67 cited