RDF/XML JSON-LD N3/Turtle RDF/JSON
Author profile at the institutional portal

Roman Diez, Guillermo guillermo.roman@upm.es

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

Publications

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

  • Albert, Elvira
  • Correas, Jesus
  • Gordillo, Pablo
  • Roman-Diez, Guillermo
  • Rubio, Albert;

Journal Of Systems And Software - 1/6/2021

10.1016/j.jss.2021.110923 View at source

  • ISSN 01641212

Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis

  • Correas J
  • Gordillo P
  • Roman-Diez G

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

10.1109/access.2021.3057565 View at source

  • ISSN 21693536

Time analysis of actor programs

  • Laneve, Cosimo
  • Lienhardt, Michael
  • Pun, Ka I.
  • Roman-Diez, Guillermo;

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

10.1016/j.jlamp.2019.02.007 View at source

  • ISSN 15678326

Peak resource analysis of concurrent distributed systems

  • Albert, Elvira
  • Correas, Jesus
  • Roman-Diez, Guillermo;

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

10.1016/j.jss.2018.11.018 View at source

  • ISSN 01641212

Parallel cost analysis

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

Acm Transactions On Computational Logic - 1/11/2018

10.1145/3274278 View at source

  • ISSN 15293785

A formal verification framework for static analysis

  • Albert, Elvira
  • Bubel, Richard
  • Genaim, Samir
  • Haehnle, Reiner
  • Puebla, German
  • Roman-Diez, Guillermo;

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

10.1007/s10270-015-0476-y View at source

  • 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 View at source

  • ISSN 09345043

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

  • Albert, Elvira
  • Correas, Jesus
  • Puebla, German
  • Roman-Diez, Guillermo;

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

10.1016/j.tcs.2015.03.002 View at source

  • ISSN 03043975

Object-sensitive cost analysis for concurrent objects

  • Albert, Elvira
  • Arenas, Puri
  • Correas, Jesus
  • Genaim, Samir
  • Gomez-Zamalloa, Miguel
  • Puebla, German
  • Roman-Diez, Guillermo;
... View more Collapse

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

10.1002/stvr.1569 View at source

  • ISSN 10991689

Conditional termination of loops over heap-allocated data

  • Alberta, Elvira
  • Arenas, Puri
  • Genaim, Samir
  • Puebla, German
  • Roman-Diez, Guillermo;

Science Of Computer Programming (p. 2-24) - 15/10/2014

10.1016/j.scico.2013.04.006 View at source

  • ISSN 01676423

This researcher has no books.

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 View at source

  • ISSN 03029743

Inferring Needless Write Memory Accesses on Ethereum Bytecode

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

Lecture Notes In Computer Science (p. 448-466) - 1/1/2023

10.1007/978-3-031-30823-9_23 View at source

  • ISSN 03029743

Smart, and also Reliable and Gas-Efficient, Contracts

  • Albert E
  • Correas J
  • Gordillo P
  • Roman-Diez 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 View at source

GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts

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

Lecture Notes In Computer Science (p. 118-125) - 1/1/2020

10.1007/978-3-030-45237-7_7 View at source

  • ISSN 03029743

SAFEVM: A Safety Verifier for Ethereum Smart Contracts

  • Albert, Elvira
  • Correas, Jesus
  • Gordillo, Pablo
  • Roman-Diez, Guillermo
  • Rubio, Albert;

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 View at source

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

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 View at source

  • ISSN 03029743

Parallel Cost Analysis of Distributed Systems

  • Albert, Elvira
  • Correas, Jesus
  • Johnsen, Einar Broch
  • Roman-Diez, Guillermo;

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

10.1007/978-3-662-48288-9_16 View at source

  • ISSN 03029743

Resource Analysis: From Sequential to Concurrent and Distributed Programs

  • Albert, Elvira
  • Arenas, Puri
  • Correas, Jesus
  • Genaim, Samir
  • Gomez-Zamalloa, Miguel
  • Martin-Martin, Enrique
  • Puebla, German
  • Roman-Diez, Guillermo;
... View more Collapse

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

10.1007/978-3-319-19249-9_1 View at source

  • 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 View at source

  • ISSN 03029743

Static Inference of Transmission Data Sizes in Distributed Systems

  • Albert, Elvira
  • Correas, Jesus
  • Martin-Martin, Enrique
  • Roman-Diez, Guillermo;

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

  • ISSN 03029743
  • iMarina

This researcher has no working papers.

This researcher has no technical reports.

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

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

Period: 15-09-2023 - 31-12-2023

Type of funding: Internal

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

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

Type of funding: National

  • iMarina

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

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

Period: 04-04-2022 - 31-12-2022

Type of funding: Internal

  • iMarina

EIT Digital Master - HCID Education 2022 (Elena)

  • SEGOVIA PEREZ, FCO.JAVIER (Investigador principal (IP))
  • MEZA VALDES, REBECA (Participante)
  • TEJERO LOPEZ, ALBERTO (Participante)
  • RIOS AGUILAR, SERGIO JOSE (Participante)
  • HABIBI LASHKARI, ZIBA (Participante)
  • GUTIERREZ SANCHIS, RAUL (Participante)
  • MARTINEZ GAMERO, ROBERTO (Participante)
  • SAURINA LUCINI, EBRU SUSUR (Participante)
... View more Collapse

Period: 01-01-2022 - 31-12-2022

Type of funding: International

Amount of funding: 13699,50 Euros.

  • iMarina

HCID Execution 2021

  • 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))
  • Fuertes Castro, José Luis (Participante)
  • ALONSO CALVO, RAUL (Participante)
  • Imbert Paredes, Ricardo (Participante)
... View more Collapse

Period: 01-01-2021 - 31-12-2021

Type of funding: International

Amount of funding: 11855,00 Euros.

  • iMarina

HCID Execution 2020 (Elena)

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

Period: 01-01-2020 - 31-12-2020

Type of funding: International

Amount of funding: 17687,00 Euros.

  • iMarina

MASTER HCID - Programme Execution - EIT - I&E Education Program 2019 (Elena)

  • MEZA VALDES, REBECA (Participante)
  • ALONSO CALVO, RAUL (Participante)
  • MORAL MARTOS, CRISTIAN (Participante)
  • RAMIREZ RODRIGUEZ, JAIME (Participante)
  • MARTINEZ NORMAND, LOIC ANTONIO (Participante)
  • Fuertes Castro, José Luis (Participante)
  • ROMAN DIEZ, GUILLERMO (Participante)
  • Antonio Jiménez, Angélica de (Participante)
  • González Martínez, Ángel Lucas (Participante)
  • Moreno Sánchez-Capuchino, Ana María (Participante)
  • VILLALBA MORA, ELENA (Investigador principal (IP))
  • Imbert Paredes, Ricardo (Participante)
  • DIESTE TUBIO, OSCAR (Participante)
... View more Collapse

Period: 01-01-2019 - 31-12-2019

Type of funding: International

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

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

Last data update: 8/1/24 11:45 PM