Dr Guy Gallasch

I am currently working for the Computer Systems Engineering Centre (CSEC), in the School of Electrical and Information Engineering (EIE), Mawson Lakes campus of the University of South Australia. I have recently completed my PhD in the area of parametric verification of the Stop-and-Wait class of protocols.

Member of IEEE

Bachelor of Engineering (Hons) Computer Systems Engineering, University of South Australia

PhD in Computer Systems Engineering, University of South Australia

• My current research interests include parametric verification, advanced reachability analysis algorithms, and research in collaboration with Australia's Defence Science and Technology Organisation (DSTO), including the modelling of logistics systems and developing support for operational planning.
• For more information, please visit the Computer Systems Engineering Centre home page.

My publications are organised into five sections. The first is my PhD thesis. The remaing four are: refereed journal papers (C1), refereed conference papers (E1), unrefereed conference papers (E2) and technical reports (K), each displayed in reverse chronological order.

PhD Thesis:   G. E. Gallasch. Parametric Verification of the Class of Stop-and-Wait Protocols, Computer Systems Engineering Centre, University of South Australia, May 2007.

C1 Publications

1. S. Vanit-Anunchai, J. Billington and G. E. Gallasch, Analysis of the Datagram Congestion Control Protocol's Connection Management Procedures using the Sweep-line Method, International Journal on Software Tools for Technology Transfer, Vol. 10, No. 1, pp. 29-56, Springer, January 2008, ISSN 1433-2779.

2. L. M. Kristensen, P. Mechlenborg, L. Zhang, B. Mitchell and G. E. Gallasch, Model-based Development of a Course of Action Scheduling Tool, International Journal on Software Tools for Technology Transfer, Vol. 10, No. 1, pp. 5-14, Springer, January 2008, ISSN 1433-2779.

3. G. E. Gallasch, N. Lilith, J. Billington, L. Zhang, A. Bender and B. Francis, Modelling Defence Logistics Networks, International Journal on Software Tools for Technology Transfer, Vol. 10, No. 1, pp. 75-93, Springer, January 2008, ISSN 1433-2779

4. G. E. Gallasch, J. Billington, S. Vanit-Anunchai and L. M. Kristensen, Checking Safety Properties On-the-fly with the Sweep-line Method, International Journal on Software Tools for Technology Transfer, Vol.9, No. 3-4, pp. 371-392, Springer, June 2007, ISSN 1433-2779.

5. G. E. Gallasch and J. Billington, A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols, volume 3925 of Lecture Notes in Computer Science, pp. 201-218, Springer-Verlag, 2006, ISSN 0302-9743.

6. J. Billington, G. E. Gallasch and L. Petrucci. FAST Verification of the Class of Stop-and-Wait Protocols modelled by Coloured Petri Nets, Nordic Journal of Computing, 12(3):251-274, November 2005, ISSN 1236-6064.

7. G. E. Gallasch, B. Han and J. Billington, Sweep-line Analysis of TCP Connection Management, volume 3785 of Lecture Notes in Computer Science, pp. 156-172, Springer-Verlag, 2005, ISSN 0302-9743.

8. G. E. Gallasch and J. Billington. Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols, volume 3707 of Lecture Notes in Computer Science, pp. 457-473, Springer-Verlag, 2005, ISSN 0302-9743.

9. J. Billington, G. E. Gallasch and B. Han, A Coloured Petri Net Approach to Protocol Verification (invited paper), in Lectures on Concurrency and Petri Nets, Advances in Petri Nets, volume 3098 of Lecture Notes in Computer Science, pp. 210-290, Springer-Verlag, 2004, ISSN 0302-9743.

10. J. Billington, G. E. Gallasch, L. M. Kristensen and T. Mailund, Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States, IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, Special Issue on Deadlock Resolution in Computer-Integrated Systems, 34(1):23-37, January 2004, ISSN 1083-4427.

11. J. Billington and G. E. Gallasch, How Stop and Wait Protocols Can Fail over the Internet, (invited paper), volume 2767 of Lecture Notes in Computer Science, Springer-Verlag, pp. 209-223, 2003, ISSN 0302-9743.

