Guido de Caso
TitleCited byYear
Automated abstractions for contract validation
G de Caso, V Braberman, D Garbervetsky, S Uchitel
IEEE Transactions on Software Engineering 38 (1), 141-162, 2010
372010
Program abstractions for behaviour validation
G de Caso, V Braberman, D Garbervetsky, S Uchitel
Proceedings of the 33rd International Conference on Software Engineering …, 2011
222011
Validation of contracts using enabledness preserving finite state abstractions
G de Caso, V Braberman, D Garbervetsky, S Uchitel
2009 IEEE 31st International Conference on Software Engineering, 452-462, 2009
222009
Enabledness-based program abstractions for behavior validation
GD Caso, V Braberman, D Garbervetsky, S Uchitel
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (3), 1-46, 2013
172013
Supporting incremental behaviour model elaboration
S Uchitel, D Alrajeh, S Ben-David, V Braberman, M Chechik, G De Caso, ...
Computer Science-Research and Development 28 (4), 279-293, 2013
152013
dkal  ⋆ : Constructing Executable Specifications of Authorization Protocols
JB Jeannin, G de Caso, J Chen, Y Gurevich, P Naldurg, N Swamy
International Symposium on Engineering Secure Software and Systems, 139-154, 2013
132013
Contractor. net: inferring typestate properties to enrich code contracts
E Zoppi, V Braberman, G de Caso, D Garbervetsky, S Uchitel
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 44-47, 2011
122011
From primal infon logic with individual variables to datalog
N Bjørner, G De Caso, Y Gurevich
Correct Reasoning, 72-86, 2012
92012
Reducing the number of annotations in a verification-oriented imperative language
G De Caso, D Garbervetsky, D Gorín
arXiv preprint arXiv:1011.3407, 2010
72010
Integrated program verification tools in education
G de Caso, D Garbervetsky, D Gorín
Software: Practice and Experience 43 (4), 403-418, 2013
62013
An introduction to DKAL
A Blass, G De Caso, Y Gurevich
Microsoft Research technical report, MSR-TR-2012-108, 2012
32012
Pest: from the lab to the classroom
G De Caso, D Garbervetsky, D Gorín
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 5-8, 2011
22011
Zenet: Generating and enforcing real-time temporal invariants
C Lewis
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
22010
Pest formal specification
G de Caso, D Garbervetsky, D Gorín
Technical report, Universidad de Buenos Aires, http://lafhis. dc. uba. ar …, 2008
22008
Testing and validating end user programmed calculated fields
V Braberman, D Garbervetsky, J Godoy, S Uchitel, G de Caso, I Perez, ...
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
12018
Sound performance investigation of composite materials for the soundbox of a membrane musical instrument
RC Acet, FS Saati
The 22nd International Congress on Sound and Vibration (ICSV22), 2015
12015
Abstractions for validation in action
G De Caso, V Braberman, D Garbervetsky, S Uchitel
International School on Formal Methods for the Design of Computer …, 2012
12012
Breve repaso histórico de la computación hogareña en la Argentina
G de Caso
Revista Iberoamericana de Ciencia, Tecnología y Sociedad-CTS 6 (18), 2011
12011
A toolsuite for the verification of real-time systems in Eclipse
L Cavatorta, G De Caso, A Ferrari, V Braberman, D Garbervetsky, ...
Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange, 35-39, 2006
12006
Historia de la computación: la dificultad de mirar hacia atrás
G de Caso
Revista iberoamericana de ciencia tecnología y sociedad 10, 149-152, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–20