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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A Coloured Petri Net Approach to Protocol Verification. - Billington, Jonathan; Gallasch, Guy Edward; Han, Bing (2003)

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