PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Sifakis, Joseph"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Rigorous Component-Based System Design Using the BIP Framework.

, , , , , , und . IEEE Software, 28 (3): 41-48 (2011)

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

2009 CAV award announcement., , , und . Formal Methods in System Design, 36 (3): 195-197 (2010)A Logic for the Specification and Proof of Regular Controllable Processes of CCS., und . Acta Inf., 23 (5): 507-527 (1986)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)Fine Grain QoS Control for Multimedia Application Software., , , und . DATE, Seite 1038-1043. IEEE Computer Society, (2005)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)Using Speed Diagrams for Symbolic Quality Management., , , und . IPDPS, Seite 1-8. IEEE, (2007)IF: An intermediate representation for SDL and its applications., , , , , , und . SDL Forum, Seite 423-440. Elsevier, (1999)Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures., , und . CoRR, (2019)