Juliandson Ferreira

According to our database, Juliandson Ferreira authored at least 3 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

Trusted Deployer: A Tool for Safe Creation and Upgrade of Ethereum Smart Contracts.

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

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 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