Roberto Cavada

According to our database1, Roberto Cavada authored at least 10 papers between 2003 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2016
The xSAP Safety Analysis Platform.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Model-Based Design of an Energy-System Embedded Controller Using Taste.
Proceedings of the FM 2016: Formal Methods, 2016

2014
The nuXmv Symbolic Model Checker.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2011
OthelloPlay: a plug-in based tool for requirement formalization and validation.
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

2009
Supporting Requirements Validation: The EuRailCheck Tool.
Proceedings of the ASE 2009, 2009

2007
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers.
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

RAT: A Tool for the Formal Analysis of Requirements.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
Formal analysis of hardware requirements.
Proceedings of the 43rd Design Automation Conference, 2006

2003
Formal Verification of Diagnosability via Symbolic Model Checking.
Proceedings of the IJCAI-03, 2003


  Loading...