Stefan Leue

Cited by

	All	Since 2016
Citations	3362	681
h-index	33	14
i10-index	69	18

220

110

165

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202144 14 47 52 62 57 71 99 121 144 129 166 141 151 179 166 142 203 158 163 144 144 159 106 122 122 111 60

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
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
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, 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
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	240	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	220	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	156	1995
K⁎: A heuristic search algorithm for finding the k shortest paths H Aljazzar, S Leue Artificial Intelligence 175 (18), 2129-2154, 2011	149	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	81	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	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	68	2002
Synthesizing ROOM models from message sequence chart specifications S Leue, L Mehrmann, M Rezai	63	1998
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
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	58	1998
Causality checking for complex system models F Leitner-Fischer, S Leue International Workshop on Verification, Model Checking, and Abstract …, 2013	57	2013
Counterexamples for timed probabilistic reachability H Aljazzar, H Hermanns, S Leue International Conference on Formal Modeling and Analysis of Timed Systems …, 2005	54	2005
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	53	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 this author

Cited by

Co-authors