author-photo

Albert Rubio

Complutense University of Madrid

11

Papers

68

Citations

Citation Trend

Filter By

Papers (6) Sort By

Journal Conference Others

Lower-Bound Synthesis using Loop Specialization and Max-SMT.

2021 CAV | Computer Aided Verification
Show All
- Source
- Cite
- Save
Citations (1)
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers

2019 ACM Transactions on Computational Logic
Show All
- Source
- Cite
- Save
Citations (3)
SAFEVM: A Safety Verifier for Ethereum Smart Contracts.

2019 arXiv: Programming Languages
Show All
- Source
- Cite
- Save
Citations (4)
Running on Fumes--Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis.

2019 arXiv: Programming Languages
Show All
- Source
- Cite
- Save
Citations (15)
SAFEVM: a safety verifier for Ethereum smart contracts.

2019 ISSTA | International Symposium on Software Testing and Analysis
Show All
- Source
- Cite
- Save
Citations (4)
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts

2019 arXiv: Programming Languages
Show All
- Source
- Cite
- Save
Citations (1)