Dr Lin Liu

Consultation time in Study Period 5, 2009: Wednesday 11:00am-12:00noon, and Thursday 3:30pm - 5:30pm.

• Aritificial Intelligence
• Networking
• Databases
• Data Structures and Algorithms

Bachelor of Engineering Science, Xidian Univ., China.

Master of Engineering Science, Xidian Univ., China

PhD in Computer Systems Engineering, University of South Australia

• Artificial intelligence
• Protocol verification
• Computer networks

Lin Liu and Jonathan Billington. "Recursive Parametric Automata and \epsilon-Removal". In Proceedings of FORTE'09, the 29th IFIP International Conference on Formal Techniques for Networked and Distributed Systems, June 2009, Lisbon, Portugal. Lecture Notes in Computer Science, Vol. 5522, pages 90-105. Springer 2009.

Lin Liu. "Verification of the SIP Transaction Using Coloured Petri Nets". In Proceedings of the 32nd Australasian Computer Science Conference, Wellington, New Zealand, January 2009.

Lay G. Ding and Lin Liu. "Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets". In Proceedings of the 29th International Conference on Applications and Theory of 1. Petri Nets and Other Models of Concurrency, Xi'an, China, June 2008. Lecture Notes in Computer Science, Vol. 5062. Pages 132-151. Springer, 2008.

Lin Liu and Jonathan Billington. "Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol". In Proceedins of the 8th International Conference on Parallel and Distributed Computing Applications and Technologies, pages 480-487, Adelaide, Australia, December 2007.

Lin Liu and Jonathan Billington. "Verification of the Capability Exchange Signalling Protocol". International Journal on Software Tools for Technology Transfer, Vol. 9, No. 3-4, pages 305-326. Springer, June 2007.

Lin Liu and Jonathan Billington. "Enhancing the CES Protocol and its Verification". In Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN'05), pages 59-78, Aarhus, Denmark, October 24-26, 2005.

Lin Liu and Jonathan Billington. "Reducing Parametric Automata: A Multimedia Protocol Service Case Study". In Proceedings of ATVA'04, the 2nd International Symposium of Automated Technology for Verification and Analysis, Taipei, Oct 2004, Lecture Notes in Computer Science, Vol. 3299, pages 483-486, Springer 2004.

Lin Liu and Jonathan Billington. "Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step". In Proceedings of MMM'04, the 10th International Multi-Media Modelling Conference, pages 323 ¨C 328, Brisbane, Australia, January 2004.

Lin Liu and Jonathan Billington. "Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification". In Proceedings of ICATPN¡¯2002, the 23rd International Conference on Application and Theory of Petri Nets, Adelaide, Australia, June 2002, Lecture Notes in Computer Science, Vol. 2360, pages 273-293. Springer, 2002.

Lin Liu and Jonathan Billington. "Modelling and Analysis of the CES Protocol of H.245". In Proceedings of CPN¡¯01, the Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pages 95-114, Aarhus, Denmark, August 2001.

Lin Liu and Jonathan Billington. "Modelling and Analysis of Internet Multimedia Protocols - Methodology and Initial Results". In Proceedings of INCOSE'01, the 11th Annual International Symposium of the International Council on Systems Engineering, CD-ROM, paper no. 3.2.4, Melbourne, Australia, July 2001.

Heping Pan and Lin Liu. "Fuzzy Bayesian Networks - A General Formalism for Representation, Inference and Learning with Hybrid Bayesian Networks". International Journal of Pattern Recognition and Artificial Intelligence, pages 941-962, Vol. 14, No. 7, November 2000 (an extended version of the following paper of ICONIP'99).

Heping Pan and Lin Liu. "Fuzzy Bayesian Networks - A General Formalism for Representation, Inference and Learning with Hybrid Bayesian Networks". In Proceedings of ICONIP¡¯99, the 6th International Conference on Neural Information Processing, pages 401-406, Perth, Australia, November 1999.

Daniel W. McMichael, Lin Liu and Heping Pan. "Estimating the Parameters of Mixed Bayesian Networks from Incomplete Data". In Proceedings of IDC'99, International Conference on Information, Decision and Control, pages 591-596, Adelaide, Australia, February 1999.

Lin Liu and Yijie Zhang. "Multitarget Plot-track Association using Data Fusion Techniques". Journal of Fire Control Radar Technology, Vol. 24, No.3, pages 46-50, September 1995.

Hongyan Li, Ruitang Li and Lin Liu. "Study on the Adaptive Multi-model Filtering Algorithms". Journal of Fire Control Radar Technology, Vol. 24, No. 3, pages 74-77, September 1995.

Yijie Zhang and Lin Liu. "Knowledge-based Data Fusion Strategies for Airborne Multisensor Surveillance System". In Proceedings of IEEE International Conference on Systems, Man and Cybernetics, pages 646-649, Part 3 (of 5), Le Touquet France, October 1993.

Lin Liu and Yijie Zhang. "The Application of Data Fusion Techniques to Multitarget Tracking". In Proceedings of CIE RADAR'93, the 6th Radar Conference of China, Beijing, China, October 1993.