| * | 2008 |
|---|
| 7 | EE | Sébastien Bardin,
Philippe Herrmann:
Structural Testing of Executables.
ICST 2008: 22-31 |
| 6 | EE | Sébastien Bardin,
Alain Finkel,
Jérôme Leroux,
Laure Petrucci:
FAST: acceleration from theory to practice.
STTT 10(5): 401-424 (2008) |
| 2006 |
|---|
| 5 | EE | Sébastien Bardin,
Jérôme Leroux,
Gérald Point:
FAST Extended Release.
CAV 2006: 63-66 |
| 2005 |
|---|
| 4 | EE | Sébastien Bardin,
Alain Finkel,
Jérôme Leroux,
Ph. Schnoebelen:
Flat Acceleration in Symbolic Model Checking.
ATVA 2005: 474-488 |
| 2004 |
|---|
| 3 | EE | Sébastien Bardin,
Alain Finkel:
Composition of Accelerations to Verify Infinite Heterogeneous Systems.
ATVA 2004: 248-262 |
| 2 | EE | Sébastien Bardin,
Alain Finkel,
Jérôme Leroux:
FASTer Acceleration of Counter Automata in Practice.
TACAS 2004: 576-590 |
| 2003 |
|---|
| 1 | EE | Sébastien Bardin,
Alain Finkel,
Jérôme Leroux,
Laure Petrucci:
FAST: Fast Acceleration of Symbolikc Transition Systems.
CAV 2003: 118-121 |
