Follow
Guido de Caso
Title
Cited by
Cited by
Year
Automated abstractions for contract validation
G De Caso, V Braberman, D Garbervetsky, S Uchitel
IEEE Transactions on Software Engineering 38 (1), 141-162, 2010
522010
Program abstractions for behaviour validation
G De Caso, V Braberman, D Garbervetsky, S Uchitel
Proceedings of the 33rd International Conference on Software Engineering …, 2011
282011
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
262013
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
262009
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, 279-293, 2013
182013
dkal  ⋆ : Constructing Executable Specifications of Authorization Protocols
JB Jeannin, G de Caso, J Chen, Y Gurevich, P Naldurg, N Swamy
Engineering Secure Software and Systems: 5th International Symposium, ESSoS …, 2013
142013
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
132011
Integrated program verification tools in education
G de Caso, D Garbervetsky, D Gorín
Software: Practice and Experience 43 (4), 403-418, 2013
102013
From primal infon logic with individual variables to datalog
N Bjørner, G de Caso, Y Gurevich
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz …, 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
An introduction to DKAL
A Blass, G De Caso, Y Gurevich
Microsoft Research technical report, MSR-TR-2012-108, 2012
42012
Breve repaso histórico de la computación hogareña en la Argentina
G de Caso
Revista iberoamericana de ciencia tecnología y sociedad 6 (18), 89-104, 2011
42011
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
32011
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
Abstractions for validation in action
G de Caso, V Braberman, D Garbervetsky, S Uchitel
Formal Methods for Model-Driven Engineering: 12th International School on …, 2012
12012
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
Deliverable no.: 5.3/1 TitleofDeliverable: Enabledness-based Program Abstractions for Behaviour Validation
G de Caso, V Braberman, D Garbervetsky, S Uchitel
2014
Modelos abstractos de comportamiento basados en habilitación
G de Caso
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–20