Rodrigo Castaño

According to our database, Rodrigo Castaño authored at least 5 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Verification Coverage.

Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel

CoRR, 2017

Model checker execution reports.

Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2013

On Verifying Resource Contracts using Code Contracts.

Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

2012

A finite state intersection approach to propositional satisfiability.

José M. Castaño, Rodrigo Castaño

Theor. Comput. Sci., 2012

2011

Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability.

José M. Castaño, Rodrigo Castaño

Proceedings of the Implementation and Application of Automata, 2011