|
Search the dblp DataBase
Guy Edward Gallasch:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jonathan Billington, Guy Edward Gallasch, Bing Han
A Coloured Petri Net Approach to Protocol Verification. [Citation Graph (0, 0)][DBLP] Lectures on Concurrency and Petri Nets, 2003, pp:210-290 [Conf]
- Guy Edward Gallasch, Jonathan Billington
Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. [Citation Graph (0, 0)][DBLP] ATVA, 2005, pp:457-473 [Conf]
- Jonathan Billington, Guy Edward Gallasch
How Stop and Wait Protocols Can Fail over the Internet. [Citation Graph (0, 0)][DBLP] FORTE, 2003, pp:209-223 [Conf]
- Guy Edward Gallasch, Bing Han, Jonathan Billington
Sweep-Line Analysis of TCP Connection Management. [Citation Graph (0, 0)][DBLP] ICFEM, 2005, pp:156-172 [Conf]
- Guy Edward Gallasch, Jonathan Billington
A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols. [Citation Graph (0, 0)][DBLP] SPIN, 2006, pp:201-218 [Conf]
- Jonathan Billington, Guy Edward Gallasch, Laure Petrucci
Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets. [Citation Graph (0, 0)][DBLP] Nord. J. Comput., 2005, v:12, n:3, pp:251-274 [Journal]
- Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund
Exploiting equivalence reduction and the sweep-line method for detecting terminal states. [Citation Graph (0, 0)][DBLP] IEEE Transactions on Systems, Man, and Cybernetics, Part A, 2004, v:34, n:1, pp:23-37 [Journal]
- Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen
Checking safety properties on-the-fly with the sweep-line method. [Citation Graph (0, 0)][DBLP] STTT, 2007, v:9, n:3-4, pp:371-391 [Journal]
Parametric Language Analysis of the Class of Stop-and-Wait Protocols. [Citation Graph (, )][DBLP]
A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network. [Citation Graph (, )][DBLP]
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. [Citation Graph (, )][DBLP]
Modelling personnel within a defence logistics maintenance process. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|