| 2024 | ISSRE | World Models: The Safety Perspective. | Zifan Zeng, Chongzhe Zhang, Feng Liu, Joseph Sifakis, Qunli Zhang, Shiming Liu, Peng Wang |
| 2023 | ISSTA | Simulation-Based Validation for Autonomous Driving Systems. | Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang |
| 2022 | ICRA | Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles. | Shengduo Chen, Yaowei Sun, Dachuan Li, Qiang Wang, Qi Hao, Joseph Sifakis |
| 2022 | ISoLA | Correct by Design Coordination of Autonomous Driving Systems. | Marius Bozga, Joseph Sifakis |
| 2021 | SAC | A temporal configuration logic for dynamic reconfigurable systems. | Antoine El-Hokayem, Marius Bozga, Joseph Sifakis |
| 2020 | MEMOCODE | Safe and efficient collision avoidance control for autonomous vehicles. | Qiang Wang, Dachuan Li, Joseph Sifakis |
| 2020 | SEFM | A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. | Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
| 2020 | TACAS | Structural Invariants for the Verification of Systems with Parameterized Architectures. | Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel |
| 2019 | ATVA | Can We Trust Autonomous Systems? Boundaries and Risks. | Joseph Sifakis |
| 2019 | TACAS | Checking Deadlock-Freedom of Parametric Component-Based Systems. | Marius Bozga, Radu Iosif, Joseph Sifakis |
| 2018 | ISoLA | Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. | Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
| 2018 | ISoLA | DReAM: Dynamic Reconfigurable Architecture Modeling. | Rocco De Nicola, Alessandro Maggi, Joseph Sifakis |
| 2016 | CONCUR | Parameterized Systems in BIP: Design and Model Checking. | Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis |
| 2014 | MEMOCODE | Keynote talk III: A framework for modeling architectures and their properties. | Joseph Sifakis |
| 2014 | PODC | Rigorous system design. | Joseph Sifakis |
| 2014 | SEFM | A General Framework for Architecture Composability. | Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis |
| 2013 | FASE | Model-Based Implementation of Parallel Real-Time Systems. | Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis |
| 2013 | FORTE | An Abstract Framework for Deadlock Prevention in BIP. | Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket |
| 2012 | FORTE | Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. | Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis |
| 2011 | DATE | Methods and tools for component-based system design. | Joseph Sifakis |
| 2011 | EMSOFT | Time-predictable and composable architectures for dependable embedded systems. | Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis |
| 2011 | MEMOCODE | Rigorous system level modeling and analysis of mixed HW/SW systems. | Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang |
| 2010 | EMSOFT | Model-based implementation of real-time applications. | Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis |
| 2010 | EMSOFT | From high-level component-based models to distributed implementations. | Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis |
| 2010 | FMCAD | Incremental component-based construction and verification using invariants. | Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
| 2010 | FMCAD | Embedded systems design - Scientific challenges and work directions. | Joseph Sifakis |
| 2010 | SSS | Systematic Correct Construction of Self-stabilizing Systems: A Case Study. | Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis |
| 2010 | TACAS | Embedded Systems Design - Scientific Challenges and Work Directions. | Joseph Sifakis |
| 2010 | TASE | Incremental Invariant Generation for Compositional Design. | Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
| 2009 | CAV | Priority Scheduling of Distributed Systems Based on Model Checking. | Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis |
| 2009 | CAV | D-Finder: A Tool for Compositional Deadlock Detection and Verification. | Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis |
| 2009 | CAV | Component-Based Construction of Real-Time Systems in BIP. | Joseph Sifakis |
| 2009 | DATE | Embedded systems design - Scientific challenges and work directions. | Joseph Sifakis |
| 2009 | EMSOFT | Modeling synchronous systems in BIP. | Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis |
| 2008 | ATVA | Compositional Verification for Component-Based Systems and Application. | Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen |
| 2008 | CONCUR | A Notion of Glue Expressiveness for Component-Based Systems. | Simon Bliudze, Joseph Sifakis |
| 2008 | ECAI | Incremental Component-Based Construction and Verification of a Robotic System. | Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Flix Ingrand, Joseph Sifakis |
| 2008 | FORTE | Distributed Semantics and Implementation for Systems with Interaction and Priority. | Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis |
| 2008 | MODELS | Translating AADL into BIP - Application to the Verification of Real-Time Systems. | Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis |
| 2007 | EMSOFT | The algebra of connectors: structuring interaction in BIP. | Simon Bliudze, Joseph Sifakis |
| 2007 | NCA | Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. | Ananda Basu, Laurent Mounier, Marc Poulhis, Jacques Pulou, Joseph Sifakis |
| 2007 | SOFSEM | An Approach to Modelling and Verification of Component Based Systems. | Gregor Gler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis |
| 2006 | FM | The Embedded Systems Design Challenge. | Thomas A. Henzinger, Joseph Sifakis |
| 2006 | SEFM | Modeling Heterogeneous Real-time Components in BIP. | Ananda Basu, Marius Bozga, Joseph Sifakis |
| 2005 | DATE | Fine Grain QoS Control for Multimedia Application Software. | Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis |
| 2005 | EMSOFT | QoS control for optimality and safety. | Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis |
| 2005 | SEFM | A Framework for Component-based Construction Extended Abstract. | Joseph Sifakis |
| 2004 | OPODIS | Embedded Systems - Challenges and Work Directions. | Joseph Sifakis |
| 2004 | RTSS | Modeling Real-Time Systems. | Joseph Sifakis |
| 2001 | CAV | TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. | Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine |
| 2001 | EMSOFT | Modeling Real-Time Systems-Challenges and Work Directions. | Joseph Sifakis |
| 2000 | ECRTS | Towards validated real-time software. | Valrie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis |
| 2000 | TACAS | On the Construction of Live Timed Systems. | Sbastien Bornot, Gregor Gler, Joseph Sifakis |
| 1999 | CAV | The Compositional Specification of Timed Systems - A Tutorial. | Joseph Sifakis |
| 1999 | FM | Integration, the Price of Success. | Joseph Sifakis |
| 1999 | RTSS | A Framework for Scheduler Synthesis. | Karine Altisen, Gregor Gler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine |
| 1996 | STACS | Compositional Specification of Timed Systems (Extended Abstract). | Joseph Sifakis, Sergio Yovine |
| 1995 | FORTE | Specification and Verification of Timed Systems. | Joseph Sifakis |
| 1995 | STACS | On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract). | Oded Maler, Amir Pnueli, Joseph Sifakis |
| 1994 | CAV | Using Abstractions for the Verification of Linear Hybrid Systems. | Alfredo Olivero, Joseph Sifakis, Sergio Yovine |
| 1994 | CONCUR | Model-Based Verification Methods and Tools (Abstract). | Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone |
| 1993 | LICS | On Model Checking for Real-Time Properties with Durations | Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis |
| 1992 | CAV | Property Preserving Simulations. | Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis |
| 1992 | ICSE | A Toolbox for the Verification of LOTOS Programs. | Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodrguez, Joseph Sifakis |
| 1992 | LICS | Symbolic Model Checking for Real-time Systems | Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine |
| 1991 | CAV | An Algebra of Boolean Processes. | Costas Courcoubetis, Susanne Graf, Joseph Sifakis |
| 1991 | CAV | An Overview and Synthesis on Timed Process Algebras. | Xavier Nicollin, Joseph Sifakis |
| 1991 | ICALP | Safety for Branching Time Semantics. | Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodrguez, Joseph Sifakis |
| 1987 | ICALP | Readiness Semantics for Regular Processes with Silent Actions. | Susanne Graf, Joseph Sifakis |
| 1984 | ICALP | A Modal Characterization of Observational Congruence on Finite Terms of CCS. | Susanne Graf, Joseph Sifakis |
| 1982 | FOCS | A Temporal Logic to Deal with Fairness in Transition Systems | Jean-Pierre Queille, Joseph Sifakis |
| 1982 | ICALP | Global and Local Invariants in Transition Systems. | Joseph Sifakis |
| 1980 | MFCS | Deadlocks and Livelocks in Transition Systems. | Joseph Sifakis |
| 1978 | MFCS | Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems. | M. Moalla, Jacques Pulou, Joseph Sifakis |
| 1978 | MFCS | Structural Properties of Petri Nets. | Joseph Sifakis |
| 1977 | PERFORMANCE | Use of Petri Nets for Performance Evaluation. | Joseph Sifakis |
| 1976 | ISCA | A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules. | M. Moalla, Gabriele Saucier, Joseph Sifakis, Marianthi Zachariades |