Stavros Tripakis

Cited by

	All	Since 2016
Citations	8776	2623
h-index	50	30
i10-index	117	75

620

310

155

465

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202140 81 105 126 172 209 259 338 379 476 395 438 383 356 396 405 426 487 510 545 511 608 537 393 16

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
David BromanKTH Royal Institute of TechnologyVerified email at kth.se
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Raja SenguptaSystems Program, CEE, University of California, BerkeleyVerified email at ce.berkeley.edu
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Christos StergiouUniversity of PennsylvaniaVerified email at seas.upenn.edu
Pravin VARAIYAUniversity of California, BerkeleyVerified email at berkeley.edu
Martin TörngrenProfessor in Embedded Control Systems, KTH, SwedenVerified email at kth.se
Franck CassezConsensys & Macquarie UniversityVerified email at mq.edu.au
Michael MasinIBM ResearchVerified email at il.ibm.com
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaVerified email at sssup.it
Stéphane LafortuneProfessor of Electrical Engineering and Computer Science, University of Michigan, USAVerified email at umich.edu
Aude MaignanUniv. Grenoble AlpesVerified email at univ-grenoble-alpes.fr
Iulia DragomirGMV Aerospace and DefenceVerified email at gmv.com

Stavros Tripakis

Associate Professor, Northeastern University

Verified email at northeastern.edu - Homepage

Computer Science Formal methods System design Cyber-physical systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The tool KRONOS C Daws, A Olivero, S Tripakis, S Yovine International Hybrid Systems Workshop, 208-219, 1995	693	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	517	1998
Fault diagnosis for timed automata S Tripakis International symposium on formal techniques in real-time and fault-tolerant …, 2002	270	2002
Black-box conformance testing for real-time systems M Krichen, S Tripakis International SPIN Workshop on Model Checking of Software, 109-126, 2004	268	2004
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	254*	2005
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	251	2003
Modeling urgency in timed systems S Bornot, J Sifakis, S Tripakis International Symposium on Compositionality, 103-129, 1997	242	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	241	1998
Analysis of timed systems using time-abstracting bisimulations S Tripakis, S Yovine Formal Methods in System Design 18 (1), 25-68, 2001	219	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	213	2000
Conformance testing for real-time systems M Krichen, S Tripakis Formal Methods in System Design 34 (3), 238-304, 2009	207	2009
Determinate composition of FMUs for co-simulation D Broman, C Brooks, L Greenberg, EA Lee, M Masin, S Tripakis, M Wetter 2013 Proceedings of the International Conference on Embedded Software …, 2013	168	2013
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	156	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	152	2004
On-the-fly symbolic model checking for real-time systems A Bouajjani, S Tripakis, S Yovine Proceedings Real-Time Systems Symposium, 25-34, 1997	127	1997
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	125	2013
Extending Promela and Spin for real time S Tripakis, C Courcoubetis International Workshop on Tools and Algorithms for the Construction and …, 1996	122	1996
L'analyse formelle des systèmes temporisés en pratique.(The Formal Analysis of Timed Systems in Practice). S Tripakis Joseph Fourier University, Grenoble, France, 1998	119*	1998
Decentralized control of discrete-event systems with bounded or unbounded delay communication S Tripakis IEEE Transactions on Automatic Control 49 (9), 1489-1501, 2004	113	2004
Folk theorems on the determinization and minimization of timed automata S Tripakis Information Processing Letters 99 (6), 222-226, 2006	111	2006

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