Publications

Journal Articles

  1. Berger, U., James, P., Lawrence, A., Roggenbach, M., Seisenberger, M. Verification of the European Rail Traffic Management System in Real-Time Maude Science of Computer Programming
  2. James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H. On modelling and verifying railway interlockings: Tracking train lengths Science of Computer Programming 96 315 336
  3. James, P., Roggenbach, M. Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans Mathematics in Computer Science 8 1 11 38
  4. James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H. Techniques for modelling and verifying railway interlockings International Journal on Software Tools for Technology Transfer 16 6 685 711

Book Chapters

  1. James, P., Trumble, M., Treharne, H., Roggenbach, M., Schneider, S. OnTrack: An Open Tooling Environment for Railway Verification (Ed.), NASA Formal Methods 440

Conference Contributions

  1. Moller, F., Archambault, D., James, P., Pantekis, F., O'Reilly, L. Visualising railway safety verification FTSCS 2019: Seventh International Workshop on Formal Techniques for Safety-Critical Systems 52 62
  2. Chadwick, S., James, P., Roggenbach, M., Wetner, T. Formal Methods for Industrial Interlocking Verification 2018 International Conference on Intelligent Rail Transportation (ICIRT) 1 5
  3. 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
  4. 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
  5. James, P., Lawrence, A., Moller, F., Roggenbach, M., Seisenberger, M., Setzer, A., Kanso, K., Chadwick, S. Verification of Solid State Interlocking Programs Software Engineering and Formal Methods 8368 268
  6. James, P., Beckmann, A., Roggenbach, M. Using Domain Specific Languages to Support Verification in the Railway Domain Hardware and Software: Verification and Testing 7857 274 275
  7. 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
  8. James, P. Automatically Verifying Railway Interlockings using SAT-based Model Checking AVoCS'10 -- Proceedings of the Tenth International Workshop on Automated Verification of Critical Systems
  9. Roggenbach, M., James, P. Designing Domain Specific Languages for Verification: First Steps.
  10. James, P., Isobe, Y., Roggenbach, M. Verifying train control software - An exercise in SAT-based model checking 11th JSSST Workshop on Programming and Programming Languages (PPL2009) 1

Other Research Outputs

  1. James, P. Designing Domain Specific Languages for Verification and Applications to the Railway Domain
  2. James, P. SAT-based Model Checking and its applications to Train Control Software Swansea University