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

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

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

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

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

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

  • 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 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, Elvira
  • Correas, Jesus
  • Puebla, German
  • Roman-Diez, Guillermo;

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, Elvira
  • Arenas, Puri
  • Correas, Jesus
  • Genaim, Samir
  • Gomez-Zamalloa, Miguel
  • Puebla, German
  • Roman-Diez, Guillermo;
... Ver más Contraer

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

10.1002/stvr.1569 Ver en origen

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

  • ISSN 01676423

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

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

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

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

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

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

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

10.1007/978-3-319-74730-9_32 Ver en origen

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

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

  • 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;
... 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, Elvira
  • Correas, Jesus
  • Martin-Martin, Enrique
  • Roman-Diez, Guillermo;

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

  • ISSN 03029743
  • iMarina

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

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

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

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

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

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

Tipo: Internacional

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

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

Tipo: Internacional

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

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

Tipo: Internacional

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

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

Tipo: Internacional

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

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

Tipo: Regional

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

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

Tipo: Internacional

Importe financiado: 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)
... 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: 1/08/24 23:45