Guillermo Román-Díez

37 papers A 5B 6C 2Journal 15Unranked 8
YearRankTypeTitle / Venue / Authors
2026 B conf
EASYRPL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textsc {Easy}}\mathcal {R}{\textsc {pl}}$$\end{document} - A web-based tool for modelling and analysis of cross-organisational workflows.
FASE
Muhammad Rizwan Ali, Violet Ka I Pun, Guillermo Román-Díez
2025 J jnl
EasyRpl: A web-based tool for modelling and analysis of cross-organisational workflows.
CoRR
Muhammad Rizwan Ali, Violet Ka I Pun, Guillermo Román-Díez
2025 J jnl
Harnessing heap analysis for the synthesis of superoptimized bytecode.
J. Syst. Softw.
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2024 A conf
Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT.
ISSTA
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2023 J jnl
Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version).
CoRR
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2023 — conf
Inferring Needless Write Memory Accesses on Ethereum Bytecode.
TACAS (1)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2022 — conf
When COSTA Met KeY: Verified Cost Bounds.
The Logic of Software. A Tasting Menu of Formal Methods
Elvira Albert, Samir Genaim, Alicia Merayo, Guillermo Román-Díez
2021 J jnl
Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis.
IEEE Access
Jesús Correas, Pablo Gordillo, Guillermo Román-Díez
2020 J jnl
Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph.
CoRR
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2020 — conf
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts.
TACAS (2)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2020 A conf
Smart, and also Reliable and Gas-Efficient, Contracts.
ICST
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2019 J jnl
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts.
CoRR
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2019 J jnl
Peak resource analysis of concurrent distributed systems.
J. Syst. Softw.
Elvira Albert, Jesús Correas, Guillermo Román-Díez
2019 J jnl
SAFEVM: A Safety Verifier for Ethereum Smart Contracts.
CoRR
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2019 A conf
SAFEVM: a safety verifier for Ethereum smart contracts.
ISSTA
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2019 J jnl
Time analysis of actor programs.
J. Log. Algebraic Methods Program.
Cosimo Laneve, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez
2018 J jnl
Parallel Cost Analysis.
ACM Trans. Comput. Log.
Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez
2017 — conf
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools.
STAF Workshops
Elvira Albert, Pablo C. Cañizares, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Núñez, Guillermo Román-Díez, Juan Manuel Vara, Damiano Zanardini
2016 J jnl
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.
Softw. Syst. Model.
Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
2016 — conf
Resource Analysis of Distributed Systems.
Theory and Practice of Formal Methods
Elvira Albert, Jesús Correas, Guillermo Román-Díez
2015 J jnl
A multi-domain incremental analysis engine and its application to incremental resource analysis.
Theor. Comput. Sci.
Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez
2015 A conf
Non-cumulative Resource Analysis.
TACAS
Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez
2015 J jnl
Object-sensitive cost analysis for concurrent objects.
Softw. Test. Verification Reliab.
Elvira Albert, Puri Arenas, Jesús Correas Fernández, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Guillermo Román-Díez
2015 B conf
Parallel Cost Analysis of Distributed Systems.
SAS
Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez
2015 J jnl
Quantified abstract configurations of distributed systems.
Formal Aspects Comput.
Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez
2015 B conf
Resource Analysis: From Sequential to Concurrent and Distributed Programs.
FM
Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez
2014 J jnl
Conditional termination of loops over heap-allocated data.
Sci. Comput. Program.
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Guillermo Román-Díez
2014 B conf
Peak Cost Analysis of Distributed Systems.
SAS
Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez
2014 A conf
SACO: Static Analyzer for Concurrent Objects.
TACAS
Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez
2014 — conf
Static Inference of Transmission Data Sizes in Distributed Systems.
ISoLA (2)
Elvira Albert, Jesús Correas Fernández, Enrique Martin-Martin, Guillermo Román-Díez
2013 B conf
Quantified Abstractions of Distributed Systems.
IFM
Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez
2012 — —
Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity.
Guillermo Román-Díez
2012 — conf
Automatic Inference of Bounds on Resource Consumption.
FMCO
Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini
2012 C conf
Incremental resource usage analysis.
PEPM
Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez
2012 B conf
Verified Resource Guarantees for Heap Manipulating Programs.
FASE
Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez
2011 C conf
Verified resource guarantees using COSTA and KeY.
PEPM
Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
2009 — conf
Termination and Cost Analysis with COSTA and its User Interfaces.
PROLE
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini