"Boosting the Reuse of Formal Specifications" (2018) Moscato, M.M.;Lopez Pombo, C.G.;Muñoz, C.A. (...)Mahboubi A. 9th International Conference on Interactive Theorem Proving, ITP 2018 Held as Part of the Federated Logic Conference, FloC 2018. 10895 LNCS:477-494

"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

"Specification Patterns: Formal and Easy" (2015) Asteasuain, F.; Braberman, V. International Journal of Software Engineering and Knowledge Engineering. 25(4):669-700

"Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler" (2015) Wainer, G.A.; D'Abreu, M.C. Advances in Engineering Software. 79:111-126

"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

"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

"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

"Synthesizing modal transition systems from triggered scenarios" (2013) Sibay, G.E.; Braberman, V.; Uchitel, S.; Kramer, J. IEEE Transactions on Software Engineering. 39(7):975-1001

"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

"Specification patterns can be formal and still easy" (2010) Asteasuain, F.; Braberman, V. 22nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2010:430-436

"Towards managing dynamic reconfiguration of software systems in a categorical setting" (2010) Castro, P.F.; Aguirre, N.M.; López Pombo, C.G.; Maibaum, T.S.E. 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010. 6255 LNCS:306-321

"Existential live sequence charts revisited" (2008) Sibay, G.; Uchitel, S.; Braberman, V. 30th International Conference on Software Engineering 2008, ICSE'08:41-50

"VTS-based specification and verification of behavioral properties of AADL models" (2008) Monteverde, D.; Olivero, A.; Yovine, S.; Braberman, V. 1st International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB 2008 - Held as Part of the 2008 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008. 503:23-37

"Modal logic as a design notation" (1998) Areces, C.;Felder, M.;Hirsch, D. (...)ACM Special Interest Group on Software Engineering (SIGSOFT) 9th International Workshop on Software Specification and Design, IWSSD 1998:150-152