default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoseph Sifakis
Person information
- award (2007): Turing Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j57]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: 111989 (2024)- [i20]Marius Bozga, Joseph Sifakis:
Safe by Design Autonomous Driving Systems. CoRR abs/2405.11995 (2024) - [i19]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 abs/2405.16914 (2024) - 2023
- [j56]Cristian S. Calude, Shahrokh Heidari, Joseph Sifakis:
What perceptron neural networks are (not) good for? Inf. Sci. 621: 844-857 (2023) - [j55]Marius Bozga, Joseph Sifakis:
Correct by design coordination of autonomous driving systems. Int. J. Softw. Tools Technol. Transf. 25(5): 625-639 (2023) - [j54]Marius Bozga, Radu Iosif, Joseph Sifakis:
Verification of component-based systems with recursive architectures. Theor. Comput. Sci. 940(Part): 146-175 (2023) - [j53]Joseph Sifakis, David Harel:
Trustworthy Autonomous System Development. ACM Trans. Embed. Comput. Syst. 22(3): 40:1-40:24 (2023) - [c149]Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang:
Simulation-Based Validation for Autonomous Driving Systems. ISSTA 2023: 842-853 - [i18]Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang:
Simulation-based Validation for Autonomous Driving Systems. CoRR abs/2301.03941 (2023) - [i17]Joseph Sifakis:
Testing System Intelligence. CoRR abs/2305.11472 (2023) - 2022
- [b4]Joseph Sifakis:
Understanding and Changing the World - From Information to Knowledge and Intelligence. Springer 2022, ISBN 978-981-19-1931-2, pp. 1-158 - [j52]David Harel, Assaf Marron, Joseph Sifakis:
Creating a Foundation for Next-Generation Autonomous Systems. IEEE Des. Test 39(1): 49-56 (2022) - [j51]Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis:
A hybrid controller for safe and efficient longitudinal collision avoidance control. J. Syst. Archit. 125: 102432 (2022) - [c148]Marius Bozga, Joseph Sifakis:
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. Principles of Systems Design 2022: 85-106 - [c147]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: 8978-8984 - [c146]Marius Bozga, Joseph Sifakis:
Correct by Design Coordination of Autonomous Driving Systems. ISoLA (3) 2022: 13-29 - [i16]Marius Bozga, Joseph Sifakis:
Correct by Design Coordination of Autonomous Driving Systems. CoRR abs/2205.10037 (2022) - 2021
- [j50]Marius Bozga, Radu Iosif, Joseph Sifakis:
Checking deadlock-freedom of parametric component-based systems. J. Log. Algebraic Methods Program. 119: 100621 (2021) - [j49]Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Programming dynamic reconfigurable systems. Int. J. Softw. Tools Technol. Transf. 23(5): 701-719 (2021) - [c145]Antoine El-Hokayem, Marius Bozga, Joseph Sifakis:
A temporal configuration logic for dynamic reconfigurable systems. SAC 2021: 1419-1428 - [c144]Joseph Sifakis:
Why is it so hard to make self-driving cars? (Trustworthy autonomous systems). WI/IAT 2021: 2 - [i15]Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis:
A hybrid controller for safe and efficient collision avoidance control. CoRR abs/2103.15484 (2021) - [i14]Marius Bozga, Joseph Sifakis:
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. CoRR abs/2109.06478 (2021) - [i13]Shengduo Chen, Yaowei Sun, Dachuan Li, Qiang Wang, Qi Hao, Joseph Sifakis:
Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles. CoRR abs/2109.13446 (2021) - [i12]Marius Bozga, Radu Iosif, Joseph Sifakis:
Verification of Component-based Systems with Recursive Architectures. CoRR abs/2112.08292 (2021) - 2020
- [j48]David Harel, Assaf Marron, Joseph Sifakis:
Autonomics: In search of a foundation for next-generation autonomous systems. Proc. Natl. Acad. Sci. USA 117(30): 17491-17498 (2020) - [j47]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): 437-455 (2020) - [c143]Qiang Wang, Dachuan Li, Joseph Sifakis:
Safe and efficient collision avoidance control for autonomous vehicles. MEMOCODE 2020: 1-6 - [c142]Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. SEFM 2020: 284-302 - [c141]Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel:
Structural Invariants for the Verification of Systems with Parameterized Architectures. TACAS (1) 2020: 228-246 - [i11]Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel:
Structural Invariants for the Verification of Systems with Parameterized Architectures. CoRR abs/2002.07672 (2020) - [i10]Qiang Wang, Dachuan Li, Joseph Sifakis:
Safe and efficient collision avoidance control for autonomous vehicles. CoRR abs/2008.04080 (2020)
2010 – 2019
- 2019
- [j46]Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel:
Rigorous design of cyber-physical systems - Linking physicality and computation. Softw. Syst. Model. 18(3): 1613-1636 (2019) - [c140]Joseph Sifakis:
Can We Trust Autonomous Systems? Boundaries and Risks. ATVA 2019: 65-78 - [c139]Alessandro Maggi, Rocco De Nicola, Joseph Sifakis:
A Logic-Inspired Approach to Reconfigurable System Modelling. From Reactive Systems to Cyber-Physical Systems 2019: 181-201 - [c138]Joseph Sifakis:
Autonomous Systems - An Architectural Characterization. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 388-410 - [c137]Marius Bozga, Radu Iosif, Joseph Sifakis:
Checking Deadlock-Freedom of Parametric Component-Based Systems. TACAS (2) 2019: 3-20 - [i9]Marius Bozga, Radu Iosif, Joseph Sifakis:
Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures. CoRR abs/1902.02696 (2019) - [i8]Marius Bozga, Radu Iosif, Joseph Sifakis:
Local Reasoning about Parametric and Reconfigurable Component-based Systems. CoRR abs/1908.11345 (2019) - [i7]David Harel, Assaf Marron, Joseph Sifakis:
Autonomics: In Search of a Foundation for Next Generation Autonomous Systems. CoRR abs/1911.07133 (2019) - [i6]Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits:
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. CoRR abs/1911.08405 (2019) - 2018
- [j45]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: 52-78 (2018) - [j44]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): 9:1-9:48 (2018) - [c136]Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Programming Dynamic Reconfigurable Systems. FACS 2018: 118-136 - [c135]Rocco De Nicola, Alessandro Maggi, Joseph Sifakis:
DReAM: Dynamic Reconfigurable Architecture Modeling. ISoLA (3) 2018: 13-31 - [c134]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: 304-320 - [c133]Joseph Sifakis:
System Design in the Era of IoT - Meeting the Autonomy Challenge. MeTRiD@ETAPS 2018: 1-22 - [i5]Rocco De Nicola, Alessandro Maggi, Joseph Sifakis:
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper). CoRR abs/1805.03724 (2018) - [i4]Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits:
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. CoRR abs/1805.09919 (2018) - [i3]Marius Bozga, Radu Iosif, Joseph Sifakis:
Checking Deadlock-Freedom of Parametric Component-Based Systems. CoRR abs/1805.10073 (2018) - [i2]Joseph Sifakis:
Autonomous Systems - An Architectural Characterization. CoRR abs/1811.10277 (2018) - 2017
- [j43]Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Configuration logics: Modeling architecture styles. J. Log. Algebraic Methods Program. 86(1): 2-29 (2017) - [j42]Romain Edelmann, Simon Bliudze, Joseph Sifakis:
Functional BIP: Embedding connectors in functional programming languages. J. Log. Algebraic Methods Program. 92: 19-44 (2017) - 2016
- [j41]Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis:
A general framework for architecture composability. Formal Aspects Comput. 28(2): 207-231 (2016) - [j40]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): 427-451 (2016) - [c132]Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis:
Parameterized Systems in BIP: Design and Model Checking. CONCUR 2016: 30:1-30:16 - [c131]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: 260-279 - [c130]Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Architecture Diagrams: A Graphical Language for Architecture Style Specification. ICE 2016: 83-97 - 2015
- [j39]Joseph Sifakis:
System Design Automation: Challenges and Limitations. Proc. IEEE 103(11): 2093-2103 (2015) - [j38]Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis:
Optimized distributed implementation of multiparty interactions with Restriction. Sci. Comput. Program. 98: 293-316 (2015) - [c129]Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga:
A Theory Agenda for Component-Based Design. Software, Services, and Systems 2015: 409-439 - [c128]Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Configuration Logics: Modelling Architecture Styles. FACS 2015: 256-274 - 2014
- [c127]Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber:
Architecture internalisation in BIP. CBSE 2014: 169-178 - [c126]Joseph Sifakis:
Toward a System Design Science. FPS@ETAPS 2014: 225-234 - [c125]Joseph Sifakis:
Keynote talk III: A framework for modeling architectures and their properties. MEMOCODE 2014: 229-230 - [c124]Joseph Sifakis:
Rigorous system design. PODC 2014: 292 - [c123]Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis:
A General Framework for Architecture Composability. SEFM 2014: 128-143 - 2013
- [j37]Joseph Sifakis:
Rigorous System Design. Found. Trends Electron. Des. Autom. 6(4): 293-362 (2013) - [j36]Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis:
Rigorous implementation of real-time systems - from theory to application. Math. Struct. Comput. Sci. 23(4): 882-914 (2013) - [j35]Joseph Sifakis, Lothar Thiele, Reinhard Wilhelm:
Introduction to the special section on rigorous embedded systems design. ACM Trans. Embed. Comput. Syst. 12(1s): 41:1-41:2 (2013) - [c122]Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis:
Model-Based Implementation of Parallel Real-Time Systems. FASE 2013: 235-249 - [c121]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: 161-177 - 2012
- [j34]Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis:
A framework for automated distributed implementation of component-based models. Distributed Comput. 25(5): 383-409 (2012) - [j33]Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur:
2010 CAV award announcement. Formal Methods Syst. Des. 40(2): 117-120 (2012) - [c120]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: 6:1 - [c119]Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis:
Optimized distributed implementation of multiparty interactions with observation. AGERE!@SPLASH 2012: 71-82 - [c118]Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis:
Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. FMOODS/FORTE 2012: 118-134 - [c117]Joseph Sifakis:
Trustworthy Computing Systems. PECCS 2012 - [c116]Joseph Sifakis:
Rigorous design of cyber-physical systems. ICSAMOS 2012: 319 - [c115]Joseph Sifakis:
Trustworthy Computing Systems. SENSORNETS 2012: 5 - [c114]Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis:
Modeling Dynamic Architectures Using Dy-BIP. SC@TOOLS 2012: 1-16 - [c113]Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
Rigorous Component-Based System Design - (Invited Paper). WRLA 2012: 1-9 - 2011
- [j32]Joseph Sifakis:
A vision for computer science - the system perspective. Central Eur. J. Comput. Sci. 1(1): 108-116 (2011) - [j31]Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis:
Priority scheduling of distributed systems based on model checking. Formal Methods Syst. Des. 39(3): 229-245 (2011) - [j30]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): 41-48 (2011) - [c112]Joseph Sifakis:
Methods and tools for component-based system design. DATE 2011: 1022 - [c111]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: 351-352 - [c110]Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis:
Component Assemblies in the Context of Manycore. FMCO 2011: 314-333 - [c109]Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis:
Rigorous System Design: The BIP Approach. MEMICS 2011: 1-19 - [c108]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: 11-20 - [c107]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: 453-458 - [c106]Simon Bliudze, Joseph Sifakis:
Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. SC@TOOLS 2011: 51-67 - 2010
- [j29]Simon Bliudze, Joseph Sifakis:
Causal semantics for the algebra of connectors. Formal Methods Syst. Des. 36(2): 167-194 (2010) - [j28]Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi:
2009 CAV award announcement. Formal Methods Syst. Des. 36(3): 195-197 (2010) - [j27]Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis:
Compositional verification for component-based systems and application. IET Softw. 4(3): 181-193 (2010) - [j26]Marius Bozga, Mohamad Jaber, Joseph Sifakis:
Source-to-Source Architecture Transformation for Performance Optimization in BIP. IEEE Trans. Ind. Informatics 6(4): 708-718 (2010) - [c105]Saddek Bensalem, Doron A. Peled, Joseph Sifakis:
Knowledge Based Scheduling of Distributed Systems. Essays in Memory of Amir Pnueli 2010: 26-41 - [c104]Joseph Sifakis:
Component-based Construction of Heterogeneous Real-time Systems in BIP. The Future of Software Engineering 2010: 150 - [c103]Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis:
From high-level component-based models to distributed implementations. EMSOFT 2010: 209-218 - [c102]Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis:
Model-based implementation of real-time applications. EMSOFT 2010: 229-238 - [c101]Joseph Sifakis:
Embedded systems design - Scientific challenges and work directions. FMCAD 2010: 11 - [c100]Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
Incremental component-based construction and verification using invariants. FMCAD 2010: 257-256 - [c99]Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis:
Automated Conflict-free distributed implementation of component-based models. SIES 2010: 108-117 - [c98]Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis:
Compositional Translation of Simulink Models into Synchronous BIP. SIES 2010: 217-220 - [c97]Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis:
Systematic Correct Construction of Self-stabilizing Systems: A Case Study. SSS 2010: 4-18 - [c96]Joseph Sifakis:
Embedded Systems Design - Scientific Challenges and Work Directions. TACAS 2010: 1 - [c95]Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
Incremental Invariant Generation for Compositional Design. TASE 2010: 157-167
2000 – 2009
- 2009
- [j25]Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis:
Model checking: algorithmic verification and debugging. Commun. ACM 52(11): 74-84 (2009) - [c94]Joseph Sifakis:
Component-Based Construction of Heterogeneous Real-Time Systems in Bip. Petri Nets 2009: 1 - [c93]Joseph Sifakis:
Component-Based Construction of Real-Time Systems in BIP. CAV 2009: 33-34 - [c92]Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis:
Priority Scheduling of Distributed Systems Based on Model Checking. CAV 2009: 79-93 - [c91]Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis:
D-Finder: A Tool for Compositional Deadlock Detection and Verification. CAV 2009: 614-619 - [c90]Joseph Sifakis:
Embedded systems design - Scientific challenges and work directions. DATE 2009: 2 - [c89]Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis:
Modeling synchronous systems in BIP. EMSOFT 2009: 77-86 - [c88]Marius Bozga, Mohamad Jaber, Joseph Sifakis:
Source-to-source architecture transformation for performance optimization in BIP. SIES 2009: 152-160 - [c87]Joseph Sifakis:
The Quest for Correctness-Beyond a Posteriori Verification. SPIN 2009: 4 - [c86]Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis:
Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. DISC 2009: 174-175 - 2008
- [j24]Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus:
Symbolic quality control for multimedia applications. Real Time Syst. 40(1): 1-43 (2008) - [j23]