Joseph Sifakis

240 papers A* 20A 16B 20C 6Misc 11Journal 82Unranked 80
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Comprehensive Evaluation of Four End-to-End AI Autopilots Using CCTest and the Carla Leaderboard.
CoRR
Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang
2025 J jnl
A Reference Architecture for Autonomous Networks: An Agent-Based Approach.
CoRR
Joseph Sifakis, Dongming Li, Hairong Huang, Yong Zhang, Wenshuan Dang, River Huang, Yijun Yu
2025 — conf
CCTest: Critical Configuration Testing for Autonomous Driving Systems.
SIGSOFT FSE Companion
Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang
2025 J jnl
Leveraging AI Agents for Autonomous Networks: A Reference Architecture and Empirical Studies.
CoRR
Binghan Wu, Shoufeng Wang, Yunxin Liu, Ya-Qin Zhang, Joseph Sifakis, Ye Ouyang
2025 J jnl
Testing Autonomous Driving Systems - What Really Matters and What Doesn't.
CoRR
Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang
2024 J jnl
Book Review: To Halt or Not to Halt? That Is the Question.
Int. J. Artif. Intell. Robotics Res.
Joseph Sifakis
2024 J jnl
Design for dependability - State of the art and trends.
J. Syst. Softw.
Hezhen Liu, Chengqiang Huang, Ke Sun, Jiacheng Yin, Xiaoyu Wu, Jin Wang, Qunli Zhang, Yang Zheng, Vivek Nigam, Feng Liu, Joseph Sifakis
2024 J jnl
Rigorous Simulation-based Testing for Autonomous Driving Systems - Targeting the Achilles' Heel of Four Open Autopilots.
CoRR
Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang
2024 J jnl
Safe by Design Autonomous Driving Systems.
CoRR
Marius Bozga, Joseph Sifakis
2024 — conf
World Models: The Safety Perspective.
ISSRE (Workshops)
Zifan Zeng, Chongzhe Zhang, Feng Liu, Joseph Sifakis, Qunli Zhang, Shiming Liu, Peng Wang
2024 J jnl
World Models: The Safety Perspective.
CoRR
Zifan Zeng, Chongzhe Zhang, Feng Liu, Joseph Sifakis, Qunli Zhang, Shiming Liu, Peng Wang
2023 J jnl
Correct by design coordination of autonomous driving systems.
Int. J. Softw. Tools Technol. Transf.
Marius Bozga, Joseph Sifakis
2023 A conf
Simulation-Based Validation for Autonomous Driving Systems.
ISSTA
Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang
2023 J jnl
Simulation-based Validation for Autonomous Driving Systems.
CoRR
Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang
2023 J jnl
Testing System Intelligence.
CoRR
Joseph Sifakis
2023 J jnl
Trustworthy Autonomous System Development.
ACM Trans. Embed. Comput. Syst.
Joseph Sifakis, David Harel
2023 J jnl
Verification of component-based systems with recursive architectures.
Theor. Comput. Sci.
Marius Bozga, Radu Iosif, Joseph Sifakis
2023 J jnl
What perceptron neural networks are (not) good for?
Inf. Sci.
Cristian S. Calude, Shahrokh Heidari, Joseph Sifakis
2022 J jnl
A hybrid controller for safe and efficient longitudinal collision avoidance control.
J. Syst. Archit.
Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis
2022 — conf
Correct by Design Coordination of Autonomous Driving Systems.
ISoLA (3)
Marius Bozga, Joseph Sifakis
2022 J jnl
Correct by Design Coordination of Autonomous Driving Systems.
CoRR
Marius Bozga, Joseph Sifakis
2022 J jnl
Creating a Foundation for Next-Generation Autonomous Systems.
IEEE Des. Test
David Harel, Assaf Marron, Joseph Sifakis
2022 A* conf
Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles.
ICRA
Shengduo Chen, Yaowei Sun, Dachuan Li, Qiang Wang, Qi Hao, Joseph Sifakis
2022 — conf
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework.
Principles of Systems Design
Marius Bozga, Joseph Sifakis
2022 — book
Understanding and Changing the World - From Information to Knowledge and Intelligence
Joseph Sifakis
2021 J jnl
A hybrid controller for safe and efficient collision avoidance control.
CoRR
Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis
2021 Misc conf
A temporal configuration logic for dynamic reconfigurable systems.
SAC
Antoine El-Hokayem, Marius Bozga, Joseph Sifakis
2021 J jnl
Checking deadlock-freedom of parametric component-based systems.
J. Log. Algebraic Methods Program.
Marius Bozga, Radu Iosif, Joseph Sifakis
2021 J jnl
Programming dynamic reconfigurable systems.
Int. J. Softw. Tools Technol. Transf.
Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
2021 J jnl
Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles.
CoRR
Shengduo Chen, Yaowei Sun, Dachuan Li, Qiang Wang, Qi Hao, Joseph Sifakis
2021 J jnl
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework.
CoRR
Marius Bozga, Joseph Sifakis
2021 J jnl
Verification of Component-based Systems with Recursive Architectures.
CoRR
Marius Bozga, Radu Iosif, Joseph Sifakis
2021 — conf
Why is it so hard to make self-driving cars? (Trustworthy autonomous systems).
WI/IAT
Joseph Sifakis
2020 B conf
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis.
SEFM
Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis
2020 J jnl
Autonomics: In search of a foundation for next-generation autonomous systems.
Proc. Natl. Acad. Sci. USA
David Harel, Assaf Marron, Joseph Sifakis
2020 C conf
Safe and efficient collision avoidance control for autonomous vehicles.
MEMOCODE
Qiang Wang, Dachuan Li, Joseph Sifakis
2020 J jnl
Safe and efficient collision avoidance control for autonomous vehicles.
CoRR
Qiang Wang, Dachuan Li, Joseph Sifakis
2020 — conf
Structural Invariants for the Verification of Systems with Parameterized Architectures.
TACAS (1)
Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
2020 J jnl
Structural Invariants for the Verification of Systems with Parameterized Architectures.
CoRR
Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
2020 J jnl
The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications.
Int. J. Softw. Tools Technol. Transf.
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
2019 — conf
A Logic-Inspired Approach to Reconfigurable System Modelling.
From Reactive Systems to Cyber-Physical Systems
Alessandro Maggi, Rocco De Nicola, Joseph Sifakis
2019 J jnl
Autonomics: In Search of a Foundation for Next Generation Autonomous Systems.
CoRR
David Harel, Assaf Marron, Joseph Sifakis
2019 — conf
Autonomous Systems - An Architectural Characterization.
Models, Languages, and Tools for Concurrent and Distributed Programming
Joseph Sifakis
2019 B conf
Can We Trust Autonomous Systems? Boundaries and Risks.
ATVA
Joseph Sifakis
2019 — conf
Checking Deadlock-Freedom of Parametric Component-Based Systems.
TACAS (2)
Marius Bozga, Radu Iosif, Joseph Sifakis
2019 J jnl
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP.
CoRR
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
2019 J jnl
Local Reasoning about Parametric and Reconfigurable Component-based Systems.
CoRR
Marius Bozga, Radu Iosif, Joseph Sifakis
2019 J jnl
Rigorous design of cyber-physical systems - Linking physicality and computation.
Softw. Syst. Model.
Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel
2019 J jnl
Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures.
CoRR
Marius Bozga, Radu Iosif, Joseph Sifakis
2018 J jnl
Autonomous Systems - An Architectural Characterization.
CoRR
Joseph Sifakis
2018 J jnl
Checking Deadlock-Freedom of Parametric Component-Based Systems.
CoRR
Marius Bozga, Radu Iosif, Joseph Sifakis
2018 J jnl
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper).
CoRR
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
2018 — conf
DReAM: Dynamic Reconfigurable Architecture Modeling.
ISoLA (3)
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
2018 J jnl
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP.
CoRR
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
2018 J jnl
Early validation of system requirements and design through correctness-by-construction.
J. Syst. Softw.
Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis
2018 — conf
Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP.
ISoLA (3)
Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
2018 J jnl
Global and Local Deadlock Freedom in BIP.
ACM Trans. Softw. Eng. Methodol.
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
2018 — conf
Programming Dynamic Reconfigurable Systems.
FACS
Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
2018 — conf
System Design in the Era of IoT - Meeting the Autonomy Challenge.
MeTRiD@ETAPS
Joseph Sifakis
2017 J jnl
Configuration logics: Modeling architecture styles.
J. Log. Algebraic Methods Program.
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
2017 J jnl
Functional BIP: Embedding connectors in functional programming languages.
J. Log. Algebraic Methods Program.
Romain Edelmann, Simon Bliudze, Joseph Sifakis
2016 J jnl
A general framework for architecture composability.
Formal Aspects Comput.
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
2016 — conf
Architecture Diagrams: A Graphical Language for Architecture Style Specification.
ICE
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
2016 — conf
Architecture-Based Design: A Satellite On-Board Software Case Study.
FACS
Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton B. Ivanov, Panagiotis Katsaros, Joseph Sifakis
2016 J jnl
Component-based verification using incremental design and invariants.
Softw. Syst. Model.
Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2016 B conf
Parameterized Systems in BIP: Design and Model Checking.
CONCUR
Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis
2015 — conf
A Theory Agenda for Component-Based Design.
Software, Services, and Systems
Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga
2015 — conf
Configuration Logics: Modelling Architecture Styles.
FACS
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
2015 J jnl
Optimized distributed implementation of multiparty interactions with Restriction.
Sci. Comput. Program.
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
2015 J jnl
System Design Automation: Challenges and Limitations.
Proc. IEEE
Joseph Sifakis
2014 B conf
A General Framework for Architecture Composability.
SEFM
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
2014 — conf
Architecture internalisation in BIP.
CBSE
Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber
2014 C conf
Keynote talk III: A framework for modeling architectures and their properties.
MEMOCODE
Joseph Sifakis
2014 A* conf
Rigorous system design.
PODC
Joseph Sifakis
2014 — conf
Toward a System Design Science.
FPS@ETAPS
Joseph Sifakis
2013 — conf
An Abstract Framework for Deadlock Prevention in BIP.
FMOODS/FORTE
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
2013 J jnl
Introduction to the special section on rigorous embedded systems design.
ACM Trans. Embed. Comput. Syst.
Joseph Sifakis, Lothar Thiele, Reinhard Wilhelm
2013 B conf
Model-Based Implementation of Parallel Real-Time Systems.
FASE
Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis
2013 J jnl
Rigorous System Design.
Found. Trends Electron. Des. Autom.
Joseph Sifakis
2013 J jnl
Rigorous implementation of real-time systems - from theory to application.
Math. Struct. Comput. Sci.
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
2012 J jnl
2010 CAV award announcement.
Formal Methods Syst. Des.
Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur
2012 J jnl
A framework for automated distributed implementation of component-based models.
Distributed Comput.
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
2012 — conf
Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities.
FMOODS/FORTE
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
2012 A conf
Modeling Dynamic Architectures Using Dy-BIP.
SC
Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis
2012 — conf
Optimized distributed implementation of multiparty interactions with observation.
AGERE!@SPLASH
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
2012 — conf
Rigorous Component-Based System Design - (Invited Paper).
WRLA
Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis
2012 — conf
Rigorous design of cyber-physical systems.
ICSAMOS
Joseph Sifakis
2012 — conf
Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice.
ACM-TURING
Dahlia Malkhi, Fernando J. Corbató, E. Allen Emerson, Joseph Sifakis, Ken Thompson
2012 — conf
Trustworthy Computing Systems.
PECCS
Joseph Sifakis
2012 — conf
Trustworthy Computing Systems.
SENSORNETS
Joseph Sifakis
2011 J jnl
A vision for computer science - the system perspective.
Central Eur. J. Comput. Sci.
Joseph Sifakis
2011 — conf
Component Assemblies in the Context of Manycore.
FMCO
Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis
2011 — conf
D-Finder 2: Towards Efficient Correctness of Incremental Design.
NASA Formal Methods
Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2011 A conf
Methods and tools for component-based system design.
DATE
Joseph Sifakis
2011 J jnl
Priority scheduling of distributed systems based on model checking.
Formal Methods Syst. Des.
Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis
2011 J jnl
Rigorous Component-Based System Design Using the BIP Framework.
IEEE Softw.
Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis
2011 — conf
Rigorous System Design: The BIP Approach.
MEMICS
Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis
2011 C conf
Rigorous system level modeling and analysis of mixed HW/SW systems.
MEMOCODE
Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang
2011 A conf
Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems.
SC
Simon Bliudze, Joseph Sifakis
2011 Misc conf
Time-predictable and composable architectures for dependable embedded systems.
EMSOFT
Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis
2010 J jnl
2009 CAV award announcement.
Formal Methods Syst. Des.
Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi
2010 — conf
Automated Conflict-free distributed implementation of component-based models.
SIES
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
2010 J jnl
Causal semantics for the algebra of connectors.
Formal Methods Syst. Des.
Simon Bliudze, Joseph Sifakis
2010 — conf
Component-based Construction of Heterogeneous Real-time Systems in BIP.
The Future of Software Engineering
Joseph Sifakis
2010 — conf
Compositional Translation of Simulink Models into Synchronous BIP.
SIES
Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis
2010 J jnl
Compositional verification for component-based systems and application.
IET Softw.
Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis
2010 A conf
Embedded Systems Design - Scientific Challenges and Work Directions.
TACAS
Joseph Sifakis
2010 B conf
Embedded systems design - Scientific challenges and work directions.
FMCAD
Joseph Sifakis
2010 Misc conf
From high-level component-based models to distributed implementations.
EMSOFT
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
2010 Misc conf
Incremental Invariant Generation for Compositional Design.
TASE
Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2010 B conf
Incremental component-based construction and verification using invariants.
FMCAD
Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
2010 — conf
Knowledge Based Scheduling of Distributed Systems.
Essays in Memory of Amir Pnueli
Saddek Bensalem, Doron A. Peled, Joseph Sifakis
2010 Misc conf
Model-based implementation of real-time applications.
EMSOFT
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
2010 J jnl
Source-to-Source Architecture Transformation for Performance Optimization in BIP.
IEEE Trans. Ind. Informatics
Marius Bozga, Mohamad Jaber, Joseph Sifakis
2010 C conf
Systematic Correct Construction of Self-stabilizing Systems: A Case Study.
SSS
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis
2009 A conf
Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset.
DISC
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis
2009 B conf
Component-Based Construction of Heterogeneous Real-Time Systems in Bip.
Petri Nets
Joseph Sifakis
2009 A* conf
Component-Based Construction of Real-Time Systems in BIP.
CAV
Joseph Sifakis
2009 A* conf
D-Finder: A Tool for Compositional Deadlock Detection and Verification.
CAV
Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis
2009 A conf
Embedded systems design - Scientific challenges and work directions.
DATE
Joseph Sifakis
2009 J jnl
Model checking: algorithmic verification and debugging.
Commun. ACM
Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis
2009 Misc conf
Modeling synchronous systems in BIP.
EMSOFT
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis
2009 A* conf
Priority Scheduling of Distributed Systems Based on Model Checking.
CAV
Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis
2009 — conf
Source-to-source architecture transformation for performance optimization in BIP.
SIES
Marius Bozga, Mohamad Jaber, Joseph Sifakis
2009 — conf
The Quest for Correctness-Beyond a Posteriori Verification.
SPIN
Joseph Sifakis
2008 B conf
A Notion of Glue Expressiveness for Component-Based Systems.
CONCUR
Simon Bliudze, Joseph Sifakis
2008 B conf
Compositional Verification for Component-Based Systems and Application.
ATVA
Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen
2008 C conf
Distributed Semantics and Implementation for Systems with Interaction and Priority.
FORTE
Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis
2008 A conf
Incremental Component-Based Construction and Verification of a Robotic System.
ECAI
Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis
2008 — conf
Modeling Heterogeneous Real-time Components in BIP.
Perspectives Workshop: Model Engineering of Complex Systems (MECS)
Ananda Basu, Marius Bozga, Joseph Sifakis
2008 — conf
Specification and Verification of Conurrent Systems in Cesar.
25 Years of Model Checking
Jean-Pierre Queille, Joseph Sifakis
2008 J jnl
Symbolic quality control for multimedia applications.
Real Time Syst.
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus
2008 J jnl
The Algebra of Connectors - Structuring Interaction in BIP.
IEEE Trans. Computers
Simon Bliudze, Joseph Sifakis
2008 — conf
Translating AADL into BIP - Application to the Verification of Real-Time Systems.
MoDELS (Workshops)
Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis
2007 — conf
An Approach to Modelling and Verification of Component Based Systems.
SOFSEM (1)
Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
2007 — conf
Causal Semantics for the Algebra of Connectors.
FMCO
Simon Bliudze, Joseph Sifakis
2007 J jnl
The Discipline of Embedded Systems Design.
Computer
Thomas A. Henzinger, Joseph Sifakis
2007 Misc conf
The algebra of connectors: structuring interaction in BIP.
EMSOFT
Simon Bliudze, Joseph Sifakis
2007 B conf
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks.
NCA
Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis
2007 A conf
Using Speed Diagrams for Symbolic Quality Management.
IPDPS
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus
2006 — conf
A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems.
Monterey Workshop
Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis
2006 — conf
Ensuring Properties of Interaction Systems.
Program Analysis and Compilation
Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
2006 B conf
Modeling Heterogeneous Real-time Components in BIP.
SEFM
Ananda Basu, Marius Bozga, Joseph Sifakis
2006 B conf
The Embedded Systems Design Challenge.
FM
Thomas A. Henzinger, Joseph Sifakis
2006 A conf
WPDRTS keynote: component-based construction of embedded systems.
IPDPS
Joseph Sifakis
2005 B conf
A Framework for Component-based Construction Extended Abstract.
SEFM
Joseph Sifakis
2005 J jnl
Composition for component-based modeling.
Sci. Comput. Program.
Gregor Gößler, Joseph Sifakis
2005 — book
Embedded Systems Design: The ARTIST Roadmap for Research and Development
Bruno Bouyssounouse, Joseph Sifakis
2005 A conf
Fine Grain QoS Control for Multimedia Application Software.
DATE
Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis
2005 J jnl
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embed. Comput. Syst.
Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
2005 Misc conf
QoS control for optimality and safety.
EMSOFT
Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis
2004 B conf
Embedded Systems - Challenges and Work Directions.
OPODIS
Joseph Sifakis
2004 A conf
Modeling Real-Time Systems.
RTSS
Joseph Sifakis
2004 — conf
The IF Toolset.
SFM
Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis
2003 J jnl
Building models of real-time systems from application software.
Proc. IEEE
Joseph Sifakis, Stavros Tripakis, Sergio Yovine
2003 — conf
Component-Based Construction of Deadlock-Free Systems: Extended Abstract.
FSTTCS
Gregor Gößler, Joseph Sifakis
2003 — conf
Priority Systems.
FMCO
Gregor Gößler, Joseph Sifakis
2002 — conf
Abstracts of Invited Talks.
Theory and Practice of Timed Systems @ ETAPS
Giorgio C. Buttazzo, Avi Efrati, John N. Hooker, Claude Le Pape, Joseph Sifakis
2002 — conf
Composition for Component-Based Modeling.
FMCO
Gregor Gößler, Joseph Sifakis
2002 Misc ed.
Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings
EMSOFT
Alberto L. Sangiovanni-Vincentelli, Joseph Sifakis
2002 — conf
Scheduler Modeling Based on the Controller Synthesis Paradigm.
FTRTFT
Joseph Sifakis
2002 J jnl
Scheduler Modeling Based on the Controller Synthesis Paradigm.
Real Time Syst.
Karine Altisen, Gregor Gößler, Joseph Sifakis
2001 Misc conf
Modeling Real-Time Systems-Challenges and Work Directions.
EMSOFT
Joseph Sifakis
2001 A* conf
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems.
CAV
Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine
2001 — conf
TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems.
CDC
Valérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine
2000 — conf
A Methodology for the Construction of Scheduled Systems.
FTRTFT
Karine Altisen, Gregor Gößler, Joseph Sifakis
2000 J jnl
An Algebraic Framework for Urgency.
Inf. Comput.
Sébastien Bornot, Joseph Sifakis
2000 A conf
On the Construction of Live Timed Systems.
TACAS
Sébastien Bornot, Gregor Gößler, Joseph Sifakis
2000 B conf
Towards validated real-time software.
ECRTS
Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis
1999 A conf
A Framework for Scheduler Synthesis.
RTSS
Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine
1999 J jnl
Decidable Integration Graphs.
Inf. Comput.
Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine
1999 — conf
IF: An intermediate representation for SDL and its applications.
SDL Forum
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis
1999 — conf
Integration, the Price of Success.
World Congress on Formal Methods
Joseph Sifakis
1999 A* conf
The Compositional Specification of Timed Systems - A Tutorial.
CAV
Joseph Sifakis
1998 — conf
A General Framework for the Composition of Timed Systems Extended Abstract.
FTRTFT
Joseph Sifakis
1998 — conf
On the Composition of Hybrid Systems.
HSCC
Sébastien Bornot, Joseph Sifakis
1997 — conf
Modeling Urgency in Timed Systems.
COMPOS
Sébastien Bornot, Joseph Sifakis, Stavros Tripakis
1997 — conf
On the Composition of Timed Systems.
ICATPN
Joseph Sifakis
1997 — conf
Relating Time Progress and Deadlines in Hybrid Systems.
HART
Sébastien Bornot, Joseph Sifakis
1996 A conf
Compositional Specification of Timed Systems (Extended Abstract).
STACS
Joseph Sifakis, Sergio Yovine
1996 — conf
Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft.
FTCS
S. Ayache, Eric Conquet, Philippe Humbert, Carlos Rodríguez, Joseph Sifakis, R. Gerlich
1996 J jnl
Research Directions for Concurrency.
ACM Comput. Surv.
Joseph Sifakis
1996 J jnl
Research Directions for Formal Methods.
ACM Comput. Surv.
Joseph Sifakis
1995 A conf
On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract).
STACS
Oded Maler, Amir Pnueli, Joseph Sifakis
1995 J jnl
Property Preserving Abstractions for the Verification of Concurrent Systems.
Formal Methods Syst. Des.
Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem
1995 — conf
Real-time systems specification and verification.
ISSS
Joseph Sifakis
1995 C conf
Specification and Verification of Timed Systems.
FORTE
Joseph Sifakis
1995 J jnl
The Algorithmic Analysis of Hybrid Systems.
Theor. Comput. Sci.
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
1994 B conf
Model-Based Verification Methods and Tools (Abstract).
CONCUR
Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone
1994 J jnl
Symbolic Model Checking for Real-Time Systems
Inf. Comput.
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
1994 J jnl
The Algebra of Timed Processes, ATP: Theory and Application
Inf. Comput.
Xavier Nicollin, Joseph Sifakis
1994 A* conf
Using Abstractions for the Verification of Linear Hybrid Systems.
CAV
Alfredo Olivero, Joseph Sifakis, Sergio Yovine
1993 J jnl
From ATP to Timed Graphs and Hybrid Systems.
Acta Informatica
Xavier Nicollin, Joseph Sifakis, Sergio Yovine
1993 A* conf
On Model Checking for Real-Time Properties with Durations
LICS
Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis
1992 A* conf
A Toolbox for the Verification of LOTOS Programs.
ICSE
Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodríguez, Joseph Sifakis
1992 — conf
An Approach to the Description and Analysis of Hybrid Systems.
Hybrid Systems
Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
1992 J jnl
Compiling Real-Time Specifications into Extended Automata.
IEEE Trans. Software Eng.
Xavier Nicollin, Joseph Sifakis, Sergio Yovine
1992 — conf
Integration Graphs: A Class of Decidable Hybrid Systems.
Hybrid Systems
Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine
1992 A* conf
Property Preserving Simulations.
CAV
Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis
1992 A* conf
Symbolic Model Checking for Real-time Systems
LICS
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
1991 A* conf
An Algebra of Boolean Processes.
CAV
Costas Courcoubetis, Susanne Graf, Joseph Sifakis
1991 A* conf
An Overview and Synthesis on Timed Process Algebras.
CAV
Xavier Nicollin, Joseph Sifakis
1991 — conf
An Overview and Synthesis on Timed Process Algebras.
REX Workshop
Xavier Nicollin, Joseph Sifakis
1991 — conf
From ATP to Timed Graphs and Hybrid Systems.
REX Workshop
Xavier Nicollin, Joseph Sifakis, Sergio Yovine
1991 A* conf
Safety for Branching Time Semantics.
ICALP
Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodríguez, Joseph Sifakis
1991 — conf
Verification for Finite Systems (Extended Abstract).
TAPSOFT, Vol.2
Ahmed Bouajjani, Joseph Sifakis
1990 — conf
ATP: an Algebra for Timed Processes.
Programming Concepts and Methods
Xavier Nicollin, Jean-Luc Richier, Joseph Sifakis, Jacques Voiron
1990 — ed.
Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings
Automatic Verification Methods for Finite State Systems
Joseph Sifakis
1990 — conf
Compilation and verification of LOTOS specifications.
PSTV
Hubert Garavel, Joseph Sifakis
1988 — conf
A logig for the description of behaviours and properties of concurrent systems.
REX Workshop
Ahmed Bouajjani, Susanne Graf, Joseph Sifakis
1987 — conf
An Expressive Logic for a Process Algebra with Silent Actions.
Temporal Logic in Specification
Susanne Graf, Joseph Sifakis
1987 A* conf
Readiness Semantics for Regular Processes with Silent Actions.
ICALP
Susanne Graf, Joseph Sifakis
1987 — conf
Verification in XESAR of the Sliding Window Protocol.
PSTV
Jean-Luc Richier, Carlos Rodríguez, Joseph Sifakis, Jacques Voiron
1986 J jnl
A Logic for the Description of Non-deterministic Programs and Their Properties
Inf. Control.
Susanne Graf, Joseph Sifakis
1986 J jnl
A Logic for the Specification and Proof of Regular Controllable Processes of CCS.
Acta Informatica
Susanne Graf, Joseph Sifakis
1986 J jnl
A Modal Characterization of Observational Congruence on Finite Terms of CCS
Inf. Control.
Susanne Graf, Joseph Sifakis
1986 — conf
Specification and Development of Reactive Systems - Response.
IFIP Congress
Joseph Sifakis
1985 — conf
Frm Synchronization Tree Logic to Acceptance Model Logic.
Logic of Programs
Susanne Graf, Joseph Sifakis
1984 — conf
A Logic for the Specification and Proof of Controllable Processes of CCS.
Logics and Models of Concurrent Systems
Susanne Graf, Joseph Sifakis
1984 A* conf
A Modal Characterization of Observational Congruence on Finite Terms of CCS.
ICALP
Susanne Graf, Joseph Sifakis
1983 — conf
An Example of Specification and Verification in Cesar.
The Analysis of Concurrent Systems
Jean-Claude Fernandez, Jean-Philippe Schwartz, Joseph Sifakis
1983 J jnl
Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness.
Acta Informatica
Jean-Pierre Queille, Joseph Sifakis
1983 — conf
Property Preserving Homomorphisms of Transition Systems.
Logic of Programs
Joseph Sifakis
1982 A* conf
A Temporal Logic to Deal with Fairness in Transition Systems
FOCS
Jean-Pierre Queille, Joseph Sifakis
1982 J jnl
A Unified Approach for Studying the Properties of Transition Systems.
Theor. Comput. Sci.
Joseph Sifakis
1982 — conf
Comments on Schiffers.
International Working Conference on Model Realism
Joseph Sifakis
1982 J jnl
Global and Local Invariants in Transition Systems
Inf. Control.
Joseph Sifakis
1982 A* conf
Global and Local Invariants in Transition Systems.
ICALP
Joseph Sifakis
1982 — conf
Specification and verification of concurrent systems in CESAR.
Symposium on Programming
Jean-Pierre Queille, Joseph Sifakis
1981 — conf
Iterative Methods for the Analysis of Petri Nets.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Jean-Pierre Queille, Joseph Sifakis
1980 B conf
Deadlocks and Livelocks in Transition Systems.
MFCS
Joseph Sifakis
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 — conf
Performance Evaluation of Systems Using Nets.
Advanced Course: Net Theory and Applications
Joseph Sifakis
1979 — conf
Survey of French Research and Applications Based on Petri Nets.
Advanced Course: Net Theory and Applications
Charles André, M. Diaz, Claude Girault, Joseph Sifakis
1979 J jnl
Use of Petri nets for performance evaluation.
Acta Cybern.
Joseph Sifakis
1978 B conf
Structural Properties of Petri Nets.
MFCS
Joseph Sifakis
1978 B conf
Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems.
MFCS
M. Moalla, Jacques Pulou, Joseph Sifakis
1977 Misc conf
Use of Petri Nets for Performance Evaluation.
Performance
Joseph Sifakis
1976 A* conf
A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules.
ISCA
M. Moalla, Gabriele Saucier, Joseph Sifakis, Marianthi Zachariades
1974 — —
Modèles temporels des systèmes logiques. (temporal Models of logic systems).
Joseph Sifakis