| Lectures on Concurrency and Petri Nets: A Coloured Petri Net Approach to Protocol Verification, LNCS, vol. 3098 J Billington, GE Gallasch, B Han Springer, 2004 | 108* | 2004 |
| Comms/CPN: A communication infrastructure for external communication with Design/CPN GE Gallasch, LM Kristensen Proc. of 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets …, 2001 | 83 | 2001 |
| A coloured petri net based tool for course of action development and analysis L Zhang, LM Kristensen, C Janczura, G Gallasch, J Billington Proceedings of the conference on Application and theory of petri nets …, 2002 | 44 | 2002 |
| Model-based development of a course of action scheduling tool LM Kristensen, P Mechlenborg, L Zhang, B Mitchell, GE Gallasch International Journal on Software Tools for Technology Transfer 10 (1), 5-14, 2008 | 34 | 2008 |
| Exploiting equivalence reduction and the sweep-line method for detecting terminal states J Billington, GE Gallasch, LM Kristensen, T Mailund IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2004 | 27 | 2004 |
| Modelling defence logistics networks GE Gallasch, N Lilith, J Billington, L Zhang, A Bender, B Francis International Journal on Software Tools for Technology Transfer (STTT) 10 (1 …, 2008 | 22 | 2008 |
| COAST-An operational planning tool for course of action development and analysis L Zhang, LM Kristensen, B Mitchell, G Gallasch, P Mechlenborg, ... Proceedings of the 9th International Command and Control Research and …, 2004 | 22 | 2004 |
| A parametric state space for the analysis of the infinite class of stop-and-wait protocols GE Gallasch, J Billington International SPIN Workshop on Model Checking of Software, 201-218, 2006 | 20 | 2006 |
| Automated and autonomous systems for combat service support: scoping study and technology prioritisation K Ivanova, GE Gallasch, J Jordans Defence Science and Technology Group Edinburgh SA Australia, 2016 | 19 | 2016 |
| Modelling and analysing the contract net protocol-extension using coloured petri nets J Billington, AK Gupta, GE Gallasch International Conference on Formal Techniques for Networked and Distributed …, 2008 | 16 | 2008 |
| Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method S Vanit-Anunchai, J Billington, GE Gallasch International Journal on Software Tools for Technology Transfer 10 (1), 29-56, 2008 | 15 | 2008 |
| Checking safety properties on-the-fly with the sweep-line method GE Gallasch, J Billington, S Vanit-Anunchai, LM Kristensen International Journal on Software Tools for Technology Transfer 9 (3-4), 371-391, 2007 | 15 | 2007 |
| Equivalence class verification of the contract net protocol-extension AK Gupta, GE Gallasch International Journal on Software Tools for Technology Transfer 18 (6), 685-706, 2016 | 14 | 2016 |
| Monitoring the age of vehicle shock absorbers CQ Howard, N Sergiienko, G Gallasch International Conference on Science and Innovation for Land Power 2018, 2018 | 13 | 2018 |
| Parameterised coloured Petri net channel models J Billington, S Vanit-Anunchai, GE Gallasch Transactions on Petri Nets and Other Models of Concurrency III, 71-97, 2009 | 13 | 2009 |
| FAST verification of the class of stop-and-wait protocols modelled by coloured Petri nets J Billington, GE Gallasch, L Petrucci Nordic Journal of Computing 12 (3), 275-307, 2005 | 13 | 2005 |
| Sweep-line analysis of TCP connection management GE Gallasch, B Han, J Billington International Conference on Formal Engineering Methods, 156-172, 2005 | 12 | 2005 |
| Experimenting with Progress Mappings for the Sweep-Line Analysis of the Internet Open Trading Protocol GE Gallasch, C Ouyang, J Billington, LM Kristensen Proc. of Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets …, 2004 | 12 | 2004 |
| Swarming Logistics for Tactical Last-Mile Delivery S Thornton, GE Gallasch International Conference on Science and Innovation for Land Power 2018 …, 2018 | 11 | 2018 |
| How stop and wait protocols can fail over the Internet J Billington, GE Gallasch International Conference on Formal Techniques for Networked and Distributed …, 2003 | 11 | 2003 |
