Artículos -

Novel techniques

"BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support" (2015) Rosner, N.;Geldenhuys, J.;Aguirre, N.M. (...)Frias, M.F. IEEE Transactions on Software Engineering. 41(7):639-660

"Parallel bounded verification of alloy models by tranScoping" (2014) Rosner, N.;Pombo, C.G.L.;Aguirre, N. (...)Cohen E. 5th International Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2013. 8164:88-107

"Parallel bounded analysis in code with rich invariants by refinement of field bounds" (2013) Rosner, N.;Galeotti, J.;Bermúdez, S. (...)Frias, M.F. 22nd International Symposium on Software Testing and Analysis, ISSTA 2013:23-33

"Automated abstractions for contract validation" (2012) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. IEEE Transactions on Software Engineering. 38(1):141-162

"A contrario detection of false matches in iris recognition" (2010) Mottalli, M.; Tepper, M.; Mejail, M. 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010. 6419 LNCS:442-449

"Stand alone MOS dosimetry system for high dose ionizing radiation" (2009) Inza, M.G.;Lipovetzky, J.;Redin, E. (...)Faigon, A. Argentine School of Micro-Nanoelectronics, Technology and Applications 2009, EAMTA 2009:27-30

"Validation of contracts using enabledness preserving finite state abstractions" (2009) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 2009 31st International Conference on Software Engineering, ICSE 2009:452-462