Pedro Antonino
Pedro Antonino
Researcher at The Blockhouse Technology Limited
Verified email at tbtl.com
Title
Cited by
Cited by
Year
A refinement based strategy for local deadlock analysis of networks of CSP processes
P Antonino, A Sampaio, J Woodcock
International Symposium on Formal Methods, 62-77, 2014
192014
Leadership election: an industrial SoS application of compositional deadlock verification
PRG Antonino, MM Oliveira, ACA Sampaio, KE Kristensen, JW Bryans
NASA Formal Methods Symposium, 31-45, 2014
182014
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 (6), 937-1004, 2016
152016
Compositional analysis and design of CML models
MVM Oliveira, A Sampaio, PRG Antonino, RT Ramos, A Cavalcanti, ...
COMPASS Deliverable D 24, 2013
142013
Efficient deadlock-freedom checking using local analysis and SAT solving
P Antonino, T Gibson-Robinson, AW Roscoe
International Conference on Integrated Formal Methods, 345-360, 2016
122016
Tighter reachability criteria for deadlock-freedom analysis
P Antonino, T Gibson-Robinson, AW Roscoe
International Symposium on Formal Methods, 43-59, 2016
72016
The automatic detection of token structures and invariants using SAT checking
P Antonino, T Gibson-Robinson, AW Roscoe
International Conference on Tools and Algorithms for the Construction and …, 2017
52017
Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity
P Antonino, AW Roscoe
arXiv preprint arXiv:2002.02710, 2020
42020
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
42019
Checking static properties using conservative SAT approximations for reachability
P Antonino, T Gibson-Robinson, AW Roscoe
Brazilian Symposium on Formal Methods, 233-250, 2017
32017
Algebraic laws for process subtyping
J Dihego, P Antonino, A Sampaio
International Conference on Formal Engineering Methods, 4-19, 2013
32013
Verifying concurrent systems by approximation
PRG Antonino
University of Oxford, 2018
22018
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 (3), 375-409, 2019
12019
A refinement based strategy for local deadlock analysis of networks of csp processes—extended version
P Antonino, A Sampaio, J Woodcock
Technical report, Centro de informática, Universidade Federal de Pernambuco …, 2013
12013
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification—Extended version
PRG Antonino, MVM Oliveira, ACA Sampaio, KE Kristensen, JW Bryans
Technical report, UFPE, 2013
12013
Algebraic Laws for Process Subtyping-Extended Version
J Dihego, P Antonino, A Sampaio
Technical report, 2011
12011
Guardian: symbolic validation of orderliness in SGX enclaves
P Antonino, WA Wołoszyn, AW Roscoe
arXiv preprint arXiv:2105.05962, 2021
2021
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
2021
CSP: a practical process algebra
SD Brookes, AW Roscoe, G Couteau, PYA Ryan, AW Roscoe, P Antonino, ...
Symposium on Applied Computing (SAC) 2021 31, 2021
2021
A refinement based strategy for locally verifying networks of CSP processes
PRG Antonino
Universidade Federal de Pernambuco, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–20