| Automated abstractions for contract validation G De Caso, V Braberman, D Garbervetsky, S Uchitel IEEE Transactions on Software Engineering 38 (1), 141-162, 2010 | 53 | 2010 |
| Program abstractions for behaviour validation G De Caso, V Braberman, D Garbervetsky, S Uchitel Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 28 | 2011 |
| 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 | 26 | 2013 |
| 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 | 26 | 2009 |
| 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 | 18 | 2013 |
| 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 | 14 | 2013 |
| 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 | 13 | 2011 |
| Integrated program verification tools in education G de Caso, D Garbervetsky, D Gorín Software: Practice and Experience 43 (4), 403-418, 2013 | 10 | 2013 |
| 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 | 9 | 2012 |
| 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 | 7 | 2010 |
| An introduction to DKAL A Blass, G De Caso, Y Gurevich Microsoft Research technical report, MSR-TR-2012-108, 2012 | 4 | 2012 |
| 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 | 4 | 2011 |
| 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 | 3 | 2011 |
| Pest formal specification G de Caso, D Garbervetsky, D Gorín Technical report, Universidad de Buenos Aires, http://lafhis. dc. uba. ar …, 2008 | 2 | 2008 |
| 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 | 1 | 2018 |
| 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 | 1 | 2012 |
| 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 | 1 | 2006 |
| 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 |
Diego GarbervetskyDepartment of Computer Science, Universidad de Buenos Aires. ICC-CONICET在 dc.uba.ar 的电子邮件经过验证
