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).
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. & 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.
James, P., Trumble, M., Treharne, H., Roggenbach, M., & Schneider, S. (2013). OnTrack: An Open Tooling Environment for Railway Verification. NASA Formal Methods-440).
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 Systems
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.
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.