Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Gavin
    Last name: Lowe
    DBLP: 84/5569
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 62  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Gavin Lowe.
    Analysing Lock-Free Linearizable Datatypes Using CSP.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney Nogueira, Colin O'Halloran, Augusto Sampaio.
    FDR: From Theory to Industrial Application.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Gavin Lowe.
    Concurrent depth-first search algorithms based on Tarjan's Algorithm.
    STTT 2016, Volume 18 (0) 2016
    Conference paper
    Gavin Lowe.
    Models for CSP with availability information.
    Mathematical Structures in Computer Science 2016, Volume 26 (0) 2016
    Conference paper
    Thomas Gibson-Robinson, Allaa Kamil, Gavin Lowe.
    Verifying layered security protocols.
    Journal of Computer Security 2015, Volume 23 (0) 2015
    Journal article
    Tomasz Mazur, Gavin Lowe.
    CSP-based counter abstraction for systems with node identifiers.
    Sci. Comput. Program. 2014, Volume 81 (0) 2014
    Conference paper
    Gavin Lowe.
    Concurrent Depth-First Search Algorithms.
    Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Philip J. Armstrong, Gavin Lowe, Joël Ouaknine, A. W. Roscoe.
    Model checking Timed CSP.
    HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday 2014 (0) 2014
    Journal article
    Alessandro Armando, Gavin Lowe.
    Preface.
    Journal of Computer Security 2012, Volume 20 (0) 2012
    Conference paper
    Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell.
    Recent Developments in FDR.
    Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings 2012 (0) 2012
    Conference paper
    Tomasz Mazur, Gavin Lowe.
    A type reduction theory for systems with replicated components
    Logical Methods in Computer Science 2011, Volume 8 (0) 2012
    Conference paper
    Allaa Kamil, Gavin Lowe.
    Analysing TLS in the strand spaces model.
    Journal of Computer Security 2011, Volume 19 (0) 2011
    Conference paper
    Gavin Lowe.
    Implementing Generalised Alt - A Case Study in Validated Design using CSP.
    33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011 2011 (0) 2011
    Conference paper
    Thomas Gibson-Robinson, Gavin Lowe.
    Analysing Applications Layered on Unilaterally Authenticating Protocols.
    Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers 2012 (0) 2011
    Journal article
    Gavin Lowe.
    Models for CSP with availability information
    CoRR 2010, Volume 0 (0) 2010
    Conference paper
    Allaa Kamil, Gavin Lowe.
    Understanding Abstractions of Secure Channels.
    Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers 2011 (0) 2010
    Conference paper
    Gavin Lowe.
    Extending CSP with Tests for Availability.
    The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009 2009 (0) 2009
    Conference paper
    Toby C. Murray, Gavin Lowe.
    On Refinement-Closed Security Properties and Nondeterministic Compositions.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 250 (0) 2009
    Conference paper
    Tomasz Mazur, Gavin Lowe.
    Counter Abstraction in the CSP/FDR setting.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 250 (0) 2009
    Conference paper
    Gavin Lowe.
    On CSP Refinement Tests That Run Multiple Copies of a Process.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 250 (0) 2009
    Conference paper
    Allaa Kamil, Gavin Lowe.
    Specifying and Modelling Secure Channels in Strand Spaces.
    Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers 2010 (0) 2009
    Conference paper
    Toby C. Murray, Gavin Lowe.
    Analysing the Information Flow Properties of Object-Capability Patterns.
    Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers 2010 (0) 2009
    Conference paper
    Christopher Dilloway, Gavin Lowe.
    Specifying Secure Transport Channels.
    Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, 23-25 June 2008 2008 (0) 2008
    Conference paper
    Gavin Lowe.
    Specification of communicating processes: temporal logic versus refusals-based refinement.
    Formal Asp. Comput. 2008, Volume 20 (0) 2008
    Conference paper
    Gavin Lowe, Joël Ouaknine.
    On Timed Models and Full Abstraction.
    Electr. Notes Theor. Comput. Sci. 2006, Volume 155 (0) 2006
    Show item 1 to 25 of 62  

    Your query returned 62 matches in the database.