ALBERTO
RUBIO GIMENO
Catedrático de universidad
Universidad Politécnica de Madrid
Madrid, EspañaPublicaciones en colaboración con investigadores/as de Universidad Politécnica de Madrid (6)
2023
-
Inferring Needless Write Memory Accesses on Ethereum Bytecode
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021
-
Actor-based model checking for Software-Defined Networks
Journal of Logical and Algebraic Methods in Programming, Vol. 118
-
Don't run on fumes—Parametric gas bounds for smart contracts
Journal of Systems and Software, Vol. 176
2020
-
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Smart, and also Reliable and Gas-Efficient, Contracts
Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020
2019
-
SafeVM: A safety verifier for ethereum smart contracts
ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis