­

We value your privacy

We use cookies to enhance your browsing experience, serve personalised ads or content, and analyse our traffic. By clicking "Accept All", you consent to our use of cookies. Cookie Policy

Customise Consent Preferences

We use cookies to help you navigate efficiently and perform certain functions. You will find detailed information about all cookies under each consent category below.

The cookies that are categorised as "Necessary" are stored on your browser as they are essential for enabling the basic functionalities of the site. ... 

Always Active

Necessary cookies are required to enable the basic features of this site, such as providing secure log-in or adjusting your consent preferences. These cookies do not store any personally identifiable data.

No cookies to display.

Functional cookies help perform certain functionalities like sharing the content of the website on social media platforms, collecting feedback, and other third-party features.

No cookies to display.

Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics such as the number of visitors, bounce rate, traffic source, etc.

No cookies to display.

Performance cookies are used to understand and analyse the key performance indexes of the website which helps in delivering a better user experience for the visitors.

No cookies to display.

Advertisement cookies are used to provide visitors with customised advertisements based on the pages you visited previously and to analyse the effectiveness of the ad campaigns.

No cookies to display.

Joseph Sifakis

Selected Lectures and Interviews

Ιn Greek

Publications on autonomous systems

  1. Hezhen Liu, Chengqiang Huang, Ke Sun, Jiacheng Yin, Xiaoyu Wu, Jin Wang, Qunli Zhang, Yang Zheng, Vivek Nigam, Feng Liu, Joseph Sifakis:
    Design for dependability – State of the art and trends. Syst. Softw. 211: 111989 (2024)
  2. Marius Bozga, Joseph Sifakis:
    Safe by Design Autonomous Driving Systems. CoRR abs/2405.11995 (2024)
  3. Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang:
    Rigorous Simulation-based Testing for Autonomous Driving Systems – Targeting the Achilles’ Heel of Four Open Autopilots. CoRR abs/2405.16914 (2024)
  4. Cristian S. Calude, Shahrokh Heidari, Joseph Sifakis:
    What perceptron neural networks are (not) good for? Sci. 621: 844-857 (2023)
  5. Marius Bozga, Joseph Sifakis:
    Correct by design coordination of autonomous driving systems. J. Softw. Tools Technol. Transf. 25(5): 625-639 (2023)
  6. Marius Bozga, Radu Iosif, Joseph Sifakis:
    Verification of component-based systems with recursive architectures. Comput. Sci. 940(Part): 146-175 (2023)
  7. Joseph Sifakis, David Harel:
    Trustworthy Autonomous System Development. ACM Trans. Embed. Comput. Syst. 22(3): 40:1-40:24 (2023)
  8. Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang:
    Simulation-Based Validation for Autonomous Driving Systems. ISSTA 2023: 842-853
  9. Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang:
    Simulation-based Validation for Autonomous Driving Systems. CoRR abs/2301.03941 (2023)
  10. Joseph Sifakis:
    Testing System Intelligence. CoRR abs/2305.11472 (2023)
  11. Joseph Sifakis:
    Understanding and Changing the World – From Information to Knowledge and Intelligence. Springer 2022, ISBN 978-981-19-1931-2, pp. 1-158
  12. David Harel, Assaf Marron, Joseph Sifakis:
    Creating a Foundation for Next-Generation Autonomous Systems. IEEE Des. Test 39(1): 49-56 (2022)
  13. Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis:
    A hybrid controller for safe and efficient longitudinal collision avoidance control. Syst. Archit. 125: 102432 (2022)
  14. Marius Bozga, Joseph Sifakis:
    Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. Principles of Systems Design 2022: 85-106
  15. Shengduo Chen, Yaowei Sun, Dachuan Li, Qiang Wang, Qi Hao, Joseph Sifakis:
    Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles. ICRA 2022: 8978-8984
  16. Marius Bozga, Joseph Sifakis:
    Correct by Design Coordination of Autonomous Driving Systems. ISoLA (3) 2022: 13-29
  17. Marius Bozga, Joseph Sifakis:
    Correct by Design Coordination of Autonomous Driving Systems. CoRR abs/2205.10037 (2022)
  18. Marius Bozga, Radu Iosif, Joseph Sifakis:
    Checking deadlock-freedom of parametric component-based systems. Log. Algebraic Methods Program. 119: 100621 (2021)
  19. Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
    Programming dynamic reconfigurable systems. J. Softw. Tools Technol. Transf. 23(5): 701-719 (2021)
  20. Antoine El-Hokayem, Marius Bozga, Joseph Sifakis:
    A temporal configuration logic for dynamic reconfigurable systems. SAC 2021: 1419-1428
  21. Joseph Sifakis:
    Why is it so hard to make self-driving cars? (Trustworthy autonomous systems). WI/IAT 2021: 2
  22. Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis:
    A hybrid controller for safe and efficient collision avoidance control. CoRR abs/2103.15484 (2021)
  23. Marius Bozga, Joseph Sifakis:
    Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. CoRR abs/2109.06478 (2021)
  24. Shengduo Chen, Yaowei Sun, Dachuan Li, Qiang Wang, Qi Hao, Joseph Sifakis:
    Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles. CoRR abs/2109.13446 (2021)
  25. Marius Bozga, Radu Iosif, Joseph Sifakis:
    Verification of Component-based Systems with Recursive Architectures. CoRR abs/2112.08292 (2021)
  26. David Harel, Assaf Marron, Joseph Sifakis:
    Autonomics: In search of a foundation for next-generation autonomous systems. Natl. Acad. Sci. USA 117(30): 17491-17498 (2020)
  27. Rocco De Nicola, Alessandro Maggi, Joseph Sifakis:
    The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications. J. Softw. Tools Technol. Transf. 22(4): 437-455 (2020)
  28. Qiang Wang, Dachuan Li, Joseph Sifakis:
    Safe and efficient collision avoidance control for autonomous vehicles. MEMOCODE 2020: 1-6
  29. Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
    A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. SEFM 2020: 284-302
  30. Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel:
    Structural Invariants for the Verification of Systems with Parameterized Architectures. TACAS (1) 2020: 228-246    .
  31. Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel:
    Structural Invariants for the Verification of Systems with Parameterized Architectures. CoRR abs/2002.07672 (2020)
  32. Qiang Wang, Dachuan Li, Joseph Sifakis:
    Safe and efficient collision avoidance control for autonomous vehicles. CoRR abs/2008.04080 (2020)
  33. Joseph Sifakis: Autonomous Systems – An Architectural Characterization.Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 388-410
  34. Joseph Sifakis: Can We Trust Autonomous Systems? Boundaries and Risks. ATVA 2019: 65-78
  35. Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel:
    Rigorous design of cyber-physical systems – Linking physicality and computation. Syst. Model. 18(3): 1613-1636 (2019)
  36. Joseph Sifakis Autonomous Systems — An Architectural Characterization, https://arxiv.org/abs/1811.10277 November 2018
  37. Joseph Sifakis: System Design in the Era of IoT – Meeting the Autonomy Challenge. MeTRiD@ETAPS 2018: 1-22
Joseph Sifakis

Selected Lectures and Interviews

Ιn Greek

Navigation

Relevant Links