Concepedia

Roberto Cavada

RC

8

Publications

310

Citations

8

H-Index

2003

Active since

Affiliations

Fondazione Bruno Kessler(Current)

Construction Technologies Institute

Graz University of Technology

Tata Institute of Fundamental Research

Roberto Cavada is an author at Fondazione Bruno Kessler specializing in computer science, formal verification, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSoftware DesignSoftware EngineeringVerificationProgram AnalysisSoftware AnalysisSystems Engineering

Publications per year

2003–2018

8

Publications

8

Formal verification of diagnosability via symbolic model checking

Alessandro Cimatti, Charles Pecheur, Roberto Cavada · 2003 · 117 citations

Formal analysis of hardware requirements

Ingo Pill, S. Semprini, Roberto Cavada et al. · 2006 · 52 citations

Hardware Modeling, Engineering, Hardware Verification Language +22

Computing Predicate Abstractions by Integrating BDDs and SMT Solvers

Roberto Cavada, Alessandro Cimatti, Anders Franzén et al. · Formal Methods in Computer-Aided Design · 2007 · 45 citations

Engineering, Software Engineering, Predicate Abstractions +18

Computing Predicate Abstractions by Integrating BDDs and SMT Solvers

Roberto Cavada, Alessandro Cimatti, Anders Franzén et al. · 2007 · 27 citations

Engineering, Software Engineering, Predicate Abstractions +18

Formal Verification and Validation of AADL Models

Marco Bozzano, Roberto Cavada, Alessandro Cimatti et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2010 · 22 citations · Full text

Engineering, Technical Safety, Verification +25

Rows per page

1–5 of 8