( en | de | ru )

 

Disambiguation of "Sifakis, Joseph"

Author of the publication

copydeleteadd this publication to your clipboard
Specification and verification of concurrent systems in CESAR.

, and . Symposium on Programming, volume 137 of Lecture Notes in Computer Science, page 337-351. Springer, (1982)

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 Kugbe

Joseph Landsberg

Stefanie Joseph

Julie Joseph

 

Other publications of authors with the same name

The algebra of connectors: structuring interaction in BIP., and . EMSOFT, page 11-20. ACM, (2007)Rigorous system design.. PODC, page 292. ACM, (2014)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)A vision for computer science - the system perspective.. Central Eur. J. Comput. Sci., 1 (1): 108-116 (2011)Autonomics: In search of a foundation for next-generation autonomous systems., , and . Proc. Natl. Acad. Sci. USA, 117 (30): 17491-17498 (2020)Correct by design coordination of autonomous driving systems., and . Int. J. Softw. Tools Technol. Transf., 25 (5): 625-639 (December 2023)Testing System Intelligence.. CoRR, (2023)Verification of Component-based Systems with Recursive Architectures., , and . CoRR, (2021)The Compositional Specification of Timed Systems - A Tutorial.. CAV, volume 1633 of Lecture Notes in Computer Science, page 2-7. Springer, (1999)