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

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1., , , , , , , , , und 2 andere Autor(en). CoRR, (2019)VeriMon: A Formally Verified Monitoring Tool., , , , , , , , , und 3 andere Autor(en). ICTAC, Volume 13572 von Lecture Notes in Computer Science, Seite 1-6. Springer, (2022)Multi-head Monitoring of Metric Temporal Logic., , , und . ATVA, Volume 11781 von Lecture Notes in Computer Science, Seite 151-170. Springer, (2019)A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic., , , , , , und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 432-453. Springer, (2020)Monitoring the Internet Computer., , , , , , und . FM, Volume 14000 von Lecture Notes in Computer Science, Seite 383-402. Springer, (2023)Practical Relational Calculus Query Evaluation., , , und . ICDT, Volume 220 von LIPIcs, Seite 11:1-11:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Verified First-Order Monitoring with Recursive Rules., , , , und . TACAS (2), Volume 13244 von Lecture Notes in Computer Science, Seite 236-253. Springer, (2022)Scalable Online Monitoring of Distributed Systems., , , und . RV, Volume 12399 von Lecture Notes in Computer Science, Seite 197-220. Springer, (2020)A Benchmark Generator for Online First-Order Monitoring., und . RV, Volume 12399 von Lecture Notes in Computer Science, Seite 482-494. Springer, (2020)Almost event-rate independent monitoring., , , und . Formal Methods Syst. Des., 54 (3): 449-478 (2019)