Modèles temporels des systèmes logiques. (temporal Models of logic systems). - Joseph Sifakis (1974)

A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules. - M. Moalla; Gabriele Saucier; Joseph Sifakis; Marianthi Zachariades (ISCA, 1976)

Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems. - M. Moalla; Jacques Pulou; Joseph Sifakis (MFCS, 1978)

Structural Properties of Petri Nets. - Joseph Sifakis (MFCS, 1978)

Survey of French Research and Applications Based on Petri Nets. - Charles André; M. Diaz; Claude Girault; Joseph Sifakis (Advanced Course: Net Theory and Applications, 1979)

Performance Evaluation of Systems Using Nets. - Joseph Sifakis (Advanced Course: Net Theory and Applications, 1979)

Use of Petri nets for performance evaluation. - Joseph Sifakis (Acta Cybern., 1979)

Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique. (The control of asynchronous systems: concepts, properties, static analysis). - Joseph Sifakis (1979)

Deadlocks and Livelocks in Transition Systems. - Joseph Sifakis (MFCS, 1980)

Iterative Methods for the Analysis of Petri Nets. - Jean-Pierre Queille; Joseph Sifakis (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

A Temporal Logic to Deal with Fairness in Transition Systems - Jean-Pierre Queille; Joseph Sifakis (FOCS, 1982)

Comments on Schiffers. - Joseph Sifakis (International Working Conference on Model Realism, 1982)

Specification and verification of concurrent systems in CESAR. - Jean-Pierre Queille; Joseph Sifakis (Symposium on Programming, 1982)

Global and Local Invariants in Transition Systems - Joseph Sifakis (Inf. Control., 1982)

A Unified Approach for Studying the Properties of Transition Systems. - Joseph Sifakis (Theor. Comput. Sci., 1982)

An Example of Specification and Verification in Cesar. - Jean-Claude Fernandez; Jean-Philippe Schwartz; Joseph Sifakis (The Analysis of Concurrent Systems, 1983)

Property Preserving Homomorphisms of Transition Systems. - Joseph Sifakis (Logic of Programs, 1983)

Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness. - Jean-Pierre Queille; Joseph Sifakis (Acta Informatica, 1983)

A Logic for the Specification and Proof of Controllable Processes of CCS. - Susanne Graf; Joseph Sifakis (Logics and Models of Concurrent Systems, 1984)

Frm Synchronization Tree Logic to Acceptance Model Logic. - Susanne Graf; Joseph Sifakis (Logic of Programs, 1985)

Specification and Development of Reactive Systems - Response. - Joseph Sifakis (IFIP Congress, 1986)

A Logic for the Specification and Proof of Regular Controllable Processes of CCS. - Susanne Graf; Joseph Sifakis (Acta Informatica, 1986)

A Modal Characterization of Observational Congruence on Finite Terms of CCS - Susanne Graf; Joseph Sifakis (Inf. Control., 1986)

A Logic for the Description of Non-deterministic Programs and Their Properties - Susanne Graf; Joseph Sifakis (Inf. Control., 1986)

Readiness Semantics for Regular Processes with Silent Actions. - Susanne Graf; Joseph Sifakis (ICALP, 1987)

Verification in XESAR of the Sliding Window Protocol. - Jean-Luc Richier; Carlos Rodríguez; Joseph Sifakis; Jacques Voiron (PSTV, 1987)

An Expressive Logic for a Process Algebra with Silent Actions. - Susanne Graf; Joseph Sifakis (Temporal Logic in Specification, 1987)

A logig for the description of behaviours and properties of concurrent systems. - Ahmed Bouajjani; Susanne Graf; Joseph Sifakis (REX Workshop, 1988)

ATP: an Algebra for Timed Processes. - Xavier Nicollin; Jean-Luc Richier; Joseph Sifakis; Jacques Voiron (Programming Concepts and Methods, 1990)

Compilation and verification of LOTOS specifications. - Hubert Garavel; Joseph Sifakis (PSTV, 1990)

An Algebra of Boolean Processes. - Costas Courcoubetis; Susanne Graf; Joseph Sifakis (CAV, 1991)

An Overview and Synthesis on Timed Process Algebras. - Xavier Nicollin; Joseph Sifakis (CAV, 1991)

Safety for Branching Time Semantics. - Ahmed Bouajjani; Jean-Claude Fernandez; Susanne Graf; Carlos Rodríguez; Joseph Sifakis (ICALP, 1991)

Verification for Finite Systems (Extended Abstract). - Ahmed Bouajjani; Joseph Sifakis (TAPSOFT, Vol.2, 1991)

Property Preserving Simulations. - Saddek Bensalem; Ahmed Bouajjani; Claire Loiseaux; Joseph Sifakis (CAV, 1992)

Integration Graphs: A Class of Decidable Hybrid Systems. - Yonit Kesten; Amir Pnueli; Joseph Sifakis; Sergio Yovine (Hybrid Systems, 1992)

An Approach to the Description and Analysis of Hybrid Systems. - Xavier Nicollin; Alfredo Olivero; Joseph Sifakis; Sergio Yovine (Hybrid Systems, 1992)

A Toolbox for the Verification of LOTOS Programs. - Jean-Claude Fernandez; Hubert Garavel; Laurent Mounier; Anne Rasse; Carlos Rodríguez; Joseph Sifakis (ICSE, 1992)

Compiling Real-Time Specifications into Extended Automata. - Xavier Nicollin; Joseph Sifakis; Sergio Yovine (IEEE Trans. Software Eng., 1992)

On Model Checking for Real-Time Properties with Durations - Ahmed Bouajjani; Rachid Echahed; Joseph Sifakis (LICS, 1993)

From ATP to Timed Graphs and Hybrid Systems. - Xavier Nicollin; Joseph Sifakis; Sergio Yovine (Acta Informatica, 1993)

Using Abstractions for the Verification of Linear Hybrid Systems. - Alfredo Olivero; Joseph Sifakis; Sergio Yovine (CAV, 1994)

Model-Based Verification Methods and Tools (Abstract). - Jean-Claude Fernandez; Joseph Sifakis; Robert de Simone (CONCUR, 1994)

Symbolic Model Checking for Real-Time Systems - Thomas A. Henzinger; Xavier Nicollin; Joseph Sifakis; Sergio Yovine (Inf. Comput., 1994)

The Algebra of Timed Processes, ATP: Theory and Application - Xavier Nicollin; Joseph Sifakis (Inf. Comput., 1994)

Specification and Verification of Timed Systems. - Joseph Sifakis (FORTE, 1995)

Real-time systems specification and verification. - Joseph Sifakis (ISSS, 1995)

On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract). - Oded Maler; Amir Pnueli; Joseph Sifakis (STACS, 1995)

