18 citations · 33 across the 7 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
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…
cs.SE2010
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…