| 2009 |
|---|
| 11 | EE | Puri Arenas,
Damiano Zanardini:
18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)
CoRR abs/0903.1598: (2009) |
| 2008 |
|---|
| 10 | EE | Elvira Albert,
Puri Arenas,
Michael Codish,
Samir Genaim,
Germán Puebla,
Damiano Zanardini:
Termination Analysis of Java Bytecode.
FMOODS 2008: 2-18 |
| 9 | EE | Isabella Mastroeni,
Damiano Zanardini:
Data dependencies and program slicing: from syntax to abstract semantics.
PEPM 2008: 125-134 |
| 8 | EE | 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 | EE | Damiano Zanardini:
The Semantics of Abstract Program Slicing.
SCAM 2008: 89-98 |
| 2007 |
|---|
| 6 | EE | Elvira Albert,
Puri Arenas,
Samir Genaim,
Germán Puebla,
Damiano Zanardini:
Cost Analysis of Java Bytecode.
ESOP 2007: 157-172 |
| 5 | EE | 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 | EE | 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 | EE | Damiano Zanardini:
Abstract non-interference in a fragment of Java bytecode.
SAC 2006: 1822-1826 |
| 2005 |
|---|
| 1 | EE | Damiano Zanardini:
Higher-Order Abstract Non-interference.
TLCA 2005: 417-432 |