Property Preserving Abstractions for the Verification of Concurrent Systems. - Claire Loiseaux; Susanne Graf; Joseph Sifakis; Ahmed Bouajjani; Saddek Bensalem (Formal Methods Syst. Des., 1995)

The Algorithmic Analysis of Hybrid Systems. - Rajeev Alur; Costas Courcoubetis; Nicolas Halbwachs; Thomas A. Henzinger; Pei-Hsin Ho; Xavier Nicollin; Alfredo Olivero; Joseph Sifakis; Sergio Yovine (Theor. Comput. Sci., 1995)

Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft. - S. Ayache; Eric Conquet; Philippe Humbert; Carlos Rodríguez; Joseph Sifakis; R. Gerlich (FTCS, 1996)

Compositional Specification of Timed Systems (Extended Abstract). - Joseph Sifakis; Sergio Yovine (STACS, 1996)

Research Directions for Concurrency. - Joseph Sifakis (ACM Comput. Surv., 1996)

Research Directions for Formal Methods. - Joseph Sifakis (ACM Comput. Surv., 1996)

On the Composition of Timed Systems. - Joseph Sifakis (ICATPN, 1997)

Modeling Urgency in Timed Systems. - Sébastien Bornot; Joseph Sifakis; Stavros Tripakis (COMPOS, 1997)

Relating Time Progress and Deadlines in Hybrid Systems. - Sébastien Bornot; Joseph Sifakis (HART, 1997)

A General Framework for the Composition of Timed Systems Extended Abstract. - Joseph Sifakis (FTRTFT, 1998)

