Guy Edward Gallasch

According to our database, Guy Edward Gallasch authored at least 20 papers between 2003 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

A Plan for Developing an Auslan Communication Technologies Pipeline.

Jessica Korte, Axel Bender, Guy Edward Gallasch, Janet Wiles, Andrew D. Back

Proceedings of the Computer Vision - ECCV 2020 Workshops, 2020

2016

Equivalence class verification of the contract net protocol-extension.

Amar Kumar Gupta, Guy Edward Gallasch

Int. J. Softw. Tools Technol. Transf., 2016

2011

On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet.

Jonathan Billington, Guy Edward Gallasch

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010

Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network.

Jonathan Billington, Guy Edward Gallasch

Proceedings of the Formal Methods and Software Engineering, 2010

A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network.

Guy Edward Gallasch, Jonathan Billington

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Parameterised Coloured Petri Net Channel Models.

Jonathan Billington, Somsak Vanit-Anunchai, Guy Edward Gallasch

Trans. Petri Nets Other Model. Concurr., 2009

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

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

Modelling defence logistics networks.

Guy Edward Gallasch, Nimrod Lilith, Jonathan Billington, Lin Zhang, Axel Bender, Benjamin Francis

Int. J. Softw. Tools Technol. Transf., 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, 2008

Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets.

Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Parametric Language Analysis of the Class of Stop-and-Wait Protocols.

Guy Edward Gallasch, Jonathan Billington

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

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

2006

A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols.

Guy Edward Gallasch, Jonathan Billington

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

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

Sweep-Line Analysis of TCP Connection Management.

Guy Edward Gallasch, Bing Han, Jonathan Billington

Proceedings of the Formal Methods and Software Engineering, 2005

Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.

Guy Edward Gallasch, Jonathan Billington

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

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

2003

How Stop and Wait Protocols Can Fail over the Internet.

Jonathan Billington, Guy Edward Gallasch

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

A Coloured Petri Net Approach to Protocol Verification.

Jonathan Billington, Guy Edward Gallasch, Bing Han

Proceedings of the Lectures on Concurrency and Petri Nets, 2003