Thomas Gibson-Robinson
Thomas Gibson-Robinson
Department of Computer Science, University of Oxford
Verifierad e-postadress på cs.ox.ac.uk - Startsida
TitelCiteras avÅr
FDR3 — A Modern Refinement Checker for CSP
T Gibson-Robinson, P Armstrong, A Boulgakov, AW Roscoe
Tools and Algorithms for the Construction and Analysis of Systems, 187-201, 2014
2092014
FDR3: a parallel refinement checker for CSP
T Gibson-Robinson, P Armstrong, A Boulgakov, AW Roscoe
International Journal on Software Tools for Technology Transfer 18 (2), 149-167, 2016
352016
Tools for understanding identity
S Creese, T Gibson-Robinson, M Goldsmith, D Hodges, D Kim, O Love, ...
2013 IEEE International Conference on Technologies for Homeland Security …, 2013
192013
Practical partial order reduction for CSP
T Gibson-Robinson, H Hansen, AW Roscoe, X Wang
NASA Formal Methods Symposium, 188-203, 2015
162015
Inferring social relationships from technology-level device connections
JRC Nurse, J Pumphrey, T Gibson-Robinson, M Goldsmith, S Creese
2014 Twelfth Annual International Conference on Privacy, Security and Trust …, 2014
112014
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
Computing maximal weak and other bisimulations
A Boulgakov, T Gibson-Robinson, AW Roscoe
Formal Aspects of Computing 28 (3), 381-407, 2016
92016
FDR into the cloud
T Gibson-Robinson, AW Roscoe
Communicating Process Architectures, 2014
82014
TYGER: a tool for automatically simulating CSP-like languages in CSP
T Gibson-Robinson
MCompSci Thesis, University of Oxford, 2010
82010
Tighter reachability criteria for deadlock-freedom analysis
P Antonino, T Gibson-Robinson, AW Roscoe
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
62016
Verifying layered security protocols
T Gibson-Robinson, A Kamil, G Lowe
Journal of Computer Security 23 (3), 259-307, 2015
62015
Computing maximal bisimulations
A Boulgakov, T Gibson-Robinson, AW Roscoe
International Conference on Formal Engineering Methods, 11-26, 2014
52014
FDR: From Theory to Industrial Application
T Gibson-Robinson, G Broadfoot, G Carvalho, P Hopcroft, G Lowe, ...
Concurrency, Security, and Puzzles, 65-87, 2017
42017
Efficient deadlock freedom checking using local analysis and SAT checking
P Antonio, T Gibson-Robinson, AW Roscoe
Springer, Cham, 2016
4*2016
Analysing applications layered on unilaterally authenticating protocols
T Gibson-Robinson, G Lowe
International Workshop on Formal Aspects in Security and Trust, 164-181, 2011
42011
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
Efficient Simulation of CSP-Like Languages.
T Gibson-Robinson
CPA, 185-204, 2013
32013
Symmetry reduction in CSP model checking
T Gibson-Robinson, G Lowe
International Journal on Software Tools for Technology Transfer 21 (5), 567-605, 2019
22019
Symmetry reduction in CSP model checking
T Gibson-Robinson, G Lowe
International Journal on Software Tools for Technology Transfer 21 (5), 567-605, 2019
22019
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20