Flavio Lerda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2002–2005
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | POPL | Proof-guided underapproximation-widening for multi-process systems. | Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald |
| 2004 | CAV | Understanding Counterexamples with explain. | Alex Groce, Daniel Kroening, Flavio Lerda |
| 2004 | TACAS | A Tool for Checking ANSI-C Programs. | Edmund M. Clarke, Daniel Kroening, Flavio Lerda |
| 2002 | FORTE | From States to Transitions: Improving Translation of LTL Formulae to Bchi Automata. | Dimitra Giannakopoulou, Flavio Lerda |