Stefan Leue

Cited by

	All	Since 2020
Citations	3788	613
h-index	34	14
i10-index	75	20

200

100

150

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202542 17 44 62 69 63 75 104 116 142 133 172 134 143 167 165 134 200 141 154 155 145 156 119 124 125 116 111 139 117 124 6

Public access

View all

13 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, StefanDepartment of Theor. Computer Science at Charles University and at FEL/CVUT 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
Adrian BeerResearch Assistant, University of KonstanzVerified email at uni-konstanz.de
Dragan Bosnackiassistant professor, Eindhoven University of TechnologyVerified email at tue.nl
Alin StefanescuProfessor of Computer Science, University of Bucharest, RomaniaVerified email at fmi.unibuc.ro
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
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
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
Christian WienbruchUniversity of KonstanzVerified email at uni-konstanz.de
Pedro MerinoUniversidad de ZaragozaVerified email at unizar.es
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Matthew DwyerThomson Distinguished Professor, University of VirginiaVerified email at virginia.edu
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il

Stefan Leue

Professor of Computer Science, University of Konstanz, Germany

Verified email at uni-konstanz.de - Homepage

Software and Systems Engineering Formal Methods Causality Machine Learning Legal Tech


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	258	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	255	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	207	1997
K⁎: A heuristic search algorithm for finding the k shortest paths H Aljazzar, S Leue Artificial Intelligence 175 (18), 2129-2154, 2011	203	2011
Interpreting message flow graphs PB Ladkin, S Leue Formal Aspects of Computing 7, 473-509, 1995	164	1995
Causality checking for complex system models F Leitner-Fischer, S Leue International Workshop on Verification, Model Checking, and Abstract …, 2013	97	2013
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	96	2009
Partial order reduction in directed model checking A Lluch-Lafuente, S Edelkamp, S Leue Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002	92	2002
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	89	2006
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	79	2009
What do message sequence charts mean? PB Ladkin, S Leue	78	1994
Timing constraints in message sequence chart specifications H Ben-Abdallah, S Leue Formal Description Techniques and Protocol Specification, Testing and …, 1997	75	1997
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	70	2000
Protocol verification with heuristic search S Edelkamp, AL Lafuente, S Leue Bibliothek der Universität Konstanz, 2001	68	2001
Specifying real-time requirements for SDL specifications—A temporal logic-based approach S Leue International Conference on Protocol Specification, Testing and Verification …, 1995	67	1995
Synthesizing ROOM models from message sequence chart specifications S Leue, L Mehrmann, M Rezai	65	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	62	1998
Synthesizing software architecture descriptions from Message Sequence Chart specifications S Leue, L Mehrmann, M Rezai Proceedings 13th IEEE International Conference on Automated Software …, 1998	61	1998
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	58	2009
From probabilistic counterexamples via causality to fault trees M Kuntz, F Leitner-Fischer, S Leue Computer Safety, Reliability, and Security: 30th International Conference …, 2011	57	2011

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