Rodrigo Castaño
Rodrigo Castaño
Computer Science Dept., University of Buenos Aires
Verified email at dc.uba.ar - Homepage
TitleCited byYear
Model checker execution reports
R Castaño, V Braberman, D Garbervetsky, S Uchitel
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
62017
Variable and clause ordering in an FSA approach to propositional satisfiability
JM Castaño, R Castaño
International Conference on Implementation and Application of Automata, 76-87, 2011
22011
A finite state intersection approach to propositional satisfiability
JM Castaño, R Castaño
Theoretical Computer Science 450, 92-108, 2012
12012
Propositional satisfiability (sat) as a language problem
R Castano, JM Castano
XVII Congreso Argentino de Ciencias de la Computación, 2011
12011
Análisis de ejecuciones parciales de Software Model Checkers
R Castaño
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2018
2018
Verification Coverage
R Castaño, V Braberman, D Garbervetsky, S Uchitel
arXiv preprint arXiv:1706.03796, 2017
2017
On Verifying Resource Contracts using Code Contracts
R Castaño, JP Galeotti, D Garbervetsky, J Tapicer, E Zoppi
EPTCS 139, 1-15, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–7