According to our database1, Roberto Cavada authored at least 10 papers between 2003 and 2018.
Legend:Book In proceedings Article PhD thesis Other
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
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the FM 2016: Formal Methods, 2016
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011
Proceedings of the ASE 2009, 2009
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
Proceedings of the 43rd Design Automation Conference, 2006
Proceedings of the IJCAI-03, 2003