متابعة
Stavros Tripakis
Stavros Tripakis
Associate Professor, Northeastern University
بريد إلكتروني تم التحقق منه على northeastern.edu - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
The tool Kronos‏
C Daws, A Olivero, S Tripakis, S Yovine‏
Hybrid Systems III: Verification and Control 3, 208-219, 1996‏
7431996
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‏
5781998
Fault diagnosis for timed automata‏
S Tripakis‏
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International …, 2002‏
3352002
Black-box conformance testing for real-time systems‏
M Krichen, S Tripakis‏
International SPIN Workshop on Model Checking of Software, 109-126, 2004‏
3032004
Model checking of real-time reachability properties using abstractions‏
C Daws, S Tripakis‏
International Conference on Tools and Algorithms for the Construction and …, 1998‏
2881998
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‏
2722003
Modeling urgency in timed systems‏
S Bornot, J Sifakis, S Tripakis‏
Compositionality: The Significant Difference: International Symposium …, 1998‏
2611998
Analysis of timed systems using time-abstracting bisimulations‏
S Tripakis, S Yovine‏
Formal Methods in System Design 18, 25-68, 2001‏
2502001
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‏
2342000
Conformance testing for real-time systems‏
M Krichen, S Tripakis‏
Formal Methods in System Design 34 (3), 238-304, 2009‏
2332009
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‏
2072013
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‏
1722013
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‏
1702004
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‏
1671999
Extending Promela and Spin for real time‏
S Tripakis, C Courcoubetis‏
International Workshop on Tools and Algorithms for the Construction and …, 1996‏
1411996
Fault diagnosis with static and dynamic observers‏
F Cassez, S Tripakis‏
Fundamenta informaticae 88 (4), 497-540, 2008‏
1402008
On-the-fly symbolic model checking for real-time systems‏
A Bouajjani, S Tripakis, S Yovine‏
Proceedings Real-Time Systems Symposium, 25-34, 1997‏
1371997
Decentralized control of discrete-event systems with bounded or unbounded delay communication‏
S Tripakis‏
IEEE transactions on automatic control 49 (9), 1489-1501, 2004‏
1322004
The formal analysis of timed systems in practice‏
S Tripakis‏
< bound method Organization. get_name_with_acronym of< Organization: TEL …, 1998‏
130*1998
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20