Követés
Pedro Antonino
Pedro Antonino
Researcher at The Blockhouse Technology Limited
E-mail megerősítve itt: tbtl.com
Cím
Hivatkozott rá
Hivatkozott rá
Év
A refinement based strategy for local deadlock analysis of networks of CSP processes
P Antonino, A Sampaio, J Woodcock
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
242014
Leadership election: an industrial SoS application of compositional deadlock verification
PRG Antonino, MM Oliveira, ACA Sampaio, KE Kristensen, JW Bryans
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
212014
Rigorous development of component-based systems using component metadata and patterns
MVM Oliveira, P Antonino, R Ramos, A Sampaio, A Mota, AW Roscoe
Formal Aspects of Computing 28, 937-1004, 2016
192016
Formalising and verifying smart contracts with solidifier: a bounded model checker for solidity
P Antonino, AW Roscoe
arXiv preprint arXiv:2002.02710, 2020
172020
Efficient deadlock-freedom checking using local analysis and SAT solving
P Antonino, T Gibson-Robinson, AW Roscoe
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
152016
Compositional analysis and design of CML models
MVM Oliveira, A Sampaio, PRG Antonino, RT Ramos, A Cavalcanti, ...
COMPASS Deliverable D 24, 2013
152013
Solidifier: bounded model checking solidity using lazy contract deployment and precise memory modelling
P Antonino, AW Roscoe
Proceedings of the 36th Annual ACM Symposium on Applied Computing, 1788-1797, 2021
122021
Tighter reachability criteria for deadlock-freedom analysis
P Antonino, T Gibson-Robinson, AW Roscoe
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
92016
Specification is law: Safe creation and upgrade of ethereum smart contracts
P Antonino, J Ferreira, A Sampaio, AW Roscoe
International Conference on Software Engineering and Formal Methods, 227-243, 2022
82022
Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
P Antonino, T Gibson-Robinson, AW Roscoe
ACM Transactions on Software Engineering and Methodology (TOSEM) 28 (3), 1-43, 2019
82019
The automatic detection of token structures and invariants using SAT checking
P Antonino, T Gibson-Robinson, AW Roscoe
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
72017
Checking static properties using conservative SAT approximations for reachability
P Antonino, T Gibson-Robinson, AW Roscoe
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF …, 2017
52017
Algebraic laws for process subtyping
J Dihego, P Antonino, A Sampaio
Formal Methods and Software Engineering: 15th International Conference on …, 2013
52013
Flexible remote attestation of pre-SNP SEV VMs using SGX enclaves
P Antonino, A Derek, WA Wołoszyn
IEEE access, 2023
42023
Guardian: Symbolic validation of orderliness in SGX enclaves
P Antonino, WA Woloszyn, AW Roscoe
Proceedings of the 2021 on Cloud Computing Security Workshop, 111-123, 2021
42021
Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving
P Antonino, T Gibson-Robinson, AW Roscoe
Formal Aspects of Computing 31, 375-409, 2019
32019
Verifying concurrent systems by approximation
PRG Antonino
University of Oxford, 2018
32018
Approximate verification of concurrent systems using token structures and invariants
P Antonino, T Gibson-Robinson, AW Roscoe
International Journal on Software Tools for Technology Transfer 24 (4), 613-633, 2022
22022
A refinement-based approach to safe smart contract deployment and evolution
P Antonino, J Ferreira, A Sampaio, AW Roscoe, F Arruda
Software and Systems Modeling, 1-37, 2024
12024
Embedding reverse links in a blockchain
AW Roscoe, P Antonino, J Lawrence
Workshop Encouraging Building Better Blockchain Security(WEB3SEC’22), 2022
12022
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20