( en | de | ru )

 

Disambiguation of "Sifakis, Joseph"

Author of the publication

copydeleteadd this publication to your clipboard
Architecture-Based Design: A Satellite On-Board Software Case Study.

, , , , , and . FACS, volume 10231 of Lecture Notes in Computer Science, page 260-279. (2016)

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 Demleitner

Joseph Deppe

Joseph Deupmann

Joseph Gutmann

 

Other publications of authors with the same name

Rigorous system design.. PODC, page 292. ACM, (2014)The algebra of connectors: structuring interaction in BIP., and . EMSOFT, page 11-20. ACM, (2007)Component-Based Construction of Heterogeneous Real-Time Systems in Bip.. Petri Nets, volume 5606 of Lecture Notes in Computer Science, page 1. Springer, (2009)Embedded Systems Design: The ARTIST Roadmap for Research and Development, and . Lecture Notes in Computer Science Springer, (2005)The Compositional Specification of Timed Systems - A Tutorial.. CAV, volume 1633 of Lecture Notes in Computer Science, page 2-7. Springer, (1999)Component-Based Construction of Real-Time Systems in BIP.. CAV, volume 5643 of Lecture Notes in Computer Science, page 33-34. Springer, (2009)Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures., , and . CoRR, (2019)The Embedded Systems Design Challenge., and . FM, volume 4085 of Lecture Notes in Computer Science, page 1-15. Springer, (2006)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)IF: An intermediate representation for SDL and its applications., , , , , , and . SDL Forum, page 423-440. Elsevier, (1999)