2026 Joseph Sifakis: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	68	2052	1987	23	22	252	23713

Research.com Recognitions

2025 - Research.com Computer Science in France Leader Award
2023 - Research.com Computer Science in France Leader Award
2022 - Research.com Computer Science in France Leader Award
2017 - Member of the National Academy of Engineering For co-inventing model checking and for contributions to the development and verification of real-time and embedded systems.
2015 - Fellow of the American Academy of Arts and Sciences
2012 - ACM Fellow For contributions to hardware and software verification technology.
2008 - Member of Academia Europaea
2007 - A. M. Turing Award Together with Edmund Clarke and E. Allen Emerson, for their role in developing Model-Checking into a highly effective verification technology that is widely adopted in the hardware and software industries.
Foreign Member, Chinese Academy of Sciences
Foreign Member, Chinese Academy of Sciences
Foreign Member, Chinese Academy of Sciences

Overview

Joseph Sifakis is affiliated with Verimag in France and primarily conducts research in the fields of Computer Science and Engineering. Their work extensively covers subfields such as Artificial Intelligence, Computational Theory and Mathematics, Automotive Engineering, Software, and Control and Systems Engineering.

The main topics of their research include Formal Methods in Verification, Autonomous Vehicle Technology and Safety, Advanced Software Engineering Methodologies, Adversarial Robustness in Machine Learning, Model-Driven Software Engineering Techniques, Traffic Control and Management, and Vehicle Dynamics and Control Systems.

Frequent co-authors collaborating with Joseph Sifakis are Marius Bozga, Radu Iosif, Bana Jabrì, Samantha J. Riesenfeld, and Rongjie Yan.

arXiv (Cornell University)
International Journal on Software Tools for Technology Transfer
Cell
ACM Transactions on Embedded Computing Systems
Immunity

Recent papers authored or co-authored by Joseph Sifakis include:

"Nociceptor neurons direct goblet cells via a CGRP-RAMP1 axis to drive mucus production and gut barrier protection," 2022, Cell
"Trustworthy Autonomous System Development," 2022, ACM Transactions on Embedded Computing Systems
"GATA4 controls regionalization of tissue immunity and commensal-driven immunopathology," 2023, Immunity
"Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles," 2022, 2022 International Conference on Robotics and Automation (ICRA)
"The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications," 2020, International Journal on Software Tools for Technology Transfer

Among notable recognitions, Joseph Sifakis is a recipient of the A. M. Turing Award in 2007 for contributions to Model-Checking technology. Other honors include being a Member of the National Academy of Engineering (2017), Fellow of the American Academy of Arts and Sciences (2015), ACM Fellow (2012), Member of Academia Europaea (2008), and Foreign Member of the Chinese Academy of Sciences.

Best Publications

The algorithmic analysis of hybrid systems

Rajeev Alur;Costas Courcoubetis;Nicolas Halbwachs;Thomas A. Henzinger

2742
Citations
Specification and verification of concurrent systems in CESAR

Jean-Pierre Queille;Joseph Sifakis

2292
Citations
Symbolic model checking for real-time systems

Thomas A. Henzinger;Xavier Nicollin;Joseph Sifakis;Sergio Yovine

2191
Citations
Use of Petri nets for performance evaluation.

Joseph Sifakis

836
Citations
An Overview and Synthesis on Timed Process Algebras

Xavier Nicollin;Joseph Sifakis

834
Citations
Modeling Heterogeneous Real-time Components in BIP

A. Basu;M. Bozga;J. Sifakis

762
Citations
On the synthesis of discrete controllers for timed systems

Oded Maler;Amir Pnueli;Joseph Sifakis

749
Citations
Property preserving abstractions for the verification of concurrent systems

C. Loiseaux;S. Graf;J. Sifakis;A. Bouajjani

557
Citations
The Algebra of Connectors—Structuring Interaction in BIP

S. Bliudze;J. Sifakis

535
Citations
The embedded systems design challenge

Thomas A. Henzinger;Joseph Sifakis

484
Citations
Controller Synthesis for Timed Automata 1

Eugene Asarin;Oded Maler;Amir Pnueli;Joseph Sifakis

452
Citations
Model checking: algorithmic verification and debugging

Edmund M. Clarke;E. Allen Emerson;Joseph Sifakis

388
Citations
Rigorous Component-Based System Design Using the BIP Framework

A Basu;B Bensalem;M Bozga;J Combaz

383
Citations
Tools and Applications II: The IF Toolset

Marius Bozga;Susanne Graf;Ileana Ober;Iulian Ober

341
Citations
Composition for component-based modeling

Gregor Gössler;Joseph Sifakis

341
Citations
From ATP to timed graphs and hybrid systems

Xavier Nicollin;Joseph Sifakis;Sergio Yovine

325
Citations
The Algebra of Timed Processes, ATP: Theory and Application

Unknown

318
Citations
An Approach to the Description and Analysis of Hybrid Systems

Xavier Nicollin;Alfredo Olivero;Joseph Sifakis;Sergio Yovine

289
Citations
Modeling Heterogeneous Real-time Components in BIP

Ananda Basu;Marius Bozga;Joseph Sifakis

275
Citations
The Discipline of Embedded Systems Design

T.A. Henzinger;J. Sifakis

262
Citations
The IF Toolset

Marius Bozga;Susanne Graf;Ileana Ober;Iulian Ober

261
Citations

Frequent Co-Authors

Marius Bozga Grenoble Alpes University

Saddek Bensalem Grenoble Alpes University

Sergio Yovine Universidad Ort Uruguay

Amir Pnueli Weizmann Institute of Science

Ahmed Bouajjani Université Paris Cité

Thomas A. Henzinger Institute of Science and Technology Austria

Rocco De Nicola IMT Institute for Advanced Studies Lucca

Axel Legay Université Catholique de Louvain

Costas Courcoubetis Chinese University of Hong Kong, Shenzhen

Alberto Sangiovanni-Vincentelli University of California, Berkeley

External Links

Wikipedia of Joseph Sifakis Personal website of Joseph Sifakis Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA can open doors to a variety of tech-centered careers and related disciplines. Many students choose to broaden their prospects by pursuing flexible online degrees that complement a computer science foundation.

For those interested in cybersecurity, earning an accredited online cyber security degree can lead to opportunities in digital forensics, information assurance, and network defense. This field is rapidly expanding and highly valued by employers.

Students often combine computing skills with business knowledge via an online accountant degree, ideal for careers in financial analysis, auditing, and fintech industries.

If managing projects and teams appeals to you, an online construction management degree merges technology with leadership and logistics, suitable for tech-enabled roles in the construction industry.

Another distinctive pathway is a criminal justice degree online, which prepares graduates for cybercrime analysis, law enforcement, and public safety roles where technical acumen is increasingly critical.