Stavros Tripakis - Google Scholar Citations

Cited by

	All	Since 2014
Citations	7773	2823
h-index	47	31
i10-index	102	73

580

290

145

435

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201941 85 105 120 171 209 242 331 384 441 380 431 370 348 382 390 423 465 469 530 508 568 269

Co-authors

Sergio YovineUniversidad ORT Uruguay & Universidad de Buenos AiresVerified email at ort.edu.uy
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyVerified email at berkeley.edu
Moez KrichenAssistant Professor of Computer Science, Albaha UniversityVerified email at redcad.org
Karine AltisenMaître de Conférences, Grenoble INP / VerimagVerified email at imag.fr
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleVerified email at imag.fr
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Raja SenguptaSystems Program, CEE, University of California, BerkeleyVerified email at ce.berkeley.edu
David BromanKTH Royal Institute of TechnologyVerified email at kth.se
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Pravin VARAIYAUniversity of California, BerkeleyVerified email at berkeley.edu
Martin TörngrenProfessor in Embedded Control Systems, KTH, SwedenVerified email at kth.se
Christos StergiouUniversity of PennsylvaniaVerified email at seas.upenn.edu
Franck CassezMacquarie UniversityVerified email at mq.edu.au
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaVerified email at sssup.it
Aude MaignanUniv. Grenoble AlpesVerified email at univ-grenoble-alpes.fr
Michael MasinIBM ResearchVerified email at il.ibm.com
Hervé MarchandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Stéphane LafortuneProfessor of Electrical Engineering and Computer Science, University of Michigan, USAVerified email at umich.edu

Stavros Tripakis

Associate Professor, Northeastern University

Verified email at northeastern.edu - Homepage

Computer Science System design Formal methods Cyber-physical systems


Title	Cited by	Year
The tool KRONOS C Daws, A Olivero, S Tripakis, S Yovine International Hybrid Systems Workshop, 208-219, 1995	678	1995
Kronos: A model-checking tool for real-time systems M Bozga, C Daws, O Maler, A Olivero, S Tripakis, S Yovine International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998	486	1998
Fault diagnosis for timed automata S Tripakis International symposium on formal techniques in real-time and fault-tolerant …, 2002	249	2002
From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications P Caspi, A Curic, A Maignan, C Sofronis, S Tripakis, P Niebert ACM Sigplan Notices 38 (7), 153-162, 2003	234	2003
Modeling urgency in timed systems S Bornot, J Sifakis, S Tripakis International Symposium on Compositionality, 103-129, 1997	233	1997
Model checking of real-time reachability properties using abstractions C Daws, S Tripakis International Conference on Tools and Algorithms for the Construction and …, 1998	231	1998
Translating discrete-time Simulink to Lustre S Tripakis, C Sofronis, P Caspi, A Curic ACM Transactions on Embedded Computing Systems (TECS) 4 (4), 779-818, 2005	227*	2005
Black-box conformance testing for real-time systems M Krichen, S Tripakis International SPIN Workshop on Model Checking of Software, 109-126, 2004	224	2004
Analysis of timed systems using time-abstracting bisimulations S Tripakis, S Yovine Formal Methods in System Design 18 (1), 25-68, 2001	204	2001
Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations O Botchkarev, S Tripakis International Workshop on Hybrid Systems: Computation and Control, 73-88, 2000	202	2000
Conformance testing for real-time systems M Krichen, S Tripakis Formal Methods in System Design 34 (3), 238-304, 2009	158	2009
A framework for scheduler synthesis K Altisen, G Goßler, A Pnueli, J Sifakis, S Tripakis, S Yovine Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No. 99CB37054), 154-163, 1999	151	1999
Defining and translating a safe subset of simulink/stateflow into lustre N Scaife, C Sofronis, P Caspi, S Tripakis, F Maraninchi Proceedings of the 4th ACM international conference on Embedded software …, 2004	136	2004
Determinate composition of FMUs for co-simulation D Broman, C Brooks, L Greenberg, EA Lee, M Masin, S Tripakis, M Wetter Proceedings of the Eleventh ACM International Conference on Embedded Software, 2, 2013	122	2013
On-the-fly symbolic model checking for real-time systems A Bouajjani, S Tripakis, S Yovine Proceedings Real-Time Systems Symposium, 25-34, 1997	120	1997
Extending Promela and Spin for real time S Tripakis, C Courcoubetis International Workshop on Tools and Algorithms for the Construction and …, 1996	115	1996
The formal analysis of timed systems in practice S Tripakis PhD thesis, Université Joseph Fourier, 1998	112*	1998
Verifying progress in timed systems S Tripakis International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1999	103	1999
Checking timed Büchi automata emptiness efficiently S Tripakis, S Yovine, A Bouajjani Formal Methods in System Design 26 (3), 267-292, 2005	101	2005
Cyber-physical system design contracts P Derler, EA Lee, S Tripakis, M Törngren Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical …, 2013	100	2013

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