Observatorio de I+D+i UPM
• ESPAÑOL
• ENGLISH
INVESTIGADORES
ESTRUCTURAS DE I+D+I
ACTIVIDAD INVESTIGADORA
INNOVACIÓN
Investigador
Guillermo Roman Diez
Categoría Investigador
L.D. PRF.CONTR.DOCT.
Escuela UPM
E.T.S. DE INGENIEROS INFORMÁTICOS
Departamento:
LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE
Area Conocimiento
LENGUAJES Y SISTEMAS INFORMATICOS
Grupo de Investigación:
BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
Email (Directorio UPM)
guillermo.roman
upm.es
Teléfono (Directorio UPM)
910672997
Datos de Memorias relacionados
Proyectos de I+D+i y generación de recursos
11 Proyectos de I+D+i
1: (2013)
DOVES (Development Of Verifiable and Efficient Software)
2: (2013)
ValIdación y Verificación de Aplicaciones Concurrentes (VIVAC)
3: (2015)
DESARROLLO DE SISTEMAS CONFIABLES MEDIANTE MODELOS Y HERRAMIENTAS AVANZADAS (SICOMORO-CM)
4: (2015)
DESARROLLO DE SISTEMAS CONFIABLES MEDIANTE MODELOS Y HERRAMIENTAS AVANZADAS (SICOMORO-CM)
5: (2015)
VERA: Técnicas avanzadas de verificación de aplicaciones concurrentes
6: (2017)
Master EIT Digital 2017-HCID: EIT Digital Master School Programmes
7: (2017)
MASTES EIT DIGITAL IN HUMAN COMPUTER INTERACTION AND DESIGN (HCID)
8: (2018)
MASTER EIT DIGITAL IN HUMAN COMPUTER INTERACTION AND DESIGN (HCID) 2017
9: (2018)
Master EIT Digital 2018-HCID : EIT Digital Master School Programmes
10: (2019)
BLOQUES-CM: CONTRATOS INTELIGENTES Y BLOCKCHAINS ESCALABLES Y SEGUROS MEDIANTE VERIFICACION Y ANALISIS (BABEL-CLIP-UPM)
11: (2019)
EIT Digital Master - HCID Education 2019 (Elena): MASTER HCID - Programme Execution - EIT - I&E Education Program 2019 (Elena)
Difusión de Resultados de Investigación
13 Artículos en revistas
1: (2014)
Conditional termination of loops over heap-allocated data
2: (2014)
Peak Cost Analysis of Distributed Systems
3: (2015)
Quantified Abstract Configurations of Distributed Systems
4: (2015)
A multi-domain incremental analysis engine and its application to incremental resource analysis
5: (2015)
Non-cumulative Resource Analysis
6: (2015)
Object-sensitive cost analysis for concurrent objects
7: (2015)
Parallel Cost Analysis of Distributed Systems
8: (2015)
Resource Analysis: From Sequential to Concurrent and Distributed Programs
9: (2016)
A formal verification framework for static analysis
10: (2018)
Parallel Cost Analysis
11: (2019)
Peak resource analysis of concurrent distributed systems
12: (2019)
SAFEVM: A Safety Verifier for Ethereum Smart Contracts
13: (2019)
Time analysis of actor programs
1 Ponencia en Congresos
1: (2013)
Quantified Abstractions of Distributed Systems
• TOMA DE DATOS DE MEMORIAS Y CV
• UPM.ES
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)
