Autor der Publikation

Runtime Conformance Checking of Objects Using Alloy.

, und . RV@CAV, Volume 89 von Electronic Notes in Theoretical Computer Science, Seite 2-21. Elsevier, (2003)

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 Customizable Execution Engine for Models of Embedded Systems., und . BM-FA (Revised Selected Papers), Volume 6368 von Lecture Notes in Computer Science, Seite 82-110. Springer, (2014)MReplayer: a trace replayer of distributed UML-RT models., , und . MoDELS (Companion), Seite 6:1-6:5. ACM, (2020)Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation., und . DS-RT, Seite 87-96. IEEE Computer Society, (2010)Incremental Test Case Generation for UML-RT Models Using Symbolic Execution., und . ICST, Seite 962-963. IEEE Computer Society, (2012)Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus., , , , und . BM-FA, Seite 1. ACM, (2010)Run-time conformance checking of mobile and distributed systems using executable models., , und . PADTAD, ACM, (2009)Symbolic execution of UML-RT State Machines., und . SAC, Seite 1292-1299. ACM, (2012)Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract)., und . TAPSOFT, Volume 1214 von Lecture Notes in Computer Science, Seite 285-296. Springer, (1997)Approximating UNITY.. COORDINATION, Volume 1282 von Lecture Notes in Computer Science, Seite 320-337. Springer, (1997)Understanding and improving UML package merge., , und . Softw. Syst. Model., 7 (4): 443-467 (2008)