|
Articles in International Journals
Elvira Albert and Puri Arenas and Samir Genaim and Germán Puebla and Damiano Zanardini.
Cost Analysis of Object-Oriented Bytecode Programs.
Theoretical Computer Science,
413(1),
2012.
Elsevier.
Damiano Zanardini.
Class-level Non-Interference.
New Generation Computing,
2012.
Springer-Verlag, Berlin.
To appear.
Papers in Conference Proceedings
Elvira Albert and Puri Arenas and Samir Genaim and Damiano Zanardini.
Task-Level Analysis for a Language with async-finish Parallelism. In
Proceedings of ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES).
Chicago, USA.
April
2011.
ACM Press, New York.
Elvira Albert and Puri Arenas and Samir Genaim and Germán Puebla and Damiano Zanardini.
Resource Usage Analysis and Its Application to Resource Certification. In
Alessandro Aldini and Gilles Barthe and Roberto Gorrieri, editors,
Foundations of Security Analysis and Design V (FOSAD 2008/2009).
Volume 5705 of Lecture Notes in Computer Science (Tutorial Lectures),
Bertinoro, Italy.
June
2009.
Springer-Verlag, Berlin.
Elvira Albert and Puri Arenas and Samir Genaim and Germán Puebla and Damiano Zanardini and Diana Vanessa Ramírez Deantes and Miguel Gómez-Zamalloa and Guillermo Román-Díez.
Termination and Cost Analysis with COSTA and its User Interfaces. In
Ginés Moreno and Ricardo Peña, editors,
Proceedings of Jornadas sobre Programacion y Lenguajes (PROLE).
Electronic Notes in Theoretical Computer Science,
San Sebastián, Spain.
September
2009.
Elsevier.
Elvira Albert and Puri Arenas and Samir Genaim and Germán Puebla and Damiano Zanardini.
COSTA: Design and Implementation of a Cost and TeRmination Analyzer for Java Bytecode. In
Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever, editors,
Post-proceedings of the Software Technologies Concertation on Formal Methods for Components and Objects (FMCO).
Volume 5382 of Lecture Notes in Computer Science (Revised Lectures),
Amsterdam, The Netherlands.
October
2008.
Springer-Verlag, Berlin.
Damiano Zanardini.
The Semantics of Abstract Program Slicing. In
Proceedings of the IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM).
Beijing, China.
September
2008.
IEEE press.
Elvira Albert and Puri Arenas and Michael Codish and Samir Genaim and Germán Puebla and Damiano Zanardini.
Termination Analysis of Java Bytecode. In
Gilles Barthe and Frank de Boer, editors,
Proceedings of the IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS).
Lecture Notes in Computer Science,
Oslo, Norway.
June
2008.
Springer-Verlag, Berlin.
Elvira Albert and Puri Arenas and Samir Genaim and Germán Puebla and Damiano Zanardini.
Removing Useless Variables in Cost Analysis of Java Bytecode. In
Proceedings of the ACM Symposium on Applied Computing (SAC).
Fortaleza, Brazil.
March
2008.
ACM Press, New York.
Isabella Mastroeni and Damiano Zanardini.
Data Dependencies and Program Slicing: from Syntax to Abstract Semantics. In
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM).
San Francisco, USA.
January
2008.
ACM Press, New York.
Damiano Zanardini.
Analyzing Non-Interference with respect to Classes. In
Proceedings of the Italian Conference on Theoretical Computer Science (ICTCS).
Roma, Italy.
October
2007.
World Scientific.
Elvira Albert and Puri Arenas and Samir Genaim and Germán Puebla and Damiano Zanardini.
A Generic Framework for the Cost Analysis of Java Bytecode. In
Ernesto Pimentel, editor,
Proceedings of Jornadas sobre Programacion y Lenguajes (PROLE).
Zaragoza, Spain.
September
2007.
Thomson Paraninfo.
Elvira Albert and Puri Arenas and Samir Genaim and Germán Puebla and Damiano Zanardini.
Cost Analysis of Java Bytecode. In
Rocco De Nicola, editor,
Proceedings of the European Symposium on Computing (ESOP).
Volume 4421 of Lecture Notes in Computer Science,
Braga, Portugal.
March
2007.
Springer-Verlag, Berlin.
Damiano Zanardini.
Abstract Non-Interference in a fragment of Java bytecode. In
Proceedings of the ACM Symposium on Applied Computing (SAC).
Dijon, France.
April
2006.
ACM Press, New York.
Damiano Zanardini.
Higher-Order Abstract Non-Interference. In
Pawel Urzyczyn, editor,
Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications (TLCA).
Volume 3461 of Lecture Notes in Computer Science,
Nara, Japan.
April
2005.
Springer-Verlag, Berlin.
Papers in Workshop Proceedings
Samir Genaim and Damiano Zanardini.
The Acyclicity Inference of COSTA. In
Proceedings of the International Workshop on Termination (WST).
Edinburgh, The United Kingdom.
July
2010.
Damiano Zanardini.
Abstract Program Slicing. In
International Workshop on Programming Language Interference and Dependence (PLID).
Valencia, Spain.
July
2008.
Elvira Albert and Puri Arenas and Samir Genaim and Germán Puebla and Diana Ramirez and Damiano Zanardini.
The COSTA Cost and Termination Analyzer for Java Bytecode and its Web Interface (Tool Demo). In
Anna Philippou, editor,
European Conference on Object-Oriented Programming (ECOOP).
July
2008.
Elvira Albert and Puri Arenas and Samir Genaim and Germán Puebla and Damiano Zanardini.
COSTA: A Cost and Termination Analyzer for Java Bytecode. In
Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode).
Budapest, Hungary.
March
2008.
Elvira Albert and Puri Arenas and Samir Genaim and Germán Puebla and Damiano Zanardini.
Applications of Static Slicing in Cost Analysis of Java Bytecode. In
International Workshop on Programming Language Interference and Dependence (PLID).
Kongens Lyngby, Denmark.
August
2007.
Elvira Albert and Puri Arenas and Michael Codish and Samir Genaim and Germán Puebla and Damiano Zanardini.
Termination Analysis of Java Bytecode. In
Proceedings of the International Workshop on Termination (WST).
Paris, France.
June
2007.
Elvira Albert and Puri Arenas and Samir Genaim and Germán Puebla and Damiano Zanardini.
Experiments in Cost Analysis of Java Bytecode. In
Proceedings of the Workshop on Bytecode Semantics,
Verification, Analysis and Transformation (Bytecode).
Electronic Notes in Theoretical Computer Science,
Braga, Portugal.
March
2007.
Elsevier.
Damiano Zanardini.
Abstract Non-Interference in a functional Dependency Calculus. In
International Workshop on Programming Language Interference and Dependence (PLID).
Verona, Italia.
August
2004.
Entended Abstracts, Reports and other stuff
Damiano Zanardini.
The Semantics of Abstract Program Slicing. Technical Report
CLIP4/2008.0,
Technical University of Madrid (UPM),
June
2008.
Elvira Albert and Puri Arenas and Samir Genaim and Germán Puebla and Damiano Zanardini.
Automatic Cost Analysis of Java Bytecode. Technical Report
CLIP10/2006.0,
Technical University of Madrid (UPM),
December
2006.
PhD Thesis
Damiano Zanardini. Certified Abstract Non-Interference: Object-Oriented Code Validation for Information Flow Security. Dipartimento di Informatica, Università di Verona, April 2006.
Master's Thesis (in italian)
Damiano Zanardini. Una semantica generale per la verifica e l'inferenza di tipi monomorfi. Universita di Pisa, July 2002.
|