Trustworthy verification of realtime systems

von Wimmer, Simon
Veröffentlicht 2020

Verified Certification of Reachability Checking for Timed Automata

von Wimmer, Simon
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Certifying Emptiness of Timed Büchi Automata

von Wimmer, Simon
Veröffentlicht in FORMATS (18. : 2020 : Online) Formal modeling and analysis of timed systems (2020)

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway

von Seisenberger, Monika
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice (2022)