Publications

Co-authors and Co-editors

Luis S. Barbosa, Roberto Barbuti, Kamel Barouki, Thomas Anung Basuki, Peter T. Breuer, Manfred Broy, Ana Cavalcanti, Simon Connelly, Alex J. Cowie, Paul Curzon, Alessandra Di Pierro, David Duce, Norzima Elbegbayan, Colin J. Fidge, Andreas Griesmayer, Stefan Gruner, Marijn Janssen, David A. Kearney, Padmanabhan Krishnan, Peter A. Lindsay, Benjamin W. Long, Andrea Maggiolo-Schettini, Paolo Milazzo, George J. Milne, Philip A. Moseley, Sietse Overbeek, Alexander K. Petrenko, Simon Pickin, Elisabetta Rossi, Rudolf Schlatte, Siraj A. Shaikh, Sulayman K. Sowe, 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. Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems. . To appear in Proceedings of the 4th International Workshop on Formal Methods for Interactive Systems. Electronic Communications of the EASST, The European Association of Software Science and Technology, 2011.

Luis Barbosa, Antonio Cerone and Siraj Shaikh (editors). Proceedings of the 4th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2010). Vol 33 of Electronic Communications of the EASST, The European Association of Software Science and Technology, 2010.

Antonio Cerone and Sulayman K. Sowe. Using Free/Libre Open Source Software Projects as E-learning Tools. In Proceedings of the 4th International Workshop on Foundations and Techniques for Open Source Software Certification, Vol 33 of Electronic Communications of the EASST, The European Association of Software Science and Technology, 2010.

Sulayman K. Sowe and Antonio Cerone. Integrating Data from Multiple Repositories to Analyze Patterns of Contribution in FOSS Projects. In Proceedings of the 4th International Workshop on Foundations and Techniques for Open Source Software Certification, Vol 33 of Electronic Communications of the EASST, The European Association of Software Science and Technology, 2010.

Luis S. Barbosa, Antonio Cerone, Alexander K. Petrenko and Siraj A. Shaikh. Certification of Open Source Software: A role for Formal Methods. In Interational Journal of Computer Science and Engineering 25(4), Special Issue: Open source Certification, CRL Publishing, July 2010, pages 273-281.

Thomas Anung Basuki, Roberto Barbuti Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo and Elisabetta Rossi. Modelling the Dynamics of an Aedes albopictus Population. In proceedings of: Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology (AMCA-POP 2010), Electronic Proceedings in Theoretical Computer Science, Vol 33, pages 18--36, 2010.

Antonio Cerone, Paul Curzon and David Duce (guest editors). Special Issue on Formal Methods for Interactive Systems. Formal Aspects of Computing, Volume 21, Issue 6, December 2009, pages 511-641

Sietse Overbeek, Antonio Cerone and Marijn Janssen. Roadmap for a Formal Approach to Reduce Inconsistencies in Enterprise Architecture Views. Pre-proceedings of the 3rd International Workshop on Formal Methods for Interactive Systems. Eindhoven, The Netherlands, 2 November 2009.

Thomas Anung Basuki, Antonio Cerone, Andreas Griesmayer and Rudolf Schlatte. Model-checking User Behaviour using Interacting Components. In Formal Aspects of Computing 21(6), Springer, 2009, pages 571-588.

Luis Barbosa, Antonio Cerone and Siraj Shaikh (editors). Proceedings of the 3rd International Workshop on Foundations and Techniques for Open Source Software Certification. York, UK, 28 March 2009, Vol. 20 of Electronic Communications of the EASST, The European Association of Software Scinece and Technology, 2009.

Siraj Shaikh and Antonio Cerone. Towards a Metric for Open Source Software Quality. Proceedings of the 3rd International Workshop on Foundations and Techniques for Open Source Software Certification. Vol. 20 of Electronic Communications of the EASST, The European Association of Software Science and Technology, 2009.

Thomas Anung Basuki, Antonio Cerone and Rafael V. Carvalho. Modelling Cell Cycle using Different Levels of Representation. Proc. of Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2009), Vol. 227 of Electronic Peoceedings in Theoretical Computer Science, 2009, pages 51-70.

Thomas Anung Basuki, Antonio Cerone and Paolo Milazzo. Translating Stochastic CLS into Maude. Proc. of Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008), Vol. 227 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009, pages 37-58.

Antonio Cerone and Siraj A, Shaikh. Formal Analysis of Security in Interactive Systems. Chapter 25 of Handbook of Research on Social and Organizational Liabilities in Information Security (Manish Gupta and Raj Sharman, eds.), IGI Global, 2008 pages 415-432.

Antonio Cerone and Stefan Gruner (editors). Proceedings of the 6th IEEE International Conference on Software Engineering and Formal Methods. IEEE Comp. Soc., 2008, pages 1-394.

Luis Barbosa, Peter Breuer, Antonio Cerone and Simon Pickin (editors). Proceedings of the OpenCert and FLOSS-FM 2008 joint Workshop. UNU-IIST Research Report 398, 2008, pages 1-88.

Antonio Cerone and Siraj Shaikh. Incorporating Formal Methods in the Open Source Software Development Process. Proceedings of the OpenCert and FLOSS-FM 2008 joint Workshop, UNU-IIST Research Report 398, 2008, pages 26-34.

Kamel Barkaoui, Manfred Broy, Ana Cavalcanti and Antonio Cerone (guest editors). Special Issue on Theoretical Aspects of Computing. Formal Aspects of Computing, Volume 20, Issue 4-5, July 2008, pages 349-560

Antonio Cerone, Simon Connelly and Peter Lindsay. Formal Analysis of Human Operator Behavioural Patterns in Interactive Surveillance Systems. In Software and Systems Modelling 7(3), Springer, 2008, pages 273-286.

Antonio Cerone and Paul Curzon (editors). Proceedings of the 2nd International Workshop on Formal Methods and Interactive Systems. York,UK, 4 September 2007, Vol. 208 of Electronic Notes in Theoretical Computer Science, Elsevier, 2008, pages 1-130.

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 Theoretical Computer Science, Elsevier, 2007, pages 1-104.

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 Theoretical 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.