Flavio Lerda

Publication Activity (10 Years)

Years Active: 1999-2008
Publications (10 Years): 0

Publications

Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh
Verification of Supervisory Control Software Using State Proximity and Merging. HSCC (2008)
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)
Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh
Model checking in-the-loop: Finding counterexamples by systematic simulation. ACC (2008)
Edmund M. Clarke, Flavio Lerda
Model Checking: Software and Beyond. J. Univers. Comput. Sci. 13 (5) (2007)
Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald
Proof-guided underapproximation-widening for multi-process systems. POPL (2005)
Alex Groce, Daniel Kroening, Flavio Lerda
Understanding Counterexamples with explain. CAV (2004)
Edmund M. Clarke, Daniel Kroening, Flavio Lerda
A Tool for Checking ANSI-C Programs. TACAS (2004)
Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda
Model Checking Programs. Autom. Softw. Eng. 10 (2) (2003)
Flavio Lerda, Nishant Sinha, Michael Theobald
Symbolic Model Checking of Software. Electron. Notes Theor. Comput. Sci. 89 (3) (2003)
Dimitra Giannakopoulou, Flavio Lerda
From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. FORTE (2002)
Flavio Lerda, Willem Visser
Addressing Dynamic Issues of Program Model Checking. SPIN (2001)
Flavio Lerda, Riccardo Sisto
Distributed-Memory Model Checking with SPIN. SPIN (1999)