Flavio Lerda

12 papers A* 2A 1C 2Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2008 — conf
Control software model checking using bisimulation functions for nonlinear systems.
CDC
James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh
2008 C conf
Model checking in-the-loop: Finding counterexamples by systematic simulation.
ACC
Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh
2008 — conf
Verification of Supervisory Control Software Using State Proximity and Merging.
HSCC
Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh
2007 J jnl
Model Checking: Software and Beyond.
J. Univers. Comput. Sci.
Edmund M. Clarke, Flavio Lerda
2005 A* conf
Proof-guided underapproximation-widening for multi-process systems.
POPL
Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald
2004 A conf
A Tool for Checking ANSI-C Programs.
TACAS
Edmund M. Clarke, Daniel Kroening, Flavio Lerda
2004 A* conf
Understanding Counterexamples with explain.
CAV
Alex Groce, Daniel Kroening, Flavio Lerda
2003 J jnl
Model Checking Programs.
Autom. Softw. Eng.
Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda
2003 — conf
Symbolic Model Checking of Software.
SoftMC@CAV
Flavio Lerda, Nishant Sinha, Michael Theobald
2002 C conf
From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.
FORTE
Dimitra Giannakopoulou, Flavio Lerda
2001 — conf
Addressing Dynamic Issues of Program Model Checking.
SPIN
Flavio Lerda, Willem Visser
1999 — conf
Distributed-Memory Model Checking with SPIN.
SPIN
Flavio Lerda, Riccardo Sisto