Real-time execution models for co-simulation. - Cyril Faure; Nicolas Pernet (AICCSA, 2010)

Methods for real-time simulation of Cyber-Physical Systems: application to automotive domain. - Cyril Faure; Mongi Ben Gaid; Nicolas Pernet; Morgan Fremovici; Grégory Font; Gilles Corde (IWCMC, 2011)

Propagation rules of real-time constraints on physical systems simulators in a hardware-in-the loop context. - Cyril Faure; Nicolas Pernet (RTNS, 2012)

CHOPtrey: contextual online polynomial extrapolation for enhanced multi-core co-simulation of complex systems. - Abir Ben Khaled-El Feki; Laurent Duval; Cyril Faure; Daniel Simon; Mongi Ben Gaid (Simul., 2017)

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)