Formal techniques for distributed objects, components, and systems: 36th IFIP WG 6. 1 international conference, FORTE 2016, held as part of the 11th international federated confere...

por Albert, Elvira, Lanese, Ivan
Publicado 2016

Certified Abstract Cost Analysis

por Albert, Elvira, Hähnle, Reiner, Merayo, Alicia, Steinhöfel, Dominic
Publicado 2021

Synthesis of Super-Optimized Smart Contracts Using Max-SMT

por Albert, Elvira, Gordillo, Pablo, Rubio, Albert, Schett, Maria A.
Publicado 2020

GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts

por Albert, Elvira, Correas, Jesús, Gordillo, Pablo, Román-Díez, Guillermo, Rubio, Albert
Publicado 2014