Guillermo Román‐Díez

Object‐sensitive cost analysis for concurrent objects

Elvira Albert, Puri Arenas, Jesús Correas et al. · Software Testing Verification and Reliability · 2015 · 29 citations

Engineering, Software Systems, Software Engineering +18

Don’t run on fumes—Parametric gas bounds for smart contracts

Elvira Albert, Jesús Correas, Pablo Gordillo et al. · Journal of Systems and Software · 2021 · 24 citations · Full text

Optimal Contracting, Smart Contract, Fumes—parametric Gas Bounds +1

Verified resource guarantees using COSTA and KeY

Elvira Albert, Richard Bubel, Samir Genaim et al. · 2011 · 18 citations

Software Maintenance, Program Checking, Engineering +24

Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis

Jesús Correas, Pablo Gordillo, Guillermo Román‐Díez · IEEE Access · 2021 · 18 citations · Full text

Gas Consumption, Engineering, Software Engineering +23

Parallel Cost Analysis

Elvira Albert, Jesús Correas, Einar Broch Johnsen et al. · ACM Transactions on Computational Logic · 2018 · 12 citations

Mathematical Programming, Cluster Computing, Engineering +21