Higher-Order Abstract Non-interference. - Damiano Zanardini (TLCA, 2005)

Abstract non-interference in a fragment of Java bytecode. - Damiano Zanardini (SAC, 2006)

Certified abstract non-interference. - Damiano Zanardini (2006)

Cost Analysis of Java Bytecode. - Elvira Albert; Puri Arenas; Samir Genaim; Germán Puebla; Damiano Zanardini (ESOP, 2007)

COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. - Elvira Albert; Puri Arenas; Samir Genaim; German Puebla; Damiano Zanardini (FMCO, 2007)

Analyzing Non-Interference with respect to Classes. - Damiano Zanardini (ICTCS, 2007)

Experiments in Cost Analysis of Java Bytecode. - Elvira Albert; Puri Arenas; Samir Genaim; Germán Puebla; Damiano Zanardini (Bytecode@ETAPS, 2007)

Termination Analysis of Java Bytecode. - Elvira Albert; Puri Arenas; Michael Codish; Samir Genaim; Germán Puebla; Damiano Zanardini (FMOODS, 2008)

Data dependencies and program slicing: from syntax to abstract semantics. - Isabella Mastroeni; Damiano Zanardini (PEPM, 2008)

Removing useless variables in cost analysis of Java bytecode. - Elvira Albert; Puri Arenas; Samir Genaim; Germán Puebla; Damiano Zanardini (SAC, 2008)

The Semantics of Abstract Program Slicing. - Damiano Zanardini (SCAM, 2008)

Resource Usage Analysis and Its Application to Resource Certification. - Elvira Albert; Puri Arenas; Samir Genaim; Germán Puebla; Damiano Zanardini (FOSAD, 2009)

18th Workshop on Logic-based methods in Programming Environments (WLPE 2008) - Puri Arenas; Damiano Zanardini (CoRR, 2009)

Termination and Cost Analysis with COSTA and its User Interfaces. - Elvira Albert; Puri Arenas; Samir Genaim; Miguel Gómez-Zamalloa; German Puebla; Diana V. Ramírez-Deantes; Guillermo Román-Díez; Damiano Zanardini (PROLE, 2009)

Task-level analysis for a language with async/finish parallelism. - Elvira Albert; Puri Arenas; Samir Genaim; Damiano Zanardini (LCTES, 2011)

Automatic Inference of Bounds on Resource Consumption. - Elvira Albert; Diego Esteban Alonso-Blas; Puri Arenas; Jesús Correas; Antonio Flores-Montoya; Samir Genaim; Miguel Gómez-Zamalloa; Abu Naser Masud; German Puebla; José Miguel Rojas; Guillermo Román-Díez; Damiano Zanardini (FMCO, 2012)

Towards product configuration taking into account quality concerns. - Karina Villela; Taslim Arif; Damiano Zanardini (SPLC (2), 2012)

Class-level Non-Interference. - Damiano Zanardini (New Gener. Comput., 2012)

Cost analysis of object-oriented bytecode programs. - Elvira Albert; Puri Arenas; Samir Genaim; German Puebla; Damiano Zanardini (Theor. Comput. Sci., 2012)

Inference of Field-Dependent Cyclicity. - Damiano Zanardini; Samir Genaim (CoRR, 2013)

Reachability-based acyclicity analysis by Abstract Interpretation. - Samir Genaim; Damiano Zanardini (Theor. Comput. Sci., 2013)

Corrigendum to "Reachability-based acyclicity analysis by abstract interpretation" [Theoretical Computer Science 474 (2013) 60-79]. - Samir Genaim; Damiano Zanardini (Theor. Comput. Sci., 2013)

Inference of Field-Sensitive Reachability and Cyclicity. - Damiano Zanardini; Samir Genaim (ACM Trans. Comput. Log., 2014)

Resource-usage-aware configuration in software product lines. - Damiano Zanardini; Elvira Albert; Karina Villela (J. Log. Algebraic Methods Program., 2016)

SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. - Elvira Albert; Pablo C. Cañizares; Esther Guerra; Juan de Lara; Esperanza Marcos; Manuel Núñez 001; Guillermo Román-Díez; Juan Manuel Vara; Damiano Zanardini (STAF Workshops, 2017)

Influencing over people with a social emotional model. - Jaime Andres Rincon; Fernando De la Prieta; Damiano Zanardini; Vicente Julián; Carlos Carrascosa (Neurocomputing, 2017)

Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing. - Isabella Mastroeni; Damiano Zanardini (ACM Trans. Comput. Log., 2017)

Field-sensitive sharing. - Damiano Zanardini (J. Log. Algebraic Methods Program., 2018)

Introducing new node prediction in graph mining: Predicting all links from isolated nodes with Graph Neural Networks. - Damiano Zanardini; Emilio Serrano (Neurocomputing, 2024)