 | 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 |
