| 2008 |
|---|
| 7 | | 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 |
| 2007 |
|---|
| 6 | | Frédéric Boniol,
Claire Pagetti,
François Revest:
Formal Functionally Deterministic Scheduling.
ISoLA 2007: 33-40 |
| 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) |
