Division of Information Technology, Engineering and the Environment
Computer Systems Engineering Centre

UniSA home

Directory

Email

myUniSA

Library

About UniSA

Study at UniSA

Research

Community

• Computer Systems Engineering Centre Home
  • Research areas
  • People
  • Projects
    • ARC projects
    • Other projects
  • Software
  • Conferences
  • Publications
    • Theses
    • Books and Journal Editing
    • Journal papers
    • Refereed conference papers
    • Technical reports
  • Collaboration
  • Contact CSEC
  • School of Electrical & Information Engineering

Refereed conference papers

• 2008
• 2007
• 2006
• 2005
• 2004
• 2003
• 2002

---

2008

G. E. Gallasch and J. Billington, Parametric Language Analysis of the Class of Stop-and-Wait Protocols, 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, Lecture Notes in Computer Science, Vol. 5062, Springer, 2008.

S. Vanit-Anunchai, J. Billington and G. E. Gallasch, A Combined Protocol Channel Model and its application to the Datagram Congestion Control Protocol, Proc. International Workshop on Petri Nets and Distributed Systems (PNDS'08), Xi'an, China, 23-24 June 2008 (a satellite event of Petri Nets 2008), pp. 32-46 (selected as a best paper for journal publication, in ToPNoC).

C. Yuan and J. Billington, On Modelling the Dynamic MANET On-demand (DYMO) routing protocol, Proc. International Workshop on Petri Nets and Distributed Systems (PNDS’08), Xi’an, China, 23-24 June 2008 (a satellite event of Petri Nets 2008), pp 47-66 (selected as a best paper for journal publication, in ToPNoC).

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

J. Billington and S. Saboo, An Investigation of Credit-based Flow Control Mechanisms, Proc. 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTools 2008), Marseille, France, March 3-7, 2008 (10 pages).

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

---

2007

N. Lilith, K. Dogancay and G. Ibal, Dynamic Sensor Scan Optimisation Using Reinforcement Learning, To appear in Proc. Third International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP) 2007, Melbourne, Australia, December 3-6, 2007. (6 pages).

L. Liu and J. Billington, Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol, Proc. 8th International Conference on Parallel and Distributed Computing Applications and Technologies, Adelaide, 3-6 December 2007, pp. 480-487, IEEE CS Press (8 pages).

J. Billington and A. Gupta, Effectiveness of Coloured Petri Nets for Modelling and Analysing the Contract Net Protocol, Proc. Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, 22-24 October, 2007, Department of Computer Science Technical Report, DAIMI PB 584, pp. 49-65 (ISSN 0105 8517).

N. Lilith and K. Dogancay, Reinforcement Learning-Based Dynamic Guard Channel Scheme with Maximum Packing for Cellular Telecommunications Systems, Proc. International Conference on Wireless Communications, Networking and Mobile Computing, 2007 - WiCom 2007, Shanghai, China, 21-25 September 2007, pp. 1967 1970.

S. Vanit-Anunchai and J. Billington, Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures, Proceeding s of the 28th International Conference on Application and Theory of Petri Nets and other models of concurrency, Siedlce, Poland, 25-29 June 2007, Lecture Notes in Computer Science, Vol. 4546, pp. 423-444, Springer 2007 (selected as one of the best papers, for submission to Fundamenta Informaticae, email from co-chairs, 16 October 2007).

---

2006

L. M. Kristensen, P. Mechlenborg, L. Zhang, B. Mitchell, and G. E. Gallasch. Model-based Development of a Course of Action Scheduling Tool, Proc. Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2006, Department of Computer Science Technical Report, DAIMI PB 579, pp. 1-16. (selected as a best paper for journal publication, in STTT)

C. Yuan and J. Billington, A Coloured Petri Net Model of the Dynamic MANET On-demand Routing Protocol, Proc. Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2006, Department of Computer Science Technical Report, DAIMI PB 579, pp. 37-56.

G. E. Gallasch, N. Lilith, J. Billington, L. Zhang, A. Bender and B. Francis, Modelling Defence Logistics Networks, Proc. Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2006, Department of Computer Science Technical Report, DAIMI PB 579, pp. 117-136 (selected as a best paper for journal publication, in STTT).

