Martin Leucker - Publications, H-index & Citations

Martin Leucker

University of Lubeck

35H指数

277论文数

6.0K被引数

收录论文 10

发表时间

Symbolic runtime verification for monitoring under uncertainties and assumptions 在不确定性和假设条件下进行监视的符号运行时验证

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2026-01-21

OAAI

Hipler, Raik; Kallwies, Hannes; Leucker, Martin; Montali, Marco; Sanchez, Cesar; Winkler, Sarah

A Practical Approach to Runtime Verification 运行时验证的实用方法

RUNTIME VERIFICATION, RV 2025

IF0

2026-01-01

PREAI

Hipler, Raik; Kallwies, Hannes; Leucker, Martin; van Dommele, Kevin Gillian; Wien, Jannis

Using Attack Trees for Security Education and Training: Simplifying Threat Analysis 利用攻击树进行安全教育与培训：简化威胁分析

INFORMATION SECURITY EDUCATION. EMPOWERING PEOPLE THROUGH INFORMATION SECURITY EDUCATION, WISE 2025

IF0

2026-01-01

PREAI

Gruska, Damas; Ali, Aliyu Tanko; Leucker, Martin

Inference of Deterministic Finite Automata via Q-Learning 基于Q学习的确定性有限自动机推理

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025

IF0

2026-01-01

PREAI

Hosseinkhani, Elaheh; Leucker, Martin

Simulation-based Analysis of Car-sharing Electrification in Schleswig-Holstein, Germany 基于仿真的德国石勒苏益格-荷尔斯泰因州汽车共享电气化分析

PROCEEDINGS OF THE ACM SIGCAS/SIGCHI CONFERENCE ON COMPUTING AND SUSTAINABLE SOCIETIES 2024, COMPASS 2024

IF0

2024-08-28

PREAI

Ali, Aliyu Tanko; Schuldei, Andreas; Sachenbacher, Martin; Leucker, Martin

Multi-agent Simulation of Intelligent Energy Regulation in Vehicle-to-Grid 车辆与电网智能能量调节的多主体仿真

MULTI-AGENT-BASED SIMULATION XXIV, MABS 2023

IF0

2024-05-14

PREAI

Ali, Aliyu Tanko; Schrills, Tim; Schuldei, Andreas; Stellbrink, Leonard; Valdez, Andre Calero; Leucker, Martin; Franke, Thomas

Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions 负责任和监管一致的医学机器学习: 挑战和解决方案调查

IEEE ACCESS

IF3.6

2022-01-01

OAAI

Petersen, Eike; Potdevin, Yannik; Mohammadi, Esfandiar; Zidowitz, Stephan; Breyer, Sabrina; Nowotka, Dirk; Henn, Sandra; Pechmann, Ludwig; Leucker, Martin; Rostalski, Philipp; Herzog, Christian

Anticipatory active monitoring for safety- and security-critical software 针对安全性和安全性关键软件的预期主动监控

SCIENCE CHINA-INFORMATION SCIENCES

IF7.6

2012-12-29

PREAI

Dong Wei; Zhao ChangZhi; Shu ShaoXian; Leucker, Martin

Runtime Verification for LTL and TLTL LTL和TLTL的运行时验证

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2011-09-01

372

PREAI

Bauer, Andreas; Leucker, Martin; Schallhart, Christian

Learning Communicating Automata from MSCs 从MSCs学习通信自动机

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2010-05-01

PREAI

Bollig, Benedikt; Katoen, Joost-Pieter; Kern, Carsten; Leucker, Martin

研究方向