6 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.SE2011★ 2 cited
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…
cs.LO2010★ 6 cited
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…