1. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 Trustworthy Autonomous System Development
2. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 What perceptron neural networks are (not) good for?
3. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 Creating a Foundation for Next-Generation Autonomous Systems
4. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 Programming dynamic reconfigurable systems
5. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 A Framework for the Specification and Validation of Dynamic Reconfigurable Systems
6. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 Checking deadlock-freedom of parametric component-based systems
7. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications
8. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 Autonomics: In search of a foundation for next-generation autonomous systems
9. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
10. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 Rigorous design of cyber-physical systems: Linking physicality and computation
11. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 Checking Deadlock-Freedom of Parametric Component-Based Systems
12. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 Can We Trust Autonomous Systems? Boundaries and Risks
13. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 Early validation of system requirements and design through correctness-by-construction
14. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 Global and Local Deadlock Freedom in BIP
15. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
16. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 System Design in the Era of IoT - Meeting the Autonomy Challenge
17. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP
18. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 Functional BIP: Embedding connectors in functional programming languages
19. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 Configuration logics: Modeling architecture styles
20. Sifakis, Joseph 法国 Universite Grenoble Alpes 2007图灵奖;2017美国工程院院士;2024美国科学院外籍院士 Architecture-Based Design: A Satellite On-Board Software Case Study