Scholar
Florian Kohn
Google Scholar ID: nzESnVYAAAAJ
Phd Student, CISPA Helmholtz Center for Information Security
Runtime Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
47
H-index
4
i10-index
2
Publications
10
Co-authors
0
Publications
7 items
Predictive Zonotope Reduction: Precise Runtime Monitoring under Uncertainty
2026
Cited
0
Stream-based Online and Offline Monitoring under Measurement Noise
2026
Cited
0
Pacing Types for Asynchronous Stream Equations
2026
Cited
0
Type-safe Monitoring of Parameterized Streams
2026
Cited
0
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
2026
Cited
0
Pacing Types: Safe Monitoring of Asynchronous Streams
2025
Cited
0
Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
World Congress on Formal Methods · 2025
Cited
0
