| 2008 |
|---|
| 5 | EE | María-del-Mar Gallardo,
Pedro Merino,
David Sanán:
Model Checking C Programs with Dynamic Memory Allocation.
COMPSAC 2008: 219-226 |
| 2007 |
|---|
| 4 | EE | María-del-Mar Gallardo,
Pedro Merino,
Christophe Joubert,
David Sanán:
On-the-fly model checking for C programs with extended CADP in FMICS-jETI.
ICECCS 2007: 321-329 |
| 3 | | M. Mar Gallardo,
Pedro Merino,
David Sanán:
Extending CADP for Analyzing C Code.
MSVVEIS 2007: 104-113 |
| 2 | EE | María-del-Mar Gallardo,
Christophe Joubert,
Pedro Merino,
David Sanán:
C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.
SPIN 2007: 268-273 |
| 2006 |
|---|
| 1 | | María-del-Mar Gallardo,
Pedro Merino,
David Sanán:
Towards Model Checking C Code with OPEN/CÆSAR.
MSVVEIS 2006: 198-201 |