On the Composition of Hybrid Systems. - Sébastien Bornot; Joseph Sifakis (HSCC, 1998)

The Compositional Specification of Timed Systems - A Tutorial. - Joseph Sifakis (CAV, 1999)

Integration, the Price of Success. - Joseph Sifakis (World Congress on Formal Methods, 1999)

A Framework for Scheduler Synthesis. - Karine Altisen; Gregor Gößler; Amir Pnueli; Joseph Sifakis; Stavros Tripakis; Sergio Yovine (RTSS, 1999)

IF: An intermediate representation for SDL and its applications. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Susanne Graf; Jean-Pierre Krimm; Laurent Mounier; Joseph Sifakis (SDL Forum, 1999)

Decidable Integration Graphs. - Yonit Kesten; Amir Pnueli; Joseph Sifakis; Sergio Yovine (Inf. Comput., 1999)

Towards validated real-time software. - Valérie Bertin; Michel Poize; Jacques Pulou; Joseph Sifakis (ECRTS, 2000)

A Methodology for the Construction of Scheduled Systems. - Karine Altisen; Gregor Gößler; Joseph Sifakis (FTRTFT, 2000)

On the Construction of Live Timed Systems. - Sébastien Bornot; Gregor Gößler; Joseph Sifakis (TACAS, 2000)

An Algebraic Framework for Urgency. - Sébastien Bornot; Joseph Sifakis (Inf. Comput., 2000)

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 (CAV, 2001)

TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems. - Valérie Bertin; Etienne Closse; Michel Poize; Jacques Pulou; Joseph Sifakis; Patrick Venier; Daniel Weil; Sergio Yovine (CDC, 2001)

Modeling Real-Time Systems-Challenges and Work Directions. - Joseph Sifakis (EMSOFT, 2001)

Scheduler Modeling Based on the Controller Synthesis Paradigm. - Joseph Sifakis (FTRTFT, 2002)

Abstracts of Invited Talks. - Giorgio C. Buttazzo; Avi Efrati; John N. Hooker; Claude Le Pape; Joseph Sifakis (Theory and Practice of Timed Systems @ ETAPS, 2002)

Scheduler Modeling Based on the Controller Synthesis Paradigm. - Karine Altisen; Gregor Gößler; Joseph Sifakis (Real Time Syst., 2002)

Priority Systems. - Gregor Gößler; Joseph Sifakis (FMCO, 2003)

Component-Based Construction of Deadlock-Free Systems: Extended Abstract. - Gregor Gößler; Joseph Sifakis (FSTTCS, 2003)

Building models of real-time systems from application software. - Joseph Sifakis; Stavros Tripakis; Sergio Yovine (Proc. IEEE, 2003)

Embedded Systems - Challenges and Work Directions. - Joseph Sifakis (OPODIS, 2004)

Modeling Real-Time Systems. - Joseph Sifakis (RTSS, 2004)

The IF Toolset. - Marius Bozga; Susanne Graf; Ileana Ober; Iulian Ober; Joseph Sifakis (SFM, 2004)

Embedded Systems Design: The ARTIST Roadmap for Research and Development - Bruno Bouyssounouse; Joseph Sifakis (Springer, 2005)

Fine Grain QoS Control for Multimedia Application Software. - Jacques Combaz; Jean-Claude Fernandez; Thierry Lepley; Joseph Sifakis (DATE, 2005)

QoS control for optimality and safety. - Jacques Combaz; Jean-Claude Fernandez; Thierry Lepley; Joseph Sifakis (EMSOFT, 2005)

A Framework for Component-based Construction Extended Abstract. - Joseph Sifakis (SEFM, 2005)

Composition for component-based modeling. - Gregor Gößler; Joseph Sifakis (Sci. Comput. Program., 2005)

Guidelines for a graduate curriculum on embedded software and systems. - Paul Caspi; Alberto L. Sangiovanni-Vincentelli; Luís Almeida 001; Albert Benveniste; Bruno Bouyssounouse; Giorgio C. Buttazzo; Ivica Crnkovic; Werner Damm; Jakob Engblom; Gerhard Fohler; Marisol García-Valls; Hermann Kopetz; et al. (ACM Trans. Embed. Comput. Syst., 2005)

