Autor der Publikation

Theory and Implementation of a Real-Time Extension to the pi-Calculus.

, und . FMOODS/FORTE, Volume 6117 von Lecture Notes in Computer Science, Seite 125-139. Springer, (2010)

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

Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems., , und . IEEE Trans. Software Eng., 39 (9): 1307-1325 (2013)Incremental Test Case Generation for UML-RT Models Using Symbolic Execution., und . ICST, Seite 962-963. IEEE Computer Society, (2012)Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation., und . DS-RT, Seite 87-96. IEEE Computer Society, (2010)Automated Verification of Model Transformations in the Automotive Industry., , , , und . MoDELS, Volume 8107 von Lecture Notes in Computer Science, Seite 690-706. Springer, (2013)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)Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking., und . Electron. Notes Theor. Comput. Sci., 190 (1): 3-18 (2007)MReplayer: a trace replayer of distributed UML-RT models., , und . MoDELS (Companion), Seite 6:1-6:5. ACM, (2020)Using source transformation to test and model check implicit-invocation systems., , , und . Sci. Comput. Program., 62 (3): 209-227 (2006)Verifying UML-RT Protocol Conformance Using Model Checking., , und . MoDELS, Volume 6981 von Lecture Notes in Computer Science, Seite 410-424. Springer, (2011)Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report., , , , und . AMT@MoDELS, Volume 1500 von CEUR Workshop Proceedings, Seite 26-35. CEUR-WS.org, (2015)