Publications

Co-authors and Co-editors

Kamel Barouki, Ana Cavalcanti, Simon Connelly, Alex J. Cowie, Paul Curzon, Alessandra Di Pierro, Norzima Elbegbayan, Colin J. Fidge, David A. Kearney, Padmanabhan Krishnan, Peter A. Lindsay, Benjamin W. Long, Andrea Maggiolo-Schettini, George J. Milne, Philip A. Moseley, Herbert Wiklicky. Zhao Xiangpeng.

Legal Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by the authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Antonio Cerone, Simon Connelly, Peter Lindsay. Formal Analysis of Human Operator Behavioural Patterns in Interactive Surveillance Systems. To appear in Software and Systems Modelling, Springer, 2007.

Antonio Cerone and Paul Curzon (editors). Proceedings of the 1st International Workshop on Formal Methods and Interactive Systems. Macau SAR China, 31 October 2006, Vol. 183 of Electronic Notes in Theretical Computer Science, Elsevier, 2007.

Antonio Cerone and Norzima Elbegbayan. Model-checking Driven Design of Interactive Systems. 1st International Workshop on Formal Methods for Interactive Systems, Macau SAR China, 31 October 2006, Vol. 183 of Electronic Notes in Theretical Computer Science, Elsevier, 2007, pages 3-20.
[ abstract page | PDF (restricted access) ]

Antonio Cerone and George Milne. Property Verification within a Process Algebra Framework. Chapter 7 of Real-Time Systems: Modeling, Design, and Applications (Dan Ionescu and Aurel Cornell, eds.), AMAST Series in Computing - Vol. 8, 2006, pages 153-174.

Kamel Barkaoui, Ana Cavalcanti and Antonio Cerone (editors). Proceedings of the 3rd International Colloquium on Theoretical Aspects of Computing. Tunis, Tunisia, 20-24 November 2006, Lecture Notes in Computer Science 4281 Springer, 2006.

Xiangpeng Zhao, Antonio Cerone and Paddy Krishnan. Verifying BPEL Workflows under Authorisation Constraints. Fourth International Conference on Business Process Management, Vienna, Austria, 5-7 September 2006, Lecture Notes in Computer Science 4102, Springer, pages 439-444.
[ abstract page | PDF (restricted access) ]

Antonio Cerone and Herbert Wiklicky (editors). Proceedings of the 3rd Workshop on Quantitative Aspects of Programming Languages. Edinburgh, UK, 2-3 April 2005, Vol. 152, Issue 2 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005.

Antonio Cerone and Alessandra Di Pierro (guest editors). Quantitative Aspects of Programming Languages. Theoretical Computer Science, Volume 346, Issue 1, November 2005. 182pp

Antonio Cerone, Peter Lindsay, Simon Connelly. Formal Analysis of Human-computer Interaction using model-checking. Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods, Koblenz, Germany, 5-9 September 2005, IEEE Comp. Soc., 2005, pp.352-361.
[ abstract page | PDF (restricted access) ]

Antonio Cerone and George J. Milne. Property Verification of Asynchronous Systems. Innovations in System and Software Engineering, Vol. 1, No. 1, pp. 25-40, Springer, April 2005.
[ abstract page | PDF (restricted access) ]

Antonio Cerone and Alessandra Di Pierro (editors). Proceedings of the 2nd Workshop on Quantitative Aspects of Programming Languages. Barcelona, Spain, 27-28 March 2004, Vol. 112 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005.

Antonio Cerone and Peter Lindsay (editors). Proceedings of the 1st IEEE International Conference on Software Engineering and Formal Methods. Brisbane, Australia, 25-26 September 2003, IEEE Comp. Soc., 2003

Ben Long, Colin Fidge and Antonio Cerone. A Z Based Approach to Verifying Security Protocols. 5th International Conference on Software Engineering Methods (ICFEM 2003), Singapore, December 2003, Lecture Notes in Computer Science, Springer, 2003. Also Technical Report 02-02, The University of Queensland, Software Verification Research Centre, 2002.

Antonio Cerone. Representing ASN.1 in Z. In 1st Australasian Information Security Workshop (AISW 2003), Adelaide, Australia, 6 February 2003, Conferences in Research and Practice in Information Technology, Vol 21, pages 9-16, Australian Computer Society, 2003.

Antonio Cerone. Towards a User-friendly Design and Verification Environment. In 27th Annual IEEE/NASA Software Engineering Workshop, Greenbelt, MD, USA, 4-6 December 2002, pages 199-208, IEEE Comp. Soc., 2003

Antonio Cerone. From Process Algebra to Visual Language. In Workshop on Software Engineering and Formal Methods, Adelaide, Australia, 24th June 2002, Conferences in Research and Practice in Information Technology, Vol 12, pages 27-36, Australian Computer Society, 2002.

