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

Roman Diez, Guillermo guillermo.roman@upm.es

LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE / Universidad Politécnica de Madrid

Actividades

Harnessing heap analysis for the synthesis of superoptimized bytecode

  • Albert, E
  • Correas, J
  • Gordillo, P
  • Román-Díez, G
  • Rubio, A

Journal Of Systems And Software - 1/3/2025

10.1016/j.jss.2024.112284 Ver en origen

  • ISSN 01641212

Don't run on fumes-Parametric gas bounds for smart contracts

  • Albert, E
  • Correas, J
  • Gordillo, P
  • Román-Díez, G
  • Rubio, A

Journal Of Systems And Software - 1/6/2021

10.1016/j.jss.2021.110923 Ver en origen

  • ISSN 01641212

Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis

  • Correas, J
  • Gordillo, P
  • Román-Díez, G

Ieee Access (p. 25495-25507) - 1/1/2021

10.1109/access.2021.3057565 Ver en origen

  • ISSN 21693536

Time analysis of actor programs

  • Laneve, C
  • Lienhardt, M
  • Pun, KI
  • Román-Díez, G

Journal Of Logical And Algebraic Methods In Programming (p. 1-27) - 1/6/2019

10.1016/j.jlamp.2019.02.007 Ver en origen

  • ISSN 15678326

Peak resource analysis of concurrent distributed systems

  • Albert, E
  • Correas, J
  • Román-Díez, G

Journal Of Systems And Software (p. 35-62) - 1/3/2019

10.1016/j.jss.2018.11.018 Ver en origen

  • ISSN 01641212

Parallel cost analysis

  • Albert, E
  • Correas, J
  • Johnsen, EB
  • Pun, KI
  • Roman-Diez, G

Acm Transactions On Computational Logic - 1/11/2018

10.1145/3274278 Ver en origen

  • ISSN 15293785

A formal verification framework for static analysis

  • Albert, E
  • Bubel, R
  • Genaim, S
  • Hähnle, R
  • Puebla, G
  • Román-Díez, G

Software And Systems Modeling (p. 987-1012) - 1/10/2016

10.1007/s10270-015-0476-y Ver en origen

  • ISSN 16191366

Quantified abstract configurations of distributed systems

  • Albert E
  • Correas J
  • Puebla G
  • Román-Díez G

Formal Aspects Of Computing (p. 665-699) - 22/7/2015

10.1007/s00165-014-0321-z Ver en origen

  • ISSN 09345043

A multi-domain incremental analysis engine and its application to incremental resource analysis

  • Albert, E
  • Correas, J
  • Puebla, G
  • Román-Díez, G

Theoretical Computer Science (p. 91-114) - 20/6/2015

10.1016/j.tcs.2015.03.002 Ver en origen

  • ISSN 03043975

Object-sensitive cost analysis for concurrent objects

  • Albert, E
  • Arenas, P
  • Correas, J
  • Genaim, S
  • Gómez-Zamalloa, M
  • Puebla, G
  • Román-Díez, G
... Ver más Contraer

Software Testing Verification & Reliability (p. 218-271) - 1/5/2015

10.1002/stvr.1569 Ver en origen

  • ISSN 10991689

Este/a investigador/a no tiene libros.

When COSTA Met KeY: Verified Cost Bounds

  • Albert E
  • Genaim S
  • Merayo A
  • Román-Díez G

Lecture Notes In Computer Science (p. 19-37) - 1/1/2022

10.1007/978-3-031-08166-8_2 Ver en origen

  • ISSN 03029743

Smart, and also Reliable and Gas-Efficient, Contracts

  • Albert, E
  • Correas, J
  • Gordillo, P
  • Román-Díez, G
  • Rubio, A

Proceedings - 2020 Ieee 13th International Conference On Software Testing, Verification And Validation, Icst 2020 (p. 430-432) - 1/10/2020

10.1109/icst46399.2020.00010 Ver en origen

SAFEVM: A Safety Verifier for Ethereum Smart Contracts

  • Albert, E
  • Correas, J
  • Gordillo, P
  • Román-Díez, G
  • Rubio, A

