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

Publications

  1. Chadwick, S., James, P., Roggenbach, M., Wetner, T. Formal Methods for Industrial Interlocking Verification 2018 International Conference on Intelligent Rail Transportation (ICIRT) 1 5
  2. James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H., Trumble, M., Williams, D., James, P. Verification of Scheme Plans Using CSP || B Software Engineering and Formal Methods 8368 189 204
  3. James, P., Trumble, M., Treharne, H., Roggenbach, M., Schneider, S. OnTrack: An Open Tooling Environment for Railway Verification (Ed.), NASA Formal Methods 440
  4. James, P., Knapp, A., Mossakowski, T., Roggenbach, M. Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl Recent Trends in Algebraic Development Techniques 7841 194
  5. James, P., Lawrence, A., Roggenbach, M., Seisenberger, M. Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude Formal Techniques for Safety-Critical Systems 596 120

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:
    MRes
    Other supervisor: Prof Markus Roggenbach
  • Service Composition for Cyber-Security and Safety (current)

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

    Student name:
    PhD
    Other supervisor: Prof Arnold Beckmann
  • 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