( en | de | ru )

 

Disambiguation of "Sifakis, Joseph"

Author of the publication

copydeleteadd this publication to your clipboard
Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset.

, , , and . DISC, volume 5805 of Lecture Notes in Computer Science, page 174-175. Springer, (2009)

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.

Emmanuel Sifakis

Joseph Battista

Joseph Helmberger

Joseph Jossiphov

Joseph Antz

 

Other publications of authors with the same name

2009 CAV award announcement., , , and . Formal Methods Syst. Des., 36 (3): 195-197 (2010)A Logic for the Specification and Proof of Controllable Processes of CCS., and . Logics and Models of Concurrent Systems, volume 13 of NATO ASI Series, page 369-395. Springer, (1984)IF: An intermediate representation for SDL and its applications., , , , , , and . SDL Forum, page 423-440. Elsevier, (1999)On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)., , and . STACS, volume 900 of Lecture Notes in Computer Science, page 229-242. Springer, (1995)Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures., , and . CoRR, (2019)A vision for computer science - the system perspective.. Central Eur. J. Comput. Sci., 1 (1): 108-116 (2011)The algebra of connectors: structuring interaction in BIP., and . EMSOFT, page 11-20. ACM, (2007)Rigorous system design.. PODC, page 292. ACM, (2014)Component-Based Construction of Real-Time Systems in BIP.. CAV, volume 5643 of Lecture Notes in Computer Science, page 33-34. Springer, (2009)The Compositional Specification of Timed Systems - A Tutorial.. CAV, volume 1633 of Lecture Notes in Computer Science, page 2-7. Springer, (1999)