Concepedia

Phillip James

PJ

8

Publications

193

Citations

8

H-Index

2011

Active since

Affiliations

Swansea University(Current)

University of Surrey

Phillip James is an author at Swansea University specializing in engineering, systems engineering, and formal verification.

Top concepts

EngineeringSystems EngineeringFormal VerificationVerificationFormal MethodsComputer ScienceBusinessProcess ControlSoftware AnalysisAutomated Reasoning

Publications per year

2011–2021

8

Publications

8

Techniques for modelling and verifying railway interlockings

Phillip James, Faron Moller, Hoang Nga Nguyen et al. · International Journal on Software Tools for Technology Transfer · 2014 · 47 citations

Railway Traffic, Reliability Engineering, Engineering +8

Verification of the European Rail Traffic Management System in Real-Time Maude

Ulrich Berger, Phillip James, Andrew D. Lawrence et al. · Science of Computer Programming · 2017 · 38 citations

Railway Traffic, Engineering, Rail Transport +11

A Train Protection Logic Based on Topological Manifolds for Virtual Coupling

Yong Zhang, Haifeng Wang, Phillip James et al. · IEEE Transactions on Intelligent Transportation Systems · 2021 · 25 citations

Railway Traffic, Virtual Coupling Logic, Engineering +13

On modelling and verifying railway interlockings: Tracking train lengths

Phillip James, Faron Moller, Hoang Nga Nguyen et al. · Science of Computer Programming · 2014 · 22 citations

Railway Traffic, Engineering, Rail Transport +8

Automatically Verifying Railway Interlockings using SAT-based Model Checking

Phillip James, Markus Roggenbach · Technische Universität Berlin – Universitätsbibliothek · 2011 · 20 citations · Full text

Reliability Engineering, Engineering, Automated Reasoning +15

Rows per page

1–5 of 8