ALBERTO
RUBIO GIMENO
Catedrático de universidad
University College London
Londres, Reino UnidoPublikationen in Zusammenarbeit mit Forschern von University College London (6)
2022
-
Super-optimization of Smart Contracts
ACM Transactions on Software Engineering and Methodology, Vol. 31, Núm. 4
2021
-
Actor-based model checking for Software-Defined Networks
Journal of Logical and Algebraic Methods in Programming, Vol. 118
2020
-
Synthesis of Super-Optimized Smart Contracts Using Max-SMT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
-
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
SDN-Actors: Modeling and verification of SDN programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
Proving non-termination using max-SMT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)