Thomas Gibson Robinson

Thomas Gibson Robinson

University of Oxford - Oxford / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1056732
person_outline Thomas Gibson Robinson's MOST POPULAR ARTICLES
1-) FDR3 — A Modern Refinement Checker for CSPT Gibson-Robinson, P Armstrong, A Boulgakov, AW RoscoeTools and Algorithms for the Construction and Analysis of Systems, 187-201, 20142872014
2-) FDR3: a parallel refinement checker for CSPT Gibson-Robinson, P Armstrong, A Boulgakov, AW RoscoeInternational Journal on Software Tools for Technology Transfer 18 (2), 149-167, 2016612016
3-) Practical partial order reduction for CSPT Gibson-Robinson, H Hansen, AW Roscoe, X WangNASA Formal Methods Symposium, 188-203, 2015242015
4-) Tools for understanding identityS Creese, T Gibson-Robinson, M Goldsmith, D Hodges, D Kim, O Love, ...2013 IEEE International Conference on Technologies for Homeland Security …, 2013222013
5-) Efficient Deadlock-Freedom Checking Using Local Analysis and SAT SolvingP Antonino, T Gibson-Robinson, AW RoscoeInternational Conference on Integrated Formal Methods, 345-360, 2016162016