Guy Edward Gallasch

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

14EEJonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch: Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. FORTE 2008: 169-184
13EEGuy Edward Gallasch, Jonathan Billington: Parametric Language Analysis of the Class of Stop-and-Wait Protocols. Petri Nets 2008: 191-210
12EEGuy Edward Gallasch, Benjamin Francis, Christopher Moon, Jonathan Billington: Modelling personnel within a defence logistics maintenance process. SimuTools 2008: 18
11EESomsak 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)
10EELars 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)
9EEGuy Edward Gallasch, Nimrod Lilith, Jonathan Billington, Lin Zhang, Axel Bender, Benjamin Francis: Modelling defence logistics networks. STTT 10(1): 75-93 (2008)
8EEGuy 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)
7EEGuy Edward Gallasch, Jonathan Billington: A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols. SPIN 2006: 201-218
6EEGuy Edward Gallasch, Jonathan Billington: Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. ATVA 2005: 457-473
5EEGuy 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)
3EEJonathan 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)
2EEJonathan Billington, Guy Edward Gallasch: How Stop and Wait Protocols Can Fail over the Internet. FORTE 2003: 209-223
1EEJonathan Billington, Guy Edward Gallasch, Bing Han: A Coloured Petri Net Approach to Protocol Verification. Lectures on Concurrency and Petri Nets 2003: 210-290

Coauthor Index

1Axel Bender [9]
2Jonathan Billington [1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14]
3Benjamin Francis [9] [12]
4Amar Kumar Gupta [14]
5Bing Han [1] [5]
6Lars Michael Kristensen [3] [8] [10]
7Nimrod Lilith [9]
8Thomas Mailund [3]
9Peter Mechlenborg [10]
10Brice Mitchell [10]
11Christopher Moon [12]
12Laure Petrucci (Laure Petrucci-Dauchy) [4]
13Somsak Vanit-Anunchai [8] [11]
14Lin Zhang [9] [10]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)