Journal papers
2008
J. Billington and S. Vanit-Anunchai, Coloured Petri Net Modelling of an Evolving Internet Protocol Standard: The Datagram Congestion Control Protocol, Fundamenta Informaticae, Vol. 88, No. 3, pp. 357-385, 2008 (available online at http://iospress.metapress.com/content/ur785p344v01/?p=5f9321e5b9034c17aa48023b55947214&pi=4).
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 (available online at http://dx.doi.org/10.1007/s10009-007-0053-y).
S. Vanit-Anunchai, J. Billington and G. E. Gallasch, Analysis of the Datagram Congestion Control Protocols 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 (available online at http://dx.doi.org/10.1007/s10009-007-0050-1).
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 (available online at http://dx.doi.org/10.1007/s10009-007-0052-z).
2007
J. Billington and B. Han, Formalising TCPs Data Transfer Service Language: A Symbolic Automaton and its Properties, Fundamenta Informaticae, Vol. 80, No. 1-3, pp. 49-74, 2007.
J. Billington and B. Han, Modelling and Analysing the Functional Behaviour of TCPs Connection Management Procedures, International Journal on Software Tools for Technology Transfer, Vol. 9, No. 3-4, pp. 269-304, Springer, June 2007 (available online at http://dx.doi.org/10.1007/s10009-007-0034-1).
L. Liu and J. Billington, Verification of the Capability Exchange Signalling Protocol, International Journal on Software Tools for Technology Transfer, Vol. 9, No. 3-4, pp. 305-326, Springer, June 2007 (available online at http://dx.doi.org/10.1007/s10009-007-0037-y).
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 (available online at http://dx.doi.org/10.1007/s10009-007-0031-4).
2006
G. E. Gallasch and J. Billington, A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols, Lecture Notes in Computer Science, Vol. 3925, pp. 201-218, Springer, 2006 (13th International SPIN Workshop on Model Checking of Software, 30 March - 1 April, 2006, Vienna, Austria. A satellite workshop of ETAPS 2006).
2005
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, Vol. 12, pp 251-274, Publishing Association Nordic Journal of Computing, 2005.
G. E. Gallasch, B. Han and J. Billington, Sweep-line Analysis of TCP Connection Management, Lecture Notes in Computer Science, Vol. 3785, pp. 156-172, Springer, 2005 (Proc 7th International Conference on Formal Engineering Methods, 1-4 November 2005, Manchester, UK).
S. Vanit-Anunchai and J. Billington, Chattering Behaviour in the Datagram Congestion Control Protocol, Electronics Letters, Vol. 41, Issue 21, pp. 1198-1199, Institution of Electrical Engineers, UK, 13 October 2005.
G. E. Gallasch and J. Billington, Using Parametric Automata for the Verification of the Stop and Wait Class of Protocols, Lecture Notes in Computer Science, Vol. 3707, pp. 457-473, Springer, 2005 (Proc 3rd Int. Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, 4-7 October 2005).
S. Vanit-Anunchai, J. Billington and T. Kongprakaiwoot, Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol (pdf - 161kb), Lecture Notes in Computer Science, Vol. 3731, pp. 143-158, Springer, 2005 (Proc. FORTE05, Taipei, October 2005).
B. Han and J. Billington, Termination Properties of TCPs Connection Management Procedures, Lecture Notes in Computer Science, Vol. 3536, pp. 228-249, Springer, 2005 (26th International Conference on Application and Theory of Petri Nets, Miami, Florida, USA, 20-24 June 2005).
2004
J. Billington, G. E. Gallasch and B. Han, "A Coloured Petri Net Approach to Protocol Verification", in Lectures on Concurrency and Petri Nets, Lecture Notes in Computer Science, Vol. 3098, pp. 210-290, Springer-Verlag, 2004.
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, Vol. 34, No. 1, pp. 23-37, January 2004.
J. Freiheit and J. Billington, "Using TimeNET to Evaluate Operational Planning Processes", Lecture Notes in Computer Science, Vol. 3080, pages 17-32, Springer-Verlag, 2004, (2nd International Conference on Business Process Management, BPM'04, Potsdam, Germany, 17-18 June 2004)
L. Liu and J. Billington, "Reducing Parametric Automata: A Multimedia Protocol Service Case Study", Lecture Notes in Computer Science, Vol. 3299, pp. 483-486, Springer-Verlag, 2004.
C. Ouyang and J. Billington, "Formal Analysis of the Internet Open Trading Protocol", in Applying Formal Methods: Testing, Performance, and M/E-Commerce, Lecture Notes in Computer Science, Vol. 3236, pp. 1-15, Springer-Verlag, 2004.
M. Villapol and J. Billington, "A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol", special issue of Best Papers presented at CLEI'2002, CLEI (Latinamerican Center for Informatics Studies) Electronic Journal (ISSN 0717-5000), Vol. 6, No. 1, Paper 1 (25 pages), 2004. (available online at http://www.clei.cl/cleiej/paper.php?id=74)
2003
J. Billington, S. Christensen, K. van Hee, E. Kindler, O. Kummer, L. Petrucci, R. Post, C. Stehno, and M. Weber, "The Petri Net Markup Language: Concepts, Technology, and Tools" (invited paper) Lecture Notes in Computer Science, Vol. 2679, Springer, 2003, pp. 483-505.
J. Billington and G. E. Gallasch, "How Stop and Wait Protocols Can Fail over the Internet", (invited paper) Proc. 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems, Berlin, 29 September to 2 October 2003, Lecture Notes in Computer Science, Vol. 2767, Springer-Verlag, 2003, pp. 209-223.
J. Freiheit, and J. Billington, "New Developments in Closed-Form Computation for GSPN Aggregation", Lecture Notes in Computer Science, Vol. 2885, Springer, 2003, pp. 471-490.
C. OuYang and J. Billington, "On Verifying the Internet Open Trading Protocol", Lecture Notes in Computer Science, Vol. 2738, Springer, 2003, pp. 292-302.
M.E. Villapol and J. Billington, "Analysing Properties of the Resource Reservation Protocol", Lecture Notes in Computer Science, Vol. 2679, Springer, 2003, pp. 377-396.
2002
S. Gordon, L. Kristensen, and J. Billington, "Verification of a Revised WAP Wireless Transaction Protocol", In Proc. 23rd International Conference on Application and Theory of Petri Nets Adelaide, 24-28 June 2002, Lecture Notes in Computer Science, Volume 2360, Springer-Verlag, 2002, pp.182-202.
L. M. Kristensen and T. Mailund, "A Compositional Sweep-Line State Space Exploration Method", in Proc. 22nd IFIP WG 6.1 International Conference (FORTE 2002), Houston, Texas, USA, 11-14 November 2002, Lecture Notes in Computer Science, Vol. 2529, Springer-Verlag, pp. 327-343.
L. M. Kristensen and T. Mailund, "A Generalised Sweep-Line Method for Safety Properties", in Proc. International Symposium of FOrmal Methods Europe (FME 2002), Copenhagen, Denmark, Lecture Notes in Computer Science, Vol. 2391, Springer-Verlag, pp. 549-567.
L. Liu and J. Billington, "Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification", in Proc. 23rd International Conference on Application and Theory of Petri Nets Adelaide, 24-28 June 2002, Lecture Notes in Computer Science, Volume 2360, Springer-Verlag, 2002, pp.273-293.
C. OuYang, L. Kristensen, and J. Billington,. A Formal and Executable Specification of the Internet Open Trading Protocol. In Proc. 3rd International Conference, EC-WEB 2002, Aix-en-Provence, France, 2-6 September 2002, Lecture Notes in Computer Science, Vol. 2455, Springer-Verlag, pp. 377-387.
C. OuYang, L. Kristensen, and J. Billington,. A Formal Service specification for the Internet Open Trading Protocol. In Proc. 23rd International Conference on Application and Theory of Petri Nets Adelaide, 24-28 June 2002, Lecture Notes in Computer Science, Volume 2360, Springer-Verlag, 2002, pp.352-373.