Martin Leucker
Universität zu Lübeck
H-index: 38
Europe-Germany
Top articles of Martin Leucker
Analyzing Robustness of Angluin's L Algorithm in Presence of Noise
Logical Methods in Computer Science
2024/3/20
Martin Leucker
H-Index: 24
Rajarshi Roy
H-Index: 29
Detection of spoiled food along the supply chain with novel sensors for packed food
2024/3/12
Martin Leucker
H-Index: 24
TeSSLa-ROS-Bridge–Runtime Verification of Robotic Systems
2023/11/23
Martin Leucker
H-Index: 24
Synchronous Agents, Verification, and Blame—A Deontic View
2023/11/23
Gerardo Schneider
H-Index: 17
Martin Leucker
H-Index: 24
A case study on data protection for a cloud-and AI-based homecare medical device
2023/11/1
Martin Leucker
H-Index: 24
Check for updates
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries: 8th International Workshop, BrainLes 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers
2023/7/17
General Anticipatory Monitoring for Temporal Logics on Finite Traces
2023/10/1
Martin Leucker
H-Index: 24
César Sánchez
H-Index: 4
A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management
2023/9/7
Martin Leucker
H-Index: 24
Analysis of recurrent neural networks via property-directed verification of surrogate models
International Journal on Software Tools for Technology Transfer
2023/6
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
2023/3/2
Marsha Chechik
H-Index: 27
Martin Leucker
H-Index: 24
Digital Twin for Rescue Missions–a Case Study
2023
Martin Leucker
H-Index: 24
Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins
Research report http://urn. nb. no/URN: NBN: no-35645
2023
Symbolic runtime verification for monitoring under uncertainties and assumptions
2022/10/21
Martin Leucker
H-Index: 24
César Sánchez
H-Index: 4
X-by-Construction meets runtime verification
2022/10/17
Martin Leucker
H-Index: 24
Ina Schaefer
H-Index: 29
TeSSLa–an ecosystem for runtime verification
2022/9/23
Martin Leucker
H-Index: 24
Alexander Weiss
H-Index: 7
Anticipatory recurrent monitoring with uncertainty and assumptions
2022/9/23
A survey of model learning techniques for recurrent neural networks
2022/9/7
Martin Leucker
H-Index: 24
Optimizing Trans-Compilers in Runtime Verification Makes Sense–Sometimes
2022/7/3
Martin Leucker
H-Index: 24
Runtime verification of AUTOSAR timing extensions
2022/6/7
Martin Leucker
H-Index: 24
Responsible and regulatory conform machine learning for medicine: a survey of challenges and solutions
IEEE Access
2022/5/27
Eike Petersen
H-Index: 4
Dirk Nowotka
H-Index: 9
Martin Leucker
H-Index: 24
Philipp Rostalski
H-Index: 10
Christian Herzog
H-Index: 6