| 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 | 135 | 2020 |
| SACO: static analyzer for concurrent objects E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ... Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 89 | 2014 |
| 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 | 45 | 2019 |
| 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 | 44 | 2009 |
| 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 | 42 | 2015 |
| Non-cumulative resource analysis E Albert, JC Fernández, G Román-Díez Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 37 | 2015 |
| 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 | 31 | 2011 |
| Peak cost analysis of distributed systems E Albert, J Correas, G Román-Díez Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014 | 24 | 2014 |
| 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 | 23 | 2012 |
| Don’t run on fumes—parametric gas bounds for smart contracts E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio Journal of Systems and Software 176, 110923, 2021 | 22 | 2021 |
| 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 | 18 | 2021 |
| 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 | 16 | 2018 |
| Verified resource guarantees for heap manipulating programs E Albert, R Bubel, S Genaim, R Hähnle, G Román-Díez Fundamental Approaches to Software Engineering: 15th International …, 2012 | 16 | 2012 |
| A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY E Albert, R Bubel, S Genaim, R Hähnle, G Puebla, G Román-Díez Software & Systems Modeling 15, 987-1012, 2016 | 15 | 2016 |
| Parallel cost analysis of distributed systems E Albert, J Correas, EB Johnsen, G Román-Díez Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015 | 15 | 2015 |
| 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 | 11 | 2020 |
| 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 | 11 | 2019 |
| 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 | 11 | 2014 |
| Resource analysis: From sequential to concurrent and distributed programs E Albert, P Arenas, J Correas, S Genaim, M Gómez-Zamalloa, ... FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015 | 7 | 2015 |
| Conditional termination of loops over arrays E Albert, S Genaim, G Román-Dıez Proc. of Bytecode 12, 2012 | 6 | 2012 |
Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
