Follow
Stavros Tripakis
Stavros Tripakis
Associate Professor, Northeastern University
Verified email at northeastern.edu - Homepage
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
7311996
Kronos: A model-checking tool for real-time systems: Tool-presentation for FTRTFT’98
M Bozga, C Daws, O Maler, A Olivero, S Tripakis, S Yovine
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International …, 1998
5641998
Fault diagnosis for timed automata
S Tripakis
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International …, 2002
3032002
Black-box conformance testing for real-time systems
M Krichen, S Tripakis
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain …, 2004
2882004
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
276*2005
Model checking of real-time reachability properties using abstractions
C Daws, S Tripakis
TACAS 98, 313-329, 1998
2651998
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
2632003
Modeling urgency in timed systems
S Bornot, J Sifakis, S Tripakis
Compositionality: The Significant Difference: International Symposium …, 1998
2481998
Analysis of timed systems using time-abstracting bisimulations
S Tripakis, S Yovine
Formal Methods in System Design 18, 25-68, 2001
2402001
Conformance testing for real-time systems
M Krichen, S Tripakis
Formal Methods in System Design 34 (3), 238-304, 2009
2262009
Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations
O Botchkarev, S Tripakis
Hybrid Systems: Computation and Control: Third International Workshop, HSCC …, 2000
2252000
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
1882013
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
1662004
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
1641999
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
1522013
Extending Promela and Spin for real time
S Tripakis, C Courcoubetis
TACAs 1055, 329-348, 1996
1351996
On-the-fly symbolic model checking for real-time systems
A Bouajjani, S Tripakis, S Yovine
Proceedings Real-Time Systems Symposium, 25-34, 1997
1331997
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
126*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
1232004
Verifying progress in timed systems
S Tripakis
ARTS 1601, 299-314, 1999
1191999
The system can't perform the operation now. Try again later.
Articles 1–20