Guy Edward Gallasch

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 2

Top Topics

Equivalence Class

Directed Acyclic Graph

Communication Technologies

Top Venues

Int. J. Softw. Tools Technol. Transf.

ECCV Workshops (2)

Publications

Jessica Korte, Axel Bender, Guy Edward Gallasch, Janet Wiles, Andrew D. Back
A Plan for Developing an Auslan Communication Technologies Pipeline. ECCV Workshops (2) (2020)
Amar Kumar Gupta, Guy Edward Gallasch
Equivalence class verification of the contract net protocol-extension. Int. J. Softw. Tools Technol. Transf. 18 (6) (2016)
Jonathan Billington, Guy Edward Gallasch
On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet. Petri Nets (2011)
Jonathan Billington, Guy Edward Gallasch
Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network. ICFEM (2010)
Guy Edward Gallasch, Jonathan Billington
A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network. ATVA (2010)
Jonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch
Parameterised Coloured Petri Net Channel Models. Trans. Petri Nets Other Model. Concurr. 3 (2009)
Lars Michael Kristensen, Peter Mechlenborg, Lin Zhang, Brice Mitchell, Guy Edward Gallasch
Model-based development of a course of action scheduling tool. Int. J. Softw. Tools Technol. Transf. 10 (1) (2008)
Guy Edward Gallasch, Benjamin Francis, Christopher Moon, Jonathan Billington
Modelling personnel within a defence logistics maintenance process. SimuTools (2008)
Guy Edward Gallasch, Nimrod Lilith, Jonathan Billington, Lin Zhang, Axel Bender, Benjamin Francis
Modelling defence logistics networks. Int. J. Softw. Tools Technol. Transf. 10 (1) (2008)
Somsak Vanit-Anunchai, Jonathan Billington, Guy Edward Gallasch
Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method. Int. J. Softw. Tools Technol. Transf. 10 (1) (2008)
Guy Edward Gallasch, Jonathan Billington
Parametric Language Analysis of the Class of Stop-and-Wait Protocols. Petri Nets (2008)
Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. FORTE (2008)
Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen
Checking safety properties on-the-fly with the sweep-line method. Int. J. Softw. Tools Technol. Transf. 9 (3-4) (2007)
Guy Edward Gallasch, Jonathan Billington
A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols. SPIN (2006)
Guy Edward Gallasch, Jonathan Billington
Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. ATVA (2005)
Guy Edward Gallasch, Bing Han, Jonathan Billington
Sweep-Line Analysis of TCP Connection Management. ICFEM (2005)
Jonathan Billington, Guy Edward Gallasch, Laure Petrucci
Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets. Nord. J. Comput. 12 (3) (2005)
Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund
Exploiting equivalence reduction and the sweep-line method for detecting terminal states. IEEE Trans. Syst. Man Cybern. Part A 34 (1) (2004)
Jonathan Billington, Guy Edward Gallasch, Bing Han
A Coloured Petri Net Approach to Protocol Verification. Lectures on Concurrency and Petri Nets (2003)
Jonathan Billington, Guy Edward Gallasch
How Stop and Wait Protocols Can Fail over the Internet. FORTE (2003)