 | 2007 |
|---|
| 4 |       | Paul Gastin,
Pierre Moro:
Minimal Counterexample Generation for SPIN.
SPIN 2007: 24-38 |
| 2006 |
|---|
| 3 | | Ahmed Bouajjani,
Marius Bozga,
Peter Habermehl,
Radu Iosif,
Pierre Moro,
Tomás Vojnar:
Programs with Lists Are Counter Automata.
CAV 2006: 517-531 |
| 2005 |
|---|
| 2 | | Ahmed Bouajjani,
Peter Habermehl,
Pierre Moro,
Tomás Vojnar:
Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking.
TACAS 2005: 13-29 |
| 2004 |
|---|
| 1 | | Paul Gastin,
Pierre Moro,
Marc Zeitoun:
Minimization of Counterexamples in SPIN.
SPIN 2004: 92-108 |
