Stefan Leue

Cited by

	All	Since 2016
Citations	3257	621
h-index	33	13
i10-index	68	17

200

100

150

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202144 14 48 53 61 55 72 97 116 150 131 166 144 152 183 163 141 196 155 157 146 141 160 107 121 120 110 2

Co-authors

Florian Leitner-FischerResearch Assistant, University of KonstanzVerified email at florian-leitner.de
Edelkamp, StefanComputer Science & Artificial Intelligence Center Faculty of Electrical Engineering, CTU in PragueVerified email at fel.cvut.cz
Husain AljazzarVerified email at aljazzar.de
Alberto Lluch LafuenteTechnical University of DenmarkVerified email at dtu.dk
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
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Giuseppe Di FattaProfessor of Computer Science, University of Reading, UKVerified email at reading.ac.uk
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
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
Pedro MerinoProfessor of Organic Chemistry, Universidad 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	227	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-3), 247-267, 2004	216	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	192	1997
Interpreting message flow graphs PB Ladkin, S Leue Formal Aspects of Computing 7 (5), 473-509, 1995	152	1995
K⁎: A heuristic search algorithm for finding the k shortest paths H Aljazzar, S Leue Artificial Intelligence 175 (18), 2129-2154, 2011	138	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	84	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	75	2009
What do message sequence charts mean? PB Ladkin, S Leue IFIP TC6/WG6. 1, 301-316, 1994	73	1994
Timing constraints in message sequence chart specifications H Ben-Abdallah, S Leue Formal Description Techniques and Protocol Specification, Testing and …, 1997	71	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	68	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	66	2002
Synthesizing software architecture descriptions from Message Sequence Chart specifications S Leue, L Mehrmann, M Rezai Proceedings 13th IEEE International Conference on Automated Software …, 1998	64	1998
Specifying real-time requirements for SDL specifications—A temporal logic-based approach S Leue International Conference on Protocol Specification, Testing and Verification …, 1995	64	1995
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	62	2000
Synthesizing ROOM models from message sequence chart specifications S Leue, L Mehrmann, M Rezai	62	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	61	1998
Protocol verification with heuristic search S Edelkamp, AL Lafuente, S Leue Bibliothek der Universität Konstanz, 2001	55	2001
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
Causality checking for complex system models F Leitner-Fischer, S Leue International Workshop on Verification, Model Checking, and Abstract …, 2013	52	2013
Counterexamples for timed probabilistic reachability H Aljazzar, H Hermanns, S Leue International Conference on Formal Modeling and Analysis of Timed Systems …, 2005	50	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

Upload PDF

Follow this author

Cited by

Co-authors