| 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 | 81 | 2014 |
| 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 | 37 | 2015 |
| 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 | 34 | 2015 |
| 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 | 31 | 2009 |
| 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 | 28 | 2011 |
| Peak cost analysis of distributed systems E Albert, J Correas, G Román-Díez International Static Analysis Symposium, 18-33, 2014 | 23 | 2014 |
| 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 | 18 | 2020 |
| 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 | 18 | 2012 |
| 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 | 14 | 2012 |
| 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 | 12 | 2018 |
| 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 | 10 | 2014 |
| Parallel cost analysis of distributed systems E Albert, J Correas, EB Johnsen, G Román-Díez International Static Analysis Symposium, 275-292, 2015 | 8 | 2015 |
| 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 | 7 | 2019 |
| 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 | 7 | 2015 |
| 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 | 5 | 2016 |
| 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 | 4 | 2015 |
| 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 | 4 | 2013 |
| Conditional termination of loops over arrays E Albert, S Genaim, G Román-Dıez Proc. of Bytecode 12, 2012 | 4 | 2012 |
| 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 | 3 | 2012 |
| 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 | 2 | 2020 |
Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
