Home
Publications
Teaching
Articles in Journals
[1] Damiano Zanardini. Field-sensitive sharing. Journal of Logical and Algebraic Methods in Programming, 95:103--127, February 2018. [ bib | DOI ]
[2] Isabella Mastroeni and Damiano Zanardini. Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing. ACM Transactions on Computational Logic, 18(1):1--58, April 2017. [ bib | DOI ]
[3] Jaime Andrés Rincón, Fernando de la Prieta, Damiano Zanardini, Vicente Julián, and Carlos Carrascosa. Influencing over people with a social emotional model. Neurocomputing, 231:47--54, March 2017. [ bib | DOI ]
[4] Damiano Zanardini, Elvira Albert, and Karina Villela. Resource-Usage-Aware Configuration in Software Product Lines. Journal of Logical and Algebraic Methods in Programming, 85(1):173--199, January 2016. Formal Methods for Software Product Line Engineering. [ bib | DOI ]
[5] Damiano Zanardini and Samir Genaim. Inference of Field-Sensitive Reachability and Cyclicity. ACM Transactions on Computational Logic, 15(4/33):1--41, September 2014. [ bib | DOI ]
[6] Samir Genaim and Damiano Zanardini. Reachability-based Acyclicity Analysis by Abstract Interpretation. Theoretical Computer Science, 474(0):60--79, February 2013. [ bib | DOI ]
[7] Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, and Damiano Zanardini. Cost Analysis of Object-Oriented Bytecode Programs. Theoretical Computer Science, 413(1):142--159, January 2012. [ bib | DOI ]
[8] Damiano Zanardini. Class-level Non-Interference. New Generation Computing, 30(2-3):241--270, June 2012. [ bib | DOI ]
[9] Elvira Albert, Puri Arenas, Samir Genaim, and Damiano Zanardini. Task-Level Analysis for a Language with async-finish Parallelism. ACM SIGPLAN Notices, 46(5):21--30, May 2011. [ bib | DOI ]

This file was generated by bibtex2html 1.99.

Articles in Conference Proceedings
[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.

Articles in Workshops
[1] Elvira Albert, Pablo C. Ca nizares, Esther Guerra, Juan De Lara, Esperanza Marcos, Manuel Nú nez, Guillermo Román-Díez, 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. [ bib ]
[2] Karina Villela, Taslim Arif, and Damiano Zanardini. Towards Product Configuration Taking in 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. [ bib ]
[3] 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. [ bib ]
[4] Damiano Zanardini. Abstract Program Slicing. In International Workshop on Programming Language Interference and Dependence (PLID), Valencia, Spain, July 2008. [ bib ]
[5] Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, 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. [ bib ]
[6] Elvira Albert, Puri Arenas, Samir Genaim, 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. [ bib ]
[7] Elvira Albert, Puri Arenas, Samir Genaim, 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. [ bib ]
[8] Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, 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. [ bib ]
[9] Elvira Albert, Puri Arenas, Samir Genaim, 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. [ bib | DOI ]
[10] Damiano Zanardini. Abstract Non-Interference in a functional Dependency Calculus. In International Workshop on Programming Language Interference and Dependence (PLID), Verona, Italia, August 2004. [ bib ]

This file was generated by bibtex2html 1.99.

Books
[1] Damiano Zanardini. Teoría de la Computabilidad - De los resultados clásicos al día a día de la Informática. Administraciondigital S.L, Madrid, 2015. [ bib ]

This file was generated by bibtex2html 1.99.

Other publications
[1] María del Carmen Suárez-Figueroa, Edna Ruckhaus andÓscar Corcho, Martín Molina, Emilio Serrano, and Damiano Zanardini. Creating and improving educational materials: an approach based on crowdsourcing. In Proceedings of the Annual International Conference of Education, Research and Innovation (ICERI), November 2018. DOI to be assigned. [ bib ]
[2] Emilio Serrano, José Mario López, and Damiano Zanardini. Estimación del riesgo de no superar una asignatura de evaluación continua mediante aprendizaje automático. In Actas del IV Congreso Internacional sobre Aprendizaje, Innovación y Competitividad-CINAIC, pages 560--565, Zaragoza, Spain, October 2017. [ bib | DOI ]
[3] Emilio Serrano, Martín Molina, Daniel Manrique, 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. In Actas del IV Congreso Internacional sobre Aprendizaje, Innovación y Competitividad-CINAIC, pages 289--293, Zaragoza, Spain, October 2017. [ bib | DOI ]
[4] Elvira Albert, Diego Alonso, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Masud, Germán Puebla, José Miguel Rojas, Guillermo Román-Díez, and Damiano Zanardini. Resource Analysis in the COSTA System. ALP Newsletter, 25(4), December 2012. [ bib ]
[5] Damiano Zanardini. The Semantics of Abstract Program Slicing. Technical Report CLIP4/2008.0, Technical University of Madrid (UPM), June 2008. [ bib ]
[6] Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, and Damiano Zanardini. Automatic Cost Analysis of Java Bytecode. Technical Report CLIP10/2006.0, Technical University of Madrid (UPM), December 2006. [ bib ]

This file was generated by bibtex2html 1.99.

Phd Thesis
[1] Damiano Zanardini. Certified Abstract Non-Interference: Object-Oriented Code Validation for Information Flow Security. PhD thesis, Dipartimento di Informatica, Università di Verona, April 2006. [ bib ]

This file was generated by bibtex2html 1.99.

Master's Thesis
[1] Damiano Zanardini. Una semantica generale per la verifica e l'inferenza di tipi monomorfi. Master's thesis, Università di Pisa, July 2002. [ bib ]

This file was generated by bibtex2html 1.99.