Zanardini, Damiano damiano.zanardini@upm.es
Publications
- Articles 11
- Books 0
- Book chapters 0
- Conferences 17
- Working papers 0
- Technical reports 0
- Research projects 9
- Supervised theses 0
- Patent or software license 0
Experiments in Cost Analysis of Java Bytecode
- Albert E
- Arenas P
- Genaim S
- Puebla G
- Zanardini D
Electronic Notes In Theoretical Computer Science (p. 67-83) - 31/7/2007
10.1016/j.entcs.2007.02.061 View at source
- ISSN 15710661
Termination and Cost Analysis with COSTA and its User Interfaces
- ZANARDINI, DAMIANO
- PUEBLA SANCHEZ, Alvaro Germán
- ALBERT ALBIOL, ELVIRA
- ARENAS SÁNCHEZ, PURIFICACIÓN
Electronic Notes In Theoretical Computer Science (p. 109-121) - 25/12/2009
10.1016/j.entcs.2009.12.008 View at source
- ISSN 03044238
- iMarina
- iMarina
Class-level Non-Interference
- Zanardini, Damiano;
New Generation Computing (p. 241-270) - 1/1/2012
10.1007/s00354-012-0207-7 View at source
- ISSN 02883635
Cost analysis of object-oriented bytecode programs
- Albert, Elvira
- Arenas, Puri
- Genaim, Samir
- Puebla, German
- Zanardini, Damiano;
Theoretical Computer Science (p. 142-159) - 6/1/2012
10.1016/j.tcs.2011.07.009 View at source
- ISSN 03043975
Reachability-based acyclicity analysis by Abstract Interpretation
- Genaim, Samir
- Zanardini, Damiano;
Theoretical Computer Science (p. 60-79) - 25/2/2013
10.1016/j.tcs.2012.12.018 View at source
- ISSN 03043975
Reachability-based acyclicity analysis by abstract interpretation (vol 474, pg 60, 2013)
- Genaim, Samir
- Zanardini, Damiano;
Theoretical Computer Science (p. 115-115) - 9/9/2013
10.1016/j.tcs.2013.07.032 View at source
- ISSN 03043975
Inference of field-sensitive reachability and cyclicity
- Zanardini D
- Genaim S
Acm Transactions On Computational Logic - 16/9/2014
10.1145/2629478 View at source
- ISSN 15293785
Resource-usage-aware configuration in software product lines
- Zanardini, Damiano
- Albert, Elvira
- Villela, Karina;
Journal Of Logical And Algebraic Methods In Programming (p. 173-199) - 1/1/2016
10.1016/j.jlamp.2015.08.003 View at source
- ISSN 15678326
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing
- Mastroeni, Isabella
- Zanardini, Damiano;
Acm Transactions On Computational Logic - 1/2/2017
10.1145/3029052 View at source
- ISSN 15293785
Influencing over people with a social emotional model
- Rincon, J. A.
- de la Prieta, F.
- Zanardini, D.
- Julian, V.
- Carrascosa, C.;
Neurocomputing (p. 47-54) - 29/3/2017
10.1016/j.neucom.2016.03.107 View at source
- ISSN 09252312
This researcher has no books.
This researcher has no book chapters.
Higher-order abstract non-interference
- Zanardini D
Lecture Notes In Computer Science (p. 417-432) - 1/1/2005
- ISSN 03029743
- iMarina
Abstract Non-Interference in a fragment of Java bytecode
- Zanardini D
Proceedings Of The Acm Symposium On Applied Computing (p. 1822-1826) - 1/1/2006
- iMarina
Cost analysis of Java bytecode
- Albert E
- Arenas P
- Genaim S
- Puebla G
- Zanardini D
Lecture Notes In Computer Science (p. 157-172) - 1/1/2007
- ISSN 03029743
- iMarina
Data dependencies and program slicing: from syntax to abstract semantics
- Mastroeni I
- Zanardini D
Acm/Sigplan Workshop Partial Evaluation And Semantics-Based Program Manipulation (p. 125-134) - 1/1/2008
10.1145/1328408.1328428 View at source
- iMarina
- iMarina
The Semantics of Abstract Program Slicing
- Zanardini, Damiano;
Eighth Ieee International Working Conference On Source Code Analysis And Manipulation, Proceedings (p. 0-0) - 1/1/2008
10.1109/scam.2008.19 View at source
- iMarina
- iMarina
Removing useless variables in cost analysis of Java bytecode
- Albert, E.
- Arenas, P.
- Genaim, S.
- Puebla, G.
- Zanardini, D.;
Proceedings Of The Acm Symposium On Applied Computing (p. 368-375) - 1/12/2008
10.1145/1363686.1363779 View at source
- iMarina
- iMarina
COSTA: Design and implementation of a cost and termination analyzer for Java bytecode
- Albert E
- Arenas P
- Genaim S
- Puebla G
- Zanardini D
Lecture Notes In Computer Science (p. 113-132) - 1/12/2008
10.1007/978-3-540-92188-2_5 View at source
- ISSN 03029743
Termination analysis of Java Bytecode
- Albert E
- Arenas P
- Codish M
- Genaim S
- Puebla G
- Zanardini D
Lecture Notes In Computer Science (p. 2-18) - 4/7/2008
10.1007/978-3-540-68863-1_2 View at source
- ISSN 03029743
Resource usage analysis and its application to resource certification
- ;
Lecture Notes In Computer Science (p. 258-288) - 28/9/2009
10.1007/978-3-642-03829-7_9 View at source
- ISSN 03029743
Task-level analysis for a language with async/finish parallelism
- Albert, Elvira
- Arenas, Puri
- Genaim, Samir
- Zanardini, Damiano;
Proceedings Of The Acm Sigplan Conference On Languages, Compilers, And Tools For Embedded Systems (Lctes) (p. 21-30) - 10/5/2011
10.1145/1967677.1967681 View at source
- ISSN 03621340
This researcher has no working papers.
This researcher has no technical reports.
Nuevos amplificadores lineales de RF de alto rendimiento
- HERNADO ALVAREZ, MARTA MARIA (Participante)
- SALVADOR PEREA, RUBEN (Miembro del equipo de trabajo)
- Tena Ramos, David (Miembro del equipo de trabajo)
- ZANARDINI, DAMIANO (Participante)
- ARENAS SÁNCHEZ, PURIFICACIÓN (Participante)
- BENAVENTE PECES, CESAR (Participante)
- Ortega González, Fco. Javier (Participante)
- GAMEZ MEJIAS, BERTA (Participante)
- ALOU CERVERA, PEDRO (Participante)
- GARCIA SUAREZ, OSCAR (Participante)
- COBOS MARQUEZ, JOSE ANTONIO (Investigador principal (IP))
- FERNÁNDEZ GONZÁLEZ., ARTURO (Participante)
- GONZÁLEZ LAMAR, DIEGO (Participante)
- PÉREZ TOMÁS, AMADOR (Participante)
- JORDA SANUY, XAVIER (Participante)
- VELLVEHI HERNANDEZ, MIGUEL (Participante)
- GODIGNON ., HILIPPE (Participante)
- MILLAN GOMEZ, JOSE (Participante)
Period: 01-10-2006 - 30-09-2009
Type of funding: National
- iMarina
Protección y Transformación de Código basadas en Interpretación Abstracta
- VISENTINI ., ENRICO (Participante)
- SPOTO ., FAUSTO (Participante)
- MASTROENI ., ISABELLA (Participante)
- GIACOBAZZI ., ROBERTO (Participante)
- ALBERT ALBIOL, ELVIRA (Participante)
- CARRO LIÑARES, MANUEL (Participante)
- ARENAS SÁNCHEZ, PURIFICACIÓN (Participante)
- HERMENEGILDO SALINAS, MANUEL DE (Participante)
- ZANARDINI, DAMIANO (Investigador principal (IP))
Period: 01-01-2009 - 31-12-2010
Type of funding: National
- iMarina
Highly Adaptable and Trustworhthy Software using formal models
- PUEBLA SANCHEZ, Alvaro Germán (Investigador principal (IP))
- ZANARDINI, DAMIANO (Participante)
Period: 01-11-2009 - 31-10-2010
Type of funding: National
Amount of funding: 239173,50 Euros.
- iMarina
Coordinated Activities in Resource Analysis
- ZANARDINI, DAMIANO (Participante)
- PUEBLA SANCHEZ, Alvaro Germán (Investigador principal (IP))
Period: 01-03-2009 - 01-03-2010
Type of funding: National
Amount of funding: 3000,00 Euros.
- iMarina
Técnicas avanzadas de verificación de aplicaciones concurrentes
- ZANARDINI, DAMIANO (Investigador principal (IP))
- ROMAN DIEZ, GUILLERMO (Participante)
- PUEBLA SANCHEZ, Alvaro Germán (Participante)
- Gutiérrez Gil, Raúl (Miembro del equipo de trabajo)
- King ., Andy (Otros)
- GIACOBAZZI ., ROBERTO (Otros)
- Codish ., Michael (Otros)
- DOMENECH ARELLANO, JESUS JAVIER (Miembro del equipo de trabajo)
Period: 01-01-2013 - 30-06-2017
Type of funding: National
Amount of funding: 114660,00 Euros.
- iMarina
EIT Digital Master School Programmes
- HERNANDEZ DIEGO, JOSEFA ZULEIDE (Participante)
- ZANARDINI, DAMIANO (Participante)
- PATIÑO MARTINEZ, MARTA (Investigador principal (IP))
- MORENO DIAZ, ARMINDA (Participante)
- PEREZ PEREZ, AURORA (Participante)
- GONZALEZ PACHON, JACINTO (Participante)
- CARACA-VALENTE HERNANDEZ, JUAN PEDRO (Participante)
- Fuertes Castro, José Luis (Participante)
Period: 01-01-2017 - 31-12-2017
Type of funding: International
Amount of funding: 15000,00 Euros.
- iMarina
Babel-Clip-UPM. Contratos inteligentes y blockchains escalables y seguros mediante verificación y análisis
- Fredlund, Lars-Ake (Participante)
- BUENO CARRILLO, FRANCISCO (Participante)
- ROMAN DIEZ, GUILLERMO (Participante)
- Muñoz Hernández, Susana (Participante)
- HERMENEGILDO SALINAS, MANUEL DE (Participante)
- Benac Earle, Clara (Participante)
- ZANARDINI, DAMIANO (Participante)
- BUESO DE BARRIO, LUIS EDUARDO (Participante)
- BALLESTEROS GONZALEZ, IGNACIO (Participante)
- CARRO LIÑARES, MANUEL (Investigador principal (IP))
- MARIÑO CARBALLO, JULIO (Participante)
- HERRANZ NIEVA, ANGEL (Participante)
Period: 01-01-2019 - 30-04-2023
Type of funding: Regional
Amount of funding: 74100,85 Euros.
- iMarina
Sistema de monitorización y control para el apoyo a la toma de decisiones en el mantenimiento de infraestructuras
- GARCIA SALINAS, RUBEN (Investigador principal (IP))
- FRUTOS ZAFRA, DAVID DE (Miembro del equipo de trabajo)
- BAJO PEREZ, JAVIER (Investigador principal (IP))
- Dopazo González, Esther (Participante)
- GONZALEZ PACHON, JACINTO (Participante)
- ZANARDINI, DAMIANO (Participante)
Period: 01-06-2020 - 31-05-2023
Type of funding: National
Amount of funding: 29887,00 Euros.
- iMarina
Métodos formales escalables para aplicaciones reales
- RAMPEREZ MARTIN, VICTOR (Miembro del equipo de trabajo)
- Isabel Márquez, Miguel (Miembro del equipo de trabajo)
- MORA CARRERO, ADRIAN (Miembro del equipo de trabajo)
- Gutiérrez Gil, Raúl (Miembro del equipo de trabajo)
- JIMENEZ GAÑAN, MIGUEL (Participante)
- SORIANO CAMINO, FRANCISCO JAVIER (Participante)
- ROMAN DIEZ, GUILLERMO (Investigador principal (IP))
- ZANARDINI, DAMIANO (Participante)
Period: 01-09-2022 - 31-08-2025
Type of funding: National
- iMarina
This researcher has no supervised thesis.
This researcher has no patents or software licenses.
Research groups
Researcher profiles
-
ORCID
-
Publons
-
Scopus Author ID