Journal Article
Robinson, N. J. (2000). A safety extension to CMMI. Software Engineering Australia (Summer 2000), 22-23.
Conference Papers
Winter, K. and Robinson, N. J. (2003). Modelling large railway interlockings and model checking small ones. The Twenty-Sixth Australasian Computer Science Conference, Adelaide, 4-7 February, 2003. Sydney: Australian Computer Society.
Robinson, N. J. and Nikandros, G. (2003). Railway signalling design tools: Supporting control table designers. ASPELT 2003, London, 23-25 September, 2003. London: IRSE.
Robinson, N. J. (2003). Incremental derivation of abstraction relations for data refinements. 5th International Conference on Formal Engineering Methods, Singapore, 5-7 November 2003. Berlin, Germany: Springer-Verlag. doi: 10.1007/b94115
Bofinger, M., Robinson, N. J., Lindsay, P. A., Spiers, M., Ashford, M. and Pitman, A. (2002). Experience with extending CMMI for safety related applications. INCOSE2002, Las Vegas, USA, 28 July - 1 August, 2002. Seattle, USA: International Council On Systems Engineering.
Robinson, Neil J. (2002). Checking Z data refinements using an animation tool. 2nd International Conference of B and Z Users, ZB 2002, Grenoble,, 23-25 January 2002. Springer Verlag.
Robinson, N. J. and Fidge, C. J. (2002). Animation of data refinements. APSEC 2002, Gold Coast, Australia, 4-6 December 2002. Los Alamitos, California: IEEE Computer Society Press. doi: 10.1109/APSEC.2002.1182983
Tombs, David, Robinson, Neil and Nikandros, George (2002). Signalling control table generation and verification. CORE2002, Wollongong, Australia, 10-13 November, 2003. Adelaide, South Australia: Railway Technical Society of Australasia.
Robinson, N. J. and Fidge, C. J. (2001). Visualisation of refinements. ASWEC 2001, Canberra, 27-28 August 2001. Los Alamitos: IEEE Computer Society. doi: 10.1109/ASWEC.2001.948518
Robinson, N. J., Lindsay, P. A. and Pitman, A. (2001). Extending the integrated capability maturity model (CMMI) for safety-related applications. INCOSE 2001, Melbourne, 1-5 July 2001. CD ROM publication only: SESA.
Research Report
Robinson, N. J. (2001). Checking Z data refinements using an animation tool. Brisbane: Software Verification Research Cen. Univ of Qld.