| 2007 |
|---|
| 5 | EE | Frédéric Herbreteau,
Grégoire Sutre,
The Quang Tran:
Unfolding Concurrent Well-Structured Transition Systems.
TACAS 2007: 706-720 |
| 2006 |
|---|
| 4 | EE | Bernard Boigelot,
Frédéric Herbreteau:
The Power of Hybrid Acceleration.
CAV 2006: 438-451 |
| 2003 |
|---|
| 3 | EE | Bernard Boigelot,
Frédéric Herbreteau,
Sébastien Jodogne:
Hybrid Acceleration Using Real Vector Automata (Extended Abstract).
CAV 2003: 193-205 |
| 2002 |
|---|
| 2 | EE | Frédéric Herbreteau,
Franck Cassez,
Alain Finkel,
Olivier Roux,
Grégoire Sutre:
Verification of Embedded Reactive Fiffo Systems.
LATIN 2002: 400-414 |
| 2001 |
|---|
| 1 | | Frédéric Herbreteau,
Franck Cassez,
Olivier Roux:
Application of Partial-Order Methods to Reactive Programs with Event Memorization.
Real-Time Systems 20(3): 287-316 (2001) |
