1 citations · 2 across the 4 of their papers we have counts for
4 papers
An Extended Survey and a Comparison Framework for Dataflow Models of Computation and Communication
Guillaume Roumage, Selma Azaiez, Cyril Faure +1
Dataflow Model of Computation and Communications (DF MoCCs) is a formalism used to specify the behavior of Cyber-Physical Systems (CPSs). DF MoCCs are widely used in the design of…
The Ingenuity Mars Helicopter Specified and Analyzed with the Real-time Mode-aware Dataflow Model
Guillaume Roumage, Selma Azaiez, Cyril Faure +1
Ingenuity is an autonomous Cyber-Pysical System (CPS) that has successfully completed more than 70 flights over Mars between 2021 and 2024. Ensuring the safety of its mission is pa…
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 +1
Modern Cyber-Physical Systems (CPS) often exhibit both relaxed real-time constraints and a mode-dependent execution. Relaxed real-time constraints mean that only a subset of the pr…
BACQ -- Application-oriented Benchmarks for Quantum Computing
Frédéric Barbaresco, Laurent Rioux, Christophe Labreuche +14
With the support of the national program on measurements, standards, and evaluation of quantum technologies MetriQs-France, a part of the French national quantum strategy, the BACQ…