Ensuring Properties of Interaction Systems. - Gregor Gößler; Susanne Graf; Mila E. Majster-Cederbaum; Moritz Martens; Joseph Sifakis (Program Analysis and Compilation, 2006)

The Embedded Systems Design Challenge. - Thomas A. Henzinger; Joseph Sifakis (FM, 2006)

WPDRTS keynote: component-based construction of embedded systems. - Joseph Sifakis (IPDPS, 2006)

A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. - Marc Poulhiès; Jacques Pulou; Christophe Rippert; Joseph Sifakis (Monterey Workshop, 2006)

Modeling Heterogeneous Real-time Components in BIP. - Ananda Basu; Marius Bozga; Joseph Sifakis (SEFM, 2006)

Using Speed Diagrams for Symbolic Quality Management. - Jacques Combaz; Jean-Claude Fernandez; Joseph Sifakis; Loïc Strus (IPDPS, 2007)

Using BIP for Modeling and Verification of Networked Systems – A Case Study on TinyOS-based Networks. - Ananda Basu; Laurent Mounier; Marc Poulhiès; Jacques Pulou; Joseph Sifakis (NCA, 2007)

An Approach to Modelling and Verification of Component Based Systems. - Gregor Gößler; Susanne Graf; Mila E. Majster-Cederbaum; Moritz Martens; Joseph Sifakis (SOFSEM (1), 2007)

The Discipline of Embedded Systems Design. - Thomas A. Henzinger; Joseph Sifakis (Computer, 2007)

A Notion of Glue Expressiveness for Component-Based Systems. - Simon Bliudze; Joseph Sifakis (CONCUR, 2008)

Incremental Component-Based Construction and Verification of a Robotic System. - Ananda Basu; Matthieu Gallien; Charles Lesire; Thanh-Hung Nguyen; Saddek Bensalem; Félix Ingrand; Joseph Sifakis (ECAI, 2008)

Distributed Semantics and Implementation for Systems with Interaction and Priority. - Ananda Basu; Philippe Bidinger; Marius Bozga; Joseph Sifakis (FORTE, 2008)

Translating AADL into BIP - Application to the Verification of Real-Time Systems. - Mohamed Yassin Chkouri; Anne Robert; Marius Bozga; Joseph Sifakis (MoDELS (Workshops), 2008)

Specification and Verification of Conurrent Systems in Cesar. - Jean-Pierre Queille; Joseph Sifakis (25 Years of Model Checking, 2008)

Symbolic quality control for multimedia applications. - Jacques Combaz; Jean-Claude Fernandez; Joseph Sifakis; Loïc Strus (Real Time Syst., 2008)

The Algebra of Connectors - Structuring Interaction in BIP. - Simon Bliudze; Joseph Sifakis (IEEE Trans. Computers, 2008)

D-Finder: A Tool for Compositional Deadlock Detection and Verification. - Saddek Bensalem; Marius Bozga; Thanh-Hung Nguyen; Joseph Sifakis (CAV, 2009)

Component-Based Construction of Real-Time Systems in BIP. - Joseph Sifakis (CAV, 2009)

Modeling synchronous systems in BIP. - Marius Bozga; Vassiliki Sfyrla; Joseph Sifakis (EMSOFT, 2009)

The Quest for Correctness-Beyond a Posteriori Verification. - Joseph Sifakis (SPIN, 2009)

Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. - Ananda Basu; Borzoo Bonakdarpour; Marius Bozga; Joseph Sifakis (DISC, 2009)

Model checking: algorithmic verification and debugging. - Edmund M. Clarke; E. Allen Emerson; Joseph Sifakis (Commun. ACM, 2009)

Knowledge Based Scheduling of Distributed Systems. - Saddek Bensalem; Doron A. Peled; Joseph Sifakis (Essays in Memory of Amir Pnueli, 2010)

Component-based Construction of Heterogeneous Real-time Systems in BIP. - Joseph Sifakis (The Future of Software Engineering, 2010)

Model-based implementation of real-time applications. - Tesnim Abdellatif; Jacques Combaz; Joseph Sifakis (EMSOFT, 2010)

