Joseph Sifakis

14.7k total citations · 1 hit paper
105 papers, 4.2k citations indexed

About

Joseph Sifakis is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence. According to data from OpenAlex, Joseph Sifakis has authored 105 papers receiving a total of 4.2k indexed citations (citations by other indexed papers that have themselves been cited), including 60 papers in Computational Theory and Mathematics, 46 papers in Hardware and Architecture and 34 papers in Artificial Intelligence. Recurrent topics in Joseph Sifakis's work include Formal Methods in Verification (59 papers), Embedded Systems Design Techniques (35 papers) and Real-Time Systems Scheduling (28 papers). Joseph Sifakis is often cited by papers focused on Formal Methods in Verification (59 papers), Embedded Systems Design Techniques (35 papers) and Real-Time Systems Scheduling (28 papers). Joseph Sifakis collaborates with scholars based in France, Switzerland and United States. Joseph Sifakis's co-authors include Xavier Nicollin, Sergio Yovine, Thomas A. Henzinger, Nicolas Halbwachs, Rajeev Alur, Costas Courcoubetis, Alfredo Olivero, Gregor Gößler, Marius Bozga and Amir Pnueli and has published in prestigious journals such as SHILAP Revista de lepidopterología, Immunity and Proceedings of the IEEE.

In The Last Decade

Joseph Sifakis

100 papers receiving 3.7k citations

Hit Papers

align trajectories

What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

The algorithmic analysis of hybrid systems

1995 991 citations Rajeev Alur, Costas Courcoubetis et al. Theoretical Computer Science profile →

Peers

Countries citing papers authored by Joseph Sifakis

Since Specialization

Citations

This map shows the geographic impact of Joseph Sifakis's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Joseph Sifakis with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Joseph Sifakis more than expected).

Fields of papers citing papers by Joseph Sifakis

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Joseph Sifakis. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Joseph Sifakis. The network helps show where Joseph Sifakis may publish in the future.

Co-authorship network of co-authors of Joseph Sifakis

This figure shows the co-authorship network connecting the top 25 collaborators of Joseph Sifakis. A scholar is included among the top collaborators of Joseph Sifakis based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Joseph Sifakis. Joseph Sifakis is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work	Indexed citations
1	Correct by design coordination of autonomous driving systems 2023 ·International Journal on Software Tools for Technology Transfer ·Marius Bozga, Joseph Sifakis	1
2	The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications 2020 ·International Journal on Software Tools for Technology Transfer ·Rocco De Nicola, (unknown), Joseph Sifakis	9
3	Functional BIP: Embedding connectors in functional programming languages 2017 ·Journal of Logical and Algebraic Methods in Programming ·(unknown), Simon Bliudze, Joseph Sifakis	3
4	Configuration logics: Modeling architecture styles 2016 ·Journal of Logical and Algebraic Methods in Programming ·Anastasia Mavridou, (unknown), Simon Bliudze, Joseph Sifakis	8
5	Rigorous System Design 2013 ·Infoscience (Ecole Polytechnique Fédérale de Lausanne) ·Joseph Sifakis	20
6	Embedded systems design: scientific challenges and work directions 2009 ·Design, Automation, and Test in Europe ·Joseph Sifakis	6
7	Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks 2007 ·Infoscience (Ecole Polytechnique Fédérale de Lausanne) ·Ananda Basu, Laurent Mounier, (unknown), Jacques Pulou, Joseph Sifakis	21
8	The Discipline of Embedded Systems Design 2007 ·Computer ·Thomas A. Henzinger, Joseph Sifakis	103
9	Embedded Systems Design: the ARTIST roadmap for research and development 2005 ·Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)) ·(unknown), Joseph Sifakis	43
10	Embedded Systems Design: The ARTIST Roadmap for Research and Development (Lecture Notes in Computer Science) 2005 ·Springer eBooks ·(unknown), Joseph Sifakis	18
11	Composition for component-based modeling 2004 ·Science of Computer Programming ·Gregor Gößler, Joseph Sifakis	133
12	An Algebraic Framework for Urgency 2000 ·Information and Computation ·(unknown), Joseph Sifakis	35
13	Decidable Integration Graphs 1999 ·Information and Computation ·Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine	27
14	Preface 1995 ·Theoretical Computer Science ·Amir Pnueli, Joseph Sifakis	12
15	The algorithmic analysis of hybrid systems breakdown → 1995 ·Theoretical Computer Science ·Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, (unknown), Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine	991
16	The Algebra of Timed Processes, ATP: Theory and Application 1994 ·Information and Computation ·Xavier Nicollin, Joseph Sifakis	138
17	ATP: an Algebra for Timed Processes. 1990 ·Xavier Nicollin, Jean-Luc Richier, Joseph Sifakis, (unknown)	34
18	A unified approach for studying the properties of transition systems 1982 ·Theoretical Computer Science ·Joseph Sifakis	30
19	Performance evaluation of systems using nets 1980 ·Lecture notes in computer science ·Joseph Sifakis	46
20	Use of Petri Nets for Performance Evaluation 1977 ·Acta Cybernetica ·Joseph Sifakis	146

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact