Pedro R. G. Antonino

According to our database, Pedro R. G. Antonino authored at least 23 papers between 2013 and 2024.

Collaborative distances:

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

2024

A formal component model for UML based on CSP aiming at compositional verification.

Flávia Falcão, Lucas Lima, Augusto Sampaio, Pedro Antonino

Softw. Syst. Model., June, 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

Extracting Formal Smart-Contract Specifications from Natural Language with LLMs.

Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto Sampaio, A. W. Roscoe

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2023

Flexible Remote Attestation of Pre-SNP SEV VMs Using SGX Enclaves.

Pedro Antonino, Ante Derek, Wojciech Aleksander Woloszyn

IEEE Access, 2023

The Consensus Machine: Formalising Consensus in the Presence of Malign Agents.

A. W. Roscoe, Pedro Antonino, Jonathan Lawrence

Proceedings of the Theories of Programming and Formal Methods, 2023

2022

Approximate verification of concurrent systems using token structures and invariants.

Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe

Int. J. Softw. Tools Technol. Transf., 2022

A Pattern-based deadlock-freedom analysis strategy for concurrent systems.

Pedro Antonino, Augusto Sampaio, Jim Woodcock

CoRR, 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

2021

Trusted And Confidential Program Analysis.

Han Liu, Pedro Antonino, Zhiqiang Yang, Chao Liu, A. W. Roscoe

CoRR, 2021

Solidifier: bounded model checking solidity using lazy contract deployment and precise memory modelling.

Pedro Antonino, A. W. Roscoe

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Guardian: Symbolic Validation of Orderliness in SGX Enclaves.

Pedro Antonino, Wojciech Aleksander Woloszyn, A. W. Roscoe

Proceedings of the CCSW@CCS '21: Proceedings of the 2021 on Cloud Computing Security Workshop, 2021

2020

Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity.

Pedro Antonino, A. W. Roscoe

CoRR, 2020

2019

Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving.

Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe

ACM Trans. Softw. Eng. Methodol., 2019

Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving.

Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe

Formal Aspects Comput., 2019

2018

Verifying concurrent systems by approximation.

Pedro Ribeiro Gonçalves Antonino

PhD thesis, 2018

2017

The Automatic Detection of Token Structures and Invariants Using SAT Checking.

Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Checking Static Properties Using Conservative SAT Approximations for Reachability.

Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2016

Rigorous development of component-based systems using component metadata and patterns.

Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe

Formal Aspects Comput., 2016

Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving.

Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Tighter Reachability Criteria for Deadlock-Freedom Analysis.

Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe

Proceedings of the FM 2016: Formal Methods, 2016

2014

Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification.

Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.

Pedro R. G. Antonino, Augusto Sampaio, Jim Woodcock

Proceedings of the FM 2014: Formal Methods, 2014

2013

Algebraic Laws for Process Subtyping.

José Dihego, Pedro R. G. Antonino, Augusto Sampaio

Proceedings of the Formal Methods and Software Engineering, 2013