Stefan Leue

Cited by

	All	Since 2017
Citations	3351	580
h-index	33	12
i10-index	69	16

200

100

150

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202244 14 47 52 62 57 71 99 121 143 128 165 138 138 180 156 135 196 149 158 141 140 158 104 122 124 113 115 2

Public access

View all

15 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Florian Leitner-FischerResearch Assistant, University of KonstanzVerified email at florian-leitner.de
Alberto Lluch LafuenteTechnical University of DenmarkVerified email at dtu.dk
Edelkamp, StefanComputer Science & Artificial Intelligence Center Faculty of Electrical Engineering, CTU in PragueVerified email at fel.cvut.cz
Husain AljazzarVerified email at aljazzar.de
Philippe OechslinObjectif Sécurité / EPFLVerified email at objectif-securite.ch
Dragan Bosnackiassistant professor, Eindhoven University of TechnologyVerified email at tue.nl
Adrian BeerResearch Assistant, University of KonstanzVerified email at uni-konstanz.de
Alin StefanescuProfessor of Computer Science, University of Bucharest, RomaniaVerified email at fmi.unibuc.ro
Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
Giuseppe Di FattaProfessor of Computer Science, Free University of Bozen-BolzanoVerified email at unibz.it
Lars GrunskeProfessor for Software Engineering, Humboldt-Universität zu Berlin, GermanyVerified email at informatik.hu-berlin.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Stefan FischerProfessor for Computer Science, University of LuebeckVerified email at itm.uni-luebeck.de
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
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 International SPIN Workshop on Model Checking of Software, 57-79, 2001	244	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 (2), 247-267, 2004	225	2004
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	193	1997
Interpreting message flow graphs PB Ladkin, S Leue Formal Aspects of Computing 7 (5), 473-509, 1995	157	1995
K⁎: A heuristic search algorithm for finding the k shortest paths H Aljazzar, S Leue Artificial Intelligence 175 (18), 2129-2154, 2011	155	2011
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	87	2006
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	84	2009
What do message sequence charts mean? PB Ladkin, S Leue IFIP TC6/WG6. 1, 301-316, 1994	75	1994
Timing constraints in message sequence chart specifications H Ben-Abdallah, S Leue Formal Description Techniques and Protocol Specification, Testing and …, 1997	72	1997
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	71	2009
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	68	2002
Synthesizing ROOM models from message sequence chart specifications S Leue, L Mehrmann, M Rezai	64	1998
Causality checking for complex system models F Leitner-Fischer, S Leue International Workshop on Verification, Model Checking, and Abstract …, 2013	63	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 (4), 394-409, 2000	63	2000
Specifying real-time requirements for SDL specifications—A temporal logic-based approach S Leue International Conference on Protocol Specification, Testing and Verification …, 1995	61	1995
Protocol verification with heuristic search S Edelkamp, AL Lafuente, S Leue Bibliothek der Universität Konstanz, 2001	60	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	59	1998
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	59	1998
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	54	2009
Counterexamples for timed probabilistic reachability H Aljazzar, H Hermanns, S Leue International Conference on Formal Modeling and Analysis of Timed Systems …, 2005	54	2005

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 this author

Cited by

Co-authors