Skip to menu Skip to content Skip to footer
  • UQ Home
  • Contacts
  • Study
  • Maps
  • News
  • Events
  • Library
  • Give now
  • my.UQ
The University of Queensland
School of Information Technology and Electrical Engineering School of Information Technology and Electrical Engineering
Site search
Site search
Menu
  • Home
  • About
    • News
    • Events
      • Seminars
    • Our people
    • Facilities
    • Occupational health and safety
    • Engineering and Technical Support Group
  • Study
  • Research
    • Research Centres
    • UQ Election Ad Data Dashboard
  • Current students
    • Academic advice
    • Guidelines and policies for students
    • Postgraduate research students
    • Student Consultative Committee
    • Thesis coursework information
    • ITEE Learning Centre tutors
  • Engage
    • Community workshops and events
    • Industry Advisory Board
    • Partner with us
  • Giving
  • Contact

Adjunct Professor Neil Robinson

njr@itee.uq.edu.au

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, 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.
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.
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, 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
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.
© The University of Queensland
Enquiries: +61 7 3365 1111   |   Contact directory
ABN: 63 942 912 684   |   CRICOS Provider No: 00025B
Emergency
Phone: 3365 3333
Privacy & Terms of use   |   Feedback   |   Updated: 25 May 2022
Login