Joseph Sifakis

Cited by

	All	Since 2016
Citations	20113	3404
h-index	63	26
i10-index	139	68

1100

550

275

825

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202175 50 75 71 82 87 108 173 222 298 387 416 465 469 487 533 515 539 642 599 686 721 877 907 899 923 1047 975 1080 972 933 843 672 730 617 523 6

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 HenzingerIST AustriaVerified 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 of Singapore University of Technology and DesignVerified email at sutd.edu.sg
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
Pei-Hsin HoSynopsys, Inc.Verified email at synopsys.com
Ahmed BouajjaniProfessor Computer Science, University of ParisVerified email at irif.fr
Stavros TripakisAssociate Professor, Northeastern UniversityVerified email at northeastern.edu
Nicolas HalbwachsCNRS / VerimagVerified email at imag.fr
Jean Quilbeufpostdoc at fortiss gmbh, Munich, GermanyVerified email at fortiss.org
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityVerified email at msu.edu
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
Anastasia MavridouKBR / NASA Ames Research CenterVerified email at nasa.gov

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	2491	1995
Specification and verification of concurrent systems in CESAR JP Queille, J Sifakis International Symposium on programming, 337-351, 1982	2101	1982
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Cornell University, 1994	1648	1994
Modeling heterogeneous real-time components in BIP A Basu, M Bozga, J Sifakis Fourth IEEE International Conference on Software Engineering and Formal …, 2006	688	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	680	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	523	1995
Use of Petri nets for performance evaluation J Sifakis Acta Cybernetica 4 (2), 185-202, 1979	495	1979
An overview and synthesis on timed process algebras X Nicollin, J Sifakis International Conference on Computer Aided Verification, 376-398, 1991	449	1991
The embedded systems design challenge TA Henzinger, J Sifakis International Symposium on Formal Methods, 1-15, 2006	427	2006
Controller synthesis for timed automata E Asarin, O Maler, A Pnueli, J Sifakis IFAC Proceedings Volumes 31 (18), 447-452, 1998	397	1998
The algebra of timed processes, ATP: Theory and application X Nicollin, J Sifakis Information and Computation 114 (1), 131-178, 1994	327	1994
Model checking: algorithmic verification and debugging EM Clarke, EA Emerson, J Sifakis Communications of the ACM 52 (11), 74-84, 2009	314	2009
Composition for component-based modeling G Gössler, J Sifakis Science of Computer Programming 55 (1-3), 161-183, 2005	313	2005
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	307	2011
An approach to the description and analysis of hybrid systems X Nicollin, A Olivero, J Sifakis, S Yovine Hybrid Systems, 149-178, 1992	280	1992
Modeling urgency in timed systems S Bornot, J Sifakis, S Tripakis International Symposium on Compositionality, 103-129, 1997	244	1997
The algebra of connectors—structuring interaction in BIP S Bliudze, J Sifakis IEEE Transactions on Computers 57 (10), 1315-1330, 2008	238	2008
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	236	1983
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	232	2004
The discipline of embedded systems design TA Henzinger, J Sifakis Computer 40 (10), 32-40, 2007	231	2007

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

Upload PDF

Follow this author

Cited by

Co-authors