Researcher Next
Create account
← Back to directory

Martin Leucker

Researcher Next ID · RN-000887

Professor · Computer Science

University of Lübeck

Lübeck, Germany

Sign in to saveSign in to claim
Not currently recruitingFunding unknown
Works count
286
Citation count
6,281
H-index
36
i10-index
93

About

286 publications and 6,281 citations recorded on OpenAlex.

Research interests

Computer Science
Formal Methods in Verification
Logic, programming, and type systems
Software Testing and Debugging Techniques
Model-Driven Software Engineering Techniques
Machine Learning and Algorithms

Publications

  • Runtime Verification for LTL and TLTL

    ACM Transactions on Software Engineering and Methodology · 2011 · 10.1145/2000799.2000800

  • The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles

    Lecture notes in computer science · 2010 · 10.1007/978-3-642-16111-7_35

  • Comparing LTL Semantics for Runtime Verification

    Journal of Logic and Computation · 2009 · 10.1093/logcom/exn075

  • A brief account of runtime verification

    The Journal of Logic and Algebraic Programming · 2008 · 10.1016/j.jlap.2008.08.004

  • Model-Based Testing of Reactive Systems

    Lecture notes in computer science · 2005 · 10.1007/b137241

Current projects

    No projects listed.