A toolsuite for the verification of real-time systems in Eclipse. - Lucía Cavatorta; Guido de Caso; Andrés Ferrari; Víctor A. Braberman; Diego Garbervetsky; Nicolas Kicillof; Fernando Schapachnik; Alfredo Olivero (ETX, 2006)

Validation of contracts using enabledness preserving finite state abstractions. - Guido de Caso; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (ICSE, 2009)

Behavioural validation of software engineering artefacts. - Guido de Caso (ICSE (2), 2010)

Reducing the Number of Annotations in a Verification-oriented Imperative Language - Guido de Caso; Diego Garbervetsky; Daniel Gorín (CoRR, 2010)

Program abstractions for behaviour validation. - Guido de Caso; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (ICSE, 2011)

Pest: from the lab to the classroom. - Guido de Caso; Diego Garbervetsky; Daniel Gorín (TOPI@ICSE, 2011)

Contractor.NET: inferring typestate properties to enrich code contracts. - Edgardo Zoppi; Víctor A. Braberman; Guido de Caso; Diego Garbervetsky; Sebastián Uchitel (TOPI@ICSE, 2011)

From Primal Infon Logic with Individual Variables to Datalog. - Nikolaj S. Bjørner; Guido de Caso; Yuri Gurevich (Correct Reasoning, 2012)

Abstractions for Validation in Action. - Guido de Caso; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (SFM, 2012)

Automated Abstractions for Contract Validation. - Guido de Caso; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (IEEE Trans. Software Eng., 2012)

dkal ⋆ : Constructing Executable Specifications of Authorization Protocols. - Jean-Baptiste Jeannin; Guido de Caso; Juan Chen 002; Yuri Gurevich; Prasad Naldurg; Nikhil Swamy (ESSoS, 2013)

Supporting incremental behaviour model elaboration. - Sebastián Uchitel; Dalal Alrajeh; Shoham Ben-David; Víctor A. Braberman; Marsha Chechik; Guido de Caso; Nicolás D'Ippolito; Dario Fischbein; Diego Garbervetsky; Jeff Kramer; Alessandra Russo; German E. Sibay (Comput. Sci. Res. Dev., 2013)

Integrated program verification tools in education. - Guido de Caso; Diego Garbervetsky; Daniel Gorín (Softw. Pract. Exp., 2013)

Enabledness-based program abstractions for behavior validation. - Guido de Caso; Víctor A. Braberman; Diego Garbervetsky; Sebastián Uchitel (ACM Trans. Softw. Eng. Methodol., 2013)

Testing and validating end user programmed calculated fields. - Víctor A. Braberman; Diego Garbervetsky; Javier Godoy; Sebastián Uchitel; Guido de Caso; Ignacio Perez; Santiago Pérez (ESEC/SIGSOFT FSE, 2018)