[1] Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, Germán Puebla, José Miguel Rojas, Guillermo Román-Díez, and Damiano Zanardini. Automatic Inference of Bounds on Resource Consumption. 2013. [ bib | DOI ]
[2] Elvira Albert, Puri Arenas, 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 and Tools for Embedded Systems (LCTES), pages 21--30, Chicago, USA, April 2011. ACM Press, New York. [ bib | DOI ]
[3] Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, and Damiano Zanardini. Resource Usage Analysis and Its Application to Resource Certification. In Alessandro Aldini, 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), pages 258--288, Bertinoro, Italy, September 2009. Springer-Verlag, Berlin. [ bib | DOI ]
[4] Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini, Diana Vanessa Ramírez Deantes, 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 na, editors, Proceedings of Jornadas sobre Programacion y Lenguajes (PROLE), volume 258 of Electronic Notes in Theoretical Computer Science, pages 109--121, San Sebastián, Spain, September 2009. Elsevier. [ bib | DOI ]
[5] Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, and Damiano Zanardini. COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. In Frank S. de Boer, Marcello M. Bonsangue, 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), pages 113--132, Amsterdam, The Netherlands, October 2008. Springer-Verlag, Berlin. [ bib | DOI ]
[6] Damiano Zanardini. The Semantics of Abstract Program Slicing. In Proceedings of the IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), pages 89--100, Beijing, China, September 2008. IEEE press. [ bib | DOI ]
[7] Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, 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), volume 5051 of Lecture Notes in Computer Science, pages 2--18, Oslo, Norway, June 2008. Springer-Verlag, Berlin. [ bib | DOI ]
[8] Elvira Albert, Puri Arenas, Samir Genaim, 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), pages 368--375, Fortaleza, Brazil, March 2008. ACM Press, New York. [ bib | DOI ]
[9] 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), pages 125--134, San Francisco, USA, January 2008. ACM Press, New York. [ bib | DOI ]
[10] Damiano Zanardini. Analyzing Non-Interference with respect to Classes. In Proceedings of the Italian Conference on Theoretical Computer Science (ICTCS), pages 57--69, Roma, Italy, October 2007. World Scientific. [ bib | DOI ]
[11] Elvira Albert, Puri Arenas, Samir Genaim, 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), pages 61--70, Zaragoza, Spain, September 2007. Thomson Paraninfo. [ bib ]
[12] Elvira Albert, Puri Arenas, Samir Genaim, 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, pages 157--172, Braga, Portugal, March 2007. Springer-Verlag, Berlin. [ bib | DOI ]
[13] Damiano Zanardini. Abstract Non-Interference in a fragment of Java bytecode. In Proceedings of the ACM Symposium on Applied Computing (SAC), pages 1822--1826, Dijon, France, April 2006. ACM Press, New York. [ bib | DOI ]
[14] Damiano Zanardini. Higher-Order Abstract Non-Interference. In Pawel Urzyczyn, editor, Proceedings of the International Conference on Typed Lambda Calculi and Applications (TLCA), volume 3461 of Lecture Notes in Computer Science, pages 417--432, Nara, Japan, April 2005. Springer-Verlag, Berlin. [ bib | DOI ]

This file was generated by bibtex2html 1.99.