Scholar

Florian Kohn

Google Scholar ID: nzESnVYAAAAJ

Phd Student, CISPA Helmholtz Center for Information Security

Runtime Verification

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

47

H-index

4

i10-index

2

Publications

10

Co-authors

0

Contact

No contact links provided.

Publications

4 items

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)