Phillip James
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2013–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CHI | Improving Railway Safety: Human-in-the-loop Invariant Finding. | Ben Lloyd-Roberts, Phillip James, Michael Edwards, Simon Robinson, Thomas Werner |
| 2022 | ISoLA | 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 |
| 2020 | ITiCSE | Hands-on Security Testing in a University Lab Environment. | Phillip James, Lauren Powell, Liam O'Reilly, Faron Moller |
| 2016 | ISoLA | OnTrack: The Railway Verification Toolset - Extended Abstract. | Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang |
| 2013 | SEFM | Verification of Solid State Interlocking Programs. | Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick |
| 2013 | SEFM | 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 |