| 2008 |
|---|
| 10 | | Xavier Dumas,
Claire Pagetti,
Laurent Sagaspe,
Pierre Bieber,
Philippe Dhaussy:
Vers la génération de modèles de sûreté de fonctionnement.
CAL 2008: 157-172 |
| 9 | EE | Frédéric Boniol,
Pierre-Emmanuel Hladik,
Claire Pagetti,
Frédéric Aspro,
Victor Jégu:
A Framework for Distributing Real-Time Functions.
FORMATS 2008: 155-169 |
| 8 | EE | Julien Forget,
Frédéric Boniol,
David Lesens,
Claire Pagetti:
A Multi-Periodic Synchronous Data-Flow Language.
HASE 2008: 251-260 |
| 2007 |
|---|
| 7 | | Frédéric Boniol,
Claire Pagetti,
François Revest:
Formal Functionally Deterministic Scheduling.
ISoLA 2007: 33-40 |
| 6 | EE | W. Theurer,
Frédéric Boniol,
Philippe Dhaussy,
Claire Pagetti:
Un cadre conceptuel pour la modélisation multi point de vue de systèmes embarqués.
L'OBJET 13(2-3): 79-110 (2007) |
| 2006 |
|---|
| 5 | EE | Manuel Baclet,
Claire Pagetti:
Around Hopcroft's Algorithm.
CIAA 2006: 114-125 |
| 4 | EE | Albert Cohen,
Marc Duranton,
Christine Eisenbeis,
Claire Pagetti,
Florence Plateau,
Marc Pouzet:
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems.
POPL 2006: 180-193 |
| 2005 |
|---|
| 3 | EE | Albert Cohen,
Marc Duranton,
Christine Eisenbeis,
Claire Pagetti,
Florence Plateau,
Marc Pouzet:
Synchronization of periodic clocks.
EMSOFT 2005: 339-342 |
| 2004 |
|---|
| 2 | EE | Michaël Adélaïde,
Claire Pagetti:
On the Urgency Expressiveness.
FSTTCS 2004: 71-83 |
| 1 | EE | Franck Cassez,
Claire Pagetti,
Olivier H. Roux:
A Timed Extension for ALTARICA.
Fundam. Inform. 62(3-4): 291-332 (2004) |
