Martin Leucker
Scholar

Martin Leucker

Google Scholar ID: K5TogrcAAAAJ
Professor of Computer Science, University of Lübeck
Software Engineering
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
8,551
 
H-index
42
 
i10-index
104
 
Publications
20
 
Co-authors
25
list available
Contact
No contact links provided.
Publications
3 items
A Unified Framework for Runtime Verification and Model-Based Diagnosis in LOLA
2026
Cited
0
Inference of Deterministic Finite Automata via Q-Learning
2025
Cited
0
A Note on Runtime Verification of Concurrent Systems
2025
Cited
0
Resume (English only)
Co-authors
25 total
Benedikt Bollig
Benedikt Bollig
CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay
Co-author 2
Co-author 2
Joost-Pieter Katoen
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Co-author 4
Co-author 4
Bengt Jonsson
Bengt Jonsson
Professor of Computer Systems, Uppsala University
Alexander Pretschner
Alexander Pretschner
Professor of Computer Science, Technische Universität München
Co-author 7
Co-author 7
Daniel Neider
Daniel Neider
TU Dortmund University and Center for Trustworthy Data Science and Security