Guillermo Román Díez
Guillermo Román Díez
Assistant Professor at Universidad Politécnica de Madrid
Dirección de correo verificada de upm.es - Página principal
Título
Citado por
Citado por
Año
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
822014
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
382015
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
352015
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
322009
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
282011
Peak cost analysis of distributed systems
E Albert, J Correas, G Román-Díez
International Static Analysis Symposium, 18-33, 2014
232014
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
212020
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
182012
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
142012
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
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
Parallel cost analysis of distributed systems
E Albert, J Correas, EB Johnsen, G Román-Díez
International Static Analysis Symposium, 275-292, 2015
92015
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
82019
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
72015
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
62016
Quantified abstract configurations of distributed systems
E Albert, J Correas, G Puebla, G Román-Díez
Formal Aspects of Computing 27 (4), 665-699, 2015
42015
Quantified abstractions of distributed systems
E Albert, J Correas, G Puebla, G Román-Díez
International Conference on Integrated Formal Methods, 285-300, 2013
42013
Conditional termination of loops over arrays
E Albert, S Genaim, G Román-Dıez
Proc. of Bytecode 12, 2012
42012
Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph
E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio
arXiv preprint arXiv:2004.14437, 2020
32020
Automatic inference of bounds on resource consumption
E Albert, DE Alonso-Blas, P Arenas, J Correas, A Flores-Montoya, ...
International Symposium on Formal Methods for Components and Objects, 119-144, 2012
32012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20