Autor der Publikation

AMT: A Property-Based Monitoring Tool for Analog Systems.

, und . FORMATS, Volume 4763 von Lecture Notes in Computer Science, Seite 304-319. Springer, (2007)

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

Trace Diagnostics Using Temporal Implicants., , und . ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 241-258. Springer, (2015)From MITL to Timed Automata., , und . FORMATS, Volume 4202 von Lecture Notes in Computer Science, Seite 274-289. Springer, (2006)Real Time Temporal Logic: Past, Present, Future., , und . FORMATS, Volume 3829 von Lecture Notes in Computer Science, Seite 2-16. Springer, (2005)Monitoring Temporal Properties of Continuous Signals., und . FORMATS/FTRTFT, Volume 3253 von Lecture Notes in Computer Science, Seite 152-166. Springer, (2004)Incremental Language Inclusion Checking for Networks of Timed Automata., , und . FORMATS, Volume 8053 von Lecture Notes in Computer Science, Seite 152-167. Springer, (2013)RTAMT: Online Robustness Monitors from STL., und . ATVA, Volume 12302 von Lecture Notes in Computer Science, Seite 564-571. Springer, (2020)A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)., , , , , , , , , und 6 andere Autor(en). CoRR, (2018)Flavours of Sequential Information Flow., , , , und . CoRR, (2021)Formal Specification for Learning-Enabled Autonomous Systems., , , , , , und . NSV/FoMLAS@CAV, Volume 13466 von Lecture Notes in Computer Science, Seite 131-143. Springer, (2022)Specification-Guided Critical Scenario Identification for Automated Driving., , , , , und . FM, Volume 14000 von Lecture Notes in Computer Science, Seite 610-621. Springer, (2023)