A Coloured Petri Net Approach to Protocol Verification. - Jonathan Billington; Guy Edward Gallasch; Bing Han 014 (Lectures on Concurrency and Petri Nets, 2003)

How Stop and Wait Protocols Can Fail over the Internet. - Jonathan Billington; Guy Edward Gallasch (FORTE, 2003)

Exploiting equivalence reduction and the sweep-line method for detecting terminal states. - Jonathan Billington; Guy Edward Gallasch; Lars Michael Kristensen; Thomas Mailund (IEEE Trans. Syst. Man Cybern. Part A, 2004)

Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. - Guy Edward Gallasch; Jonathan Billington (ATVA, 2005)

Sweep-Line Analysis of TCP Connection Management. - Guy Edward Gallasch; Bing Han 014; Jonathan Billington (ICFEM, 2005)

Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets. - Jonathan Billington; Guy Edward Gallasch; Laure Petrucci (Nord. J. Comput., 2005)

A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols. - Guy Edward Gallasch; Jonathan Billington (SPIN, 2006)

Checking safety properties on-the-fly with the sweep-line method. - Guy Edward Gallasch; Jonathan Billington; Somsak Vanit-Anunchai; Lars Michael Kristensen (Int. J. Softw. Tools Technol. Transf., 2007)

Parametric Language Analysis of the Class of Stop-and-Wait Protocols. - Guy Edward Gallasch; Jonathan Billington (Petri Nets, 2008)

Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. - Jonathan Billington; Amar Kumar Gupta; Guy Edward Gallasch (FORTE, 2008)

Modelling personnel within a defence logistics maintenance process. - Guy Edward Gallasch; Benjamin Francis; Christopher Moon; Jonathan Billington (SimuTools, 2008)

Modelling defence logistics networks. - Guy Edward Gallasch; Nimrod Lilith; Jonathan Billington; Lin Zhang; Axel Bender; Benjamin Francis (Int. J. Softw. Tools Technol. Transf., 2008)

Model-based development of a course of action scheduling tool. - Lars Michael Kristensen; Peter Mechlenborg; Lin Zhang; Brice Mitchell; Guy Edward Gallasch (Int. J. Softw. Tools Technol. Transf., 2008)

Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method. - Somsak Vanit-Anunchai; Jonathan Billington; Guy Edward Gallasch (Int. J. Softw. Tools Technol. Transf., 2008)

Parameterised Coloured Petri Net Channel Models. - Jonathan Billington; Somsak Vanit-Anunchai; Guy Edward Gallasch (Trans. Petri Nets Other Model. Concurr., 2009)

A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network. - Guy Edward Gallasch; Jonathan Billington (ATVA, 2010)

Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network. - Jonathan Billington; Guy Edward Gallasch (ICFEM, 2010)

On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet. - Jonathan Billington; Guy Edward Gallasch (Petri Nets, 2011)

Equivalence class verification of the contract net protocol-extension. - Amar Kumar Gupta; Guy Edward Gallasch (Int. J. Softw. Tools Technol. Transf., 2016)

A Plan for Developing an Auslan Communication Technologies Pipeline. - Jessica Korte; Axel Bender; Guy Edward Gallasch; Janet Wiles; Andrew D. Back (ECCV Workshops (2), 2020)