Stavros Tripakis

Cited by

	All	Since 2019
Citations	10647	2619
h-index	57	29
i10-index	131	73

680

340

170

510

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202443 91 117 129 170 231 256 346 393 467 405 434 392 349 402 407 440 495 521 530 532 680 530 436 402 417 426 406

Public access

View all

53 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyVerified email at berkeley.edu
Sergio YovineUniversidad ORT UruguayVerified email at ort.edu.uy
Moez KrichenAssociate Professor of Computer Science, Albaha University and ISIMS, Sfax UniversityVerified email at redcad.org
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleVerified email at imag.fr
Karine AltisenMaître de Conférences, Grenoble INP / VerimagVerified email at imag.fr
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
David BromanProfessor, KTH Royal Institute of TechnologyVerified email at kth.se
Stéphane LafortuneProfessor of Electrical Engineering and Computer Science, University of Michigan, USAVerified email at umich.edu
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Martin TörngrenProfessor in Embedded Control Systems, KTH, SwedenVerified email at kth.se
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Raja SenguptaSystems Program, CEE, University of California, BerkeleyVerified email at ce.berkeley.edu
Franck Cassezmovement LabsVerified email at movementlabs.xyz
Srinivas PinisettyFaculty, Computer Science, School of Electrical Sciences, Indian Institute of Technology BhubaneswarVerified email at iitbbs.ac.in
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaVerified email at sssup.it
Iulia DragomirGMV Aerospace and DefenceVerified email at gmv.com
Michael MasinIBM ResearchVerified email at il.ibm.com
Hervé MarchandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Aude MaignanUniv. Grenoble AlpesVerified email at univ-grenoble-alpes.fr

Stavros Tripakis

Associate Professor, Northeastern University

Verified email at northeastern.edu - Homepage

Computer science Formal methods Embedded systems Software and system science


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 Hybrid Systems III: Verification and Control 3, 208-219, 1996	745	1996
Kronos: A model-checking tool for real-time systems M Bozga, C Daws, O Maler, A Olivero, S Tripakis, S Yovine Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	574	1998
Fault diagnosis for timed automata S Tripakis Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International …, 2002	331	2002
Black-box conformance testing for real-time systems M Krichen, S Tripakis International SPIN Workshop on Model Checking of Software, 109-126, 2004	302	2004
Model checking of real-time reachability properties using abstractions C Daws, S Tripakis International Conference on Tools and Algorithms for the Construction and …, 1998	285	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	282*	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	266	2003
Modeling urgency in timed systems S Bornot, J Sifakis, S Tripakis Compositionality: The Significant Difference: International Symposium …, 1998	257	1998
Analysis of timed systems using time-abstracting bisimulations S Tripakis, S Yovine Formal Methods in System Design 18, 25-68, 2001	251	2001
Conformance testing for real-time systems M Krichen, S Tripakis Formal Methods in System Design 34 (3), 238-304, 2009	233	2009
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	231	2000
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	197	2013
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	169	2013
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	169	2004
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	167	1999
Extending Promela and Spin for real time S Tripakis, C Courcoubetis International Workshop on Tools and Algorithms for the Construction and …, 1996	140	1996
On-the-fly symbolic model checking for real-time systems A Bouajjani, S Tripakis, S Yovine Proceedings Real-Time Systems Symposium, 25-34, 1997	135	1997
Fault diagnosis with static and dynamic observers F Cassez, S Tripakis Fundamenta informaticae 88 (4), 497-540, 2008	132	2008
Decentralized control of discrete-event systems with bounded or unbounded delay communication S Tripakis IEEE transactions on automatic control 49 (9), 1489-1501, 2004	132	2004
The formal analysis of timed systems in practice S Tripakis < bound method Organization. get_name_with_acronym of< Organization: TEL …, 1998	130*	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