Autor der Publikation

Model-Based Testing of Reactive Systems, Advanced Lectures The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004

, , , , und (Hrsg.) Volume 3472 von Lecture Notes in Computer Science, Springer, (2005)

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

A Survey of Model Learning Techniques for Recurrent Neural Networks., , und . A Journey from Process Algebra via Timed Automata to Model Learning, Volume 13560 von Lecture Notes in Computer Science, Seite 81-97. Springer, (2022)Anticipatory Recurrent Monitoring with Uncertainty and Assumptions., , , und . RV, Volume 13498 von Lecture Notes in Computer Science, Seite 181-199. Springer, (2022)Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes., , , und . TASE, Volume 13299 von Lecture Notes in Computer Science, Seite 197-204. Springer, (2022)TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems., , , und . ICTAC, Volume 14446 von Lecture Notes in Computer Science, Seite 388-398. Springer, (2023)Lightweight Verification 2008., und . GI Jahrestagung (2), Volume P-134 von LNI, Seite 965-966. GI, (2008)A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management., , , , und . EUMAS, Volume 14282 von Lecture Notes in Computer Science, Seite 295-311. Springer, (2023)Parallel Model Checking for the Alternation Free µ-Calculus., , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 543-558. Springer, (2001)Local Parallel Model Checking for the Alternation-Free µ-Calculus., , und . SPIN, Volume 2318 von Lecture Notes in Computer Science, Seite 128-147. Springer, (2002)Runtime Verification of Timed Petri Nets., , , , , , und . PNSE@Petri Nets, Volume 3730 von CEUR Workshop Proceedings, Seite 122-131. CEUR-WS.org, (2024)Runtime Verification of AUTOSAR Timing Extensions., , , , , und . RTNS, Seite 173-183. ACM, (2022)