All Stories

  1. Announcing the Shaw Prize in Computer Science

    Article • Communications of the ACM, May 2026, ACM (Association for Computing Machinery)

    Jack Dongarra, JOSEPH SIFAKIS

  2. CCTest: Critical Configuration Testing for Autonomous Driving Systems

    Article • June 2025, ACM (Association for Computing Machinery)

    JOSEPH SIFAKIS, Changwen Li

  3. Simulation-Based Validation for Autonomous Driving Systems

    Article • July 2023, ACM (Association for Computing Machinery)

    Changwen Li, JOSEPH SIFAKIS

  4. Trustworthy Autonomous System Development

    Article • ACM Transactions on Embedded Computing Systems, June 2022, ACM (Association for Computing Machinery)

    JOSEPH SIFAKIS

  5. A framework for the specification and validation of dynamic reconfigurable systems

    Article • ACM SIGAPP Applied Computing Review, June 2021, ACM (Association for Computing Machinery)

    JOSEPH SIFAKIS, Antoine EL HOKAYEM

  6. A temporal configuration logic for dynamic reconfigurable systems

    Article • March 2021, ACM (Association for Computing Machinery)

    JOSEPH SIFAKIS