Articles in International Journals
  • Isabella Mastroeni and Damiano Zanardini. Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing. ACM Transactions on Computational Logic. ACM Press, New York. To appear.
  • Damiano Zanardini and Elvira Albert and Karina Villela. Resource-Usage-Aware Configuration in Software Product Lines. Journal of Logical and Algebraic Methods in Programming, 85(1, Part 2), pages 173-199, 2016. Elsevier. Formal Methods for Software Product Line Engineering.
  • Damiano Zanardini and Samir Genaim. Inference of Field-Sensitive Reachability and Cyclicity. ACM Transactions on Computational Logic, 15(4/33), pages 1-41, 2014. ACM Press, New York.
  • Samir Genaim and Damiano Zanardini. Reachability-based Acyclicity Analysis by Abstract Interpretation. Theoretical Computer Science, 474(0), pages 60-79, 2013. Elsevier.
  • 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), pages 142-159, 2012. Elsevier.
  • Damiano Zanardini. Class-level Non-Interference. New Generation Computing, 30(2-3), pages 241-270, 2012. Springer-Verlag, Berlin.
  • Elvira Albert and Puri Arenas and Samir Genaim and Damiano Zanardini. Task-Level Analysis for a Language with async-finish Parallelism. ACM SIGPLAN Notices, 46(5), pages 21-30, 2011. ACM Press, New York.
  • Books
  • Damiano Zanardini. Teoría de la Computabilidad - De los resultados clásicos al día a día de la Informática. 2015. Administraciondigital S.L.
  • Papers in Conference Proceedings
  • Elvira Albert and Diego Esteban Alonso-Blas and Puri Arenas and Jesús Correas and Antonio Flores-Montoya and Samir Genaim and Miguel Gómez-Zamalloa and Abu Naser Masud and Germán Puebla and José Miguel Rojas and Guillermo Román-Díez and Damiano Zanardini. Automatic Inference of Bounds on Resource Consumption. In HATS International School on Formal Models for Objects and Components 2012. Tutorial Lectures, Lecture Notes in Computer Science (Revised Lectures), 2013. Springer-Verlag, Berlin.
  • 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 and Tools for Embedded Systems (LCTES), pages 21-30, 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), pages 258-288, 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), Volume 258 of Electronic Notes in Theoretical Computer Science, pages 109-121, 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), pages 113-132, 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), pages 89-100, 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), Volume 5051 of Lecture Notes in Computer Science, pages 2-18, 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), pages 368-375, 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), pages 125-134, 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), pages 57-69, 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), pages 61-70, 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, pages 157-172, 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), pages 1822-1826, Dijon, France, April 2006. ACM Press, New York.
  • 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.
  • Papers in Workshop Proceedings
  • Elvira Albert and Pablo C. Cañizares and Esther Guerra and Juan De Lara and Esperanza Marcos and Manuel Núñez and Guillermo Román-Díez and Juan Manuel Vara and Damiano Zanardini. SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. In Proceedings of STAF 2017 - Software Technologies: Applications and Foundations, Marburg, Germany, July 2017.
  • Karina Villela and Taslim Arif and Damiano Zanardini. Towards Product Configuration Taking into Account Quality Concerns. In Proceedings of Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE), pages 82-89, Salvador, Brazil, September 2012.
  • 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 Ramírez 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. To appear in Journal of Object Technology.
  • 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), pages 38-42, 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), Volume 190 of Electronic Notes in Theoretical Computer Science, pages 67-83, 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
  • Emilio Serrano and José Mario López and Damiano Zanardini. Estimación del riesgo de no superar una asignatura de evaluación continua mediante aprendizaje automático.
  • Emilio Serrano and Martín Molina and Daniel Manrique and Luís Baumela and Damiano Zanardini. Aprendizaje experiencial en ciencia de datos: satisfacción de los estudiantes para tres modelos de enseñanza y aprendizaje.
  • Elvira Albert and Diego Alonso and Puri Arenas and Jesús Correas and Antonio Flores and Samir Genaim and Miguel Gómez-Zamalloa and Abu Masud and Germán Puebla and José Miguel Rojas and Guillermo Román-Díez and Damiano Zanardini. Resource Analysis in the COSTA System. ALP Newsletter, 25(4), 2012.
  • 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\`a 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.