Follow
Rodrigo Castaño
Rodrigo Castaño
Computer Science Dept., University of Buenos Aires
Verified email at dc.uba.ar - Homepage
Title
Cited by
Cited by
Year
Model checker execution reports
R Castaño, V Braberman, D Garbervetsky, S Uchitel
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
172017
A finite state intersection approach to propositional satisfiability
JM Castaño, R Castaño
Theoretical Computer Science 450, 92-108, 2012
32012
Variable and clause ordering in an FSA approach to propositional satisfiability
JM Castaño, R Castaño
Implementation and Application of Automata: 16th International Conference …, 2011
32011
Verification coverage
R Castaño, V Braberman, D Garbervetsky, S Uchitel
arXiv preprint arXiv:1706.03796, 2017
22017
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
On Verifying Resource Contracts using Code Contracts
R Castaño, JP Galeotti, D Garbervetsky, J Tapicer, E Zoppi
EPTCS 139, 1-15, 2013
2013
Dedicado...
A mis compañéros de cursada Rogelio, FP Mita, L Taravilse, K Borgna, ...
The system can't perform the operation now. Try again later.
Articles 1–8