Guido de Caso Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Guido de Caso, Diego Garbervetsky, Daniel Gorín: Integrated program verification tools in education. Softw., Pract. Exper. 43(4): 403-418 (2013)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy: dkal ⋆ : Constructing Executable Specifications of Authorization Protocols. ESSoS 2013: 139-154
2012
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nikolaj Bjørner, Guido de Caso, Yuri Gurevich: From Primal Infon Logic with Individual Variables to Datalog. Correct Reasoning 2012: 72-86
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Abstractions for Validation in Action. SFM 2012: 192-218
2011
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel: Program abstractions for behaviour validation. ICSE 2011: 381-390
2010
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Guido de Caso: Behavioural validation of software engineering artefacts. ICSE (2) 2010: 335-336
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Guido de Caso: Behavioural validation of software engineering artefacts. ICSE (2) 2010: 505-506
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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

1Nikolaj Bjørner
[c7]
2Víctor A. Braberman
[j1] [c6] [c5] [c2] [c1]
3Lucía Cavatorta
[c1]
4Juan Chen
[c8]
5Andrés Ferrari
[c1]
6Diego Garbervetsky
[j2] [j1] [c6] [c5] [i1] [c2] [c1]
7Daniel Gorín
[j2] [i1]
8Yuri Gurevich
[c8] [c7]
9Jean-Baptiste Jeannin
[c8]
10Nicolas Kicillof
[c1]
11Prasad Naldurg
[c8]
12Alfredo Olivero
[c1]
13Fernando Schapachnik
[c1]
14Nikhil Swamy
[c8]
15Sebastián Uchitel
[j1] [c6] [c5] [c2]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 13:41:59 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page