MENU

Address

Verimag Laboratory, âtiment IMAG 700, Avenue Centrale 38401 Saint Martin d’Hères France

Social Media

Contact Me

Joseph.Sifakis@univ-grenoble-alpes.fr

Tel. +33 (0)4.57.42.22.44

Fax. +33 (0)4.57.42.22.22
Joseph Sifakis

Selected Lectures and Interviews (Videos)

Ιn Greek

Publications on autonomous systems

  1. Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang:
    CCTest: Critical Configuration Testing for Autonomous Driving Systems. SIGSOFT FSE Companion 2025: 1203-1207
  2. Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang:
    A Comprehensive Evaluation of Four End-to-End AI Autopilots Using CCTest and the Carla Leaderboard. CoRR abs/2501.12090 (2025)
  3. Joseph Sifakis, Dongming Li, Hairong Huang, Yong Zhang, Wenshuan Dang, River Huang, Yijun Yu:
    A Reference Architecture for Autonomous Networks: An Agent-Based Approach. CoRR abs/2503.12871 (2025)
  4. Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang:
    Testing Autonomous Driving Systems – What Really Matters and What Doesn’t. CoRR abs/2507.13661 (2025)
  5. 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)
  6. Marius Bozga, Joseph Sifakis:
    Safe by Design Autonomous Driving Systems. CoRR abs/2405.11995 (2024)
  7. 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)
  8. Cristian S. Calude, Shahrokh Heidari, Joseph Sifakis:
    What perceptron neural networks are (not) good for? Sci. 621: 844-857 (2023)
  9. Marius Bozga, Joseph Sifakis:
    Correct by design coordination of autonomous driving systems. J. Softw. Tools Technol. Transf. 25(5): 625-639 (2023)
  10. Marius Bozga, Radu Iosif, Joseph Sifakis:
    Verification of component-based systems with recursive architectures. Comput. Sci. 940(Part): 146-175 (2023)
  11. Joseph Sifakis, David Harel:
    Trustworthy Autonomous System Development. ACM Trans. Embed. Comput. Syst. 22(3): 40:1-40:24 (2023)
  12. Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang:
    Simulation-Based Validation for Autonomous Driving Systems. ISSTA 2023: 842-853
  13. Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang:
    Simulation-based Validation for Autonomous Driving Systems. CoRR abs/2301.03941 (2023)
  14. Joseph Sifakis:
    Testing System Intelligence. CoRR abs/2305.11472 (2023)
  15. Joseph Sifakis:
    Understanding and Changing the World – From Information to Knowledge and Intelligence. Springer 2022, ISBN 978-981-19-1931-2, pp. 1-158
  16. David Harel, Assaf Marron, Joseph Sifakis:
    Creating a Foundation for Next-Generation Autonomous Systems. IEEE Des. Test 39(1): 49-56 (2022)
  17. Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis:
    A hybrid controller for safe and efficient longitudinal collision avoidance control. Syst. Archit. 125: 102432 (2022)
  18. Marius Bozga, Joseph Sifakis:
    Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. Principles of Systems Design 2022: 85-106
  19. 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
  20. Marius Bozga, Joseph Sifakis:
    Correct by Design Coordination of Autonomous Driving Systems. ISoLA (3) 2022: 13-29
  21. Marius Bozga, Joseph Sifakis:
    Correct by Design Coordination of Autonomous Driving Systems. CoRR abs/2205.10037 (2022)
  22. Marius Bozga, Radu Iosif, Joseph Sifakis:
    Checking deadlock-freedom of parametric component-based systems. Log. Algebraic Methods Program. 119: 100621 (2021)
  23. Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
    Programming dynamic reconfigurable systems. J. Softw. Tools Technol. Transf. 23(5): 701-719 (2021)
  24. Antoine El-Hokayem, Marius Bozga, Joseph Sifakis:
    A temporal configuration logic for dynamic reconfigurable systems. SAC 2021: 1419-1428
  25. Joseph Sifakis:
    Why is it so hard to make self-driving cars? (Trustworthy autonomous systems). WI/IAT 2021: 2
  26. Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis:
    A hybrid controller for safe and efficient collision avoidance control. CoRR abs/2103.15484 (2021)
  27. Marius Bozga, Joseph Sifakis:
    Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. CoRR abs/2109.06478 (2021)
  28. 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)
  29. Marius Bozga, Radu Iosif, Joseph Sifakis:
    Verification of Component-based Systems with Recursive Architectures. CoRR abs/2112.08292 (2021)
  30. 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)
  31. 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)
  32. Qiang Wang, Dachuan Li, Joseph Sifakis:
    Safe and efficient collision avoidance control for autonomous vehicles. MEMOCODE 2020: 1-6
  33. 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
  34. 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    .
  35. 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)
  36. Qiang Wang, Dachuan Li, Joseph Sifakis:
    Safe and efficient collision avoidance control for autonomous vehicles. CoRR abs/2008.04080 (2020)
  37. Joseph Sifakis: Autonomous Systems – An Architectural Characterization.Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 388-410
  38. Joseph Sifakis: Can We Trust Autonomous Systems? Boundaries and Risks. ATVA 2019: 65-78
  39. 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)
  40. Joseph Sifakis Autonomous Systems — An Architectural Characterization, https://arxiv.org/abs/1811.10277 November 2018
  41. Joseph Sifakis: System Design in the Era of IoT – Meeting the Autonomy Challenge. MeTRiD@ETAPS 2018: 1-22
Joseph Sifakis

Selected Lectures and Interviews (Videos)

Ιn Greek

Navigation

Relevant Links