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
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
- 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)
- 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))
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
- 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)
- ZANARDINI, DAMIANO (Investigador principal (IP))
- ROMAN DIEZ, GUILLERMO (Participante)
- PUEBLA SANCHEZ, Alvaro Germán (Participante)
Period: 01-01-2013 - 30-06-2017
Type of funding: National
Amount of funding: 114660,00 Euros.
- iMarina
EIT Digital Master School Programmes
- SENRA DIAZ, ARISTIDES (Participante)
- MARTINEZ SALLES, IVAN (Participante)
- MEZA VALDES, REBECA (Participante)
- DEVORA QUINTERO, NATALIA (Participante)
- LEON SERRANO, GONZALO (Investigador principal (IP))
- JARIEGO FENTE, FRANCISCO JOSE (Participante)
- TEJERO LOPEZ, ALBERTO (Participante)
- ROSALES BEJARANO, JOSE 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
- 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)
- 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)
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
- 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