Joseph Sifakis

Cited by

	All	Since 2020
Citations	23040	2704
h-index	66	24
i10-index	153	53

1200

600

300

900

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202582 58 87 108 128 199 260 304 381 451 487 497 561 547 569 586 638 641 783 740 943 945 909 974 1049 968 1102 937 940 833 708 734 617 553 533 558 567 439 53

Public access

View all

9 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	2883	1995
Specification and verification of concurrent systems in CESAR JP Queille, J Sifakis International Symposium on programming, 337-351, 1982	2410	1982
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and computation 111 (2), 193-244, 1994	1803	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	781	1995
Modeling heterogeneous real-time components in BIP A Basu, M Bozga, J Sifakis Fourth IEEE International Conference on Software Engineering and Formal …, 2006	769	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	565	1995
Use of Petri nets for performance evaluation J Sifakis Acta Cybernetica 4 (2), 185-202, 1979	525	1979
The embedded systems design challenge TA Henzinger, J Sifakis International Symposium on Formal Methods, 1-15, 2006	508	2006
An overview and synthesis on timed process algebras X Nicollin, J Sifakis Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992	484	1992
The algebra of timed processes, ATP: Theory and application X Nicollin, J Sifakis Information and Computation 114 (1), 131-178, 1994	468	1994
Controller synthesis for timed automata E Asarin, O Maler, A Pnueli, J Sifakis IFAC Proceedings Volumes 31 (18), 447-452, 1998	460	1998
Model checking: algorithmic verification and debugging EM Clarke, EA Emerson, J Sifakis Communications of the ACM 52 (11), 74-84, 2009	431	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	392	2011
Composition for component-based modeling G Gössler, J Sifakis Science of Computer Programming 55 (1-3), 161-183, 2005	347	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	300	1991
The discipline of embedded systems design TA Henzinger, J Sifakis Computer 40 (10), 32-40, 2007	282	2007
The algebra of connectors: structuring interaction in bip S Bliudze, J Sifakis Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007	280	2007
Fairness and related properties in transition systems—a temporal logic to deal with fairness JP Queille, J Sifakis Acta informatica 19, 195-220, 1983	263	1983
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
Modeling urgency in timed systems S Bornot, J Sifakis, S Tripakis Compositionality: The Significant Difference: International Symposium …, 1998	257	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