Roman Diez, Guillermo guillermo.roman@upm.es
Actividades
- Artículos 11
- Libros 0
- Capítulos de libro 1
- Congresos 17
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 10
- Tesis dirigidas 0
- Patentes o licencias de software 0
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
Este/a investigador/a no tiene libros.
Incremental resource usage analysis
- Albert E
- Correas J
- Puebla G
- Román-Díez G
Conference Record Of The Annual Acm Symposium On Principles Of Programming Languages (p. 25-34) - 1/1/2012
- ISSN 07308566
- iMarina
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
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
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;
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
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
Lecture Notes In Computer Science (p. 562-567) - 1/1/2014
10.1007/978-3-642-54862-8_46 Ver en origen
- ISSN 03029743
Quantified abstractions of distributed systems
- Jesús Correas
- Elvira Albert
- ROMAN DIEZ, GUILLERMO
- PUEBLA SANCHEZ, Alvaro Germán
Lecture Notes In Computer Science (p. 285-300) - 28/10/2013
10.1007/978-3-642-38613-8_20 Ver en origen
- ISSN 03029743
- iMarina
- iMarina
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
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
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))
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))
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)
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)
Ejecución: 01-01-2019 - 30-04-2023
Tipo: Regional
Importe financiado: 74100,85 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
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
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)
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)
Ejecución: 01-01-2017 - 31-12-2017
Tipo: Internacional
Importe financiado: 15000,00 Euros.
- iMarina
Este/a investigador/a no tiene tesis dirigidas.
Este/a investigador/a no tiene patentes o licencias de software.
Grupos de investigación
Perfiles de investigador/a
-
ORCID
-
Publons
-
Scopus Author ID