Autor der Publikation

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification.

, , , , , , , und . ISoLA (2), Volume 12477 von Lecture Notes in Computer Science, Seite 416-439. Springer, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

An Executable Structural Operational Formal Semantics for Python.. CoRR, (2021)Tools at the Frontiers of Quantitative Verification., , , , , , , , , und 13 andere Autor(en). CoRR, (2024)(TACAS21 Artifact) Momba: JANI Meets Python., , und . (März 2021)OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust., , , und . (2024)Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification., , , , , , , und . ISoLA (2), Volume 12477 von Lecture Notes in Computer Science, Seite 416-439. Springer, (2020)RTLola on Board: Testing Real Driving Emissions on your Phone., , , , , und . TACAS (2), Volume 12652 von Lecture Notes in Computer Science, Seite 365-372. Springer, (2021)Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents., , , , , und . (Mai 2022)Artifact of "MoGym: Using Formal Models for Training and Verifying Decision Agents"., , , und . (November 2021)Configurable-by-Construction Runtime Monitoring., und . ISoLA (1), Volume 13701 von Lecture Notes in Computer Science, Seite 220-241. Springer, (2022)Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions., , , und . LPAR, Volume 57 von EPiC Series in Computing, Seite 1-17. EasyChair, (2018)