Damiano Zanardini

According to our database, Damiano Zanardini authored at least 29 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Introducing New Node Prediction in Graph Mining: Predicting All Links from Isolated Nodes with Graph Neural Networks.

Damiano Zanardini, Emilio Serrano

CoRR, 2024

2018

Field-sensitive sharing.

Damiano Zanardini

J. Log. Algebraic Methods Program., 2018

2017

Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing.

Isabella Mastroeni, Damiano Zanardini

ACM Trans. Comput. Log., 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

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, Guillermo Román-Díez, Juan Manuel Vara, Damiano Zanardini

Proceedings of the Software Technologies: Applications and Foundations, 2017

2016

Resource-usage-aware configuration in software product lines.

Damiano Zanardini, Elvira Albert, Karina Villela

J. Log. Algebraic Methods Program., 2016

2014

Inference of Field-Sensitive Reachability and Cyclicity.

Damiano Zanardini, Samir Genaim

ACM Trans. Comput. Log., 2014

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

Reachability-based acyclicity analysis by Abstract Interpretation.

Samir Genaim, Damiano Zanardini

Theor. Comput. Sci., 2013

Inference of Field-Dependent Cyclicity.

Damiano Zanardini, Samir Genaim

CoRR, 2013

2012

Cost analysis of object-oriented bytecode programs.

Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini

Theor. Comput. Sci., 2012

Class-level Non-Interference.

Damiano Zanardini

New Gener. Comput., 2012

Towards product configuration taking into account quality concerns.

Karina Villela, Taslim Arif, Damiano Zanardini

Proceedings of the 16th International Software Product Line Conference, 2012

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

Proceedings of the Formal Methods for Components and Objects, 2012

2011

Task-level analysis for a language with async/finish parallelism.

Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini

Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

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

Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009

18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)

Puri Arenas, Damiano Zanardini

CoRR, 2009

Resource Usage Analysis and Its Application to Resource Certification.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini

Proceedings of the Foundations of Security Analysis and Design V, 2009

2008

The Semantics of Abstract Program Slicing.

Damiano Zanardini

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Removing useless variables in cost analysis of Java bytecode.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Data dependencies and program slicing: from syntax to abstract semantics.

Isabella Mastroeni, Damiano Zanardini

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Termination Analysis of Java Bytecode.

Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

2007

Experiments in Cost Analysis of Java Bytecode.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini

Proceedings of the Second Workshop on Bytecode Semantics, 2007

Analyzing Non-Interference with respect to Classes.

Damiano Zanardini

Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007

COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode.

Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

Cost Analysis of Java Bytecode.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini

Proceedings of the Programming Languages and Systems, 2007

2006

Certified abstract non-interference.

Damiano Zanardini

PhD thesis, 2006

Abstract non-interference in a fragment of Java bytecode.

Damiano Zanardini

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2005

Higher-Order Abstract Non-interference.

Damiano Zanardini

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005