Proceedings Of The 28th Acm Sigsoft International Symposium On Software Testing And Analysis (Issta '19) (p. 386-389) - 10/7/2019

10.1145/3293882.3338999 Ver en origen

Resource analysis of distributed systems

  • Albert E
  • Correas J
  • Román-Díez G

Lecture Notes In Computer Science (p. 33-46) - 1/1/2016

10.1007/978-3-319-30734-3_5 Ver en origen

  • ISSN 03029743

Parallel Cost Analysis of Distributed Systems

  • Albert, E
  • Correas, J
  • Johnsen, EB
  • Román-Díez, G

Lecture Notes In Computer Science (p. 275-292) - 1/1/2015

10.1007/978-3-662-48288-9_16 Ver en origen

  • ISSN 03029743

Resource Analysis: From Sequential to Concurrent and Distributed Programs

  • Albert, E
  • Arenas, P
  • Correas, J
  • Genaim, S
  • Gómez-Zamalloa, M
  • Martin-Martin, E
  • Puebla, G
  • Román-Díez, G
... Ver más Contraer

Lecture Notes In Computer Science (p. 3-17) - 1/1/2015

10.1007/978-3-319-19249-9_1 Ver en origen

  • ISSN 03029743

Non-cumulative resource analysis

  • Albert E
  • Fernández J
  • Román-Díez G

Lecture Notes In Computer Science (p. 85-100) - 1/1/2015

10.1007/978-3-662-46681-0_6 Ver en origen

  • ISSN 03029743

Static Inference of Transmission Data Sizes in Distributed Systems

  • Albert, E
  • Correas, J
  • Martin-Martin, E
  • Román-Díez, G

Lecture Notes In Computer Science (p. 104-119) - 1/1/2014

  • ISSN 03029743
  • iMarina

SACO: Static analyzer for concurrent objects

  • Albert E
  • Arenas P
  • Flores-Montoya A
  • Genaim S
  • Gómez-Zamalloa M
  • Martin-Martin E
  • Puebla G
  • Román-Díez G
... Ver más Contraer

Lecture Notes In Computer Science (p. 562-567) - 1/1/2014

10.1007/978-3-642-54862-8_46 Ver en origen

  • ISSN 03029743

Peak Cost Analysis of Distributed Systems

  • Albert, E
  • Correas, J
  • Román-Díez, G

Lecture Notes In Computer Science (p. 18-33) - 1/1/2014

  • ISSN 03029743
  • iMarina

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

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.

LIAISON: Tecnologías basadas en Lógica impulsadas por IA para la seguridad y la optimización

  • Kyriazis NA, Dimosthenis (Miembro del equipo de trabajo)
  • Matos NA, Miguel (Miembro del equipo de trabajo)
  • Raynal NA, Michel (Miembro del equipo de trabajo)
  • Kemme NA, Bettina (Miembro del equipo de trabajo)
  • Ka I NA, Violet (Miembro del equipo de trabajo)
  • Fadel NA, Mauricio (Miembro del equipo de trabajo)
  • Valduriez NA, Patrick (Miembro del equipo de trabajo)
  • Gulisano NA, Vincenzo (Miembro del equipo de trabajo)
  • Moreno NA, Marta (Miembro del equipo de trabajo)
  • Larrea NA, Mikel (Participante)
  • ROMAN DIEZ, GUILLERMO (Investigador principal (IP))
  • PATIÑO MARTINEZ, MARTA (Investigador principal (IP))
  • MENGUAL GALAN, LUIS (Participante)
  • LI, TONGHONG (Participante)
  • López Presa, José Luis (Participante)
  • JIMENEZ MERINO, JOSE ERNESTO (Participante)
  • AZQUETA ALZÚAZ, AINHOA (Miembro del equipo de trabajo)
... Ver más Contraer

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

Tipo: Nacional

Importe financiado: 193375,00 Euros.

  • iMarina

IDENTIFICACIÓN DE ESTUDIANTES CON ALTOS INDICADORES DE CALIDAD CIENTÍFICA

  • ROMAN DIEZ, GUILLERMO (Investigador principal (IP))

Ejecución: 15-09-2023 - 31-12-2023

Tipo: Interno

  • iMarina

EIT Digital Master - HCID Education 2023 (Elena)

  • González Martínez, Ángel Lucas (Participante)
  • Imbert Paredes, Ricardo (Participante)
  • MARTINEZ NORMAND, LOIC ANTONIO (Participante)
  • Fuertes Castro, José Luis (Participante)
  • RAMIREZ RODRIGUEZ, JAIME (Participante)
  • ROMAN DIEZ, GUILLERMO (Participante)
  • Antonio Jiménez, Angélica de (Participante)
  • BARAMBONES RAMIREZ, JOSE MARIA (Investigador principal (IP))
  • VILLALBA MORA, ELENA (Investigador principal (IP))
  • Sanchez Muñoz, Maria Teresa (Participante)
  • ALONSO CALVO, RAUL (Participante)
  • MORAL MARTOS, CRISTIAN (Participante)
... Ver más Contraer

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

Tipo: Internacional

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

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

Tipo: Nacional

  • iMarina

CONSULTORÍA SOBRE VÍAS DE ACCESO DE ESTUDIANTES A CARRERA INVESTIGADORA

  • ROMAN DIEZ, GUILLERMO (Investigador principal (IP))

Ejecución: 04-04-2022 - 31-12-2022

Tipo: Interno

  • iMarina

HCID Execution 2021

  • Fuertes Castro, José Luis (Participante)
  • ALONSO CALVO, RAUL (Participante)
  • Imbert Paredes, Ricardo (Participante)
  • MEZA VALDES, REBECA (Participante)
  • Antonio Jiménez, Angélica de (Participante)
  • MORAL MARTOS, CRISTIAN (Participante)
  • González Martínez, Ángel Lucas (Participante)
  • BARAMBONES RAMIREZ, JOSE MARIA (Participante)
  • MARTINEZ NORMAND, LOIC ANTONIO (Participante)
  • RAMIREZ RODRIGUEZ, JAIME (Participante)
  • ROMAN DIEZ, GUILLERMO (Participante)
  • VILLALBA MORA, ELENA (Investigador principal (IP))
... Ver más Contraer

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

Tipo: Internacional

Importe financiado: 11855,00 Euros.

  • iMarina

HCID Execution 2020 (Elena)

  • VILLALBA MORA, ELENA (Investigador principal (IP))
  • MEZA VALDES, REBECA (Participante)
  • MORAL MARTOS, CRISTIAN (Participante)
  • ALONSO CALVO, RAUL (Participante)
  • ROMAN DIEZ, GUILLERMO (Participante)
  • Antonio Jiménez, Angélica de (Participante)
  • Fuertes Castro, José Luis (Participante)
  • Imbert Paredes, Ricardo (Participante)
  • MARTINEZ NORMAND, LOIC ANTONIO (Participante)
  • González Martínez, Ángel Lucas (Participante)
  • RAMIREZ RODRIGUEZ, JAIME (Participante)
... Ver más Contraer

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

Tipo: Internacional

Importe financiado: 17687,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

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

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/07/26 20:39