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

Building faithful high-level models and performance evaluation of manycore embedded systems., , , , und . MEMOCODE, Seite 209-218. IEEE, (2014)Mixed Critical Earliest Deadline First., , , und . ECRTS, Seite 93-102. IEEE Computer Society, (2013)Tool Demonstration of the FLATA Counter Automata Toolset., , , und . WING@ETAPS/IJCAR, Volume 1 von EPiC Series in Computing, Seite 75. EasyChair, (2010)Local Planning Semantics: A Semantics for Distributed Real-Time Systems., , , und . LITES, 6 (1): 01:1-01:27 (2019)S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems., , , , , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 536-542. Springer, (2018)PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status., , , , , , , , , und 10 andere Autor(en). FMCO, Volume 7542 von Lecture Notes in Computer Science, Seite 277-293. Springer, (2011)State Space Reduction Based on Live Variables Analysis., , und . SAS, Volume 1694 von Lecture Notes in Computer Science, Seite 164-178. Springer, (1999)A Robust Framework for Securing Composed Web Services., , , und . FACS, Volume 9539 von Lecture Notes in Computer Science, Seite 105-122. Springer, (2015)Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities., , , und . FMOODS/FORTE, Volume 7273 von Lecture Notes in Computer Science, Seite 118-134. Springer, (2012)IF: An intermediate representation for SDL and its applications., , , , , , und . SDL Forum, Seite 423-440. Elsevier, (1999)