Rodrigo Castaño

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 3

Top Topics

Propositional Satisfiability

Formal Verification

Top Venues

Theor. Comput. Sci.

Publications

Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Verification Coverage. CoRR (2017)
Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Model checker execution reports. ASE (2017)
Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel
Model Checker Execution Reports. CoRR (2016)
Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi
On Verifying Resource Contracts using Code Contracts. LAFM (2013)
José M. Castaño, Rodrigo Castaño
A finite state intersection approach to propositional satisfiability. Theor. Comput. Sci. 450 (2012)
José M. Castaño, Rodrigo Castaño
Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability. CIAA (2011)