From high-level component-based models to distributed implementations. - Borzoo Bonakdarpour; Marius Bozga; Mohamad Jaber 001; Jean Quilbeuf; Joseph Sifakis (EMSOFT, 2010)

Incremental component-based construction and verification using invariants. - Saddek Bensalem; Marius Bozga; Axel Legay; Thanh-Hung Nguyen; Joseph Sifakis; Rongjie Yan (FMCAD, 2010)

Automated Conflict-free distributed implementation of component-based models. - Borzoo Bonakdarpour; Marius Bozga; Mohamad Jaber 001; Jean Quilbeuf; Joseph Sifakis (SIES, 2010)

Compositional Translation of Simulink Models into Synchronous BIP. - Vassiliki Sfyrla; Georgios Tsiligiannis; Iris Safaka; Marius Bozga; Joseph Sifakis (SIES, 2010)

Systematic Correct Construction of Self-stabilizing Systems: A Case Study. - Ananda Basu; Borzoo Bonakdarpour; Marius Bozga; Joseph Sifakis (SSS, 2010)

Embedded Systems Design - Scientific Challenges and Work Directions. - Joseph Sifakis (TACAS, 2010)

Incremental Invariant Generation for Compositional Design. - Saddek Bensalem; Axel Legay; Thanh-Hung Nguyen; Joseph Sifakis; Rongjie Yan (TASE, 2010)

Causal semantics for the algebra of connectors. - Simon Bliudze; Joseph Sifakis (Formal Methods Syst. Des., 2010)

2009 CAV award announcement. - Randal E. Bryant; Orna Grumberg; Joseph Sifakis; Moshe Y. Vardi (Formal Methods Syst. Des., 2010)

Compositional verification for component-based systems and application. - Saddek Bensalem; Marius Bozga; Thanh-Hung Nguyen; Joseph Sifakis (IET Softw., 2010)

Source-to-Source Architecture Transformation for Performance Optimization in BIP. - Marius Bozga; Mohamad Jaber 001; Joseph Sifakis (IEEE Trans. Ind. Informatics, 2010)

Methods and tools for component-based system design. - Joseph Sifakis (DATE, 2011)

Time-predictable and composable architectures for dependable embedded systems. - Saddek Bensalem; Kees Goossens; Christoph M. Kirsch; Roman Obermaisser; Edward A. Lee; Joseph Sifakis (EMSOFT, 2011)

Component Assemblies in the Context of Manycore. - Ananda Basu; Saddek Bensalem; Marius Bozga; Paraskevas Bourgos; Mayur Maheshwari; Joseph Sifakis (FMCO, 2011)

Rigorous System Design: The BIP Approach. - Ananda Basu; Saddek Bensalem; Marius Bozga; Paraskevas Bourgos; Joseph Sifakis (MEMICS, 2011)

Rigorous system level modeling and analysis of mixed HW/SW systems. - Paraskevas Bourgos; Ananda Basu; Marius Bozga; Saddek Bensalem; Joseph Sifakis; Kai Huang (MEMOCODE, 2011)

D-Finder 2: Towards Efficient Correctness of Incremental Design. - Saddek Bensalem; Andreas Griesmayer; Axel Legay; Thanh-Hung Nguyen; Joseph Sifakis; Rongjie Yan (NASA Formal Methods, 2011)

Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. - Simon Bliudze; Joseph Sifakis (SC@TOOLS, 2011)

A vision for computer science - the system perspective. - Joseph Sifakis (Central Eur. J. Comput. Sci., 2011)

Priority scheduling of distributed systems based on model checking. - Ananda Basu; Saddek Bensalem; Doron A. Peled; Joseph Sifakis (Formal Methods Syst. Des., 2011)

Rigorous Component-Based System Design Using the BIP Framework. - Ananda Basu; Saddek Bensalem; Marius Bozga; Jacques Combaz; Mohamad Jaber 001; Thanh-Hung Nguyen; Joseph Sifakis (IEEE Softw., 2011)

Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice. - Dahlia Malkhi; Fernando J. Corbató; E. Allen Emerson; Joseph Sifakis; Ken Thompson (ACM-TURING, 2012)

