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 | 7 | 2022 |
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 |
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned J Baumeister, B Finkbeiner, F Kohn, F Löhr, G Manfredi, S Schirmer, ... arXiv preprint arXiv:2404.12035, 2024 | | 2024 |
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 | | 2024 |
Leveraging Static Analysis: An IDE for RTLola B Finkbeiner, F Kohn, M Schledjewski International Symposium on Automated Technology for Verification and …, 2023 | | 2023 |
Faculty of Mathematics and Computer Science Department of Computer Science F Kohn Saarland University, 2019 | | 2019 |