Damiano Zanardini

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