6 citations · 8 across the 3 of their papers we have counts for
3 papers
On the reaction time of some synchronous systems
Ilias Garnier, Christophe Aussaguès, Vincent David +1
This paper presents an investigation of the notion of reaction time in some synchronous systems. A state-based description of such systems is given, and the reaction time of such s…
An Introduction to Time-Constrained Automata
Matthieu Lemerre, Vincent David, Christophe Aussaguès +1
We present time-constrained automata (TCA), a model for hard real-time computation in which agents behaviors are modeled by automata and constrained by time intervals. TCA actions…
CONFIGEN: A tool for managing configuration options
Emmanuel Ohayon, Matthieu Lemerre, Vincent David
This paper introduces CONFIGEN, a tool that helps modularizing software. CONFIGEN allows the developer to select a set of elementary components for his software through an interact…