Joseph Sifakis

ORCID

Publication Activity (10 Years)

Years Active: 1976-2024
Publications (10 Years): 61

Top Venues

CoRR

Int. J. Softw. Tools Technol. Transf.

ISoLA (3)

FACS

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Joseph Fourier University, Grenoble, France

PHD

Publications

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. J. Syst. Softw. 211 (2024)
Marius Bozga, Joseph Sifakis
Safe by Design Autonomous Driving Systems. CoRR (2024)
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 (2024)
Marius Bozga, Radu Iosif, Joseph Sifakis
Verification of component-based systems with recursive architectures. Theor. Comput. Sci. 940 (Part) (2023)
Joseph Sifakis
Testing System Intelligence. CoRR (2023)
Cristian S. Calude, Shahrokh Heidari, Joseph Sifakis
What perceptron neural networks are (not) good for? Inf. Sci. 621 (2023)
Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang
Simulation-Based Validation for Autonomous Driving Systems. ISSTA (2023)
Joseph Sifakis, David Harel
Trustworthy Autonomous System Development. ACM Trans. Embed. Comput. Syst. 22 (3) (2023)
Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang
Simulation-based Validation for Autonomous Driving Systems. CoRR (2023)
Marius Bozga, Joseph Sifakis
Correct by design coordination of autonomous driving systems. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis
A hybrid controller for safe and efficient longitudinal collision avoidance control. J. Syst. Archit. 125 (2022)
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)
David Harel, Assaf Marron, Joseph Sifakis
Creating a Foundation for Next-Generation Autonomous Systems. IEEE Des. Test 39 (1) (2022)
Marius Bozga, Joseph Sifakis
Correct by Design Coordination of Autonomous Driving Systems. ISoLA (3) (2022)
Marius Bozga, Joseph Sifakis
Correct by Design Coordination of Autonomous Driving Systems. CoRR (2022)
Marius Bozga, Joseph Sifakis
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. Principles of Systems Design (2022)
Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis
A hybrid controller for safe and efficient collision avoidance control. CoRR (2021)
Joseph Sifakis
Why is it so hard to make self-driving cars? (Trustworthy autonomous systems). WI/IAT (2021)
Shengduo Chen, Yaowei Sun, Dachuan Li, Qiang Wang, Qi Hao, Joseph Sifakis
Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles. CoRR (2021)
Antoine El-Hokayem, Marius Bozga, Joseph Sifakis
A temporal configuration logic for dynamic reconfigurable systems. SAC (2021)
Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Programming dynamic reconfigurable systems. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Marius Bozga, Joseph Sifakis
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. CoRR (2021)
Marius Bozga, Radu Iosif, Joseph Sifakis
Verification of Component-based Systems with Recursive Architectures. CoRR (2021)
Marius Bozga, Radu Iosif, Joseph Sifakis
Checking deadlock-freedom of parametric component-based systems. J. Log. Algebraic Methods Program. 119 (2021)
Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
Structural Invariants for the Verification of Systems with Parameterized Architectures. TACAS (1) (2020)
Qiang Wang, Dachuan Li, Joseph Sifakis
Safe and efficient collision avoidance control for autonomous vehicles. CoRR (2020)
Qiang Wang, Dachuan Li, Joseph Sifakis
Safe and efficient collision avoidance control for autonomous vehicles. MEMOCODE (2020)
Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. SEFM (2020)
David Harel, Assaf Marron, Joseph Sifakis
Autonomics: In search of a foundation for next-generation autonomous systems. Proc. Natl. Acad. Sci. USA 117 (30) (2020)
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications. Int. J. Softw. Tools Technol. Transf. 22 (4) (2020)
Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
Structural Invariants for the Verification of Systems with Parameterized Architectures. CoRR (2020)
Alessandro Maggi, Rocco De Nicola, Joseph Sifakis
A Logic-Inspired Approach to Reconfigurable System Modelling. From Reactive Systems to Cyber-Physical Systems (2019)
Marius Bozga, Radu Iosif, Joseph Sifakis
Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures. CoRR (2019)
Marius Bozga, Radu Iosif, Joseph Sifakis
Checking Deadlock-Freedom of Parametric Component-Based Systems. TACAS (2) (2019)
Joseph Sifakis
Can We Trust Autonomous Systems? Boundaries and Risks. ATVA (2019)
Joseph Sifakis
Autonomous Systems - An Architectural Characterization. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
David Harel, Assaf Marron, Joseph Sifakis
Autonomics: In Search of a Foundation for Next Generation Autonomous Systems. CoRR (2019)
Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel
Rigorous design of cyber-physical systems - Linking physicality and computation. Softw. Syst. Model. 18 (3) (2019)
Marius Bozga, Radu Iosif, Joseph Sifakis
Local Reasoning about Parametric and Reconfigurable Component-based Systems. CoRR (2019)
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. CoRR (2019)
Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Programming Dynamic Reconfigurable Systems. FACS (2018)
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper). CoRR (2018)
Joseph Sifakis
Autonomous Systems - An Architectural Characterization. CoRR (2018)
Marius Bozga, Radu Iosif, Joseph Sifakis
Checking Deadlock-Freedom of Parametric Component-Based Systems. CoRR (2018)
Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis
Early validation of system requirements and design through correctness-by-construction. J. Syst. Softw. 145 (2018)
Joseph Sifakis
System Design in the Era of IoT - Meeting the Autonomy Challenge. MeTRiD@ETAPS (2018)
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. CoRR (2018)
Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. ISoLA (3) (2018)
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
DReAM: Dynamic Reconfigurable Architecture Modeling. ISoLA (3) (2018)
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
Global and Local Deadlock Freedom in BIP. ACM Trans. Softw. Eng. Methodol. 26 (3) (2018)
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
Configuration logics: Modeling architecture styles. J. Log. Algebraic Methods Program. 86 (1) (2017)
Romain Edelmann, Simon Bliudze, Joseph Sifakis
Functional BIP: Embedding connectors in functional programming languages. J. Log. Algebraic Methods Program. 92 (2017)
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
A general framework for architecture composability. Formal Aspects Comput. 28 (2) (2016)
Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis
Parameterized Systems in BIP: Design and Model Checking. CONCUR (2016)
Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
Component-based verification using incremental design and invariants. Softw. Syst. Model. 15 (2) (2016)
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
Architecture Diagrams: A Graphical Language for Architecture Style Specification. ICE (2016)
Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton B. Ivanov, Panagiotis Katsaros, Joseph Sifakis
Architecture-Based Design: A Satellite On-Board Software Case Study. FACS (2016)
Joseph Sifakis
System Design Automation: Challenges and Limitations. Proc. IEEE 103 (11) (2015)
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
Configuration Logics: Modelling Architecture Styles. FACS (2015)
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
Optimized distributed implementation of multiparty interactions with Restriction. Sci. Comput. Program. 98 (2015)
Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga
A Theory Agenda for Component-Based Design. Software, Services, and Systems (2015)
Joseph Sifakis
Keynote talk III: A framework for modeling architectures and their properties. MEMOCODE (2014)
Joseph Sifakis
Toward a System Design Science. FPS@ETAPS (2014)
Joseph Sifakis
Rigorous system design. PODC (2014)
Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber
Architecture internalisation in BIP. CBSE (2014)
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
A General Framework for Architecture Composability. SEFM (2014)
Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis
Model-Based Implementation of Parallel Real-Time Systems. FASE (2013)
Joseph Sifakis, Lothar Thiele, Reinhard Wilhelm
Introduction to the special section on rigorous embedded systems design. ACM Trans. Embed. Comput. Syst. 12 (1s) (2013)
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
Rigorous implementation of real-time systems - from theory to application. Math. Struct. Comput. Sci. 23 (4) (2013)
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
An Abstract Framework for Deadlock Prevention in BIP. FMOODS/FORTE (2013)
Joseph Sifakis
Rigorous System Design. Found. Trends Electron. Des. Autom. 6 (4) (2013)
Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis
Modeling Dynamic Architectures Using Dy-BIP. SC@TOOLS (2012)
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
A framework for automated distributed implementation of component-based models. Distributed Comput. 25 (5) (2012)
Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur
2010 CAV award announcement. Formal Methods Syst. Des. 40 (2) (2012)
Joseph Sifakis
Trustworthy Computing Systems. PECCS (2012)
Joseph Sifakis
Rigorous design of cyber-physical systems. ICSAMOS (2012)
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
Optimized distributed implementation of multiparty interactions with observation. AGERE!@SPLASH (2012)
Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Rigorous Component-Based System Design - (Invited Paper). WRLA (2012)
Joseph Sifakis
Trustworthy Computing Systems. SENSORNETS (2012)
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. FMOODS/FORTE (2012)
Dahlia Malkhi, Fernando J. Corbató, E. Allen Emerson, Joseph Sifakis, Ken Thompson
Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice. ACM-TURING (2012)
Joseph Sifakis
A vision for computer science - the system perspective. Central Eur. J. Comput. Sci. 1 (1) (2011)
Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis
Rigorous System Design: The BIP Approach. MEMICS (2011)
Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis
Rigorous Component-Based System Design Using the BIP Framework. IEEE Softw. 28 (3) (2011)
Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis
Time-predictable and composable architectures for dependable embedded systems. EMSOFT (2011)
Simon Bliudze, Joseph Sifakis
Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. SC@TOOLS (2011)
Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
D-Finder 2: Towards Efficient Correctness of Incremental Design. NASA Formal Methods (2011)
Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis
Priority scheduling of distributed systems based on model checking. Formal Methods Syst. Des. 39 (3) (2011)
Joseph Sifakis
Methods and tools for component-based system design. DATE (2011)
Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang
Rigorous system level modeling and analysis of mixed HW/SW systems. MEMOCODE (2011)
Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis
Component Assemblies in the Context of Manycore. FMCO (2011)
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
From high-level component-based models to distributed implementations. EMSOFT (2010)
Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
Incremental Invariant Generation for Compositional Design. TASE (2010)
Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis
Compositional verification for component-based systems and application. IET Softw. 4 (3) (2010)
Marius Bozga, Mohamad Jaber, Joseph Sifakis
Source-to-Source Architecture Transformation for Performance Optimization in BIP. IEEE Trans. Ind. Informatics 6 (4) (2010)
Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
Incremental component-based construction and verification using invariants. FMCAD (2010)
Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi
2009 CAV award announcement. Formal Methods Syst. Des. 36 (3) (2010)
Joseph Sifakis
Component-based Construction of Heterogeneous Real-time Systems in BIP. The Future of Software Engineering (2010)
Joseph Sifakis
Embedded systems design - Scientific challenges and work directions. FMCAD (2010)
Saddek Bensalem, Doron A. Peled, Joseph Sifakis
Knowledge Based Scheduling of Distributed Systems. Essays in Memory of Amir Pnueli (2010)

Joseph Sifakis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Joseph Sifakis