Stavros Tripakis

Verimag, Northeastern University

论文数

2

总引用数

38

H-Index

2

关于

暂无简介。

研究焦点

Computer science2 · 38 次引用
Artificial intelligence2 · 38 次引用
Conformance testing1 · 34 次引用
TRACE (psycholinguistics)1 · 34 次引用
Automaton1 · 34 次引用
Embedded system1 · 34 次引用
Observability1 · 34 次引用
Observer (physics)1 · 34 次引用
Operating system1 · 34 次引用
Point (geometry)1 · 34 次引用
Programming language1 · 34 次引用
Real-time computing1 · 34 次引用

主要成就

2
H 指数
2
论文
38
总引用数
19
篇均引用
🏆 最高被引论文
Testing Conformance of Real-Time Applications by Automatic Generation of Observers
34 次引用 · 2005
📈 最高产年份: 2005 (1 论文)
🤝 主要合作者: 6
🏛 所属机构: Verimag, Northeastern University

代表论文

  1. 1
    Testing Conformance of Real-Time Applications by Automatic Generation of Observers
    34 次引用 · 2005
  2. 2
    On tolerance of discrete systems with respect to transition perturbations
    4 次引用 · 2023

主要合作者

SLStéphane Lafortune1 篇合著论文MBMarius Bozga1 篇合著论文EKEunsuk Kang1 篇合著论文RMRômulo Meira-Góes1 篇合著论文MKMoez Krichen1 篇合著论文SBSaddek Bensalem1 篇合著论文
尚未生成