Juliandson Ferreira

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Creation Process

Formal Specification

Ubiquitous Environments

Top Venues

Softw. Syst. Model.

Publications

Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe, Filipe Arruda
A refinement-based approach to safe smart contract deployment and evolution. Softw. Syst. Model. 23 (3) (2024)
Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. SEFM (2022)
Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. CoRR (2022)