"Behaviour abstraction adequacy criteria for API call protocol testing" (2016) Czemerinski, H.; Braberman, V.; Uchitel, S. Software Testing Verification and Reliability. 26(3):211-244

"Behaviour abstraction coverage as black-box adequacy criteria" (2013) Czemerinski, H.; Braberman, V.; Uchitel, S. IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013:222-231

"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

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

"Contractor.NET: Inferring typestate properties to enrich code contracts" (2011) Zoppi, E.;Braberman, V.;De Caso, G. (...)Uchitel, S. 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011:44-47

"Program abstractions for behaviour validation" (2011) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 33rd International Conference on Software Engineering, ICSE 2011:381-390

"Behavioural validation of software engineering artefacts" (2010) De Caso, G. 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010. 2:335-336

"Behavioural validation of software engineering artefacts" (2010) De Caso, G. 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010. 2:505-506

"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

"Alloy+HotCore: A fast approximation to unsat core" (2010) D'Ippolito, N.;Frias, M.F.;Galeotti, J.P. (...)Mera, S. 2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010. 5977 LNCS:160-173

"ParAlloy: Towards a framework for efficient parallel analysis of alloy models" (2010) Rosner, N.; Galeotti, J.P.; Lopez Pombo, C.G.; Frias, M.F. 2nd International Conference on Abstract State Machines, Alloy, B and Z, ABZ 2010. 5977 LNCS:396-397

"Abstract processes in orchestration languages" (2009) Buscemi, M.G.; Melgratti, H. 18th European Symposium on Programming, ESOP 2009. 5502:301-315

"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

"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

"Designing the interface of rich internet applications" (2007) Urbieta, M.; Rossi, G.; Ginzburg, J.; Schwabe, D. 2007 Latin American Web Conference, LA-WEB 2007:144-153

"Reasoning about static and dynamic properties in alloy: A purely relational approach" (2005) Frias, M.F.;López Pombo, C.G.;Baum, G.A. (...)Maibaum, T.S.E. ACM Transactions on Software Engineering and Methodology. 14(4):478-526

"Relating higher-order and first-order rewriting" (2005) Bonelli, E.; Kesner, D.; Rios, A. Journal of Logic and Computation. 15(6):901-947