The SCEAS System
Navigation Menu

Search the dblp DataBase


Flavio Lerda: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alex Groce, Daniel Kroening, Flavio Lerda
    Understanding Counterexamples with explain. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:453-456 [Conf]
  2. Dimitra Giannakopoulou, Flavio Lerda
    From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:308-326 [Conf]
  3. Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald
    Proof-guided underapproximation-widening for multi-process systems. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:122-131 [Conf]
  4. Flavio Lerda, Riccardo Sisto
    Distributed-Memory Model Checking with SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:22-39 [Conf]
  5. Flavio Lerda, Willem Visser
    Addressing Dynamic Issues of Program Model Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:80-102 [Conf]
  6. Edmund M. Clarke, Daniel Kroening, Flavio Lerda
    A Tool for Checking ANSI-C Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:168-176 [Conf]
  7. Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda
    Model Checking Programs. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2003, v:10, n:2, pp:203-232 [Journal]
  8. Flavio Lerda, Nishant Sinha, Michael Theobald
    Symbolic Model Checking of Software. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]

  9. Verification of Supervisory Control Software Using State Proximity and Merging. [Citation Graph (, )][DBLP]

  10. Control software model checking using bisimulation functions for nonlinear systems. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002