Phillip James

According to our database, Phillip James authored at least 25 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

OnTrack: Reflecting on domain specific formal methods for railway designs.

Phillip James, Faron Moller, Filippos Pantekis

Sci. Comput. Program., 2024

Optimized massively parallel solving of N-Queens on GPGPUs.

Filippos Pantekis, Phillip James, Oliver Kullmann, Liam O'Reilly

Concurr. Comput. Pract. Exp., 2024

Effective Candidate Invariant Generation Using GPGPUs and Optimisations.

Ben Lloyd-Roberts, Filippos Pantekis, Phillip James, Liam O'Reilly, Michael Edwards

Proceedings of the Twelfth International Symposium on Computing and Networking, 2024

2023

Improving Railway Safety: Human-in-the-loop Invariant Finding.

Ben Lloyd-Roberts, Phillip James, Michael Edwards, Simon Robinson, Thomas Werner

Proceedings of the Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

Software Model Checking of Interlocking Programs.

Phillip James, Faron Moller, Markus Roggenbach

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

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

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Scalable N-Queens Solving on GPGPUs via Interwarp Collaborations.

Filippos Pantekis, Phillip James, Oliver Kullmann

Proceedings of the Tenth International Symposium on Computing and Networking, 2022

Towards Massively Parallel GPU Assisted SAT.

Filippos Pantekis, Phillip James

Proceedings of the 2022 Tenth International Symposium on Computing and Networking, CANDAR 2022, 2022

2020

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, 2020

2019

Visualising Railway Safety Verification.

Filippos Pantekis, Phillip James, Liam O'Reilly, Daniel Archambault, Faron Moller

Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

2018

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

2016

OnTrack: The Railway Verification Toolset - Extended Abstract.

Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude.

Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2014

Designing domain specific languages for verification and applications to the railway domain.

Phillip James

PhD thesis, 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

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

Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans.

Phillip James, Markus Roggenbach

Math. Comput. Sci., 2014

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

Proceedings of the Software Engineering and Formal Methods, 2013

Verification of Solid State Interlocking Programs.

Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick

Proceedings of the Software Engineering and Formal Methods, 2013

OnTrack: An Open Tooling Environment for Railway Verification.

Phillip James, Matthew Trumble, Helen Treharne, Markus Roggenbach, Steve A. Schneider

Proceedings of the NASA Formal Methods, 2013

2012

Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl.

Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Using Domain Specific Languages to Support Verification in the Railway Domain.

Phillip James, Arnold Beckmann, Markus Roggenbach

Proceedings of the Hardware and Software: Verification and Testing, 2012

2011

Designing Domain Specific Languages for Verification: First Steps.

Phillip James, Markus Roggenbach

Proceedings of the First Workshop on Automated Theory Engineering, 2011

2010

Automatically Verifying Railway Interlockings using SAT-based Model Checking.

Phillip James, Markus Roggenbach

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010