 | 2009 |
|---|
| 15 |       | Jonathan Billington,
Somsak Vanit-Anunchai,
Guy Edward Gallasch:
Parameterised Coloured Petri Net Channel Models.
T. Petri Nets and Other Models of Concurrency 3: 71-97 (2009) |
| 2008 |
|---|
| 14 | | Jonathan Billington,
Amar Kumar Gupta,
Guy Edward Gallasch:
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets.
FORTE 2008: 169-184 |
| 13 | | Guy Edward Gallasch,
Jonathan Billington:
Parametric Language Analysis of the Class of Stop-and-Wait Protocols.
Petri Nets 2008: 191-210 |
| 12 | | Guy Edward Gallasch,
Benjamin Francis,
Christopher Moon,
Jonathan Billington:
Modelling personnel within a defence logistics maintenance process.
SimuTools 2008: 18 |
| 11 | | Somsak Vanit-Anunchai,
Jonathan Billington,
Guy Edward Gallasch:
Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method.
STTT 10(1): 29-56 (2008) |
| 10 | | Lars Michael Kristensen,
Peter Mechlenborg,
Lin Zhang,
Brice Mitchell,
Guy Edward Gallasch:
Model-based development of a course of action scheduling tool.
STTT 10(1): 5-14 (2008) |
| 9 | | Guy Edward Gallasch,
Nimrod Lilith,
Jonathan Billington,
Lin Zhang,
Axel Bender,
Benjamin Francis:
Modelling defence logistics networks.
STTT 10(1): 75-93 (2008) |
| 2007 |
|---|
| 8 | | Guy Edward Gallasch,
Jonathan Billington,
Somsak Vanit-Anunchai,
Lars Michael Kristensen:
Checking safety properties on-the-fly with the sweep-line method.
STTT 9(3-4): 371-391 (2007) |
| 2006 |
|---|
| 7 | | Guy Edward Gallasch,
Jonathan Billington:
A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols.
SPIN 2006: 201-218 |
| 2005 |
|---|
| 6 | | Guy Edward Gallasch,
Jonathan Billington:
Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.
ATVA 2005: 457-473 |
| 5 | | Guy Edward Gallasch,
Bing Han,
Jonathan Billington:
Sweep-Line Analysis of TCP Connection Management.
ICFEM 2005: 156-172 |
| 4 |  | 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): 251-274 (2005) |
| 2004 |
|---|
| 3 | | Jonathan Billington,
Guy Edward Gallasch,
Lars Michael Kristensen,
Thomas Mailund:
Exploiting equivalence reduction and the sweep-line method for detecting terminal states.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 34(1): 23-37 (2004) |
| 2003 |
|---|
| 2 | | Jonathan Billington,
Guy Edward Gallasch:
How Stop and Wait Protocols Can Fail over the Internet.
FORTE 2003: 209-223 |
| 1 | | Jonathan Billington,
Guy Edward Gallasch,
Bing Han:
A Coloured Petri Net Approach to Protocol Verification.
Lectures on Concurrency and Petri Nets 2003: 210-290 |