E1 Publications

1. G. E. Gallasch and J. Billington, Parametric Language Analysis of the Class of Stop-and-Wait Protocols, in Proc. 29th International Conference on the Application and Theory of Petri Nets and Other Models of Concurrency (PN 2008), Xi'an, China, June 25-27, 2008, volume 5062 of Lecture Notes in Computer Science, Springer, pp. 191-210, ISSN 0302-9743.

2. S. Vanit-Anunchai, J. Billington and G. E. Gallasch, A Combined Protocol Channel Model and its application to the Datagram Congestion Control Protocol, in Proc. International Workshop on Petri Nets and Distributed Systems (PNDS), Xi'an, China, June 23-24, 2008, pp. 32-46.

3. J. Billington, A. K. Gupta and G. E. Gallasch, Modelling and Analysing the Contract Net Protocol - Extension using Coloured Petri Nets, in Proc. 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Tokyo, Japan, June 10-13, 2008, volume 5048 of Lecture Notes in Computer Science, Springer, pp. 169-184, ISSN 0302-9743.

4. G. E. Gallasch, C. Moon, B. Francis and J. Billington, Modelling Personnel within a Defence Logistics Maintenance Process, in Proc. 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTools 2008), Marseille, France, March 3-7, 2008 (10 pages).

5. G. E. Gallasch, N. Lilith, J. Billington, L. Zhang, A. Bender and B. Francis, Modelling Defence Logistics Networks, in Proc. 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, University of Aarhus, Denmark, October 24-26, 2006, Department of Computer Science Technical Report, DAIMI PB-579, pp. 117-136, ISSN 0105-8517.

6. S. Vanit-Anunchai, J. Billington and G. E. Gallasch, Sweep-line Analysis of DCCP Connection Management, in Proc. 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, University of Aarhus, Denmark, October 24-26, 2006, Department of Computer Science Technical Report, DAIMI PB-579, pp. 157-175, ISSN 0105-8517.

7. L. M. Kristensen, P. Mechlenborg, L. Zhang, B. Mitchell and G. E. Gallasch, Model-based Development of a Course of Action Scheduling Tool, in Proc. 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, University of Aarhus, Denmark, October 24-26, 2006, Department of Computer Science Technical Report, DAIMI PB-579, pp. 1-16, ISSN 0105-8517.

8. G. E. Gallasch, S. Vanit-Anunchai, J. Billington and L. M. Kristensen, Checking Language Inclusion On-The-Fly with the Sweep-line Method, in Proc. 6th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, University of Aarhus, Denmark, October 24-26, 2005, Department of Computer Science Technical Report, DAIMI PB-576, pp. 1-20, ISSN 0105-8517.

9. J. Billington, G. E. Gallasch and L. Petrucci. Transforming Coloured Petri Nets to Counter Systems for Parametric Verification: A Stop-and-Wait Protocol Case Study, in Proc. 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2005), Rennes, France, June 6, 2005, TUCS General Publication, No. 39, pp. 37-55, ISSN 1239-1905.

10. G. E. Gallasch, C. Ouyang, J. Billington and L. M. Kristensen. Experimenting with Progress Mappings for the Sweep-Line Analysis of the Internet Open Trading Protocol, in Proc. Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, University of Aarhus, Denmark, October 8-11, 2004, Department of Computer Science Technical Report, DAIMI PB-570, pp. 19-38, ISSN 0105-8517.

11. G. E. Gallasch, L. Kristensen and T. Mailund, Sweep-Line State Space Exploration for Coloured Petri Nets, in Proc. 4th Workshop and Tutorial on Practice Use of Coloured Petri Nets and the CPN Tools (CPN'02), University of Aarhus, Denmark, August 28-30, 2002, Department of Computer Science Technical Report, DAIMI PB-560, pp. 101-119, ISSN 0105-8517.

12. L. Zhang, L. Kristensen, C. Janczura, G. Gallasch and J. Billington, A Coloured Petri Net based Tool for Course of Action Development and Analysis, in Proc. Workshop on Formal Methods Applied to Defence Systems, Adelaide, Australia, June 24-25, 2002, volume 12 of Conferences in Research and Practice in Information Technology, Australian Computer Society Inc., pp.125-134, ISSN 1445-1336.

13. G. E. Gallasch and L. M. Kristensen. Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN, in Proc. 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN’01), University of Aarhus, Denmark, August 29-31, 2001, Department of Computer Science Technical Report, DAIMI PB-554, pp. 75-89, ISSN 0105-8517.

