|
Search the dblp DataBase
Roberto Cavada:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. [Citation Graph (, )][DBLP]
Supporting Requirements Validation: The EuRailCheck Tool. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
|