Optimized massively parallel solving of N-Queens on GPGPUs - Filippos Pantekis; Phillip James; Oliver Kullmann; Liam O'Reilly (Concurr. Comput. Pract. Exp., 2024)

OnTrack: Reflecting on domain specific formal methods for railway designs - Phillip James; Faron Moller; Filippos Pantekis (Sci. Comput. Program., 2024)

Effective Candidate Invariant Generation Using GPGPUs and Optimisations - Ben Lloyd-Roberts; Filippos Pantekis; Phillip James; Liam O'Reilly; Michael Edwards (Twelfth International Symposium on Computing and Networking, CANDAR 2024, Naha, Japan, November 26-29, 2024, 2024)

Software Model Checking of Interlocking Programs - Phillip James; Faron Moller; Markus Roggenbach (Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, 2023)

Improving Railway Safety: Human-in-the-loop Invariant Finding - Ben Lloyd-Roberts; Phillip James; Michael Edwards; Simon Robinson; Thomas Werner (Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, CHI EA 2023, Hamburg, Germany, April 23-28, 2023, 2023)

A Train Protection Logic Based on Topological Manifolds for Virtual Coupling - Yong Zhang; Haifeng Wang; Phillip James; Markus Roggenbach; Daxin Tian (IEEE Trans. Intell. Transp. Syst., 2022)

Towards Massively Parallel GPU Assisted SAT - Filippos Pantekis; Phillip James (2022 Tenth International Symposium on Computing and Networking, CANDAR 2022 - Workshops, Himeji, Japan, November 21-24, 2022, 2022)

Scalable N-Queens Solving on GPGPUs via Interwarp Collaborations - Filippos Pantekis; Phillip James; Oliver Kullmann (Tenth International Symposium on Computing and Networking, CANDAR 2022, Himeji, Japan, November 21-24, 2022, 2022)

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway - Monika Seisenberger; Maurice H. ter Beek; Xiuyi Fan; Alessio Ferrari; Anne E. Haxthausen; Phillip James; Andrew Lawrence; Bas Luttik; Jaco van de Pol; Simon Wimmer (Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV, 2022)

Hands-on Security Testing in a University Lab Environment - Phillip James; Lauren Powell; Liam O'Reilly; Faron Moller (Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June 15-19, 2020, 2020)

Visualising Railway Safety Verification - Filippos Pantekis; Phillip James; Liam O'Reilly; Daniel Archambault; Faron Moller (Formal Techniques for Safety-Critical Systems - 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers, 2019)

Verification of the European Rail Traffic Management System in Real-Time Maude - Ulrich Berger; Phillip James; Andrew Lawrence; Markus Roggenbach; Monika Seisenberger (Sci. Comput. Program., 2018)

Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers - Phillip James; Markus Roggenbach (Springer, 2017)

OnTrack: The Railway Verification Toolset - Extended Abstract - Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Helen Treharne; Xu Wang (Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, 2016)

Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude - Phillip James; Andrew Lawrence; Markus Roggenbach; Monika Seisenberger (Formal Techniques for Safety-Critical Systems - Fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers, 2015)

Designing domain specific languages for verification and applications to the railway domain - Phillip James (Swansea University, UK, 2014)

Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans - Phillip James; Markus Roggenbach (Math. Comput. Sci., 2014)

On modelling and verifying railway interlockings: Tracking train lengths - Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve A. Schneider; Helen Treharne (Sci. Comput. Program., 2014)

Techniques for modelling and verifying railway interlockings - Phillip James; Faron Moller; Nguyen Hoang Nga; Markus Roggenbach; Steve A. Schneider; Helen Treharne (Int. J. Softw. Tools Technol. Transf., 2014)

Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans - Phillip James; Markus Roggenbach (CoRR, 2014)

OnTrack: An Open Tooling Environment for Railway Verification - Phillip James; Matthew Trumble; Helen Treharne; Markus Roggenbach; Steve A. Schneider (NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, 2013)

Verification of Scheme Plans Using CSP \(\)\(\) \(\) \(\) B - Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve A. Schneider; Helen Treharne; Matthew Trumble; David M. Williams (Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, 2013)

Verification of Solid State Interlocking Programs - Phillip James; Andy Lawrence; Faron Moller; Markus Roggenbach; Monika Seisenberger; Anton Setzer; Karim Kanso; Simon Chadwick (Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, 2013)

Using Domain Specific Languages to Support Verification in the Railway Domain - Phillip James; Arnold Beckmann; Markus Roggenbach (Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, 2012)

Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl - Phillip James; Alexander Knapp; Till Mossakowski; Markus Roggenbach (Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, 2012)

Designing Domain Specific Languages for Verification: First Steps - Phillip James; Markus Roggenbach (Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011, 2011)

Automatically Verifying Railway Interlockings using SAT-based Model Checking - Phillip James; Markus Roggenbach (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)