Send email Copy Email Address
PhD Student

Florian Kohn

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Publications by Florian Kohn

Year 2023

2023-10-19

Leveraging Static Analysis:
An IDE for RTLola

Conference / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA) Leveraging Static Analysis: An IDE for RTLola

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023-10-15

Reactive Synthesis of Smart Contract Control Flows.

Conference / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA) Reactive Synthesis of Smart Contract Control Flows.

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2022

2022-04-11

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

Article

Algorithms

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page