Zanardini, Damiano damiano.zanardini@upm.es

Publications

Field-sensitive sharing

  • Zanardini, Damiano;

Journal Of Logical And Algebraic Methods In Programming (p. 103-127) - 1/2/2018

10.1016/j.jlamp.2017.10.005 View at source

  • ISSN 15678326

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

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

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

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

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

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

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

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

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

This researcher has no books.

This researcher has no book chapters.

Intelligent Agent for Roadway Data Analysis

  • Gonzalez-Moro, Gonzalo
  • Villarrubia, Gabriel
  • Zanardini, Damiano
  • Bajo, Javier;

Advances In Intelligent Systems And Computing (p. 88-97) - 1/1/2022

10.1007/978-3-030-87687-6_10 View at source

  • ISSN 21945357

Creating and Improving Educational Materials: An Approach based on Crowdsourcing

  • RUCKHAUS MAGNUS, EDNA
  • ZANARDINI, DAMIANO
  • Corcho García, Oscar
  • SUAREZ DE FIGUEROA BAONZA, M. CARMEN
  • SERRANO FERNANDEZ, EMILIO
  • Molina González, Martín

Proceedings Of The 11th Annual International Conference Of Education, Research And Innovation (Iceri 2018) (p. 3.852-3.857) - 12/11/2018

10.21125/iceri.2018.1854 View at source

  • ISSN 23401095

SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools

  • Albert E
  • Cañizares P
  • Guerra E
  • de Lara J
  • Marcos E
  • Núñez M
  • Román-Díez G
  • Vara J
  • Zanardini D
... View more Collapse

Lecture Notes In Computer Science (p. 367-374) - 1/1/2018

10.1007/978-3-319-74730-9_32 View at source

  • ISSN 03029743

Aprendizaje experiencial en ciencia de datos: satisfacción de los estudiantes para tres modelos de enseñanza y aprendizaje

  • ZANARDINI, DAMIANO
  • SERRANO FERNANDEZ, EMILIO
  • BAUMELA MOLINA, LUIS
  • MANRIQUE GAMO, DANIEL
  • Molina González, Martín

Libros De Actas Cinaic 2017 (p. 289-293) - 4/10/2017

10.26754/cinaic.2017.000001_058 View at source

Estimación del riesgo de no superar una asignatura de evaluación continua mediante aprendizaje automático

  • José Mario López
  • ZANARDINI, DAMIANO
  • SERRANO FERNANDEZ, EMILIO

Libro De Actas Cinaic 2017 (p. 560-565) - 4/10/2017

10.26754/cinaic.2017.000001_118 View at source

Automatic inference of bounds on resource consumption

  • Albert E
  • Alonso-Blas D
  • Arenas P
  • Correas J
  • Flores-Montoya A
  • Genaim S
  • Gómez-Zamalloa M
  • Masud A
  • Puebla G
  • Rojas J
  • Román-Díez G
  • Zanardini D
... View more Collapse

Lecture Notes In Computer Science (p. 119-144) - 9/9/2013

10.1007/978-3-642-40615-7_4 View at source

  • ISSN 03029743

Towards product configuration taking into account quality concerns

  • Villela K
  • Arif T
  • Zanardini D

Acm International Conference Proceeding Series (p. 82-89) - 19/10/2012

10.1145/2364412.2364426 View at source

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

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

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

This researcher has no working papers.

This researcher has no technical reports.

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)
... View more Collapse

Period: 01-09-2022 - 31-08-2025

Type of funding: National

  • 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

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)
... View more Collapse

Period: 01-01-2019 - 30-04-2023

Type of funding: Regional

Amount of funding: 74100,85 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)
... View more Collapse

Period: 01-01-2017 - 31-12-2017

Type of funding: International

Amount of funding: 15000,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)
... View more Collapse

Period: 01-01-2013 - 30-06-2017

Type of funding: National

Amount of funding: 114660,00 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

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

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))
... View more Collapse

Period: 01-01-2009 - 31-12-2010

Type of funding: National

  • iMarina

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)
... View more Collapse

Period: 01-10-2006 - 30-09-2009

Type of funding: National

  • iMarina

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

Last data update: 8/1/24 6:49 PM