Martin Leucker

Cited by

	All	Since 2017
Citations	6729	2806
h-index	37	24
i10-index	89	46

620

310

155

465

20022003200420052006200720082009201020112012201320142015201620172018201920202021202234 22 26 81 124 134 167 229 330 347 394 397 532 466 500 451 616 540 466 516 214

Public access

View all

22 articles

1 article

available

not available

Based on funding mandates

Co-authors

Benedikt BolligCNRS, LMF, ENS 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 rz.uni-augsburg.de
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Alexander PretschnerProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Peter HabermehlAssistant Professor of Computer Science, IRIF, University Paris CitéVerified email at irif.fr
Cesar SanchezAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Daniel NeiderResearch Group Leader, Max Planck Institute for Software SystemsVerified email at mpi-sws.org
Martin LangeProfessor of Computer Science, University of KasselVerified email at uni-kassel.de
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Luboš BrimMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Sharon ShohamTel Aviv UniversityVerified email at tauex.tau.ac.il
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)Verified email at unamur.be
Maxime CordySnT, University 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
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesVerified email at univ-amu.fr

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	950	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	657	2011
Model-based testing of reactive systems M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Volume 3472 of Springer LNCS, 2005	649*	2005
Comparing LTL semantics for runtime verification A Bauer, M Leucker, C Schallhart Journal of Logic and Computation 20 (3), 651-674, 2010	267	2010
Efficient energy-optimal routing for electric vehicles M Sachenbacher, M Leucker, A Artmeier, J Haselmayr Twenty-fifth AAAI conference on artificial intelligence, 2011	224	2011
The shortest path problem revisited: Optimal routing for electric vehicles A Artmeier, J Haselmayr, M Leucker, M Sachenbacher Annual conference on artificial intelligence, 309-316, 2010	216	2010
Monitoring of real-time properties A Bauer, M Leucker, C Schallhart International Conference on Foundations of Software Technology and …, 2006	213	2006
Modeling and model checking software product lines A Gruler, M Leucker, K Scheidemann International Conference on Formal Methods for Open Object-Based Distributed …, 2008	197	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	152	2007
Angluin-Style Learning of NFA. B Bollig, P Habermehl, C Kern, M Leucker IJCAI 9, 1004-1009, 2009	134	2009
Don’t Know in Probabilistic Systems H Fecher, M Leucker, V Wolf International SPIN Workshop on Model Checking of Software, 71-88, 2006	125	2006
On the correspondence between conformance testing and regular inference T Berg, O Grinchtein, B Jonsson, M Leucker, H Raffelt, B Steffen International Conference on Fundamental Approaches to Software Engineering …, 2005	121	2005
Three-valued abstraction for continuous-time Markov chains JP Katoen, D Klink, M Leucker, V Wolf International Conference on Computer Aided Verification, 311-324, 2007	113	2007
Controller synthesis for probabilistic systems C Baier, M Größer, M Leucker, B Bollig, F Ciesinski Exploring New Frontiers of Theoretical Informatics, 493-506, 2004	112	2004
libalf: The automata learning framework B Bollig, JP Katoen, C Kern, M Leucker, D Neider, DR Piegdon International Conference on Computer Aided Verification, 360-364, 2010	108	2010
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	98	2010
Regular linear temporal logic M Leucker, C Sánchez International colloquium on theoretical aspects of computing, 291-305, 2007	78	2007
Model-based runtime analysis of distributed reactive systems A Bauer, M Leucker, C Schallhart Australian Software Engineering Conference (ASWEC'06), 10 pp.-252, 2006	77	2006
Insights to Angluin's learning T Berg, B Jonsson, M Leucker, M Saksena Electronic Notes in Theoretical Computer Science 118, 3-18, 2005	65	2005
SALT—structured assertion language for temporal logic A Bauer, M Leucker, J Streit International Conference on Formal Engineering Methods, 757-775, 2006	62	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