Antonio Cerone. Implementing Condition/Event Nets in the Circal Process Algebra. In Fundamental Approaches to Software Engineering (FASE 2002), Grenoble, France, 6-14 April 2002, Lecture Notes in Computer Science 2306, pages 49-63 Springer, Berlin, Germany, 2002.

Antonio Cerone and G.J. Milne. Property Verification of Asynchronous Systems. Technical Report 01-02, The University of Queensland, Software Verification Research Centre, January 2001.

Antonio Cerone, Axiomatisation of an Interval Calculus for Theorem Proving, Proceedings of Computing: The Australasian Theory Symposium (CATS'01), Gold Coast, Australia, 29th January - 2nd February 2001, Electronic Notes in Theoretical Computer Science 42, Elsevier, 2001. Also Technical Report 00-05 , The University of Queensland, Software Verification Research Centre, January 2000.

Antonio Cerone and G.J. Milne, A Methodology for the Formal Analysis of Asynchronous Micropipelines, In Proceedings of the International Conference on Formal Methods in Computer-Aided Design (FMCAD'00) , Austin, USA, 1-3 November 2000, Lecture Notes in Computer Science 1954, pp. 246-262, Springer, Berlin, Germany, 2000. Also Technical Report 99-33, The University of Queensland, Software Verification Research Centre, October 1999.

Antonio Cerone. Process Algebra versus Axiomatic Specification of a Real-Time Protocol. Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology (AMAST'00), Iowa City, USA, 23-27 May 2000, Lecture Notes in Computer Science 1816, pp. 57-72, Springer, Berlin, Germany, 2000. Also Technical Report 99-40 , The University of Queensland, Software Verification Research Centre, November 1999.

Antonio Cerone. A Temporal Logic for Simultaneous Actions. Technical Report 00-09 , The University of Queensland, Software Verification Research Centre, March 2000.

Antonio Cerone and G.J. Milne. Modelling a Subclass of CMOS Circuits using a Process Algebra. In Proceedings of the 6th Annual Australasian Conference on Parallel and Real-Time Systems (PART'99), Melbourne, 29th November - 1st December 1999, pages 386-397, Springer-Verlag, Singapore, 1999. Also Technical Report 99-28, The University of Queensland, Software Verification Research Centre, August 1999.

Antonio Cerone and A. Maggiolo-Schettini. Time-based Expressivity of Time Petri Nets for System Specification. Theoretical Computer Science, 216(1-2), March 1999, pp. 1-53.

Antonio Cerone, D.A. Kearney and and G.J. Milne. Integrating the Verification of Timing, Performance and CorrectnessProperties of Concurrent Systems. in Proceedings of the International Conference on Application of Concurrency to System Design (CSD'98), Aizu-Wakamatsu City, Fukushima, Japan, March 23-26, 1998, pp. 109-119, IEEE Comp.Soc. Press, 1998.

Antonio Cerone, D.A. Kearney and G.J. Milne.Verification of Timing, Performance and Correctness Properties of a Four-Phase Asynchrounous Micropipeline. Technical Report CIS-98-002, University of South Australia, School of Computer and Information Science, 1998.

Antonio Cerone and George J. Milne. Specification of Timing Constraints within the Circal Process Algebra. in Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology (AMAST'97), Sydney, Australia, 13-17 Dec 1997, Lecture Notes in Computer Science 1349, pp. 108-122, Springer, Berlin, Germany, 1997. Also Technical Report CIS-97-011, University of South Australia, School of Computer and Information Science, August 1997.

Antonio Cerone, Alex J. Cowie and George J. Milne. The Circal System. in Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology (AMAST'97), Sydney, Australia, 13-17 Dec 1997, Lecture Notes in Computer Science 1349, Springer, Berlin, Germany, 1997, pp. 563-564. Also in: "DEMOS at CONCUR96" (Corrado Priami Ed.), Technical Report TR-96-29, Department of Computer Science, University of Pisa, 22 August 1996, pp. 4-5.

Antonio Cerone, D.A. Kearney and G.J. Milne. Verifying Bounded Delay Asynchronous Circuits using Time Relationship Constraints. Technical Report CIS-97-012, University of South Australia, School of Computer and Information Science, August 1997.

Antonio Cerone, A.J. Cowie, G.J. Milne and P.A. Moseley. Modelling a Time-Dependent Protocol using the Circal Process Algebra. Proceedings of the International Workshop on Hybrid and Real-Time Systems, Grenoble, France, 26-28 March 1997, Lecture Notes in Computer Science 1201, pp. 124-138, Springer, Berlin, Germany, 1997. Also Technical Report CIS-96-010, University of South Australia, School of Computer and Information Science, October 1996.