Phillip James

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