Phillip James

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 12

Top Topics

Provably Correct

Massively Parallel

Top Venues

Sci. Comput. Program.

Math. Comput. Sci.

Publications

Phillip James, Faron Moller, Filippos Pantekis
OnTrack: Reflecting on domain specific formal methods for railway designs. Sci. Comput. Program. 233 (2024)
Filippos Pantekis, Phillip James, Oliver Kullmann, Liam O'Reilly
Optimized massively parallel solving of N-Queens on GPGPUs. Concurr. Comput. Pract. Exp. 36 (10) (2024)
Ben Lloyd-Roberts, Phillip James, Michael Edwards, Simon Robinson, Thomas Werner
Improving Railway Safety: Human-in-the-loop Invariant Finding. CHI Extended Abstracts (2023)
Phillip James, Faron Moller, Markus Roggenbach
Software Model Checking of Interlocking Programs. Applicable Formal Methods for Safe Industrial Products (2023)
Filippos Pantekis, Phillip James
Towards Massively Parallel GPU Assisted SAT. CANDARW (2022)
Filippos Pantekis, Phillip James, Oliver Kullmann
Scalable N-Queens Solving on GPGPUs via Interwarp Collaborations. CANDAR (2022)
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
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. ISoLA (4) (2022)
Yong Zhang, Haifeng Wang, Phillip James, Markus Roggenbach, Daxin Tian
A Train Protection Logic Based on Topological Manifolds for Virtual Coupling. IEEE Trans. Intell. Transp. Syst. 23 (8) (2022)
Phillip James, Lauren Powell, Liam O'Reilly, Faron Moller
Hands-on Security Testing in a University Lab Environment. ITiCSE (2020)
Filippos Pantekis, Phillip James, Liam O'Reilly, Daniel Archambault, Faron Moller
Visualising Railway Safety Verification. FTSCS (2019)
Ulrich Berger, Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger
Verification of the European Rail Traffic Management System in Real-Time Maude. Sci. Comput. Program. 154 (2018)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang
OnTrack: The Railway Verification Toolset - Extended Abstract. ISoLA (2) (2016)
Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger
Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. FTSCS (2015)
Phillip James, Markus Roggenbach
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. CoRR (2014)
Phillip James, Faron Moller, Nguyen Hoang Nga, Markus Roggenbach, Steve A. Schneider, Helen Treharne
Techniques for modelling and verifying railway interlockings. Int. J. Softw. Tools Technol. Transf. 16 (6) (2014)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne
On modelling and verifying railway interlockings: Tracking train lengths. Sci. Comput. Program. 96 (2014)
Phillip James, Markus Roggenbach
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. Math. Comput. Sci. 8 (1) (2014)
Phillip James, Matthew Trumble, Helen Treharne, Markus Roggenbach, Steve A. Schneider
OnTrack: An Open Tooling Environment for Railway Verification. NASA Formal Methods (2013)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams
Verification of Scheme Plans Using CSP $$||$$ | | B. SEFM Workshops (2013)
Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick
Verification of Solid State Interlocking Programs. SEFM Workshops (2013)
Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. WADT (2012)
Phillip James, Arnold Beckmann, Markus Roggenbach
Using Domain Specific Languages to Support Verification in the Railway Domain. Haifa Verification Conference (2012)
Phillip James, Markus Roggenbach
Designing Domain Specific Languages for Verification: First Steps. ATE (2011)
Phillip James, Markus Roggenbach
Automatically Verifying Railway Interlockings using SAT-based Model Checking. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)