Martin Fränzle
Scholar

Martin Fränzle

Google Scholar ID: i9KSxk8AAAAJ
Professor of Computer Science, University of Oldenburg
Formal methods in computer sciencehybrid discrete-continuous systemscontrol
Google Scholar↗
Citations & Impact
All-time
Citations
1,773
 
H-index
21
 
i10-index
52
 
Publications
20
 
Co-authors
81
list available
Contact
No contact links provided.
Publications
7 items
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
2026
Cited
0
Model Learning for Adjusting the Level of Automation in HCPS
2025
Cited
0
Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
2025
Cited
0
Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion
2025
Cited
0
Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion
International Symposium on Games, Automata, Logics and Formal Verification · 2024
Cited
0
Monitoring Real-Time Systems under Parametric Delay
International Conference on Integrated Formal Methods · 2024
Cited
2
On the Existence of Reactive Strategies Resilient to Delay
arXiv.org · 2023
Cited
0
Resume (English only)
Co-authors
81 total
Co-author 1
Co-author 1
Naijun Zhan
Naijun Zhan
School of Computer Science, Peking University
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Alessandro Abate
Alessandro Abate
Professor of Verification and Control, University of Oxford, UK
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Axel Hahn
Axel Hahn
Direktor DLR-Institut, Professor für Informatik, Universität Oldenburg