Dr Phillip James
Senior Lecturer
Computer Science
Telephone: (01792) 606183
Email: JavaScript is required to view this email address.
Room: Office - 219
Second Floor
Computational Foundry
Bay Campus

Publications

  1. & (2018). Formal Methods for Industrial Interlocking Verification. Presented at 2018 International Conference on Intelligent Rail Transportation (ICIRT),, 1-5. Singapore, Singapore: doi:10.1109/ICIRT.2018.8641579
  2. & Verification of the European Rail Traffic Management System in Real-Time Maude. Science of Computer Programming 154, 61-88.
  3. & Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. Mathematics in Computer Science 8(1), 11-38.
  4. & On modelling and verifying railway interlockings: Tracking train lengths. Science of Computer Programming 96(3), 315-336.
  5. & Techniques for modelling and verifying railway interlockings. International Journal on Software Tools for Technology Transfer 16(6), 685-711.

See more...

Teaching

  • CSCM28 Security Vulnerabilities and Penetration Testing

    The aim of this course is to examine methodological and practical aspects of cyber security threats and analysis techniques.

  • CSF100 Work-Based Portfolio 1

    In this module students will develop a portfolio of documents and projects which will demonstrate the application of knowledge gained from the co-requisite modules to their work experience.

  • CSF106 Discrete Mathematics for Computer Science

    This module introduces students to mathematical tools and techniques for modelling computing systems.

  • CSF200 Work-Based Portfolio 2

    In this module students will develop a portfolio of documents and projects which will demonstrate the application of knowledge gained from the co-requisite modules to their work experience.

  • CSF305 Computer Security

    The aim of this course is to examine theoretical and practical aspects of computer and network security.

Supervision

  • Service Composition for Cyber-Security and Safety (current)

    Student name:
    PhD
    Other supervisor: Prof Markus Roggenbach
  • A usable security classification scheme for IoT (current)

    Student name:
    MSc
    Other supervisor: Prof Faron Moller
  • 'Safety Verification of Ladder-Logic Programs of Railway Interlockings' (awarded 2017)

    Student name:
    MRes
    Other supervisor: Prof Faron Moller
    Other supervisor: Prof Markus Roggenbach