Distributed-Memory Model Checking with SPIN. - Flavio Lerda; Riccardo Sisto (SPIN, 1999)

Addressing Dynamic Issues of Program Model Checking. - Flavio Lerda; Willem Visser (SPIN, 2001)

From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. - Dimitra Giannakopoulou; Flavio Lerda (FORTE, 2002)

Model Checking Programs. - Willem Visser; Klaus Havelund; Guillaume P. Brat; Seungjoon Park; Flavio Lerda (Autom. Softw. Eng., 2003)

Symbolic Model Checking of Software. - Flavio Lerda; Nishant Sinha 001; Michael Theobald (SoftMC@CAV, 2003)

Understanding Counterexamples with explain. - Alex Groce; Daniel Kroening; Flavio Lerda (CAV, 2004)

A Tool for Checking ANSI-C Programs. - Edmund M. Clarke; Daniel Kroening; Flavio Lerda (TACAS, 2004)

Proof-guided underapproximation-widening for multi-process systems. - Orna Grumberg; Flavio Lerda; Ofer Strichman; Michael Theobald (POPL, 2005)

Model Checking: Software and Beyond. - Edmund M. Clarke; Flavio Lerda (J. Univers. Comput. Sci., 2007)

Model checking in-the-loop: Finding counterexamples by systematic simulation. - Flavio Lerda; James Kapinski; Hitashyam Maka; Edmund M. Clarke; Bruce H. Krogh (ACC, 2008)

Control software model checking using bisimulation functions for nonlinear systems. - James Kapinski; Alexandre Donzé; Flavio Lerda; Hitashyam Maka; Silke Wagner; Bruce H. Krogh (CDC, 2008)

Verification of Supervisory Control Software Using State Proximity and Merging. - Flavio Lerda; James Kapinski; Edmund M. Clarke; Bruce H. Krogh (HSCC, 2008)