Optimized distributed implementation of multiparty interactions with observation. - Saddek Bensalem; Marius Bozga; Jean Quilbeuf; Joseph Sifakis (AGERE!@SPLASH, 2012)

Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. - Saddek Bensalem; Marius Bozga; Jean Quilbeuf; Joseph Sifakis (FMOODS/FORTE, 2012)

Trustworthy Computing Systems. - Joseph Sifakis (PECCS, 2012)

Rigorous design of cyber-physical systems. - Joseph Sifakis (ICSAMOS, 2012)

Modeling Dynamic Architectures Using Dy-BIP. - Marius Bozga; Mohamad Jaber 001; Nikolaos Maris; Joseph Sifakis (SC@TOOLS, 2012)

Rigorous Component-Based System Design - (Invited Paper). - Ananda Basu; Saddek Bensalem; Marius Bozga; Joseph Sifakis (WRLA, 2012)

A framework for automated distributed implementation of component-based models. - Borzoo Bonakdarpour; Marius Bozga; Mohamad Jaber 001; Jean Quilbeuf; Joseph Sifakis (Distributed Comput., 2012)

2010 CAV award announcement. - Orna Grumberg; Moshe Y. Vardi; Joseph Sifakis; Rajeev Alur (Formal Methods Syst. Des., 2012)

Model-Based Implementation of Parallel Real-Time Systems. - Ahlem Triki; Jacques Combaz; Saddek Bensalem; Joseph Sifakis (FASE, 2013)

An Abstract Framework for Deadlock Prevention in BIP. - Paul C. Attie; Saddek Bensalem; Marius Bozga; Mohamad Jaber 001; Joseph Sifakis; Fadi A. Zaraket (FMOODS/FORTE, 2013)

Rigorous System Design. - Joseph Sifakis (Found. Trends Electron. Des. Autom., 2013)

Rigorous implementation of real-time systems - from theory to application. - Tesnim Abdellatif; Jacques Combaz; Joseph Sifakis (Math. Struct. Comput. Sci., 2013)

Introduction to the special section on rigorous embedded systems design. - Joseph Sifakis; Lothar Thiele; Reinhard Wilhelm (ACM Trans. Embed. Comput. Syst., 2013)

Architecture internalisation in BIP. - Simon Bliudze; Joseph Sifakis; Marius Bozga; Mohamad Jaber 001 (CBSE, 2014)

Toward a System Design Science. - Joseph Sifakis (FPS@ETAPS, 2014)

Keynote talk III: A framework for modeling architectures and their properties. - Joseph Sifakis (MEMOCODE, 2014)

A Theory Agenda for Component-Based Design. - Joseph Sifakis; Saddek Bensalem; Simon Bliudze; Marius Bozga (Software, Services, and Systems, 2015)

Configuration Logics: Modelling Architecture Styles. - Anastasia Mavridou; Eduard Baranov; Simon Bliudze; Joseph Sifakis (FACS, 2015)

System Design Automation: Challenges and Limitations. - Joseph Sifakis (Proc. IEEE, 2015)

Optimized distributed implementation of multiparty interactions with Restriction. - Saddek Bensalem; Marius Bozga; Jean Quilbeuf; Joseph Sifakis (Sci. Comput. Program., 2015)

Parameterized Systems in BIP: Design and Model Checking. - Igor V. Konnov 001; Tomer Kotek; Qiang Wang 020; Helmut Veith; Simon Bliudze; Joseph Sifakis (CONCUR, 2016)

Architecture-Based Design: A Satellite On-Board Software Case Study. - Anastasia Mavridou; Emmanouela Stachtiari; Simon Bliudze; Anton B. Ivanov; Panagiotis Katsaros; Joseph Sifakis (FACS, 2016)

Architecture Diagrams: A Graphical Language for Architecture Style Specification. - Anastasia Mavridou; Eduard Baranov; Simon Bliudze; Joseph Sifakis (ICE, 2016)

A general framework for architecture composability. - Paul C. Attie; Eduard Baranov; Simon Bliudze; Mohamad Jaber 001; Joseph Sifakis (Formal Aspects Comput., 2016)

