Joseph Sifakis
![Arxiv:2106.11534V1 [Cs.DL] 22 Jun 2021 2 Nanjing University of Science and Technology, Nanjing, China 3 University of Southampton, Southampton, U.K](http://data.docslib.org/img/264x/1d4166fa187cf485ebb7f06cf2ccd4a2.webp)
Top View
- Contact: Virginia Gold 212-626-0505 [email protected] ACM TURING
- Open Lecture – Invitation the Internet of Things the Ultimate ICT Revolution Meet the French Laureate of the ACM Turing Award in 2007
- A Prosopography of Turing Award Laureates (1966-2016) Camille Akmut
- Sifakis Final Transcript
- Clarke, Emerson, and Sifakis Receive 2007 ACM Turing Award
- Contents of This Book Are Also Published in the CD-ROM Proceedings of the Conference
- Download This PDF File
- BCS08: Visions of Computer Science
- A Prosopography of Turing Award Laureates (1966-2016)
- Handbook of Model Checking
- 2. Rigorous System Design
- Joseph Sifakis Is Emeritus Senior CNRS Researcher at Verimag. His Current Research Interests Cover Fundamental and Applied Aspects of Embedded Systems Design
- Power System Typical Load Profiles Using a New Pattern Recognition Methodology 25 G
- Visions of Computer Science Visions of Computer Science