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
Este/a investigador/a no tiene libros.
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
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
Verified resource guarantees using COSTA and KeY
- Albert E
- Bubel R
- Genaim S
- Hähnle R
- Puebla G
- Román-Díez G
Perm'11 - Proceedings Of The 20th Acm Sigplan Workshop On Partial Evaluation And Program Manipulation (p. 73-76) - 7/3/2011
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