Pedro Antonino
Pedro Antonino
Researcher at The Blockhouse Technology Limited
Verifierad e-postadress på tbtl.com
TitelCiteras avÅr
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
162014
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
162014
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
132013
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
92016
Tighter reachability criteria for deadlock-freedom analysis
P Antonino, T Gibson-Robinson, AW Roscoe
International Symposium on Formal Methods, 43-59, 2016
62016
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
32017
Verifying concurrent systems by approximation
PRG Antonino
University of Oxford, 2018
22018
Checking static properties using conservative SAT approximations for reachability
P Antonino, T Gibson-Robinson, AW Roscoe
Brazilian Symposium on Formal Methods, 233-250, 2017
22017
Algebraic laws for process subtyping
J Dihego, P Antonino, A Sampaio
International Conference on Formal Engineering Methods, 4-19, 2013
22013
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
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
2019
A refinement based strategy for locally verifying networks of CSP processes
PRG Antonino
Universidade Federal de Pernambuco, 2014
2014
Efficient Deadlock Checking using Local Analysis and SAT Solving—Technical Report
P Antonino, T Gibson-Robinson, AW Roscoe
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–17