Guido de Caso

	2012
7		Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Automated Abstractions for Contract Validation. IEEE Trans. Software Eng. 38(1): 141-162 (2012)
	2011
6		Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Program abstractions for behaviour validation. ICSE 2011: 381-390
	2010
5		Guido de Caso: Behavioural validation of software engineering artefacts. ICSE (2) 2010: 335-336
4		Guido de Caso: Behavioural validation of software engineering artefacts. ICSE (2) 2010: 505-506
3		Guido de Caso, Diego Garbervetsky, Daniel Gorín: Reducing the Number of Annotations in a Verification-oriented Imperative Language CoRR abs/1011.3407: (2010)
	2009
2		Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Validation of contracts using enabledness preserving finite state abstractions. ICSE 2009: 452-462
	2006
1		Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero: A toolsuite for the verification of real-time systems in Eclipse. ETX 2006: 35-39

Coauthor Index

1	Víctor A. Braberman	[1] [2] [6] [7]
2	Lucía Cavatorta	[1]
3	Andrés Ferrari	[1]
4	Diego Garbervetsky	[1] [2] [3] [6] [7]
5	Daniel Gorín	[3]
6	Nicolas Kicillof	[1]
7	Alfredo Olivero	[1]
8	Fernando Schapachnik	[1]
9	Sebastián Uchitel	[2] [6] [7]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page