List of works - Stavros Tripakis - Paulina

List of works by Stavros Tripakis

Communication by sampling in time-sensitive distributed systems

scholarly article published 2006

Constrained Synthesis from Component Libraries

article by Antonio Iannopollo et al published 2017 in Lecture Notes in Computer Science

Loosely time-triggered architectures based on communication-by-sampling

scholarly article published 2007

Optimized implementation of synchronous models on industrial LTTA systems

The refinement calculus of reactive systems

scientific article published in 2022

Paulina is supported by:

About Paulina

Help