RDF/XML JSON-LD N3/Turtle RDF/JSON
Perfil en el portal institucional

Zanardini, Damiano damiano.zanardini@upm.es

INTELIGENCIA ARTIFICIAL / Universidad Politécnica de Madrid

Actividades

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 Ver en origen

  • 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 Ver en origen

  • ISSN 03044238

Class-level Non-Interference

  • Zanardini, Damiano;

New Generation Computing (p. 241-270) - 1/1/2012

10.1007/s00354-012-0207-7 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • ISSN 03043975

Inference of field-sensitive reachability and cyclicity

  • Zanardini D
  • Genaim S

Acm Transactions On Computational Logic - 16/9/2014

10.1145/2629478 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • ISSN 09252312

Este/a investigador/a no tiene libros.

Este/a investigador/a no tiene capítulos de libro.

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 Ver en origen

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 Ver en origen

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

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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • 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 Ver en origen

  • ISSN 03621340

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

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))
... Ver más Contraer

Ejecución: 01-10-2006 - 30-09-2009

Tipo: Nacional

  • 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))
... Ver más Contraer

Ejecución: 01-01-2009 - 31-12-2010

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

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)
... Ver más Contraer

Ejecución: 01-01-2013 - 30-06-2017

Tipo: Nacional

Importe financiado: 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)
... Ver más Contraer

Ejecución: 01-01-2017 - 31-12-2017

Tipo: Internacional

Importe financiado: 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)
... Ver más Contraer

Ejecución: 01-01-2019 - 30-04-2023

Tipo: Regional

Importe financiado: 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)

Ejecución: 01-06-2020 - 31-05-2023

Tipo: Nacional

Importe financiado: 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)

Ejecución: 01-09-2022 - 31-08-2025

Tipo: Nacional

  • iMarina

Este/a investigador/a no tiene tesis dirigidas.

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 8/04/24 9:10