Stavros Tripakis - Publications, H-index & Citations

Stavros Tripakis

universite de rennes

47H指数

275论文数

6.9K被引数

收录论文 7

发表时间

Metrics and methods for robustness evaluation of neural networks with generative models

MACHINE LEARNING

IF2.9

2021-07-06

OAAI

Buzhinsky, Igor; Nerinovsky, Arseny; Tripakis, Stavros

Predictive runtime verification of timed properties 定时属性的预测运行时验证

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2017-10-01

OAAI

Pinisetty, Srinivas; Jeron, Thierry; Tripakis, Stavros; Falcone, Ylies; Marchand, Herve; Preoteasa, Viorel

Compositionality in the Science of System Design 系统设计科学中的组合性

PROCEEDINGS OF THE IEEE

IF25.9

2016-05-01

OAAI

Tripakis, Stavros

Optimized implementation of synchronous models on industrial LTTA systems 同步模型在工业LTTA系统上的优化实现

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2014-04-01

PREAI

Di Natale, Marco; Zhu, Qi; Sangiovanni-Vincentelli, Alberto; Tripakis, Stavros

Implementing synchronous models on loosely time triggered architectures

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2008-10-01

PREAI

Tripakis, Stavros; Pinello, Claudio; Benveniste, Albert; Sangiovanni-Vincentelli, Alberto; Caspi, Paul; Di Natale, Marco

Decentralized control of discrete-event systems with bounded or unbounded delay communication

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2004-09-01

PREAI

Tripakis, S

Building models of real-time systems from application software

PROCEEDINGS OF THE IEEE

IF25.9

2003-01-01

OAAI

Sifakis, J; Tripakis, S; Yovine, S

研究方向