logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Martin Leucker

University of Lubeck

35H-index
277Paper Count
6.0KCitation Count
Published Papers 10
Publication Date
logo
Symbolic runtime verification for monitoring under uncertainties and assumptions
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2026-01-21
err0
errOAAI
errHipler, Raik; Kallwies, Hannes; Leucker, Martin; Montali, Marco; Sanchez, Cesar; Winkler, Sarah
errShare
errSave
A Practical Approach to Runtime Verification
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err0
PREAI
errHipler, Raik; Kallwies, Hannes; Leucker, Martin; van Dommele, Kevin Gillian; Wien, Jannis
errShare
errSave
Using Attack Trees for Security Education and Training: Simplifying Threat Analysis
errINFORMATION SECURITY EDUCATION. EMPOWERING PEOPLE THROUGH INFORMATION SECURITY EDUCATION, WISE 2025
IF0
err2026-01-01
err0
PREAI
errGruska, Damas; Ali, Aliyu Tanko; Leucker, Martin
errShare
errSave
Inference of Deterministic Finite Automata via Q-Learning
errFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
err2026-01-01
err0
PREAI
errHosseinkhani, Elaheh; Leucker, Martin
errShare
errSave
Simulation-based Analysis of Car-sharing Electrification in Schleswig-Holstein, Germany
errPROCEEDINGS OF THE ACM SIGCAS/SIGCHI CONFERENCE ON COMPUTING AND SUSTAINABLE SOCIETIES 2024, COMPASS 2024
IF0
err2024-08-28
err0
PREAI
errAli, Aliyu Tanko; Schuldei, Andreas; Sachenbacher, Martin; Leucker, Martin
errShare
errSave
Multi-agent Simulation of Intelligent Energy Regulation in Vehicle-to-Grid
errMULTI-AGENT-BASED SIMULATION XXIV, MABS 2023
IF0
err2024-05-14
err0
PREAI
errAli, Aliyu Tanko; Schrills, Tim; Schuldei, Andreas; Stellbrink, Leonard; Valdez, Andre Calero; Leucker, Martin; Franke, Thomas
errShare
errSave
Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions
errIEEE ACCESS
IF3.6
err2022-01-01
err20
errOAAI
errPetersen, Eike; Potdevin, Yannik; Mohammadi, Esfandiar; Zidowitz, Stephan; Breyer, Sabrina; Nowotka, Dirk; Henn, Sandra; Pechmann, Ludwig; Leucker, Martin; Rostalski, Philipp; Herzog, Christian
errShare
errSave
Anticipatory active monitoring for safety- and security-critical software
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2012-12-29
err3
PREAI
errDong Wei; Zhao ChangZhi; Shu ShaoXian; Leucker, Martin
errShare
errSave
Runtime Verification for LTL and TLTL
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2011-09-01
err372
PREAI
errBauer, Andreas; Leucker, Martin; Schallhart, Christian
errShare
errSave
Learning Communicating Automata from MSCs
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2010-05-01
err13
PREAI
errBollig, Benedikt; Katoen, Joost-Pieter; Kern, Carsten; Leucker, Martin
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
Joost-Pieter Katoen
H-index: 58 · Papers: 636
M
Marco Montali
H-index: 38 · Papers: 397
T
Thomas Franke
H-index: 28 · Papers: 196
A
André Calero Valdez
H-index: 26 · Papers: 181
C
Christian Schallhart
H-index: 21 · Papers: 85
View more