Unrefereed Conference Papers (E2 Publications)

1. L. Zhang, L. Kristensen, B. Mitchell, G. Gallasch, P. Mechlenborg and C. Janczura. COAST – An Operational Planning Tool for Course of Action Development and Analysis, Proc. 9th International Command and Control Research and Technology Symposium (ICCRTS), Copenhagen, Denmark, September 14-16, 2004.

Technical Reports (K Publications)

1. G. E. Gallasch and J. Billington, A Characterisation and Parametric Analysis of the Class of Stop-and-Wait Protocols incorporating Data, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-38, Draft of January 2009 (162 pages).

2. G. E. Gallasch, N. Lilith and J. Billington, Coloured Petri Net Modelling of Defence Logistics, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-33, Draft of July 2008 (198 pages).

3. G. E. Gallasch, C. Moon, B. Francis, J. Billington and N. Lilith, Modelling Personnel within a CPN Model of a Defence Maintenance Process, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-32, November 2007 (25 pages).

4. G. E. Gallasch and J. Billington, Language Analysis of the Class of Stop-and-Wait Protocols, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-31, October 2007 (revised January 2008) (80 pages).

5. G. E. Gallasch, N. Lilith and J. Billington. Extending a Coloured Petri Net Model of a Defence Logistics Network, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-29, June 2007 (revised September 2007) (116 pages).

6. G. E. Gallasch. Review of a Coloured Petri Net Logistics Maintenance Model, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-28, December 2006 (16 pages).

7. G. E. Gallasch and J. Billington. Modelling and Analysis of Operations Planning using Untimed and Timed CPNs, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-27, September 2006 (73 pages).

8. G. E. Gallasch, N. Lilith and J. Billington. A Coloured Petri Net Model of a Defence Logistics Physical Network, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-25, June 2006 (revised August 2006) (140 pages).

9. G. E. Gallasch and J. Billington. Parametric Verification of the Class of Stop-and-Wait Protocols over Ordered Channels, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-23, December 2006 (94 pages).

10. G. E. Gallasch, B. Han and J. Billington, COAST User Interface Design, Integration and Support, and the Development of an Untimed COAST Server, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-22, June 2005 (revised July 2005) (93 pages).

11. G. E. Gallasch and J. Billington. Towards the Parametric Verification of the Class of Stop-and-Wait Protocols over Ordered Channels, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-21, March 2005 (38 pages).

12. J. Freiheit, G. E. Gallasch and J. Billington. About the Use of Untimed CPN Models for COAST and Further COAST Client Development Support, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-20, December 2004 (33 pages).

13. J. Billington and G. E. Gallasch. An Investigation of the Properties of Stop-and-Wait Protocols over Channels which can Re-order Messages, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-15, June 2003 (revised May 2004) (49 pages).

14. L. Petrucci, L. M. Kristensen, G. E. Gallasch, M. Elliot, P. Dauchy, J. Billington and S. M. Aziz. Modelling and Analysis of Airborne Mission Systems, Final Report for Phase 3, DSTO Contract No. 687237 (Phase 3), Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-7, 12 August, 2002 (87 pages).

15. L. M. Kristensen, J. Billington, S. M. Aziz and G. E. Gallasch, Modelling and Analysis of Airborne Mission Systems. Final Report for Phase 2, DSTO Contract No. 687237 (Phase 2), Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-3, May 30, 2001 (74 pages).

16. G. E. Gallasch, L. M. Kristensen, and J. Billington, Modelling and Analysis of Airborne Mission Systems. Interim Report B, DSTO Contract No. 687237 (Phase 2), Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-2, March 12, 2001 (70 pages).