Stavros Tripakis
Stavros Tripakis
Associate Professor, Northeastern University
Email verificata su northeastern.edu - Home page
TitoloCitata daAnno
The tool KRONOS
C Daws, A Olivero, S Tripakis, S Yovine
International Hybrid Systems Workshop, 208-219, 1995
6801995
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
4911998
Fault diagnosis for timed automata
S Tripakis
International symposium on formal techniques in real-time and fault-tolerant …, 2002
2592002
Black-box conformance testing for real-time systems
M Krichen, S Tripakis
International SPIN Workshop on Model Checking of Software, 109-126, 2004
2372004
Modeling urgency in timed systems
S Bornot, J Sifakis, S Tripakis
International Symposium on Compositionality, 103-129, 1997
2361997
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
2352003
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
232*2005
Model checking of real-time reachability properties using abstractions
C Daws, S Tripakis
International Conference on Tools and Algorithms for the Construction and …, 1998
2311998
Analysis of timed systems using time-abstracting bisimulations
S Tripakis, S Yovine
Formal Methods in System Design 18 (1), 25-68, 2001
2062001
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
2062000
Conformance testing for real-time systems
M Krichen, S Tripakis
Formal Methods in System Design 34 (3), 238-304, 2009
1732009
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
1511999
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
1372004
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
1302013
On-the-fly symbolic model checking for real-time systems
A Bouajjani, S Tripakis, S Yovine
Proceedings Real-Time Systems Symposium, 25-34, 1997
1201997
Extending Promela and Spin for real time
S Tripakis, C Courcoubetis
International Workshop on Tools and Algorithms for the Construction and …, 1996
1171996
The formal analysis of timed systems in practice
S Tripakis
PhD thesis, Université Joseph Fourier, 1998
112*1998
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
1052013
Verifying progress in timed systems
S Tripakis
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1999
1031999
Checking timed Büchi automata emptiness efficiently
S Tripakis, S Yovine, A Bouajjani
Formal Methods in System Design 26 (3), 267-292, 2005
1022005
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20