Dr Phillip James
Lecturer
Computer Science
Telephone: (01792) 606183
Email: JavaScript is required to view this email address.

Publications

  1. & Verification of the European Rail Traffic Management System in Real-Time Maude. Science of Computer Programming 154, 61-88.
  2. & Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. Mathematics in Computer Science 8(1), 11-38.
  3. & On modelling and verifying railway interlockings: Tracking train lengths. Science of Computer Programming 96, 315-336.
  4. & Techniques for modelling and verifying railway interlockings. International Journal on Software Tools for Technology Transfer 16(6), 685-711.
  5. & Verification of Scheme Plans Using CSP $$||$$ | | B. In Software Engineering and Formal Methods. -204).

See more...

Teaching

  • CSC318 Cryptography and IT-Security

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

  • CSCM18 IT-Security: Theory and Practice

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

  • 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.

  • CSF205 Data Representation, Markup Languages and Web Services

    This module is about representation of data, typically using markup languages like HTML, SGML and XML; its transformation; validation; and role in distributed web applications.

  • CSF207 Computer Security

    The course will examine practical and theoretical aspects of computer and network security.

Supervision

  • 'Safety Verification of Ladder-Logic Programs of Railway Interlockings' (awarded 2017)

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