Flavio Lerda

According to our database, Flavio Lerda authored at least 12 papers between 1999 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Verification of Supervisory Control Software Using State Proximity and Merging.

Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Control software model checking using bisimulation functions for nonlinear systems.

James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Model checking in-the-loop: Finding counterexamples by systematic simulation.

Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh

Proceedings of the American Control Conference, 2008

2007

Model Checking: Software and Beyond.

Edmund M. Clarke, Flavio Lerda

J. Univers. Comput. Sci., 2007

2005

Proof-guided underapproximation-widening for multi-process systems.

Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004

A Tool for Checking ANSI-C Programs.

Edmund M. Clarke, Daniel Kroening, Flavio Lerda

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Understanding Counterexamples with explain.

Alex Groce, Daniel Kroening, Flavio Lerda

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Symbolic Model Checking of Software.

Flavio Lerda, Nishant Sinha, Michael Theobald

Proceedings of the 2003 Workshop on Software Model Checking, 2003

Model Checking Programs.

Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda

Autom. Softw. Eng., 2003

2002

From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.

Dimitra Giannakopoulou, Flavio Lerda

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

Addressing Dynamic Issues of Program Model Checking.

Flavio Lerda, Willem Visser

Proceedings of the Model Checking Software, 2001

1999

Distributed-Memory Model Checking with SPIN.

Flavio Lerda, Riccardo Sisto

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999