About
Dr Phillip James is a Senior Lecturer in the Department of Computer Science, Swansea University.
Dr Phillip James
Teaching Fellow,
Computer Science
Available For Postgraduate Supervision
Research Links
Publications
Research Highlights
-
Chadwick, S., James, P., Roggenbach, M., & Wetner, T. (2018). Formal Methods for Industrial Interlocking Verification. In 2018 International Conference on Intelligent Rail Transportation (ICIRT) (pp. 1-5).
-
James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H., Trumble, M., Williams, D., & James, P. (2014). Verification of Scheme Plans Using CSP || B. In Software Engineering and Formal Methods (pp. 189-204).
-
James, P., Trumble, M., Treharne, H., Roggenbach, M., & Schneider, S. (2013). OnTrack: An Open Tooling Environment for Railway Verification. NASA Formal Methods-440).
-
James, P., Knapp, A., Mossakowski, T., & Roggenbach, M. (2012). Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl. In Recent Trends in Algebraic Development Techniques-194).
-
James, P., Lawrence, A., Roggenbach, M., & Seisenberger, M. (2016). Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. In Formal Techniques for Safety-Critical Systems-120).
All Research
Journal Articles
-
Zhang, Y., Wang, H., James, P., Roggenbach, M., & Tian, D. (2022). A Train Protection Logic Based on Topological Manifolds for Virtual Coupling. IEEE Transactions on Intelligent Transportation Systems, 23(8), 11930-11945.
-
Brown, M., Hooper, N., James, P., Scott, D., Bodger, O., & John, A. (2020). A Web-Delivered Acceptance and Commitment Therapy Intervention With Email Reminders to Enhance Subjective Well-Being and Encourage Engagement With Lifestyle Behavior Change in Health Care Staff: Randomized Cluster Feasibility Stud. JMIR Formative Research, 4(8), e18586
-
Berger, U., James, P., Lawrence, A., Roggenbach, M., & Seisenberger, M. (2018). Verification of the European Rail Traffic Management System in Real-Time Maude. Science of Computer Programming, 154, 61-88.
-
James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, H. (2014). On modelling and verifying railway interlockings: Tracking train lengths. Science of Computer Programming, 96, 315-336.
-
James, P. & Roggenbach, M. (2014). Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. Mathematics in Computer Science, 8(1), 11-38.
-
Nguyen, H., James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, H. (2014). Techniques for modelling and verifying railway interlockings. International Journal on Software Tools for Technology Transfer, 16(6), 685-711.
Book Chapters
-
James, P., Trumble, M., Treharne, H., Roggenbach, M., & Schneider, S. (2013). OnTrack: An Open Tooling Environment for Railway Verification. NASA Formal Methods-440).
Conference Contributions
-
Lloyd-Roberts, B., James, P., Edwards, M., Robinson, S., James, P., & Werner, T. (2023). Improving Railway Safety: Human-in-the-loop Invariant Finding. In Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing SystemsACM.
-
Pantekis, F., James, P., & Kullmann, O. (2022). Scalable N-Queens Solving on GPGPUs via Interwarp Collaborations. In 2022 Tenth International Symposium on Computing and Networking (CANDAR)IEEE.
-
Seisenberger, M., Beek, M., Fan, X., Ferrari, A., Haxthausen, A., James, P., Lawrence, A., Luttik, B., Pol, J., & Wimmer, S. (2022). Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. In Lecture Notes in Computer Science (pp. 246-268). Springer Nature Switzerland.
-
James, P., Powell, L., O'Reilly, L., & Moller, F. (2020). Hands-on Security Testing in a University Lab Environment. In Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science EducationACM.
-
Pantekis, F., James, P., O'Reilly, L., Archambault, D., & Moller, F. (2020). Visualising Railway Safety Verification. In Osman Hasan, Frederic Mallet (Ed.), Formal Techniques for Safety-Critical Systems. FTSCS 2019. Communications in Computer and Information Science. (pp. 95-105). Springer International Publishing.
-
Chadwick, S., James, P., Roggenbach, M., & Wetner, T. (2018). Formal Methods for Industrial Interlocking Verification. In 2018 International Conference on Intelligent Rail Transportation (ICIRT) (pp. 1-5).
-
James, P., Lawrence, A., Roggenbach, M., & Seisenberger, M. (2016). Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. In Formal Techniques for Safety-Critical Systems-120).
-
James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H., Trumble, M., Williams, D., & James, P. (2014). Verification of Scheme Plans Using CSP || B. In Software Engineering and Formal Methods (pp. 189-204).
-
James, P., Lawrence, A., Moller, F., Roggenbach, M., Seisenberger, M., Setzer, A., Kanso, K., & Chadwick, S. (2014). Verification of Solid State Interlocking Programs. In Software Engineering and Formal Methods-268).
-
James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, . (2014). Decomposing scheme plans to manage verification complexity. In FORMS/FORMAT- 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive SystemsSU Repository: https://cronfa.swan.ac.uk/Record/cronfa37077
-
James, P., Beckmann, A., & Roggenbach, M. (2013). Using Domain Specific Languages to Support Verification in the Railway Domain. In Hardware and Software: Verification and Testing (pp. 274-275). Springer.
-
James, P., Knapp, A., Mossakowski, T., & Roggenbach, M. (2012). Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl. In Recent Trends in Algebraic Development Techniques-194).
-
James, P. (2011). Automatically Verifying Railway Interlockings using SAT-based Model Checking. In AVoCS'10 -- Proceedings of the Tenth International Workshop on Automated Verification of Critical SystemsElectronic Communications of the EASST.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa37071
-
Roggenbach, M. & James, P. (2011). Designing Domain Specific Languages for Verification: First Steps..
-
James, P., Isobe, Y., & Roggenbach, M. (2009). Verifying train control software - An exercise in SAT-based model checking. In 11th JSSST Workshop on Programming and Programming Languages (PPL2009) (pp. 1Japan Society for Software Science and Technology.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa196
Other Research Outputs
-
James, P. (2014). Designing Domain Specific Languages for Verification and Applications to the Railway DomainSU Repository: https://cronfa.swan.ac.uk/Record/cronfa37076
-
James, P. (2010). SAT-based Model Checking and its applications to Train Control SoftwareSU Repository: https://cronfa.swan.ac.uk/Record/cronfa37069
Supervision
-
Secure Identity Management System in Unmanned Aerial Vehicles Network (current)
PhDOther supervisor: Dr Anton Setzer -
Knowledge-driven Artificial Intelligence for Predictive Analytics in Steelmaking (current)
PhDOther supervisor: Prof Arnold Beckmann -
Institution-based Semantics and Tool Support for the UML (awarded 2023)
PhDOther supervisor: Prof Markus Roggenbach