Joseph Sifakis

Cited by

	All	Since 2017
Citations	21123	3307
h-index	66	26
i10-index	141	66

1100

550

275

825

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202274 67 93 83 123 170 234 297 397 426 480 486 506 525 524 535 622 594 697 729 890 942 905 952 1045 971 1100 949 942 846 709 724 602 535 563 166

Public access

View all

10 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 Uruguay & Universidad de Buenos AiresVerified 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 HenzingerISTAustriaVerified email at ist.ac.at
Simon BliudzeComputer Science researcher, INRIA Lille - Nord EuropeVerified email at inria.fr
Gregor GösslerINRIAVerified email at inria.fr
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenVerified email at cuhk.edu.cn
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Mohamad JaberSoftware Engineer @ GoogleVerified email at google.com
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéVerified email at irif.fr
Pei-Hsin Ho (贺培鑫）UniVista Industrial Software (合见工软)Verified email at univista-isg.com
Stavros TripakisAssociate Professor, Northeastern UniversityVerified email at northeastern.edu
Nicolas HalbwachsCNRS / VerimagVerified email at imag.fr
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Jean Quilbeufpostdoc at fortiss gmbh, Munich, GermanyVerified email at fortiss.org
Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityVerified email at msu.edu
Anastasia MavridouKBR Inc, NASA Ames Research CenterVerified email at nasa.gov
Mohamed MOALLAprofesseur d'Informatique, Université de Tunis El ManarVerified email at fst.rnu.tn
Karine AltisenMaître de Conférences, Grenoble INP / VerimagVerified email at imag.fr

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	2607	1995
Specification and verification of concurrent systems in CESAR JP Queille, J Sifakis International Symposium on programming, 337-351, 1982	2223	1982
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and computation 111 (2), 193-244, 1994	1702	1994
Modeling heterogeneous real-time components in BIP A Basu, M Bozga, J Sifakis Fourth IEEE International Conference on Software Engineering and Formal …, 2006	738	2006
On the synthesis of discrete controllers for timed systems O Maler, A Pnueli, J Sifakis Annual symposium on theoretical aspects of computer science, 229-242, 1995	718	1995
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 (1), 11-44, 1995	536	1995
Use of Petri nets for performance evaluation J Sifakis Acta Cybernetica 4 (2), 185-202, 1979	507	1979
The embedded systems design challenge TA Henzinger, J Sifakis International Symposium on Formal Methods, 1-15, 2006	467	2006
An overview and synthesis on timed process algebras X Nicollin, J Sifakis International Conference on Computer Aided Verification, 376-398, 1991	456	1991
Controller synthesis for timed automata E Asarin, O Maler, A Pnueli, J Sifakis IFAC Proceedings Volumes 31 (18), 447-452, 1998	429	1998
Model checking: algorithmic verification and debugging EM Clarke, EA Emerson, J Sifakis Communications of the ACM 52 (11), 74-84, 2009	358	2009
The algebra of timed processes, ATP: Theory and application X Nicollin, J Sifakis Information and Computation 114 (1), 131-178, 1994	346	1994
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	342	2011
Composition for component-based modeling G Gössler, J Sifakis Science of Computer Programming 55 (1-3), 161-183, 2005	330	2005
An approach to the description and analysis of hybrid systems X Nicollin, A Olivero, J Sifakis, S Yovine Hybrid Systems, 149-178, 1992	278	1992
The algebra of connectors—structuring interaction in BIP S Bliudze, J Sifakis IEEE Transactions on Computers 57 (10), 1315-1330, 2008	254	2008
The IF toolset M Bozga, S Graf, I Ober, I Ober, J Sifakis Formal Methods for the Design of Real-Time Systems, 237-267, 2004	253	2004
Modeling urgency in timed systems S Bornot, J Sifakis, S Tripakis International Symposium on Compositionality, 103-129, 1997	249	1997
The discipline of embedded systems design TA Henzinger, J Sifakis Computer 40 (10), 32-40, 2007	246	2007
Fairness and related properties in transition systems—a temporal logic to deal with fairness JP Queille, J Sifakis Acta informatica 19 (3), 195-220, 1983	238	1983

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 this author

Cited by

Co-authors