"Verification of WRF-ARW convective-resolving forecasts over Southeastern South America" (2015) Matsudo, C.;Garcia Skabar, Y.;Ruiz, J.J. (...)Salio, P. Mausam. 66(3):445-456

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

"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

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

"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

"Pest: From the lab to the classroom" (2011) De Caso, G.; Garbervetsky, D.; Gorín, D. 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011:5-8

"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

"Hypervolume approximation in timed automata model checking" (2007) Braberman, V.; Obes, J.L.; Olivero, A.; Schapachnik, F. 5th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2007. 4763 LNCS:69-81

"Alloy Analyzer+PVS in the analysis and verification of Alloy specifications" (2007) Frias, M.F.; Lopez Pombo, C.G.; Moscato, M.M. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (TACAS 2007). 4424 LNCS:587-601

"A toolsuite for the verification of real-time systems in Eclipse" (2006) Cavatorta, L.;De Caso, G.;Ferrari, A. (...)Olivero, A. 2006 OOPSLA Workshop on Eclipse Technology eXchange, ETX 2006:35-39

"Duration properties over real time system designs" (2000) Braberman, V.; Pieniazek, F.; IEEE Computer Society Technical Committee on Software Engineering 10th International Workshop on Software Specification and Design, IWSSD 2000:51-61

"Static checking of system behaviors using derived component assumptions" (2000) Inverardi, P.; Wolf, A.L.; Yankelevich, D. ACM Transactions on Software Engineering and Methodology. 9(3):239-272