H-Index & Metrics Top Publications
Joseph Sifakis

Joseph Sifakis

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 56 Citations 19,784 146 World Ranking 1997 National Ranking 28

Research.com Recognitions

Awards & Achievements

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

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Software

His primary scientific interests are in Theoretical computer science, Programming language, Component, Formal specification and Distributed computing. His Theoretical computer science research integrates issues from Set and Parameterized complexity. His Temporal logic and Stochastic Petri net study in the realm of Programming language interacts with subjects such as High-level programming language.

His Component research incorporates themes from Object-oriented programming, Component-based software engineering and Correctness. His Formal specification research includes elements of Model checking and Specification language. The concepts of his Model checking study are interwoven with issues in Formal verification, State space and State.

His most cited work include:

  • The algorithmic analysis of hybrid systems (1707 citations)
  • Specification and verification of concurrent systems in CESAR (1085 citations)
  • Symbolic model checking for real-time systems (848 citations)

What are the main themes of his work throughout his whole career to date?

Joseph Sifakis mostly deals with Theoretical computer science, Distributed computing, Component, Programming language and Set. His work is dedicated to discovering how Theoretical computer science, Algorithm are connected with Hybrid system and other disciplines. His research integrates issues of Scheduling, Real-time computing, Application software and Implementation in his study of Distributed computing.

His research on Component also deals with topics like

  • Systems design which connect with Systems architecture,
  • Correctness and related Embedded system. His Model checking, Semantics, Formal specification, Petri net and Executable investigations are all subjects of Programming language research. His Set research includes themes of Synchronization and Algebra.

He most often published in these fields:

  • Theoretical computer science (23.83%)
  • Distributed computing (21.28%)
  • Component (21.28%)

What were the highlights of his more recent work (between 2013-2021)?

  • Theoretical computer science (23.83%)
  • Component (21.28%)
  • Software engineering (8.94%)

In recent papers he was focusing on the following fields of study:

Joseph Sifakis spends much of his time researching Theoretical computer science, Component, Software engineering, Systems design and Distributed computing. Joseph Sifakis performs multidisciplinary study in the fields of Theoretical computer science and Composition operator via his papers. Joseph Sifakis has researched Component in several fields, including Fragment, Runtime verification, Set and Temporal logic.

He has included themes like Structure, Architecture modeling and Control reconfiguration in his Distributed computing study. His Invariant research incorporates themes from Finite-state machine, Decidability, Mutual exclusion and Dining philosophers problem. The concepts of his Finite-state machine study are interwoven with issues in Parameterized complexity and Algebra.

Between 2013 and 2021, his most popular works were:

  • A general framework for architecture composability (26 citations)
  • Architecture-based Design: A Satellite On-board Software Case Study (22 citations)
  • Configuration logics: Modeling architecture styles (22 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Software

His main research concerns Theoretical computer science, Component, Distributed computing, Space-based architecture and Reference architecture. His Theoretical computer science research integrates issues from Commutative property and Composability. His biological study spans a wide range of topics, including Discrete mathematics, Theory of computation, Operator and Composition.

Component is a subfield of Programming language that Joseph Sifakis explores. His Distributed computing study combines topics from a wide range of disciplines, such as Java and Modular design. His research on Space-based architecture also deals with topics like

  • Database-centric architecture and related Dataflow architecture, Data architecture and Liveness,
  • Software architecture description together with Applications architecture, Multilayered architecture, Architecture tradeoff analysis method and Real-time computing.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Top Publications

The algorithmic analysis of hybrid systems

Rajeev Alur;Costas Courcoubetis;Nicolas Halbwachs;Thomas A. Henzinger.
Theoretical Computer Science (1995)

2500 Citations

Specification and verification of concurrent systems in CESAR

Jean-Pierre Queille;Joseph Sifakis.
Proceedings of the 5th Colloquium on International Symposium on Programming (1982)

2153 Citations

Symbolic model checking for real-time systems

Thomas A. Henzinger;Xavier Nicollin;Joseph Sifakis;Sergio Yovine.
Information & Computation (1994)

1678 Citations

Modeling Heterogeneous Real-time Components in BIP

Ananda Basu;Marius Bozga;Joseph Sifakis.
software engineering and formal methods (2006)

724 Citations

On the synthesis of discrete controllers for timed systems

Oded Maler;Amir Pnueli;Joseph Sifakis.
symposium on theoretical aspects of computer science (1995)

683 Citations

Property preserving abstractions for the verification of concurrent systems

C. Loiseaux;S. Graf;J. Sifakis;A. Bouajjani.
computer aided verification (1995)

539 Citations

Use of Petri nets for performance evaluation.

Joseph Sifakis.
Acta Cybernetica (1979)

502 Citations

The embedded systems design challenge

Thomas A. Henzinger;Joseph Sifakis.
formal methods (2006)

460 Citations

An Overview and Synthesis on Timed Process Algebras

Xavier Nicollin;Joseph Sifakis.
computer aided verification (1991)

456 Citations

Controller Synthesis for Timed Automata 1

Eugene Asarin;Oded Maler;Amir Pnueli;Joseph Sifakis.
IFAC Proceedings Volumes (1998)

400 Citations

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.

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

Contact us

Top Scientists Citing Joseph Sifakis

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 141

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 106

Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Publications: 96

Marius Bozga

Marius Bozga

Grenoble Alpes University

Publications: 87

Moshe Y. Vardi

Moshe Y. Vardi

Rice University

Publications: 84

Rajeev Alur

Rajeev Alur

University of Pennsylvania

Publications: 64

Oded Maler

Oded Maler

Grenoble Alpes University

Publications: 62

Patricia Bouyer

Patricia Bouyer

University of Paris-Saclay

Publications: 60

Insup Lee

Insup Lee

University of Pennsylvania

Publications: 59

Edmund M. Clarke

Edmund M. Clarke

Carnegie Mellon University

Publications: 58

Stavros Tripakis

Stavros Tripakis

Northeastern University

Publications: 53

Amir Pnueli

Amir Pnueli

Weizmann Institute of Science

Publications: 48

Orna Kupferman

Orna Kupferman

Hebrew University of Jerusalem

Publications: 48

Orna Grumberg

Orna Grumberg

Technion – Israel Institute of Technology

Publications: 46

Holger Hermanns

Holger Hermanns

Saarland University

Publications: 40

Something went wrong. Please try again later.