Skip to menu Skip to content Skip to footer
The University of Queensland
  • Study
  • Research
  • Partners and community
  • About
School of Information Technology and Electrical Engineering
  • Home
  • About
    • About
    • News
    • Events
    • Our people
    • Facilities
    • Occupational health and safety
    • Engineering and Technical Support Group
  • Study
  • Research
    • Research
    • Research Centres
    • UQ Election Ad Data Dashboard
  • Current students
    • Current students
    • Academic advice
    • Guidelines and policies for students
    • Postgraduate research students
    • Student Consultative Committee
    • Thesis coursework information
    • ITEE Learning Centre tutors
  • Engage
    • Engage
    • Community workshops and events
    • Industry Advisory Board
    • Partner with us
  • Giving
  • Contact
  • Study
  • Research
  • Partners and community
  • About
  • UQ home
  • News
  • Events
  • Give
  • Contact
  • UQ home
  • News
  • Events
  • Give
  • Contact
School of Information Technology and Electrical Engineering
  • Home
  • About
    • News
    • Events
    • 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.
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
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.
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, 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
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.
Australian Aboriginal Flag Torres Strait Islander Flag UQ acknowledges the Traditional Owners and their custodianship of the lands on which UQ is situated. — Reconciliation at UQ
  • Media

    • Media team contacts
    • Find a subject matter expert
    • UQ news
  • Working at UQ

    • Current staff
    • Careers at UQ
    • Strategic plan
    • Staff support
    • IT support for staff
  • Current students

    • my.UQ
    • Programs and courses
    • Key dates
    • Student support
    • IT support for students
  • Library

    • Library
    • Locations and hours
    • Library services
    • Research tools
  • Contact

    • Contact UQ
    • Find a researcher
    • Faculties, schools, institutes and centres
    • Divisions and departments
    • Campuses, maps and transport
    • Media team contacts
    • Find a subject matter expert
    • UQ news
    • Current staff
    • Careers at UQ
    • Strategic plan
    • Staff support
    • IT support for staff
    • my.UQ
    • Programs and courses
    • Key dates
    • Student support
    • IT support for students
    • Library
    • Locations and hours
    • Library services
    • Research tools
    • Contact UQ
    • Find a researcher
    • Faculties, schools, institutes and centres
    • Divisions and departments
    • Campuses, maps and transport
Web login
  • © The University of Queensland
  • ABN: 63 942 912 684
  • CRICOS: 00025B
  • TEQSA: PRV12080
  • Privacy and terms of use
  • Accessibility
  • Right to information
  • Feedback