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

Publications

4 items

Towards Model-based Run-time Cybersecurity: On Control-Flow Anomaly Detection, Attack Identification, and Hardware Monitoring

2026

Cited

0

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

Co-authors

13 total

Benedikt Bollig

CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente

Professor of Computer Systems, Uppsala University

Alexander Pretschner

Professor of Computer Science, Technische Universität München

TU Dortmund University and Center for Trustworthy Data Science and Security

Peter Habermehl

Professor of Computer Science, IRIF, University Paris Cité

Professor of Computer Science, Saarland University, Saarland Informatics Campus

Professor of Computer Science, University of Kassel