Thomas Gibson-Robinson : Publications

Journal papers

• [1]

  FDR3: a parallel refinement checker for CSP

  Thomas Gibson−Robinson‚ Philip Armstrong‚ Alexandre Boulgakov and A.W. Roscoe

  In International Journal on Software Tools for Technology Transfer. 2015.

  Details about FDR3: a parallel refinement checker for CSP | BibTeX data for FDR3: a parallel refinement checker for CSP | DOI (10.1007/s10009-015-0377-y) | Link to FDR3: a parallel refinement checker for CSP

Conference papers

• [1]

  Computing Maximal Bisimulations

  Alexandre Boulgakov‚ Thomas Gibson−Robinson and A.W. Roscoe

  In Formal Methods and Software Engineering − 16th International Conference on Formal Engineering Methods‚ ICFEM 2014‚ Proceedings. 2014.

  Details about Computing Maximal Bisimulations | BibTeX data for Computing Maximal Bisimulations | DOI (10.1007/978-3-319-11737-9_2) | Link to Computing Maximal Bisimulations

• [2]

  FDR into The Cloud

  Thomas Gibson−Robinson and A.W. Roscoe

  In Communicating Process Architectures. 2014.

  Details about FDR into The Cloud | BibTeX data for FDR into The Cloud | Download Samples.zip of FDR into The Cloud | Download ClusterFDR.pdf of FDR into The Cloud

• [3]

  FDR3 — A Modern Refinement Checker for CSP

  Thomas Gibson−Robinson‚ Philip Armstrong‚ Alexandre Boulgakov and A.W. Roscoe

  In Tools and Algorithms for the Construction and Analysis of Systems. Pages 187−201. 2014.

  Details about FDR3 — A Modern Refinement Checker for CSP | BibTeX data for FDR3 — A Modern Refinement Checker for CSP | Download Document.pdf of FDR3 — A Modern Refinement Checker for CSP | Download Samples.zip of FDR3 — A Modern Refinement Checker for CSP | DOI (10.1007/978-3-642-54862-8_13)

• [4]

  Efficient Simulation of CSP−Like Languages

  Thomas Gibson−Robinson

  In Communicating Process Architectures 2013. 2013.

  Details about Efficient Simulation of CSP−Like Languages | BibTeX data for Efficient Simulation of CSP−Like Languages | Download  (pdf) of Efficient Simulation of CSP−Like Languages

• [5]

  The Meaning and Implementation of SKIP in CSP

  Thomas Gibson−Robinson and Michael Goldsmith

  In Communicating Process Architectures 2013. 2013.

  Details about The Meaning and Implementation of SKIP in CSP | BibTeX data for The Meaning and Implementation of SKIP in CSP | Download  (pdf) of The Meaning and Implementation of SKIP in CSP

• [6]

  Tools for Understanding Identity

  Sadie Creese‚ Thomas Gibson−Robinson‚ Michael Goldsmith‚ Duncan Hodges‚ Dee Kim‚ Oriana Love‚ Jason R. C. Nurse‚ Bill Pike and Jean Schultz

  In IEEE Conference on Technologies for Homeland Security (HST '13). 2013.

  Details about Tools for Understanding Identity | BibTeX data for Tools for Understanding Identity | DOI (10.1109/THS.2013.6699064)

• [7]

  Analysing Applications Layered on Unilaterally Authenticating Protocols

  Thomas Gibson−Robinson and Gavin Lowe

  In Proceedings of Formal Aspects of Security and Trust (FAST 2011). 2011.

  Details about Analysing Applications Layered on Unilaterally Authenticating Protocols | BibTeX data for Analysing Applications Layered on Unilaterally Authenticating Protocols | Download  (pdf) of Analysing Applications Layered on Unilaterally Authenticating Protocols

Theses

• [1]

  Analysing Layered Security Protocols

  Thomas Gibson−Robinson

  PhD Thesis , type= DPhil Thesis. 2013.

  Details about Analysing Layered Security Protocols | BibTeX data for Analysing Layered Security Protocols | Download  (pdf) of Analysing Layered Security Protocols

• [2]

  Tyger: A Tool for Automatically Simulating CSP−Like Languages in CSP

  Thomas Gibson−Robinson

  Master's Thesis 2010.

  Details about Tyger: A Tool for Automatically Simulating CSP−Like Languages in CSP | BibTeX data for Tyger: A Tool for Automatically Simulating CSP−Like Languages in CSP | Download  (pdf) of Tyger: A Tool for Automatically Simulating CSP−Like Languages in CSP

• [3]

  On the Refinement Closure of Information−Flow Properties

  Thomas Gibson−Robinson

  Master's Thesis 2009.

  Details about On the Refinement Closure of Information−Flow Properties | BibTeX data for On the Refinement Closure of Information−Flow Properties | Download  (pdf) of On the Refinement Closure of Information−Flow Properties