S. Vanit-Anunchai, J. Billington and G. E. Gallasch, Sweep-line Analysis of DCCP Connection Management, Proc. Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2006, Department of Computer Science Technical Report, DAIMI PB 579, pp. 157-175 (selected as a best paper for journal publication, in STTT).

N. Lilith, J. Billington J. and Freiheit, Approximate Closed-form Aggregation of a Fork-Join Structure in Generalised Stochastic Petri Nets, Proc. 1st International Conference on Performance Evaluation Methodologies and Tools, Pisa, Italy, 11-13 October 2006, article 32 (10 pages) in the ACM International Conference Proceeding Series: Vol. 180, ACM Press, 2006.

S. Vanit-Anunchai and J. Billington, Effect of Sequence Number Wrap on DCCP Connection Establishment, Proc. 14th IEEE International Conference on Modelling and Simulation of Computer and Telecommunication Systems (MASCOTS '06), 1113 September, 2006, Monterey, California, USA, pp 345-354.

---

2005

G. E. Gallasch, S. Vanit-Anunchai, J. Billington and L. M. Kristensen, Checking Language Inclusion on-the-fly with the Sweep-line Method, Proc. Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2005, Department of Computer Science Technical Report, DAIMI PB 576, pp. 1-20 (selected as a best paper for journal publication, in STTT).

L. Liu and J. Billington, A Revision of the CES Protocol and its Verification, Proc. Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2005, Department of Computer Science Technical Report, DAIMI PB 576, pp. 59-78 (selected as a best paper for journal publication, in STTT).

C. Yuan, J. Billington and J. Freiheit, An Abstract Model of Routing in Mobile Adhoc Networks, Proc. Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2005, Department of Computer Science Technical Report, DAIMI PB 576, pp. 137-156.

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, Proc. 2nd International Workshop On Model-Based Methodologies For Pervasive And Embedded Software (MOMPES05 a satellite workshop of ACSD05), Rennes, France, TUCS General Publication, No. 39 pp. 37-55, May 2005.

S. Vanit-Anunchai and J. Billington, Modelling Dynamic Influence Diagrams using Coloured Petri Nets, Proc. Design, Analysis and Simulation of Distributed Systems Symposium, the Spring Simulation Multiconference, San Diego, USA, 3-7 April 2005, Society for Modelling and Simulation, pages 98-106.

---

2004

J. Billington and B. Han, "Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels", Proc. 27th Australasian Computer Science Conference (ACSC'2004), 18-22 January, 2004, The University of Otago, Dunedin, New Zealand, Conferences in Research and Practice in Information Technology, Vol. 26, Australian Computer Society Inc., January 2004, pp. 31-39.

J. Freiheit and J. Billington, "Closed-Form Token Distribution Computation of GSPNs without Synchronisation", Proc. 11th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA'04), Magdeburg, Germany, 13-16 June 2004, pp. 199-206.

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", Proc. Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, University of Aarhus, Denmark, October 8-11, 2004, pp. 19-38.

B. Han and J. Billington, "Experience with Modelling TCP's Connection Management Procedures with CPNs", Proc. Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, University of Aarhus, Denmark, October 8-11, 2004, pp. 57-76 (selected as a best paper for journal publication, in STTT).

L. Liu and J. Billington, "Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step", Proc. 10th International Multi-Media Modeling Conference, Brisbane, Australia, 5-7 January 2004, IEEE Computer Society, pp. 323-328.

C. Ouyang and J. Billington, "An Improved Formal Specification of the Internet Open Trading Protocol", Proc. 19th Annual ACM Symposium on Applied Computing, Nicosia, Cyprus, 14-17 March 2004, pp. 779-783.

S. Vanit-Anunchai and J. Billington, "Modelling Probabilistic Inference using Coloured Petri Nets and Factor Graphs", Proc. Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, University of Aarhus, Denmark, October 8-11, 2004, pp. 117-136.

S. Vanit-Anunchai and J. Billington, "Initial Result of a formal analysis of DCCP connection management", Proc. Fourth International Network Conference, Plymouth, UK, 6-9 July 2004, pp. 63-70 (high commendation for second-best paper).

---

2003

J. Billington and B. Han, "On Defining the Service Provided by TCP", Proc. 26th Australasian Computer Science Conference (ACSC'2003), 4-7 February, 2003, Adelaide, Australia, Conferences in Research and Practice in Information Technology, Vol. 16, Australian Computer Society Inc., February, 2003, pp.129-138.

J. Billington and B. Han, "Formalising the TCP Symmetrical Connection Management Service", Proc. Design, Analysis, and Simulation of Distributed Systems (DASD'03), Florida, 30 March - 3 April 2003, SCS, pp. 178-184.

L. Petrucci, L. Kristensen, J. Billington, and Z. Qureshi, "Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft", Proc. 3rd International Conference on Application of Concurrency to System Design, Guimaraes, Portugal, 18-20 June 2003, IEEE CS Press, pp. 92-101.

Z. Qureshi, J. Billington and M. Aziz, "A Framework for Airborne Mission Systems Research", Proc. 10th Australian International Aerospace Congress: Century of Aerospace, Engineers Australia, 29 July - 1 August 2003, Brisbane, Australia, 10 pp.

---

2002

M. Elliot, J. Billington and L. M. Kristensen, "Using Design/CPN to Design a Visualisation Extension to Design/CPN", in Proc. 4th Workshop and Tutorial on Practice Use of Coloured Petri Nets and CPN Tools (CPN'02), August 28-30, 2002, Aarhus, Denmark, pp. 21-37.

G. Gallasch, L. Kristensen and T. Mailund, "Sweep-Line State Space Exploration of Coloured Petri Nets", in Proc. 4th Workshop and Tutorial on Practice Use of Coloured Petri Nets and CPN Tools (CPN'02), August 28-30, 2002, Aarhus, Denmark, pp. 101-120.

B. Han and J. Billington, "Validating TCP Connection Management", in Conferences in Research and Practice in Information Technology, Vol.12, Workshop on Formal Methods Applied to Defence Systems, Australian Computer Society Inc., Adelaide, 24-25 June 2002, pp.47-55.

L. Kristensen, B. Mitchell, L. Zhang and J. Billington, "Modelling and Initial Analysis of Operational Planning Processes using Coloured Petri Nets", in Conferences in Research and Practice in Information Technology, Vol.12, Workshop on Formal Methods Applied to Defence Systems, Australian Computer Society Inc., Adelaide, 24-25 June 2002, pp.105-114.

L. Kristensen, J. Billington, L. Petrucci, Z. Qureshi and R. Kiefer, "Formal Specification and Analysis of Airborne Mission Systems", in Proc. 21st Digital Avionics Systems Conference: Air Traffic Management for Commercial and Military Systems, Irvine, California, 27-31 October 2002, pp. 4.D.4-1 to 4.D.4-13.

L. Petrucci, L. Kristensen, J. Billington and Z. Qureshi, "Towards Formal Specification and Analysis of Avionics Mission Systems", Conferences in Research and Practice in Information Technology, Vol.12, Workshop on Formal Methods Applied to Defence Systems, Australian Computer Society Inc., Adelaide, 24-25 June 2002, pp.95-104.

A. Singh and J. Billington, "A Formal Service Specification for IIOP based on ISO/IEC 14752", in Formal Methods for Open Object-based Distributed Systems (FMOODS 2002), IFIP TC6/WG6.1 5th International Conference on Formal Methods for Open Object-Based Distributed Systems, Enschede, The Nerthlands, 20-22 March 2002, pp. 111-125.

A. Singh and J. Billington, "Creating an Internet Inter-ORB Protocol Service Specification", Conferences in Research and Practice in Information Technology, Vol.12, Workshop on Formal Methods Applied to Defence Systems, Australian Computer Society Inc., Adelaide, 24-25 June 2002, pp.57-66.

M. Villapol and J. Billington, "Techniques and Tools for Formalising and Analysing the Resource Reservation Protocol: A Coloured Petri Net Approach", XXVIII Latin-American Conference on Informatics(CLEI 2002), Montevideo, Uruguay, 25 - 29 November 2002, CD-ROM.

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

 

top^