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

Publications

  1. James, P, Isobe, Y, Roggenbach, M Verifying train control software - An exercise in SAT-based model checking11th JSSST Workshop on Programming and Programming Languages (PPL2009)1
  2. Roggenbach, M Designing Domain Specific Languages for Verification: First Steps.
  3. Beckmann, A, James, P Using Domain Specific Languages to Support Verification in the Railway DomainHardware and Software: Verification and Testing7857274275
  4. Setzer, A, James, P Verification of Solid State Interlocking ProgramsSoftware Engineering and Formal Methods8368268
  5. Roggenbach, M, James, P Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme PlansMathematics in Computer Science811138

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.

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

Supervision

  • A usable security classification scheme for IoT (current)

    Student name:
    MSc
    Other supervisor: Prof Faron Moller
  • Untitled (current)

    Student name:
    PhD
    Other supervisor: Prof Arnold Beckmann
  • Service Composition for Cyber-Security and Safety (current)

    Student name:
    PhD
    Other supervisor: Prof Markus Roggenbach
  • Untitled (current)

    Student name:
    PhD
    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