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]Simon Bliudze, Joseph Sifakis:
The Algebra of Connectors - Structuring Interaction in BIP. IEEE Trans. Computers 57(10): 1315-1330 (2008) - [c85]Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen:
Compositional Verification for Component-Based Systems and Application. ATVA 2008: 64-79 - [c84]Simon Bliudze, Joseph Sifakis:
A Notion of Glue Expressiveness for Component-Based Systems. CONCUR 2008: 508-522 - [c83]Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis:
Incremental Component-Based Construction and Verification of a Robotic System. ECAI 2008: 631-635 - [c82]Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis:
Distributed Semantics and Implementation for Systems with Interaction and Priority. FORTE 2008: 116-133 - [c81]Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis:
Translating AADL into BIP - Application to the Verification of Real-Time Systems. MoDELS (Workshops) 2008: 5-19 - [c80]Jean-Pierre Queille, Joseph Sifakis:
Specification and Verification of Conurrent Systems in Cesar. 25 Years of Model Checking 2008: 216-230 - [i1]Ananda Basu, Marius Bozga, Joseph Sifakis:
Modeling Heterogeneous Real-time Components in BIP. Perspectives Workshop: Model Engineering of Complex Systems (MECS) 2008 - 2007
- [j22]Thomas A. Henzinger, Joseph Sifakis:
The Discipline of Embedded Systems Design. Computer 40(10): 32-40 (2007) - [c79]Simon Bliudze, Joseph Sifakis:
The algebra of connectors: structuring interaction in BIP. EMSOFT 2007: 11-20 - [c78]Simon Bliudze, Joseph Sifakis:
Causal Semantics for the Algebra of Connectors. FMCO 2007: 179-199 - [c77]Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus:
Using Speed Diagrams for Symbolic Quality Management. IPDPS 2007: 1-8 - [c76]Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis:
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. NCA 2007: 257-260 - [c75]Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis:
An Approach to Modelling and Verification of Component Based Systems. SOFSEM (1) 2007: 295-308 - 2006
- [c74]Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis:
Ensuring Properties of Interaction Systems. Program Analysis and Compilation 2006: 201-224 - [c73]Thomas A. Henzinger, Joseph Sifakis:
The Embedded Systems Design Challenge. FM 2006: 1-15 - [c72]Joseph Sifakis:
WPDRTS keynote: component-based construction of embedded systems. IPDPS 2006 - [c71]Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis:
A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. Monterey Workshop 2006: 75-96 - [c70]Ananda Basu, Marius Bozga, Joseph Sifakis:
Modeling Heterogeneous Real-time Components in BIP. SEFM 2006: 3-12 - 2005
- [b3]Bruno Bouyssounouse, Joseph Sifakis:
Embedded Systems Design: The ARTIST Roadmap for Research and Development. Lecture Notes in Computer Science 3436, Springer 2005, ISBN 3-540-25107-3 - [j21]Gregor Gößler, Joseph Sifakis:
Composition for component-based modeling. Sci. Comput. Program. 55(1-3): 161-183 (2005) - [j20]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:
Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. 4(3): 587-611 (2005) - [c69]Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis:
Fine Grain QoS Control for Multimedia Application Software. DATE 2005: 1038-1043 - [c68]Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis:
QoS control for optimality and safety. EMSOFT 2005: 90-99 - [c67]Joseph Sifakis:
A Framework for Component-based Construction Extended Abstract. SEFM 2005: 293-300 - 2004
- [c66]Joseph Sifakis:
Embedded Systems - Challenges and Work Directions. OPODIS 2004: 184-185 - [c65]Joseph Sifakis:
Modeling Real-Time Systems. RTSS 2004: 5-6 - [c64]Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis:
The IF Toolset. SFM 2004: 237-267 - 2003
- [j19]Joseph Sifakis, Stavros Tripakis, Sergio Yovine:
Building models of real-time systems from application software. Proc. IEEE 91(1): 100-111 (2003) - [c63]Gregor Gößler, Joseph Sifakis:
Priority Systems. FMCO 2003: 314-329 - [c62]Gregor Gößler, Joseph Sifakis:
Component-Based Construction of Deadlock-Free Systems: Extended Abstract. FSTTCS 2003: 420-433 - 2002
- [j18]Karine Altisen, Gregor Gößler, Joseph Sifakis:
Scheduler Modeling Based on the Controller Synthesis Paradigm. Real Time Syst. 23(1-2): 55-84 (2002) - [c61]Gregor Gößler, Joseph Sifakis:
Composition for Component-Based Modeling. FMCO 2002: 443-466 - [c60]Joseph Sifakis:
Scheduler Modeling Based on the Controller Synthesis Paradigm. FTRTFT 2002: 107-110 - [c59]Giorgio C. Buttazzo, Avi Efrati, John N. Hooker, Claude Le Pape, Joseph Sifakis:
Abstracts of Invited Talks. Theory and Practice of Timed Systems @ ETAPS 2002: 275-276 - [e2]Alberto L. Sangiovanni-Vincentelli, Joseph Sifakis:
Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings. Lecture Notes in Computer Science 2491, Springer 2002, ISBN 3-540-44307-X [contents] - 2001
- [c58]Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine:
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. CAV 2001: 391-395 - [c57]Valérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine:
TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems. CDC 2001: 2875-2880 - [c56]Joseph Sifakis:
Modeling Real-Time Systems-Challenges and Work Directions. EMSOFT 2001: 373-389 - 2000
- [j17]Sébastien Bornot, Joseph Sifakis:
An Algebraic Framework for Urgency. Inf. Comput. 163(1): 172-202 (2000) - [c55]Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis:
Towards validated real-time software. ECRTS 2000: 157-164 - [c54]Karine Altisen, Gregor Gößler, Joseph Sifakis:
A Methodology for the Construction of Scheduled Systems. FTRTFT 2000: 106-120 - [c53]Sébastien Bornot, Gregor Gößler, Joseph Sifakis:
On the Construction of Live Timed Systems. TACAS 2000: 109-126
1990 – 1999
- 1999
- [j16]Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine:
Decidable Integration Graphs. Inf. Comput. 150(2): 209-243 (1999) - [c52]Joseph Sifakis:
The Compositional Specification of Timed Systems - A Tutorial. CAV 1999: 2-7 - [c51]Joseph Sifakis:
Integration, the Price of Success. World Congress on Formal Methods 1999: 52-55 - [c50]Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine:
A Framework for Scheduler Synthesis. RTSS 1999: 154-163 - [c49]Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis:
IF: An intermediate representation for SDL and its applications. SDL Forum 1999: 423-440 - 1998
- [c48]Joseph Sifakis:
A General Framework for the Composition of Timed Systems Extended Abstract. FTRTFT 1998: 27-28 - [c47]Sébastien Bornot, Joseph Sifakis:
On the Composition of Hybrid Systems. HSCC 1998: 49-63 - 1997
- [c46]Joseph Sifakis:
On the Composition of Timed Systems. ICATPN 1997: 21-22 - [c45]Sébastien Bornot, Joseph Sifakis, Stavros Tripakis:
Modeling Urgency in Timed Systems. COMPOS 1997: 103-129 - [c44]Sébastien Bornot, Joseph Sifakis:
Relating Time Progress and Deadlines in Hybrid Systems. HART 1997: 286-300 - 1996
- [j15]Joseph Sifakis:
Research Directions for Concurrency. ACM Comput. Surv. 28(4es): 55 (1996) - [j14]Joseph Sifakis:
Research Directions for Formal Methods. ACM Comput. Surv. 28(4es): 124 (1996) - [c43]S. Ayache, Eric Conquet, Philippe Humbert, Carlos Rodriguez, Joseph Sifakis, R. Gerlich:
Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft. FTCS 1996: 353-357 - [c42]Joseph Sifakis, Sergio Yovine:
Compositional Specification of Timed Systems (Extended Abstract). STACS 1996: 347-359 - 1995
- [j13]Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem:
Property Preserving Abstractions for the Verification of Concurrent Systems. Formal Methods Syst. Des. 6(1): 11-44 (1995) - [j12]Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine:
The Algorithmic Analysis of Hybrid Systems. Theor. Comput. Sci. 138(1): 3-34 (1995) - [c41]Joseph Sifakis:
Specification and Verification of Timed Systems. FORTE 1995: 3-4 - [c40]Joseph Sifakis:
Real-time systems specification and verification. ISSS 1995: 69 - [c39]Oded Maler, Amir Pnueli, Joseph Sifakis:
On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract). STACS 1995: 229-242 - 1994
- [j11]Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
Symbolic Model Checking for Real-Time Systems. Inf. Comput. 111(2): 193-244 (1994) - [j10]Xavier Nicollin, Joseph Sifakis:
The Algebra of Timed Processes, ATP: Theory and Application. Inf. Comput. 114(1): 131-178 (1994) - [c38]Alfredo Olivero, Joseph Sifakis, Sergio Yovine:
Using Abstractions for the Verification of Linear Hybrid Systems. CAV 1994: 81-94 - [c37]Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone:
Model-Based Verification Methods and Tools (Abstract). CONCUR 1994: 64 - 1993
- [j9]Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
From ATP to Timed Graphs and Hybrid Systems. Acta Informatica 30(2): 181-202 (1993) - [c36]Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis:
On Model Checking for Real-Time Properties with Durations. LICS 1993: 147-159 - 1992
- [j8]Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
Compiling Real-Time Specifications into Extended Automata. IEEE Trans. Software Eng. 18(9): 794-804 (1992) - [c35]Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis:
Property Preserving Simulations. CAV 1992: 260-273 - [c34]Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine:
An Approach to the Description and Analysis of Hybrid Systems. Hybrid Systems 1992: 149-178 - [c33]Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine:
Integration Graphs: A Class of Decidable Hybrid Systems. Hybrid Systems 1992: 179-208 - [c32]Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis:
A Toolbox for the Verification of LOTOS Programs. ICSE 1992: 246-259 - [c31]Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
Symbolic Model Checking for Real-time Systems. LICS 1992: 394-406 - 1991
- [c30]Xavier Nicollin, Joseph Sifakis:
An Overview and Synthesis on Timed Process Algebras. CAV 1991: 376-398 - [c29]Costas Courcoubetis, Susanne Graf, Joseph Sifakis:
An Algebra of Boolean Processes. CAV 1991: 454-465 - [c28]Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis:
Safety for Branching Time Semantics. ICALP 1991: 76-92 - [c27]Xavier Nicollin, Joseph Sifakis:
An Overview and Synthesis on Timed Process Algebras. REX Workshop 1991: 526-548 - [c26]Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
From ATP to Timed Graphs and Hybrid Systems. REX Workshop 1991: 549-572 - [c25]Ahmed Bouajjani, Joseph Sifakis:
Verification for Finite Systems (Extended Abstract). TAPSOFT, Vol.2 1991: 55-57 - 1990
- [c24]Xavier Nicollin, Jean-Luc Richier, Joseph Sifakis, Jacques Voiron:
ATP: an Algebra for Timed Processes. Programming Concepts and Methods 1990: 415-442 - [c23]Hubert Garavel, Joseph Sifakis:
Compilation and verification of LOTOS specifications. PSTV 1990: 379-394 - [e1]Joseph Sifakis:
Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings. Lecture Notes in Computer Science 407, Springer 1990, ISBN 3-540-52148-8 [contents]
1980 – 1989
- 1988
- [c22]Ahmed Bouajjani, Susanne Graf, Joseph Sifakis:
A logig for the description of behaviours and properties of concurrent systems. REX Workshop 1988: 398-410 - 1987
- [c21]Susanne Graf, Joseph Sifakis:
Readiness Semantics for Regular Processes with Silent Actions. ICALP 1987: 115-125 - [c20]Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron:
Verification in XESAR of the Sliding Window Protocol. PSTV 1987: 235-248 - [c19]Susanne Graf, Joseph Sifakis:
An Expressive Logic for a Process Algebra with Silent Actions. Temporal Logic in Specification 1987: 44-61 - 1986
- [j7]Susanne Graf, Joseph Sifakis:
A Logic for the Specification and Proof of Regular Controllable Processes of CCS. Acta Informatica 23(5): 507-527 (1986) - [j6]Susanne Graf, Joseph Sifakis:
A Modal Characterization of Observational Congruence on Finite Terms of CCS. Inf. Control. 68(1-3): 125-145 (1986) - [j5]Susanne Graf, Joseph Sifakis:
A Logic for the Description of Non-deterministic Programs and Their Properties. Inf. Control. 68(1-3): 254-270 (1986) - [c18]Joseph Sifakis:
Specification and Development of Reactive Systems - Response. IFIP Congress 1986: 1183-1188 - 1985
- [c17]Susanne Graf, Joseph Sifakis:
Frm Synchronization Tree Logic to Acceptance Model Logic. Logic of Programs 1985: 128-142 - 1984
- [c16]Susanne Graf, Joseph Sifakis:
A Modal Characterization of Observational Congruence on Finite Terms of CCS. ICALP 1984: 222-234 - [c15]Susanne Graf, Joseph Sifakis:
A Logic for the Specification and Proof of Controllable Processes of CCS. Logics and Models of Concurrent Systems 1984: 369-395 - 1983
- [j4]Jean-Pierre Queille, Joseph Sifakis:
Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness. Acta Informatica 19: 195-220 (1983) - [c14]Jean-Claude Fernandez, Jean-Philippe Schwartz, Joseph Sifakis:
An Example of Specification and Verification in Cesar. The Analysis of Concurrent Systems 1983: 199-210 - [c13]Joseph Sifakis:
Property Preserving Homomorphisms of Transition Systems. Logic of Programs 1983: 458-473 - 1982
- [j3]Joseph Sifakis:
Global and Local Invariants in Transition Systems. Inf. Control. 53(1/2): 91-107 (1982) - [j2]Joseph Sifakis:
A Unified Approach for Studying the Properties of Transition Systems. Theor. Comput. Sci. 18: 227-258 (1982) - [c12]Jean-Pierre Queille, Joseph Sifakis:
A Temporal Logic to Deal with Fairness in Transition Systems. FOCS 1982: 217-225 - [c11]Joseph Sifakis:
Global and Local Invariants in Transition Systems. ICALP 1982: 510-522 - [c10]Joseph Sifakis:
Comments on Schiffers. International Working Conference on Model Realism 1982: 95 - [c9]Jean-Pierre Queille, Joseph Sifakis:
Specification and verification of concurrent systems in CESAR. Symposium on Programming 1982: 337-351 - 1981
- [c8]Jean-Pierre Queille, Joseph Sifakis:
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 1981: 161-167 - 1980
- [c7]Joseph Sifakis:
Deadlocks and Livelocks in Transition Systems. MFCS 1980: 587-600
1970 – 1979
- 1979
- [b2]Joseph Sifakis:
Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique. (The control of asynchronous systems: concepts, properties, static analysis). Grenoble Institute of Technology, France, 1979 - [j1]Joseph Sifakis:
Use of Petri nets for performance evaluation. Acta Cybern. 4(2): 185-202 (1979) - [c6]Joseph Sifakis:
Performance Evaluation of Systems Using Nets. Advanced Course: Net Theory and Applications 1979: 307-319 - [c5]Charles André, M. Diaz, Claude Girault, Joseph Sifakis:
Survey of French Research and Applications Based on Petri Nets. Advanced Course: Net Theory and Applications 1979: 321-345 - 1978
- [c4]M. Moalla, Jacques Pulou, Joseph Sifakis:
Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems. MFCS 1978: 374-384 - [c3]Joseph Sifakis:
Structural Properties of Petri Nets. MFCS 1978: 474-483 - 1977
- [c2]Joseph Sifakis:
Use of Petri Nets for Performance Evaluation. Performance 1977: 75-93 - 1976
- [c1]M. Moalla, Gabriele Saucier, Joseph Sifakis, Marianthi Zachariades:
A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules. ISCA 1976: 20-27 - 1974
- [b1]Joseph Sifakis:
Modèles temporels des systèmes logiques. (temporal Models of logic systems). Joseph Fourier University, Grenoble, France, 1974
Coauthor Index
[i20] [j55] [j54] [c148] [c146] [i16] [j50] [j49] [c145] [i14] [i12] [c142] [c141] [i11] [c137] [i9] [i8] [j44] [c136] [c134] [i3] [j40] [j38] [c129] [c127] [c121] [j34] [c119] [c118] [c114] [c113] [j30] [c110] [c109] [c108] [j27] [j26] [c103] [c100] [c99] [c98] [c97] [c91] [c89] [c88] [c86] [c85] [c82] [c81] [i1] [c70] [c64] [c49]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-19 21:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
