Thomas Gibson-Robinson

25 papers A 1B 2C 2Journal 9Unranked 9

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