A survey of main dataflow MoCCs for CPS design and verification. - Guillaume Roumage; Selma Azaiez; Stéphane Louise (MCSoC, 2022)

Static Timing Analysis of Cyber-Physical Systems with Relaxed Real-Time Constraints. - Guillaume Roumage; Selma Azaiez; Cyril Faure; Stéphane Louise (SEAA, 2024)

Real-time Mode-Aware Dataflow: A Dataflow Model to Specify and Analyze Mode-dependent CPSs under Relaxed Timing Constraints. - Guillaume Roumage; Selma Azaiez; Cyril Faure; Stéphane Louise (CoRR, 2025)

An Extended Survey and a Comparison Framework for Dataflow Models of Computation and Communication. - Guillaume Roumage; Selma Azaiez; Cyril Faure; Stéphane Louise (CoRR, 2025)

The Ingenuity Mars Helicopter Specified and Analyzed with the Real-time Mode-aware Dataflow Model. - Guillaume Roumage; Selma Azaiez; Cyril Faure; Stéphane Louise (CoRR, 2025)