Thomas Gibson-Robinson

ORCID

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 15

Top Venues

CPA

Int. J. Softw. Tools Technol. Transf.

Formal Aspects Comput.

ACM Trans. Softw. Eng. Methodol.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Approximate verification of concurrent systems using token structures and invariants. Int. J. Softw. Tools Technol. Transf. 24 (4) (2022)
Thomas Gibson-Robinson, Gavin Lowe
Symmetry reduction in CSP model checking. Int. J. Softw. Tools Technol. Transf. 21 (5) (2019)
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving. Formal Aspects Comput. 31 (3) (2019)
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving. ACM Trans. Softw. Eng. Methodol. 28 (3) (2019)
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Checking Static Properties Using Conservative SAT Approximations for Reachability. SBMF (2017)
Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe
The Automatic Detection of Token Structures and Invariants Using SAT Checking. TACAS (2) (2017)
Colin O'Halloran, Thomas Gibson-Robinson, Neil Brock
Verifying cyber attack properties. Sci. Comput. Program. 148 (2017)
Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio
FDR: From Theory to Industrial Application. Concurrency, Security, and Puzzles (2017)
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving. IFM (2016)
Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe
FDR3: a parallel refinement checker for CSP. Int. J. Softw. Tools Technol. Transf. 18 (2) (2016)
Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Tighter Reachability Criteria for Deadlock-Freedom Analysis. FM (2016)
Jason R. C. Nurse, Arnau Erola, Thomas Gibson-Robinson, Michael Goldsmith, Sadie Creese
Analytics for characterising and measuring the naturalness of online personae. Secur. Informatics 5 (1) (2016)
Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe
Computing maximal weak and other bisimulations. Formal Aspects Comput. 28 (3) (2016)
Thomas Gibson-Robinson, Henri Hansen, A. W. Roscoe, Xu Wang
Practical Partial Order Reduction for CSP. NFM (2015)
Thomas Gibson-Robinson, Allaa Kamil, Gavin Lowe
Verifying layered security protocols. J. Comput. Secur. 23 (3) (2015)
Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe
FDR3 - A Modern Refinement Checker for CSP. TACAS (2014)
Jason R. C. Nurse, Jess Pumphrey, Thomas Gibson-Robinson, Michael Goldsmith, Sadie Creese
Inferring social relationships from technology-level device connections. PST (2014)
Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe
Computing Maximal Bisimulations. ICFEM (2014)
Thomas Gibson-Robinson
Using FDR to Model Check CSP-Like Languages. CPA (2013)
Thomas Gibson-Robinson, Michael Goldsmith
The Meaning and Implementation of SKIP in CSP. CPA (2013)
Thomas Gibson-Robinson
FDR3: the Future of CSP Model Checking. CPA (2013)
Thomas Gibson-Robinson
Efficient Simulation of CSP-Like Languages. CPA (2013)
Thomas Gibson-Robinson, Gavin Lowe
Analysing Applications Layered on Unilaterally Authenticating Protocols. Formal Aspects in Security and Trust (2011)

Thomas Gibson-Robinson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Gibson-Robinson