Concepedia

Stefan Leue

SL

Statistics

Publications

31

Citations

1.2K

H-Index

20

Active since

1993

Affiliations

University of Konstanz(Current)

University of Waterloo

University of Pisa

University of Freiburg

Stefan Leue is an author at University of Konstanz specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringVerificationProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware Testing

Publications per year

1993–2013

31

Publications

31

Directed explicit-state model checking in the validation of communication protocols

Stefan Edelkamp, Stefan Leue, Alberto Lluch Lafuente · International Journal on Software Tools for Technology Transfer · 2004 · 168 citations · Full text

Formal Specification, Engineering, Automated Reasoning +12

K⁎: A heuristic search algorithm for finding the k shortest paths

Husain Aljazzar, Stefan Leue · Artificial Intelligence · 2011 · 145 citations

Heuristic Search, Engineering, Heuristic (Computer Science) +7

Interpreting Message Flow Graphs

Peter B. Ladkin, Stefan Leue · Formal Aspects of Computing · 1995 · 92 citations · Full text

Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples

Husain Aljazzar, Manuel Fischer, Lars Grunske et al. · 2009 · 67 citations · Full text

Probabilistic Counterexamples, Engineering, Fmea Process +21

Discriminative pattern mining in software fault detection

Giuseppe Di Fatta, Stefan Leue, Evghenia Stegantova · 2006 · 63 citations

Software Maintenance, Engineering, Software Engineering +22

1–5 of 31