Guy Edward Gallasch

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