Stavros Tripakis 个人学术档案

引用次数

	总计	2019 年至今
引用	10439	2415
h 指数	56	28
i10 指数	129	70

680

340

170

510

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202443 85 115 129 170 226 256 338 395 475 406 432 391 350 400 416 437 500 523 537 536 670 530 438 398 425 408 215

开放获取的出版物数量

查看全部

50 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at Berkeley在 berkeley.edu 的电子邮件经过验证
Sergio YovineUniversidad ORT Uruguay在 ort.edu.uy 的电子邮件经过验证
Moez KrichenAssociate Professor of Computer Science, Albaha University and ISIMS, Sfax University在 redcad.org 的电子邮件经过验证
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, Grenoble在 imag.fr 的电子邮件经过验证
Karine AltisenMaître de Conférences, Grenoble INP / Verimag在 imag.fr 的电子邮件经过验证
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, Berkeley在 eecs.berkeley.edu 的电子邮件经过验证
David BromanProfessor, KTH Royal Institute of Technology在 kth.se 的电子邮件经过验证
Stéphane LafortuneProfessor of Electrical Engineering and Computer Science, University of Michigan, USA在 umich.edu 的电子邮件经过验证
Oded MalerCNRS-VERIMAG, University of Grenoble在 imag.fr 的电子邮件经过验证
Saddek BensalemUniversité Grenoble Alpes, VERIMAG在 univ-grenoble-alpes.fr 的电子邮件经过验证
Martin TörngrenProfessor in Embedded Control Systems, KTH, Sweden在 kth.se 的电子邮件经过验证
Joseph SifakisReseracher at Verimag laboratory, Grenoble在 imag.fr 的电子邮件经过验证
Raja SenguptaSystems Program, CEE, University of California, Berkeley在 ce.berkeley.edu 的电子邮件经过验证
Franck Cassezmovement Labs在 movementlabs.xyz 的电子邮件经过验证
Srinivas PinisettyFaculty, Computer Science, School of Electrical Sciences, Indian Institute of Technology Bhubaneswar在 iitbbs.ac.in 的电子邮件经过验证
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. Anna在 sssup.it 的电子邮件经过验证
Michael MasinIBM Research在 il.ibm.com 的电子邮件经过验证
Iulia DragomirGMV Aerospace and Defence在 gmv.com 的电子邮件经过验证
Hervé MarchandUniv Rennes, Inria, CNRS, IRISA在 inria.fr 的电子邮件经过验证
Aude MaignanUniv. Grenoble Alpes在 univ-grenoble-alpes.fr 的电子邮件经过验证

关注

Stavros Tripakis

Associate Professor, Northeastern University

在 northeastern.edu 的电子邮件经过验证 - 首页

Computer science Formal methods Embedded systems Software and system science


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
The tool Kronos C Daws, A Olivero, S Tripakis, S Yovine Hybrid Systems III: Verification and Control 3, 208-219, 1996	739	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	575	1998
Fault diagnosis for timed automata S Tripakis Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International …, 2002	320	2002
Black-box conformance testing for real-time systems M Krichen, S Tripakis International SPIN Workshop on Model Checking of Software, 109-126, 2004	297	2004
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	283*	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	277	1998
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	269	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	249	2001
Conformance testing for real-time systems M Krichen, S Tripakis Formal Methods in System Design 34 (3), 238-304, 2009	231	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	196	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	168	2004
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	164	2013
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	164	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	133	1997
Fault diagnosis with static and dynamic observers F Cassez, S Tripakis Fundamenta informaticae 88 (4), 497-540, 2008	129	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	128	2004
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	128*	1998

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用