PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Sifakis, Joseph"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated Conflict-free distributed implementation of component-based models.

, , , , und . SIES, Seite 108-117. IEEE, (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.

Dr. Joseph Michaels University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A Logic for the Specification and Proof of Regular Controllable Processes of CCS., und . Acta Inf., 23 (5): 507-527 (1986)2009 CAV award announcement., , , und . Formal Methods in System Design, 36 (3): 195-197 (2010)Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks., , , , und . NCA, Seite 257-260. IEEE Computer Society, (2007)A Framework for Scheduler Synthesis., , , , , und . RTSS, Seite 154-163. IEEE Computer Society, (1999)Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft., , , , , und . FTCS, Seite 353-357. IEEE Computer Society, (1996)Using Speed Diagrams for Symbolic Quality Management., , , und . IPDPS, Seite 1-8. IEEE, (2007)Fine Grain QoS Control for Multimedia Application Software., , , und . DATE, Seite 1038-1043. IEEE Computer Society, (2005)The Algorithmic Analysis of Hybrid Systems., , , , , , , , und . Theor. Comput. Sci., 138 (1): 3-34 (1995)Embedded Systems Design: The ARTIST Roadmap for Research and Development, und . Lecture Notes in Computer Science Springer, (2005)A vision for computer science - the system perspective.. Central Europ. J. Computer Science, 1 (1): 108-116 (2011)