Pedro R. G. Antonino

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 2

Top Topics

Automatic Detection

Computational Complexity

Top Venues

NASA Formal Methods

Publications

Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe
The Automatic Detection of Token Structures and Invariants Using SAT Checking. TACAS (2) (2017)
Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Tighter Reachability Criteria for Deadlock-Freedom Analysis. FM (2016)
Pedro R. G. Antonino, Augusto Sampaio, Jim Woodcock
A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes. FM (2014)
Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. NASA Formal Methods (2014)
José Dihego, Pedro R. G. Antonino, Augusto Sampaio
Algebraic Laws for Process Subtyping. ICFEM (2013)