Scholar
Martin Fränzle
Google Scholar ID: i9KSxk8AAAAJ
Professor of Computer Science, University of Oldenburg
Formal methods in computer science
hybrid discrete-continuous systems
control
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,773
H-index
21
i10-index
52
Publications
20
Co-authors
81
list available
Publications
9 items
Synthesizing Update Schedules with Game-Based Extension of Bounded Model Checking
Electronic Proceedings in Theoretical Computer Science · 2026
Cited
0
Stream-based Online and Offline Monitoring under Measurement Noise
2026
Cited
0
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
Load more
Co-authors
9 total
Naijun Zhan
School of Computer Science, Peking University
Bai Xue
Full Professor, State Key Laboratory of Computer Science,Institute of Software, CAS
Alessandro Abate
Professor of Verification and Control, University of Oxford, UK
Axel Hahn
Direktor DLR-Institut, Professor für Informatik, Universität Oldenburg
Eckard Böde
German Aerospace Center (DLR)
Mingshuai Chen
Assistant Professor of Computer Science, Zhejiang University
Stefan Ratschan
Czech Academy of Sciences
Nedialko S. Nedialkov
Professor, McMaster University
