School of Electrical Engineering and Computer Science

Adjunct Professor Neil Robinson

Adjunct Professor
School of Electrical Engineering & Computer Science

Publications

Journal Article (1)
Conference Papers (9)
Research Report (1)

Journal Article

Robinson, N. J. (2000). A safety extension to CMMI. Software Engineering Australia (Summer 2000), 22-23.

Conference Papers

Robinson, N. J. and Nikandros, G. (2003). Railway signalling design tools: Supporting control table designers. ASPELT 2003, London, 23-25 September, 2003. London: IRSE.
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. (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
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
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.
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, 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., 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.
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

Research Report

Robinson, N. J. (2001). Checking Z data refinements using an animation tool. Brisbane: Software Verification Research Cen. Univ of Qld.