Juliandson Ferreira

According to our database, Juliandson Ferreira authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A refinement-based approach to safe smart contract deployment and evolution.

Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe, Filipe Arruda

Softw. Syst. Model., June, 2024

2022

Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts.

Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022