Concepedia

Martin Leucker

ML

38

Publications

2.8K

Citations

22

H-Index

2000

Active since

Affiliations

University of Lübeck(Current)

Technical University of Munich

RWTH Aachen University

Uppsala University

Technical University of Darmstadt

Martin Leucker is an author at University of Lübeck specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningSystems EngineeringVerificationSoftware AnalysisProgram AnalysisSystem Software

Publications per year

2000–2024

38

Publications

38

A brief account of runtime verification

Martin Leucker, Christian Schallhart · The Journal of Logic and Algebraic Programming · 2008 · 797 citations

Program Checking, Engineering, Runtime Verification +9

Runtime Verification for LTL and TLTL

Andreas Bauer, Martin Leucker, Christian Schallhart · ACM Transactions on Software Engineering and Methodology · 2011 · 528 citations

Engineering, Verification, Lineartime Temporal Logic +17

Comparing LTL Semantics for Runtime Verification

Andreas Bauer, Martin Leucker, Christian Schallhart · Journal of Logic and Computation · 2009 · 217 citations

Efficient Energy-Optimal Routing for Electric Vehicles

Martin Sachenbacher, Martin Leucker, Andreas Artmeier et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2011 · 173 citations · Full text

Engineering, Network Routing, Vehicle Routing +18

Angluin-Style Learning of NFA

Benedikt Bollig, Peter Habermehl, Carsten Kern et al. · RWTH Publications (RWTH Aachen) · 2008 · 97 citations · Full text

Rows per page

1–5 of 38