Flavio Lerda Home Page - Publications

Publications

This is a list of my publications together with a bibtex entry and a link to an online version of the papers.

Model Checking In-The-Loop
Flavio Lerda, James P. Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh
Proc. of the 27th American Control Conference. 2008.
(ps) (pdf) (bibtex)
Verification of Supervisory Control Software Using State Proximity and Merging
Flavio Lerda, James P. Kapinski, Edmund M. Clarke, Bruce H. Krogh
Proc. of the 11th International Workshop on Hybrid Systems: Computation and Control. 2008.
(ps) (pdf) (bibtex)
Model Checking: Software and Beyond
Edmund M. Clarke, Flavio Lerda
Computer Society of India Communications, 31(2). 2007.
Journal of Universal Computer Science, 13(5). 2007.
(ps) (pdf) (bibtex)
An Abstraction Technique for Real-Time Verification
Edmund M. Clarke, Flavio Lerda, and Muralidhar Talupur
Proc. of the GM R&D Workshop on Next Generation Design and Verification Methodologies for Distributed Embedded Control System. 2007.
(ps) (pdf) (bibtex)
Model Checking of Robotic Control Systems
Sebastian Scherer, Flavio Lerda, Edmund Clarke
Proc. of the 8th International symposium on Artificial Intelligence, Robotics and Automation in Space. 2005.
(ps) (pdf) (bibtex)
Proof-Guided Underapproximation-Widening for Multi-Process Systems
Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald
Proc. of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). 2005.
(ps) (pdf) (bibtex)
The Influence of Read-Write Theory on Software Engineering
Flavio Lerda
Unpublished. 2004 (disclaimer)
(ps) (pdf)
Understanding Counterexamples with explain
Alex Groce, Daniel Kroening, and Flavio Lerda
Proc. of the 16th International Conference on Computer Aided Verification (CAV). Volume 3114 of Lecture Notes in Computer Science. 2004
(ps) (pdf) (bibtex)
A Tool for Checking ANSI-C Programs
Daniel Kroening, Edmund Clarke, Flavio Lerda
Lecture Notes in Computer Science, Volume 2988
(ps) (pdf) (bibtex)
Symbolic Model Checking of Software
Flavio Lerda, Nishant Sinha, Michael Theobald
Electronic Notes in Theoretical Computer Science, Volume 89 Issue 3
(ps) (pdf) (bibtex) (source code)
Model Checking Programs
Willem Visser, Klaus Havelund, Guillaume Brat, Seungjoon Park, Flavio Lerda
Automated Software Engineering, April 2003, Volume 10 Issue 2
(abstract) (ps) (pdf) (bibtex)
From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata
Dimitra Giannakopoulou, Flavio Lerda
Proc. of the 22nd Formal Techniques for Networked and Distributed Systems (FORTE) IFIP WG 6.1 International Conference. Volume 2529 of Lecture Notes in Computer Science. 2002
(ps) (pdf) (bibtex)
Addressing Dynamic Issues of Program Model Checking
Flavio Lerda, Willem Visser
Proc. of the 8th International SPIN Workshop. Volume 2057 of Lecture Notes in Computer Science. 2001
(ps) (pdf) (bibtex)
Distributed-Memory Model Checking with SPIN
Flavio Lerda, Riccardo Sisto
Proc. of the 5th International SPIN Workshop. Volume 1680 of Lecture Notes in Computer Science. 2000
(ps) (pdf) (bibtex)
Flavio Lerda Home Page - Publications