Guillermo Romn-Dez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
9
Active years
2011–2026
Best venue rank
A
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FASE | EASYRPL - A web-based tool for modelling and analysis of cross-organisational workflows. | Muhammad Rizwan Ali, Violet Ka I Pun, Guillermo Romn-Dez |
| 2024 | ISSTA | Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2023 | TACAS | Inferring Needless Write Memory Accesses on Ethereum Bytecode. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2020 | ICST | Smart, and also Reliable and Gas-Efficient, Contracts. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2020 | TACAS | GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2019 | ISSTA | SAFEVM: a safety verifier for Ethereum smart contracts. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2015 | FM | Resource Analysis: From Sequential to Concurrent and Distributed Programs. | Elvira Albert, Puri Arenas, Jess Correas, Samir Genaim, Miguel Gmez-Zamalloa, Enrique Martin-Martin, Germn Puebla, Guillermo Romn-Dez |
| 2015 | SAS | Parallel Cost Analysis of Distributed Systems. | Elvira Albert, Jess Correas, Einar Broch Johnsen, Guillermo Romn-Dez |
| 2015 | TACAS | Non-cumulative Resource Analysis. | Elvira Albert, Jess Correas Fernndez, Guillermo Romn-Dez |
| 2014 | ISoLA | Static Inference of Transmission Data Sizes in Distributed Systems. | Elvira Albert, Jess Correas Fernndez, Enrique Martin-Martin, Guillermo Romn-Dez |
| 2014 | SAS | Peak Cost Analysis of Distributed Systems. | Elvira Albert, Jess Correas Fernndez, Guillermo Romn-Dez |
| 2014 | TACAS | SACO: Static Analyzer for Concurrent Objects. | Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gmez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Romn-Dez |
| 2013 | IFM | Quantified Abstractions of Distributed Systems. | Elvira Albert, Jess Correas, Germn Puebla, Guillermo Romn-Dez |
| 2012 | FASE | Verified Resource Guarantees for Heap Manipulating Programs. | Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hhnle, Guillermo Romn-Dez |
| 2012 | PEPM | Incremental resource usage analysis. | Elvira Albert, Jess Correas, Germn Puebla, Guillermo Romn-Dez |
| 2011 | PEPM | Verified resource guarantees using COSTA and KeY. | Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hhnle, Germn Puebla, Guillermo Romn-Dez |