Stavros Tripakis

Citado por

	Total	Desde 2020
Citas	10769	2186
Índice h	58	26
Índice i10	132	67

680

340

170

510

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202544 90 117 128 171 231 257 358 383 468 404 434 391 349 406 407 440 490 524 551 522 661 560 423 408 415 431 426 80

Acceso público

Ver todo

53 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyDirección de correo verificada de berkeley.edu
Sergio YovineUniversidad ORT UruguayDirección de correo verificada de ort.edu.uy
Moez KrichenAssociate Professor of Computer Science, Albaha University and ISIMS, Sfax UniversityDirección de correo verificada de redcad.org
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleDirección de correo verificada de imag.fr
Karine AltisenMaître de Conférences, Grenoble INP / VerimagDirección de correo verificada de imag.fr
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyDirección de correo verificada de eecs.berkeley.edu
David BromanProfessor, KTH Royal Institute of TechnologyDirección de correo verificada de kth.se
Stéphane LafortuneProfessor of Electrical Engineering and Computer Science, University of Michigan, USADirección de correo verificada de umich.edu
Oded MalerCNRS-VERIMAG, University of GrenobleDirección de correo verificada de imag.fr
Saddek BensalemUniversité Grenoble Alpes, VERIMAGDirección de correo verificada de univ-grenoble-alpes.fr
Martin TörngrenProfessor in Embedded Control Systems, KTH, SwedenDirección de correo verificada de kth.se
Joseph SifakisReseracher at Verimag laboratory, GrenobleDirección de correo verificada de imag.fr
Franck Cassezmovement LabsDirección de correo verificada de movementlabs.xyz
Raja SenguptaSystems Program, CEE, University of California, BerkeleyDirección de correo verificada de ce.berkeley.edu
Srinivas PinisettyFaculty, Computer Science, School of Electrical Sciences, Indian Institute of Technology BhubaneswarDirección de correo verificada de iitbbs.ac.in
Michael MasinIBM ResearchDirección de correo verificada de il.ibm.com
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaDirección de correo verificada de sssup.it
Iulia DragomirGMV Aerospace and DefenceDirección de correo verificada de gmv.com
Hervé MarchandUniv Rennes, Inria, CNRS, IRISADirección de correo verificada de inria.fr
Aude MaignanUniv. Grenoble AlpesDirección de correo verificada de univ-grenoble-alpes.fr

Seguir

Stavros Tripakis

Associate Professor, Northeastern University

Dirección de correo verificada de northeastern.edu - Página principal

Computer science Formal methods Embedded systems Software and system science


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
The tool Kronos C Daws, A Olivero, S Tripakis, S Yovine Hybrid Systems III: Verification and Control 3, 208-219, 1996	744	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	578	1998
Fault diagnosis for timed automata S Tripakis Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International …, 2002	335	2002
Black-box conformance testing for real-time systems M Krichen, S Tripakis International SPIN Workshop on Model Checking of Software, 109-126, 2004	305	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	288	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	284*	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	272	2003
Modeling urgency in timed systems S Bornot, J Sifakis, S Tripakis Compositionality: The Significant Difference: International Symposium …, 1998	261	1998
Analysis of timed systems using time-abstracting bisimulations S Tripakis, S Yovine Formal Methods in System Design 18, 25-68, 2001	251	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	234	2000
Conformance testing for real-time systems M Krichen, S Tripakis Formal Methods in System Design 34 (3), 238-304, 2009	233	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	208	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	172	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	170	2004
A framework for scheduler synthesis K Altisen, G Gossler, A Pnueli, J Sifakis, S Tripakis, S Yovine Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No. 99CB37054), 154-163, 1999	167	1999
Fault diagnosis with static and dynamic observers F Cassez, S Tripakis Fundamenta informaticae 88 (4), 497-540, 2008	141	2008
Extending Promela and Spin for real time S Tripakis, C Courcoubetis International Workshop on Tools and Algorithms for the Construction and …, 1996	141	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	138	1997
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores