Martin Leucker

Cited by

	All	Since 2019
Citations	7850	2838
h-index	39	24
i10-index	94	51

620

310

155

465

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202440 21 25 76 134 128 173 225 326 352 392 390 528 483 496 459 609 556 495 510 458 445 370

Public access

View all

29 articles

1 article

available

not available

Based on funding mandates

Co-authors

Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayVerified email at lsv.ens-cachan.fr
Christian SchallhartGoogleVerified email at schallhart.net
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Andreas BauerUniversität AugsburgVerified email at uni-a.de
Alexander PretschnerProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityVerified email at tu-dortmund.de
Cesar SanchezProfessor, IMDEA Software InstituteVerified email at imdea.org
Peter HabermehlProfessor of Computer Science, IRIF, University Paris CitéVerified email at irif.fr
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at dfki.de
Martin LangeProfessor of Computer Science, University of KasselVerified email at uni-kassel.de
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Sharon ShohamTel Aviv UniversityVerified email at tauex.tau.ac.il
Luboš BrimMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesVerified email at univ-amu.fr
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Verified email at unamur.be
Maxime CordyUniversity of LuxembourgVerified email at uni.lu
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz
Christel BaierTU DresdenVerified email at tu-dresden.de

Martin Leucker

Professor of Computer Science, University of Lübeck

Verified email at isp.uni-luebeck.de - Homepage

Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A brief account of runtime verification M Leucker, C Schallhart The journal of logic and algebraic programming 78 (5), 293-303, 2009	1118	2009
Runtime verification for LTL and TLTL A Bauer, M Leucker, C Schallhart ACM Transactions on Software Engineering and Methodology (TOSEM) 20 (4), 1-64, 2011	786	2011
Model-based testing of reactive systems M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Volume 3472 of Springer LNCS, 2005	691	2005
Comparing LTL semantics for runtime verification A Bauer, M Leucker, C Schallhart Journal of Logic and Computation 20 (3), 651-674, 2010	315	2010
The shortest path problem revisited: Optimal routing for electric vehicles A Artmeier, J Haselmayr, M Leucker, M Sachenbacher KI 2010: Advances in Artificial Intelligence: 33rd Annual German Conference …, 2010	269	2010
Efficient energy-optimal routing for electric vehicles M Sachenbacher, M Leucker, A Artmeier, J Haselmayr Proceedings of the AAAI conference on artificial intelligence 25 (1), 1402-1407, 2011	261	2011
Monitoring of real-time properties A Bauer, M Leucker, C Schallhart FSTTCS 2006: Foundations of Software Technology and Theoretical Computer …, 2006	244	2006
Modeling and model checking software product lines A Gruler, M Leucker, K Scheidemann Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 …, 2008	213	2008
The good, the bad, and the ugly, but how ugly is ugly? A Bauer, M Leucker, C Schallhart International Workshop on Runtime Verification, 126-138, 2007	184	2007
Angluin-Style Learning of NFA. B Bollig, P Habermehl, C Kern, M Leucker IJCAI 9, 1004-1009, 2009	159	2009
On the correspondence between conformance testing and regular inference T Berg, O Grinchtein, B Jonsson, M Leucker, H Raffelt, B Steffen Fundamental Approaches to Software Engineering: 8th International Conference …, 2005	130	2005
Don’t Know in Probabilistic Systems H Fecher, M Leucker, V Wolf Model Checking Software: 13th International SPIN Workshop, Vienna, Austria …, 2006	124	2006
libalf: The automata learning framework B Bollig, JP Katoen, C Kern, M Leucker, D Neider, DR Piegdon Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010	122	2010
Controller synthesis for probabilistic systems C Baier, M Größer, M Leucker, B Bollig, F Ciesinski Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004	122	2004
Three-valued abstraction for continuous-time Markov chains JP Katoen, D Klink, M Leucker, V Wolf Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	115	2007
The optimal routing problem in the context of battery-powered electric vehicles A Artmeier, J Haselmayr, M Leucker, M Sachenbacher CPAIOR Workshop on Constraint Reasoning and Optimization for Computational …, 2010	111	2010
TeSSLa: temporal stream-based specification language L Convent, S Hungerecker, M Leucker, T Scheffel, M Schmitz, D Thoma Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF …, 2018	101	2018
Regular linear temporal logic M Leucker, C Sánchez International colloquium on theoretical aspects of computing, 291-305, 2007	83	2007
Monitoring modulo theories N Decker, M Leucker, D Thoma International Journal on Software Tools for Technology Transfer 18, 205-225, 2016	75	2016
Model-based runtime analysis of distributed reactive systems A Bauer, M Leucker, C Schallhart Australian Software Engineering Conference (ASWEC'06), 10 pp.-252, 2006	75	2006

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