PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Sifakis, Joseph"

Author of the publication

copydeleteadd this publication to your clipboard
Source-to-Source Architecture Transformation for Performance Optimization in BIP.

, , and . IEEE Trans. Industrial Informatics, 6 (4): 708-718 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Joseph Michaels University of Stuttgart

 

Other publications of authors with the same name

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