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

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

10.1007/978-3-319-10936-7_2 Ver en origen

  • ISSN 03029743

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

  • 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

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)

  • 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)
  • SEGOVIA PEREZ, FCO.JAVIER (Investigador principal (IP))
... Ver más Contraer

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

Tipo: Internacional

Importe financiado: 13699,50 Euros.

  • 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

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

  • SEGOVIA PEREZ, FCO.JAVIER (Investigador principal (IP))
  • MEZA VALDES, REBECA (Participante)
  • TEJERO LOPEZ, ALBERTO (Participante)
  • LEON SERRANO, GONZALO (Participante)

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

  • 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

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

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/04/24 9:10