 | 2008 |
| 11 |  | James Kapinski,
Alexandre Donzé,
Flavio Lerda,
Hitashyam Maka,
Silke Wagner,
Bruce H. Krogh:
Control software model checking using bisimulation functions for nonlinear systems.
CDC 2008: 4024-4029 |
| 10 |  | Flavio Lerda,
James Kapinski,
Edmund M. Clarke,
Bruce H. Krogh:
Verification of Supervisory Control Software Using State Proximity and Merging.
HSCC 2008: 344-357 |
| 2007 |
| 9 |  | Edmund M. Clarke,
Flavio Lerda:
Model Checking: Software and Beyond.
J. UCS 13(5): 639-649 (2007) |
| 2005 |
| 8 |  | Orna Grumberg,
Flavio Lerda,
Ofer Strichman,
Michael Theobald:
Proof-guided underapproximation-widening for multi-process systems.
POPL 2005: 122-131 |
| 2004 |
| 7 |  | Alex Groce,
Daniel Kroening,
Flavio Lerda:
Understanding Counterexamples with explain.
CAV 2004: 453-456 |
| 6 |  | Edmund M. Clarke,
Daniel Kroening,
Flavio Lerda:
A Tool for Checking ANSI-C Programs.
TACAS 2004: 168-176 |
| 2003 |
| 5 |  | Willem Visser,
Klaus Havelund,
Guillaume P. Brat,
Seungjoon Park,
Flavio Lerda:
Model Checking Programs.
Autom. Softw. Eng. 10(2): 203-232 (2003) |
| 4 |  | Flavio Lerda,
Nishant Sinha,
Michael Theobald:
Symbolic Model Checking of Software.
Electr. Notes Theor. Comput. Sci. 89(3): (2003) |
| 2002 |
| 3 |  | Dimitra Giannakopoulou,
Flavio Lerda:
From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.
FORTE 2002: 308-326 |
| 2001 |
| 2 |  | Flavio Lerda,
Willem Visser:
Addressing Dynamic Issues of Program Model Checking.
SPIN 2001: 80-102 |
| 1999 |
| 1 |  | Flavio Lerda,
Riccardo Sisto:
Distributed-Memory Model Checking with SPIN.
SPIN 1999: 22-39 |