A Plan for Developing an Auslan Communication Technologies Pipeline - Jessica Korte; Axel Bender; Guy Edward Gallasch; Janet Wiles; Andrew D. Back (Computer Vision - ECCV 2020 Workshops - Glasgow, UK, August 23-28, 2020, Proceedings, Part II, 2020)

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

On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet - Jonathan Billington; Guy Edward Gallasch (Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings, 2011)

A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network - Guy Edward Gallasch; Jonathan Billington (Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, 2010)

Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network - Jonathan Billington; Guy Edward Gallasch (Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010)

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

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)

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

Parametric Language Analysis of the Class of Stop-and-Wait Protocols - Guy Edward Gallasch; Jonathan Billington (Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings, 2008)

Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets - Jonathan Billington; Amar Kumar Gupta; Guy Edward Gallasch (Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings, 2008)

Modelling personnel within a defence logistics maintenance process - Guy Edward Gallasch; Benjamin Francis; Christopher Moon; Jonathan Billington (Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, SimuTools 2008, Marseille, France, March 3-7, 2008, 2008)

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)

A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols - Guy Edward Gallasch; Jonathan Billington (Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, 2006)

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)

Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols - Guy Edward Gallasch; Jonathan Billington (Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, 2005)

Sweep-Line Analysis of TCP Connection Management - Guy Edward Gallasch; Bing Han; Jonathan Billington (Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005)

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)

A Coloured Petri Net Approach to Protocol Verification - Jonathan Billington; Guy Edward Gallasch; Bing Han (Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], 2003)

How Stop and Wait Protocols Can Fail over the Internet - Jonathan Billington; Guy Edward Gallasch (Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings, 2003)