-
XEVE : an ESTEREL Verification Environment : (Version v1_3)
XEVE is a verification environment for ESTEREL programs modeled as Finite State Machines {FSMs) with a user-friendly graphical interface. The ESTEREL compiler... -
Another glance at Relay Stations in Latency-Insensitive Designs
We revisit the formal modeling of relay stations, which are specific connection elements used in the theory of Latency-Insensitive Design of... -
Scenario-based verification in presence of variability using a synchronous ap...
International audience -
Synchronous composition of discretized control actions: design, verification ...
International audience -
Conception et validation d'architectures distribuées temps réel
Rapport de contrat.
