Zanardini, Damiano damiano.zanardini@upm.es
Actividades
- Artículos 11
- Libros 0
- Capítulos de libro 0
- Congresos 17
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 9
- Tesis dirigidas 0
- Patentes o licencias de software 0
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing
- Mastroeni, Isabella
- Zanardini, Damiano;
Acm Transactions On Computational Logic - 1/2/2017
- ISSN 15293785
Este/a investigador/a no tiene libros.
Este/a investigador/a no tiene capítulos de libro.
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 Ver en origen
- iMarina
- 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
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 Ver en origen
- ISSN 03621340
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 Ver en origen
- ISSN 23401095
- iMarina
- iMarina
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 Ver en origen
- iMarina
- iMarina
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
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 Ver en origen
- ISSN 03029743
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
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
Lecture Notes In Computer Science (p. 367-374) - 1/1/2018
10.1007/978-3-319-74730-9_32 Ver en origen
- ISSN 03029743
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
Lecture Notes In Computer Science (p. 119-144) - 9/9/2013
10.1007/978-3-642-40615-7_4 Ver en origen
- ISSN 03029743
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
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)
Ejecución: 01-09-2022 - 31-08-2025
Tipo: Nacional
- 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)
Ejecución: 01-06-2020 - 31-05-2023
Tipo: Nacional
Importe financiado: 29887,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)
Ejecución: 01-01-2019 - 30-04-2023
Tipo: Regional
Importe financiado: 74100,85 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)
Ejecución: 01-01-2013 - 30-06-2017
Tipo: Nacional
Importe financiado: 114660,00 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))
Ejecución: 01-01-2009 - 31-12-2010
Tipo: Nacional
- iMarina
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))
Ejecución: 01-10-2006 - 30-09-2009
Tipo: Nacional
- iMarina
Highly Adaptable and Trustworhthy Software using formal models
- PUEBLA SANCHEZ, Alvaro Germán (Investigador principal (IP))
- ZANARDINI, DAMIANO (Participante)
Ejecución: 01-11-2009 - 31-10-2010
Tipo: Nacional
Importe financiado: 239173,50 Euros.
- iMarina
Coordinated Activities in Resource Analysis
- ZANARDINI, DAMIANO (Participante)
- PUEBLA SANCHEZ, Alvaro Germán (Investigador principal (IP))
Ejecución: 01-03-2009 - 01-03-2010
Tipo: Nacional
Importe financiado: 3000,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)
Ejecución: 01-01-2017 - 31-12-2017
Tipo: Internacional
Importe financiado: 15000,00 Euros.
- iMarina
Este/a investigador/a no tiene tesis dirigidas.
Este/a investigador/a no tiene patentes o licencias de software.
Grupos de investigación
Perfiles de investigador/a
-
ORCID
-
Publons
-
Scopus Author ID