Follow
Guillermo Román Díez
Title
Cited by
Cited by
Year
SACO: static analyzer for concurrent objects
E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ...
International Conference on Tools and Algorithms for the Construction and …, 2014
872014
GASOL: gas analysis and optimization for ethereum smart contracts
E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio
International Conference on Tools and Algorithms for the Construction and …, 2020
512020
Object‐sensitive cost analysis for concurrent objects
E Albert, P Arenas, J Correas, S Genaim, M Gómez‐Zamalloa, G Puebla, ...
Software Testing, Verification and Reliability 25 (3), 218-271, 2015
392015
Termination and Cost Analysis with COSTA and its User Interfaces
E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla, D Ramirez, ...
Electronic Notes in Theoretical Computer Science 258 (1), 109-121, 2009
372009
Non-cumulative resource analysis
E Albert, JC Fernández, G Román-Díez
International Conference on Tools and Algorithms for the Construction and …, 2015
342015
Verified resource guarantees using COSTA and KeY
E Albert, R Bubel, S Genaim, R Hähnle, G Puebla, G Román-Díez
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011
292011
Peak cost analysis of distributed systems
E Albert, J Correas, G Román-Díez
International Static Analysis Symposium, 18-33, 2014
242014
Incremental resource usage analysis
E Albert, J Correas, G Puebla, G Román-Díez
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012
192012
SAFEVM: a safety verifier for Ethereum smart contracts
E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
182019
Verified resource guarantees for heap manipulating programs
E Albert, R Bubel, S Genaim, R Hähnle, G Román-Díez
International Conference on Fundamental Approaches to Software Engineering …, 2012
152012
Parallel cost analysis
E Albert, J Correas, EB Johnsen, KI Pun, G Román-Díez
ACM Transactions on Computational Logic (TOCL) 19 (4), 1-37, 2018
122018
Parallel cost analysis of distributed systems
E Albert, J Correas, EB Johnsen, G Román-Díez
International Static Analysis Symposium, 275-292, 2015
122015
Conditional termination of loops over heap-allocated data
E Albert, P Arenas, S Genaim, G Puebla, G Román-Díez
Science of Computer Programming 92, 2-24, 2014
112014
A formal verification framework for static analysis
E Albert, R Bubel, S Genaim, R Hähnle, G Puebla, G Román-Díez
Software & Systems Modeling 15 (4), 987-1012, 2016
92016
Resource analysis: From sequential to concurrent and distributed programs
E Albert, P Arenas, J Correas, S Genaim, M Gómez-Zamalloa, ...
International Symposium on Formal Methods, 3-17, 2015
82015
Time analysis of actor programs
C Laneve, M Lienhardt, KI Pun, G Román-Díez
Journal of Logical and Algebraic Methods in Programming 105, 1-27, 2019
72019
Analyzing smart contracts: from EVM to a sound control-flow graph
E Albert, J Correas, P Gordillo, AHCG Román-Díez, A Rubio
arXiv preprint arXiv:2004.14437, 2020
62020
Static profiling and optimization of ethereum smart contracts using resource analysis
J Correas, P Gordillo, G Román-Díez
IEEE Access 9, 25495-25507, 2021
52021
Conditional termination of loops over arrays
E Albert, S Genaim, G Román-Dıez
Proc. of Bytecode 12, 2012
52012
Don’t run on fumes—Parametric gas bounds for smart contracts
E Albert, J Correas, P Gordillo, G Roman-Diez, A Rubio
Journal of Systems and Software 176, 110923, 2021
42021
The system can't perform the operation now. Try again later.
Articles 1–20