Autor der Publikation

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)Online Timed Pattern Matching Using Derivatives., , , und . TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 736-751. Springer, (2016)Timed Pattern Matching., , , und . FORMATS, Volume 8711 von Lecture Notes in Computer Science, Seite 222-236. Springer, (2014)From Real-time Logic to Timed Automata., , , und . J. ACM, 66 (3): 19:1-19:31 (2019)Monitoring Event Frequencies., , und . CSL, Volume 152 von LIPIcs, Seite 20:1-20:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Flavors of Sequential Information Flow., , , , und . VMCAI, Volume 13182 von Lecture Notes in Computer Science, Seite 1-19. Springer, (2022)Localizing Faults in Simulink/Stateflow Models with STL., , , und . HSCC, Seite 197-206. ACM, (2018)The Compound Interest in Relaxing Punctuality.. FM, Volume 10951 von Lecture Notes in Computer Science, Seite 147-164. Springer, (2018)A Theory of Register Monitors., , und . LICS, Seite 394-403. ACM, (2018)Measuring with Timed Patterns., , , und . CAV (2), Volume 9207 von Lecture Notes in Computer Science, Seite 322-337. Springer, (2015)