"Formal specification and implementation of an automated pattern-based parallel-code generation framework" (2017) Pérez, G.; Yovine, S. International Journal on Software Tools for Technology Transfer:1-20

"Formal specification and implementation of an automated pattern-based parallel-code generation framework" (2017) Pérez, G.; Yovine, S. International Journal on Software Tools for Technology Transfer:1-20

"A formal analysis of the global sequence protocol" (2016) Melgratti, H.; Roldán, C.; Lafuente A.L.; Proenca J. 18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016. 9686:175-191

"Categorical foundations for structured specifications in Z" (2015) Castro, P.F.; Aguirre, N.; Pombo, C.L.; Maibaum, T.S.E. Formal Aspects of Computing. 27(5-6):831-865

"The DynAlloy visualizer" (2014) Bendersky, P.;Galeotti, J.P.;Garbervetsky, D. (...)Aguirre N. 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:59-64

"On verifying resource contracts using code contracts" (2014) Castaño, R.;Garbervetsky, D.;Tapicer, J. (...)Aguirre N. 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:1-15

"HeteroGenius: A framework for hybrid analysis of heterogeneous software specifications" (2014) Giménez, M.;Moscato, M.M.;Pombo, C.G.L. (...)Aguirre N. 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:65-70

"Integrated program verification tools in education" (2013) De Caso, G.; Garbervetsky, D.; Gorín, D. Software - Practice and Experience. 43(4):403-418

"Integrated program verification tools in education" (2013) De Caso, G.; Garbervetsky, D.; Gorín, D. Software - Practice and Experience. 43(4):403-418

"Abstractions for validation in action" (2012) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012. 7320 LNCS:192-218

"Permissions in contracts, a logical insight" (2011) Pace, G.J.; Schapachnik, F. Frontiers in Artificial Intelligence and Applications. 235:140-144

"A dataflow analysis to improve SAT-based bounded program verification" (2011) Cuervo Parrino, B.; Galeotti, J.P.; Garbervetsky, D.; Frias, M.F. 9th International Conference on Software Engineering and Formal Methods, SEFM 2011. 7041 LNCS:138-154

"On the formal semantics of IF-like logics" (2010) Figueira, S.; Gorín, D.; Grimson, R. Journal of Computer and System Sciences. 76(5):333-346

"An integrated workbench for model-based engineering of service compositions" (2010) Foster, H.; Uchitel, S.; Magee, J.; Kramer, J. IEEE Transactions on Services Computing. 3(2):131-144

"Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements" (2010) Moscato, M.M.; López Pombo, C.G.; Frias, M.F. 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010. 6255 LNCS:275-289

"Partial behaviour modelling: Foundations for incremental and iterative model-based software engineering" (2009) Uchitel, S. 12th Brazilian Symposium on Formal Methods, SBMF 2009. 5902 LNCS:17-22

"Towards abstraction for DynAlloy specifications" (2008) Aguirre, N.M.;Frias, M.F.;Ponzio, P. (...)Regis, G. 10th International Conference on Formal Engineering Methods, ICFEM 2008. 5256 LNCS:207-225

"Using a scenario model to derive the functions of a formal specification" (2001) Mauco, M.V.; Riesco, D.; George, C. 8th Asia Pacific Software Engineering Conference APSEC'2001:329-332