| A truly robust signal temporal logic: Monitoring safety properties of interacting cyber-physical systems under uncertain observation B Finkbeiner, M Fränzle, F Kohn, P Kröger Algorithms 15 (4), 126, 2022 | 13 | 2022 |
| Monitoring unmanned aircraft: specification, integration, and lessons-learned J Baumeister, B Finkbeiner, F Kohn, F Löhr, G Manfredi, S Schirmer, ... International Conference on Computer Aided Verification, 207-218, 2024 | 5 | 2024 |
| Reactive synthesis of smart contract control flows B Finkbeiner, J Hofmann, F Kohn, N Passing International Symposium on Automated Technology for Verification and …, 2023 | 3 | 2023 |
| Leveraging Static Analysis: An IDE for RTLola B Finkbeiner, F Kohn, M Schledjewski International Symposium on Automated Technology for Verification and …, 2023 | 3 | 2023 |
| Certification Aspects of Runtime Assurance for Urban Air Mobility C Torens, P Nagarajan, S Schirmer, J Dauer, JE Baumeister, F Kohn, ... AIAA SCITECH 2024 Forum, 1464, 2024 | 2 | 2024 |
| A Tutorial on Stream-Based Monitoring J Baumeister, B Finkbeiner, F Kohn, F Scheerer International Symposium on Formal Methods, 624-648, 2024 | 1 | 2024 |
| Stream-Based Monitoring Under Measurement Noise B Finkbeiner, M Fränzle, F Kohn, P Kröger International Conference on Runtime Verification, 22-39, 2024 | | 2024 |
| Faculty of Mathematics and Computer Science Department of Computer Science F Kohn Saarland University, 2019 | | 2019 |