Stefan Leue

Cited by

	All	Since 2018
Citations	3498	601
h-index	33	13
i10-index	70	18

220

110

165

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202344 14 45 52 61 61 73 96 119 135 127 177 131 149 167 170 131 202 138 162 156 145 155 110 122 117 116 115 127 4

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Florian Leitner-FischerProfessor for Computer Science, DHBW RavensburgVerified email at leitner-fischer.de
Edelkamp, StefanComputer Science & Artificial Intelligence Center Faculty of Electrical Engineering, CTU in PragueVerified email at fel.cvut.cz
Alberto Lluch LafuenteTechnical University of DenmarkVerified email at dtu.dk
Husain AljazzarVerified email at aljazzar.de
Philippe OechslinObjectif Sécurité / EPFLVerified email at objectif-securite.ch
Adrian BeerResearch Assistant, University of KonstanzVerified email at uni-konstanz.de
Dragan Bosnackiassistant professor, Eindhoven University of TechnologyVerified email at tue.nl
Lars GrunskeProfessor for Software Engineering, Humboldt-Universität zu Berlin, GermanyVerified email at informatik.hu-berlin.de
Giuseppe Di FattaProfessor of Computer Science, Free University of Bozen-BolzanoVerified email at unibz.it
Alin StefanescuProfessor of Computer Science, University of Bucharest, RomaniaVerified email at fmi.unibuc.ro
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
Shlomo ZilbersteinProfessor of Computer Science, University of Massachusetts AmherstVerified email at cs.umass.edu
Lori ClarkeProfessor of Computer Science, University of Massachusetts AmherstVerified email at cs.umass.edu
Stefan FischerProfessor for Computer Science, University of LuebeckVerified email at itm.uni-luebeck.de
Christian WienbruchUniversity of KonstanzVerified email at uni-konstanz.de
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Pedro MerinoUniversidad de ZaragozaVerified email at unizar.es
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Matthew DwyerUniversity of VirginiaVerified email at virginia.edu

Stefan Leue

Professor of Computer Science

Verified email at uni-konstanz.de - Homepage

Software Engineering Embedded Systems Formal Methods Model Checking Systems Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Directed explicit model checking with HSF-SPIN S Edelkamp, AL Lafuente, S Leue Model Checking Software: 8th International SPIN Workshop Toronto, Canada …, 2001	251	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	235	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	194	1997
K⁎: A heuristic search algorithm for finding the k shortest paths H Aljazzar, S Leue Artificial Intelligence 175 (18), 2129-2154, 2011	167	2011
Interpreting message flow graphs PB Ladkin, S Leue Formal Aspects of Computing 7, 473-509, 1995	160	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	93	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	85	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	77	2002
What do message sequence charts mean? PB Ladkin, S Leue IFIP TC6/WG6. 1, 301-316, 1994	77	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	74	2009
Timing constraints in message sequence chart specifications H Ben-Abdallah, S Leue Formal Description Techniques and Protocol Specification, Testing and …, 1997	74	1997
Causality checking for complex system models F Leitner-Fischer, S Leue Verification, Model Checking, and Abstract Interpretation: 14th …, 2013	73	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	68	2000
Synthesizing ROOM models from message sequence chart specifications S Leue, L Mehrmann, M Rezai	66	1998
Specifying real-time requirements for SDL specifications—A temporal logic-based approach S Leue Protocol Specification, Testing and Verification XV: Proceedings of the …, 1996	63	1996
Protocol verification with heuristic search S Edelkamp, AL Lafuente, S Leue Bibliothek der Universität Konstanz, 2001	62	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	58	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	58	1998
Counterexamples for timed probabilistic reachability H Aljazzar, H Hermanns, S Leue FORMATS 3829, 177-195, 2005	56	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	55	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors