Guido de Caso

According to our database, Guido de Caso authored at least 15 papers between 2006 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

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

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

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

Integrated program verification tools in education.

Guido de Caso, Diego Garbervetsky, Daniel Gorín

Softw. Pract. Exp., 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

dkal ⋆ : Constructing Executable Specifications of Authorization Protocols.

Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

2012

Automated Abstractions for Contract Validation.

Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel

IEEE Trans. Software Eng., 2012

Abstractions for Validation in Action.

Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel

Proceedings of the Formal Methods for Model-Driven Engineering, 2012

From Primal Infon Logic with Individual Variables to Datalog.

Nikolaj S. Bjørner, Guido de Caso, Yuri Gurevich

Proceedings of the Correct Reasoning, 2012

2011

Contractor.NET: inferring typestate properties to enrich code contracts.

Edgardo Zoppi, Víctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel

Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

Pest: from the lab to the classroom.

Guido de Caso, Diego Garbervetsky, Daniel Gorín

Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

Program abstractions for behaviour validation.

Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Reducing the Number of Annotations in a Verification-oriented Imperative Language

Guido de Caso, Diego Garbervetsky, Daniel Gorín

CoRR, 2010

Behavioural validation of software engineering artefacts.

Guido de Caso

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Validation of contracts using enabledness preserving finite state abstractions.

Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel

Proceedings of the 31st International Conference on Software Engineering, 2009

2006

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

Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006