Component-based verification using incremental design and invariants. - Saddek Bensalem; Marius Bozga; Axel Legay; Thanh-Hung Nguyen; Joseph Sifakis; Rongjie Yan (Softw. Syst. Model., 2016)

Functional BIP: Embedding connectors in functional programming languages. - Romain Edelmann; Simon Bliudze; Joseph Sifakis (J. Log. Algebraic Methods Program., 2017)

Configuration logics: Modeling architecture styles. - Anastasia Mavridou; Eduard Baranov; Simon Bliudze; Joseph Sifakis (J. Log. Algebraic Methods Program., 2017)

Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. - Rim El Ballouli; Saddek Bensalem; Marius Bozga; Joseph Sifakis (ISoLA (3), 2018)

DReAM: Dynamic Reconfigurable Architecture Modeling. - Rocco De Nicola; Alessandro Maggi; Joseph Sifakis (ISoLA (3), 2018)

DReAM: Dynamic Reconfigurable Architecture Modeling (full paper). - Rocco De Nicola; Alessandro Maggi; Joseph Sifakis (CoRR, 2018)

DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. - Anastasia Mavridou; Joseph Sifakis; Janos Sztipanovits (CoRR, 2018)

System Design in the Era of IoT - Meeting the Autonomy Challenge. - Joseph Sifakis (MeTRiD@ETAPS, 2018)

Early validation of system requirements and design through correctness-by-construction. - Emmanouela Stachtiari; Anastasia Mavridou; Panagiotis Katsaros; Simon Bliudze; Joseph Sifakis (J. Syst. Softw., 2018)

Global and Local Deadlock Freedom in BIP. - Paul C. Attie; Saddek Bensalem; Marius Bozga; Mohamad Jaber 001; Joseph Sifakis; Fadi A. Zaraket (ACM Trans. Softw. Eng. Methodol., 2018)

Can We Trust Autonomous Systems? Boundaries and Risks. - Joseph Sifakis (ATVA, 2019)

A Logic-Inspired Approach to Reconfigurable System Modelling. - Alessandro Maggi; Rocco De Nicola; Joseph Sifakis (From Reactive Systems to Cyber-Physical Systems, 2019)

