E-mail senden E-Mail Adresse kopieren
Doktorand:in

Florian Kohn

E-Mail

Telefon

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Gruppenmitglied in

Veröffentlichungen von Florian Kohn

Jahr 2025

2025

A Tutorial on Stream-Based Monitoring

Konferenz / Medium

Formal Methods (FM)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2024

2024-07-25

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned

Konferenz / Medium

Computer Aided Verification (CAV)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2024-01-08

Certification Aspects of Runtime Assurance for Urban Air Mobility

Konferenz / Medium

AIAA SciTech Forum / AIAA Aerospace Sciences Meeting (AIAA)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2023

2023-10-19

Leveraging Static Analysis: An IDE for RTLola

Konferenz / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2023-10-15

Reactive Synthesis of Smart Contract Control Flows.

Konferenz / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2022

2022-04-11

A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation

Artikel

Algorithms

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen