Pedro Antonino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2016–2024
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | NCA | Hooks: A Simple and Modular Checkpointing Protocol for Blockchains. | Pedro Antonino, Antoine Durand, Namrata Jain, Garry Lancaster, Jonathan Lawrence, A. W. Roscoe |
| 2022 | SEFM | Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. | Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe |
| 2021 | SAC | Solidifier: bounded model checking solidity using lazy contract deployment and precise memory modelling. | Pedro Antonino, A. W. Roscoe |
| 2016 | IFM | Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving. | Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe |