The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roberto Cavada: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti
    Formal analysis of hardware requirements. [Citation Graph (0, 0)][DBLP]
    DAC, 2006, pp:821-826 [Conf]
  2. Alessandro Cimatti, Charles Pecheur, Roberto Cavada
    Formal Verification of Diagnosability via Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:363-369 [Conf]
  3. Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev
    RAT: A Tool for the Formal Analysis of Requirements. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:263-267 [Conf]

  4. Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. [Citation Graph (, )][DBLP]


  5. Supporting Requirements Validation: The EuRailCheck Tool. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002