( en | de | ru )

 

Disambiguierung von "Dingel, Jürgen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MReplayer: a trace replayer of distributed UML-RT models.

, , und . MoDELS (Companion), Seite 6:1-6:5. ACM, (2020)

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.

Andreas Dingel

Janis Dingel

Joachim Dingel

Janis Dingel

Janis Dingel

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)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)Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus., , , , und . BM-FA, Seite 1. ACM, (2010)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)