Joseph Sifakis

Cited by

	All	Since 2019
Citations	22832	3154
h-index	66	25
i10-index	151	63

1100

550

275

825

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202482 57 87 106 128 199 260 306 378 452 484 499 566 548 568 579 637 641 780 739 939 946 910 972 1047 972 1098 934 941 828 705 735 615 549 530 562 568 323

Public access

View all

8 articles

1 article

available

not available

Based on funding mandates

Co-authors

Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleVerified email at imag.fr
Sergio YovineUniversidad ORT UruguayVerified email at ort.edu.uy
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagVerified email at imag.fr
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Simon BliudzeComputer Science researcher, University of Lille Inria Research CentreVerified email at inria.fr
Gregor GösslerINRIAVerified email at inria.fr
Mohamad JaberSoftware Engineer @ GoogleVerified email at google.com
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenVerified email at cuhk.edu.cn
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéVerified email at irif.fr
Pei-Hsin Ho (贺培鑫）UniVista Industrial Software (合见工软)Verified email at univista-isg.com
Nicolas HalbwachsCNRS / VerimagVerified email at imag.fr
Stavros TripakisAssociate Professor, Northeastern UniversityVerified email at northeastern.edu
Rongjie YANState Key Laboratory of Computer Science, Institute of SoftwareVerified email at ios.ac.cn
Anastasia MavridouKBR / NASA Ames Research CenterVerified email at nasa.gov
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Mohamed MOALLAprofesseur d'Informatique, Université de Tunis El ManarVerified email at fst.rnu.tn
Jean Quilbeufpostdoc at fortiss gmbh, Munich, GermanyVerified email at fortiss.org
Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityVerified email at msu.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu

Joseph Sifakis

Reseracher at Verimag laboratory, Grenoble

Verified email at imag.fr

software engineering formal methods web services middleware networks


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The algorithmic analysis of hybrid systems R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ... Theoretical computer science 138 (1), 3-34, 1995	2865	1995
Specification and verification of concurrent systems in CESAR JP Queille, J Sifakis International Symposium on programming, 337-351, 1982	2393	1982
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and computation 111 (2), 193-244, 1994	1791	1994
On the synthesis of discrete controllers for timed systems O Maler, A Pnueli, J Sifakis STACS 95: 12th Annual Symposium on Theoretical Aspects of Computer Science …, 1995	780	1995
Modeling heterogeneous real-time components in BIP A Basu, M Bozga, J Sifakis Fourth IEEE International Conference on Software Engineering and Formal …, 2006	763	2006
Property preserving abstractions for the verification of concurrent systems C Loiseaux, S Graf, J Sifakis, A Bouajjani, S Bensalem, D Probst Formal methods in system design 6, 11-44, 1995	562	1995
Use of Petri nets for performance evaluation J Sifakis Acta Cybernetica 4 (2), 185-202, 1979	524	1979
The embedded systems design challenge TA Henzinger, J Sifakis International Symposium on Formal Methods, 1-15, 2006	500	2006
An overview and synthesis on timed process algebras X Nicollin, J Sifakis Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992	481	1992
The algebra of timed processes, ATP: Theory and application X Nicollin, J Sifakis Information and Computation 114 (1), 131-178, 1994	465	1994
Controller synthesis for timed automata E Asarin, O Maler, A Pnueli, J Sifakis IFAC Proceedings Volumes 31 (18), 447-452, 1998	456	1998
Model checking: algorithmic verification and debugging EM Clarke, EA Emerson, J Sifakis Communications of the ACM 52 (11), 74-84, 2009	419	2009
Rigorous component-based system design using the BIP framework A Basu, B Bensalem, M Bozga, J Combaz, M Jaber, TH Nguyen, J Sifakis IEEE software 28 (3), 41-48, 2011	381	2011
Composition for component-based modeling G Gössler, J Sifakis Science of Computer Programming 55 (1-3), 161-183, 2005	344	2005
An approach to the description and analysis of hybrid systems X Nicollin, A Olivero, J Sifakis, S Yovine International Hybrid Systems Workshop, 149-178, 1991	298	1991
The discipline of embedded systems design TA Henzinger, J Sifakis Computer 40 (10), 32-40, 2007	283	2007
The algebra of connectors: structuring interaction in bip S Bliudze, J Sifakis Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007	277	2007
The IF toolset M Bozga, S Graf, I Ober, I Ober, J Sifakis Formal Methods for the Design of Real-Time Systems: International School on …, 2004	262	2004
Fairness and related properties in transition systems—a temporal logic to deal with fairness JP Queille, J Sifakis Acta informatica 19, 195-220, 1983	260	1983
Modeling urgency in timed systems S Bornot, J Sifakis, S Tripakis Compositionality: The Significant Difference: International Symposium …, 1998	258	1998

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors