 | 2009 |
|---|
| 12 |       | Elvira Albert,
Puri Arenas,
Samir Genaim,
Germán Puebla,
Damiano Zanardini:
Resource Usage Analysis and Its Application to Resource Certification.
FOSAD 2009: 258-288 |
| 11 | | Puri Arenas,
Damiano Zanardini:
18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)
CoRR abs/0903.1598: (2009) |
| 2008 |
|---|
| 10 | | Elvira Albert,
Puri Arenas,
Michael Codish,
Samir Genaim,
Germán Puebla,
Damiano Zanardini:
Termination Analysis of Java Bytecode.
FMOODS 2008: 2-18 |
| 9 | | Isabella Mastroeni,
Damiano Zanardini:
Data dependencies and program slicing: from syntax to abstract semantics.
PEPM 2008: 125-134 |
| 8 | | Elvira Albert,
Puri Arenas,
Samir Genaim,
Germán Puebla,
Damiano Zanardini:
Removing useless variables in cost analysis of Java bytecode.
SAC 2008: 368-375 |
| 7 | | Damiano Zanardini:
The Semantics of Abstract Program Slicing.
SCAM 2008: 89-98 |
| 2007 |
|---|
| 6 | | Elvira Albert,
Puri Arenas,
Samir Genaim,
Germán Puebla,
Damiano Zanardini:
Cost Analysis of Java Bytecode.
ESOP 2007: 157-172 |
| 5 | | Elvira Albert,
Puri Arenas,
Samir Genaim,
German Puebla,
Damiano Zanardini:
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode.
FMCO 2007: 113-132 |
| 4 |  | Damiano Zanardini:
Analyzing Non-Interference with respect to Classes.
ICTCS 2007: 57-69 |
| 3 | | Elvira Albert,
Puri Arenas,
Samir Genaim,
Germán Puebla,
Damiano Zanardini:
Experiments in Cost Analysis of Java Bytecode.
Electr. Notes Theor. Comput. Sci. 190(1): 67-83 (2007) |
| 2006 |
|---|
| 2 | | Damiano Zanardini:
Abstract non-interference in a fragment of Java bytecode.
SAC 2006: 1822-1826 |
| 2005 |
|---|
| 1 | | Damiano Zanardini:
Higher-Order Abstract Non-interference.
TLCA 2005: 417-432 |
