Damiano Zanardini

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 7

Top Topics

Abstract Interpretation

Dense Subgraphs

Top Venues

J. Log. Algebraic Methods Program.

ACM Trans. Comput. Log.

Publications

Damiano Zanardini, Emilio Serrano
Introducing New Node Prediction in Graph Mining: Predicting All Links from Isolated Nodes with Graph Neural Networks. CoRR (2024)
Damiano Zanardini
Field-sensitive sharing. J. Log. Algebraic Methods Program. 95 (2018)
Isabella Mastroeni, Damiano Zanardini
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing. ACM Trans. Comput. Log. 18 (1) (2017)
J. A. Rincon, Fernando de la Prieta, Damiano Zanardini, Vicente Julián, Carlos Carrascosa
Influencing over people with a social emotional model. Neurocomputing 231 (2017)
Elvira Albert, Pablo C. Cañizares, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Núñez, Guillermo Román-Díez, Juan Manuel Vara, Damiano Zanardini
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. STAF Workshops (2017)
Damiano Zanardini, Elvira Albert, Karina Villela
Resource-usage-aware configuration in software product lines. J. Log. Algebraic Methods Program. 85 (1) (2016)
Isabella Mastroeni, Damiano Zanardini
Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing. CoRR (2016)
Damiano Zanardini, Samir Genaim
Inference of Field-Sensitive Reachability and Cyclicity. ACM Trans. Comput. Log. 15 (4) (2014)
Samir Genaim, Damiano Zanardini
Corrigendum to "Reachability-based acyclicity analysis by abstract interpretation" [Theoretical Computer Science 474 (2013) 60-79]. Theor. Comput. Sci. 503 (2013)
Samir Genaim, Damiano Zanardini
Reachability-based acyclicity analysis by Abstract Interpretation. Theor. Comput. Sci. 474 (2013)
Damiano Zanardini, Samir Genaim
Inference of Field-Dependent Cyclicity. CoRR (2013)
Damiano Zanardini
Class-level Non-Interference. New Gener. Comput. 30 (2-3) (2012)
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
Automatic Inference of Bounds on Resource Consumption. FMCO (2012)
Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini
Cost analysis of object-oriented bytecode programs. Theor. Comput. Sci. 413 (1) (2012)
Karina Villela, Taslim Arif, Damiano Zanardini
Towards product configuration taking into account quality concerns. SPLC (2) (2012)
Samir Genaim, Damiano Zanardini
Reachability-based Acyclicity Analysis by Abstract Interpretation CoRR (2012)
Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini
Task-level analysis for a language with async/finish parallelism. LCTES (2011)
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
Resource Usage Analysis and Its Application to Resource Certification. FOSAD (2009)
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini
Termination and Cost Analysis with COSTA and its User Interfaces. Electron. Notes Theor. Comput. Sci. 258 (1) (2009)
Puri Arenas, Damiano Zanardini
18th Workshop on Logic-based methods in Programming Environments (WLPE 2008) CoRR (2009)
Damiano Zanardini
The Semantics of Abstract Program Slicing. SCAM (2008)
Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini
Termination Analysis of Java Bytecode. FMOODS (2008)
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
Removing useless variables in cost analysis of Java bytecode. SAC (2008)
Isabella Mastroeni, Damiano Zanardini
Data dependencies and program slicing: from syntax to abstract semantics. PEPM (2008)
Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. FMCO (2007)
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
Cost Analysis of Java Bytecode. ESOP (2007)
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
Experiments in Cost Analysis of Java Bytecode. Electron. Notes Theor. Comput. Sci. 190 (1) (2007)
Damiano Zanardini
Analyzing Non-Interference with respect to Classes. ICTCS (2007)
Damiano Zanardini
Abstract non-interference in a fragment of Java bytecode. SAC (2006)
Damiano Zanardini
Higher-Order Abstract Non-interference. TLCA (2005)