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 |