Autonomous Systems - An Architectural Characterization. - Joseph Sifakis (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures. - Marius Bozga; Radu Iosif; Joseph Sifakis (CoRR, 2019)

Local Reasoning about Parametric and Reconfigurable Component-based Systems. - Marius Bozga; Radu Iosif; Joseph Sifakis (CoRR, 2019)

Rigorous design of cyber-physical systems - Linking physicality and computation. - Simon Bliudze; Sébastien Furic; Joseph Sifakis; Antoine Viel (Softw. Syst. Model., 2019)

Safe and efficient collision avoidance control for autonomous vehicles. - Qiang Wang 020; Dachuan Li; Joseph Sifakis (MEMOCODE, 2020)

A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. - Antoine El-Hokayem; Saddek Bensalem; Marius Bozga; Joseph Sifakis (SEFM, 2020)

Structural Invariants for the Verification of Systems with Parameterized Architectures. - Marius Bozga; Javier Esparza; Radu Iosif; Joseph Sifakis; Christoph Welzel (TACAS (1), 2020)

Autonomics: In search of a foundation for next-generation autonomous systems. - David Harel; Assaf Marron; Joseph Sifakis (Proc. Natl. Acad. Sci. USA, 2020)

The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications. - Rocco De Nicola; Alessandro Maggi; Joseph Sifakis (Int. J. Softw. Tools Technol. Transf., 2020)

ostrich. - Christoph Welzel; Marius Bozga; Radu Iosif; Joseph Sifakis; Javier Esparza (Zenodo, 2020)

ostrich. - Christoph Welzel; Marius Bozga; Radu Iosif; Joseph Sifakis; Javier Esparza (Zenodo, 2020)

ostrich. - Christoph Welzel; Marius Bozga; Radu Iosif; Joseph Sifakis; Javier Esparza (Zenodo, 2020)

A temporal configuration logic for dynamic reconfigurable systems. - Antoine El-Hokayem; Marius Bozga; Joseph Sifakis (SAC, 2021)

Why is it so hard to make self-driving cars? (Trustworthy autonomous systems). - Joseph Sifakis (WI/IAT, 2021)

A hybrid controller for safe and efficient collision avoidance control. - Qiang Wang 020; Xinlei Zheng; Jiyong Zhang; Joseph Sifakis (CoRR, 2021)

Checking deadlock-freedom of parametric component-based systems. - Marius Bozga; Radu Iosif; Joseph Sifakis (J. Log. Algebraic Methods Program., 2021)

Programming dynamic reconfigurable systems. - Rim El Ballouli; Saddek Bensalem; Marius Bozga; Joseph Sifakis (Int. J. Softw. Tools Technol. Transf., 2021)

Understanding and Changing the World - From Information to Knowledge and Intelligence - Joseph Sifakis (Springer, 2022)

Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. - Marius Bozga; Joseph Sifakis (Principles of Systems Design, 2022)

Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles. - Shengduo Chen; Yaowei Sun; Dachuan Li; Qiang Wang 020; Qi Hao; Joseph Sifakis (ICRA, 2022)

Creating a Foundation for Next-Generation Autonomous Systems. - David Harel; Assaf Marron; Joseph Sifakis (IEEE Des. Test, 2022)

A hybrid controller for safe and efficient longitudinal collision avoidance control. - Qiang Wang 020; Xinlei Zheng; Jiyong Zhang; Joseph Sifakis (J. Syst. Archit., 2022)

Simulation-Based Validation for Autonomous Driving Systems. - Changwen Li; Joseph Sifakis; Qiang Wang 020; Rongjie Yan; Jian Zhang 001 (ISSTA, 2023)

Testing System Intelligence. - Joseph Sifakis (CoRR, 2023)

Verification of component-based systems with recursive architectures. - Marius Bozga; Radu Iosif; Joseph Sifakis (Theor. Comput. Sci., 2023)

Trustworthy Autonomous System Development. - Joseph Sifakis; David Harel (ACM Trans. Embed. Comput. Syst., 2023)

What perceptron neural networks are (not) good for? - Cristian S. Calude; Shahrokh Heidari; Joseph Sifakis (Inf. Sci., 2023)

Correct by design coordination of autonomous driving systems. - Marius Bozga; Joseph Sifakis (Int. J. Softw. Tools Technol. Transf., 2023)

World Models: The Safety Perspective. - Zifan Zeng; Chongzhe Zhang; Feng Liu; Joseph Sifakis; Qunli Zhang; Shiming Liu; Peng Wang (ISSRE (Workshops), 2024)

Safe by Design Autonomous Driving Systems. - Marius Bozga; Joseph Sifakis (CoRR, 2024)

Rigorous Simulation-based Testing for Autonomous Driving Systems - Targeting the Achilles' Heel of Four Open Autopilots. - Changwen Li; Joseph Sifakis; Rongjie Yan; Jian Zhang 001 (CoRR, 2024)

Book Review: To Halt or Not to Halt? That Is the Question. - Joseph Sifakis (Int. J. Artif. Intell. Robotics Res., 2024)

Design for dependability - State of the art and trends. - Hezhen Liu; Chengqiang Huang; Ke Sun; Jiacheng Yin; Xiaoyu Wu; Jin Wang; Qunli Zhang; Yang Zheng; Vivek Nigam; Feng Liu; Joseph Sifakis (J. Syst. Softw., 2024)

CCTest: Critical Configuration Testing for Autonomous Driving Systems. - Changwen Li; Joseph Sifakis; Rongjie Yan; Jian Zhang 001 (SIGSOFT FSE Companion, 2025)

A Comprehensive Evaluation of Four End-to-End AI Autopilots Using CCTest and the Carla Leaderboard. - Changwen Li; Joseph Sifakis; Rongjie Yan; Jian Zhang 001 (CoRR, 2025)

A Reference Architecture for Autonomous Networks: An Agent-Based Approach. - Joseph Sifakis; Dongming Li; Hairong Huang; Yong Zhang; Wenshuan Dang; River Huang; Yijun Yu (CoRR, 2025)

Testing Autonomous Driving Systems - What Really Matters and What Doesn't. - Changwen Li; Joseph Sifakis; Rongjie Yan; Jian Zhang 001 (CoRR, 2025)