Phillip James

According to our database1, Phillip James authored at least 15 papers between 2010 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Hands-on Security Testing in a University Lab Environment.
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

2019
Visualising Railway Safety Verification.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

2018
Verification of the European Rail Traffic Management System in Real-Time Maude.
Sci. Comput. Program., 2018

2016
OnTrack: The Railway Verification Toolset - Extended Abstract.
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.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2014
Techniques for modelling and verifying railway interlockings.
Int. J. Softw. Tools Technol. Transf., 2014

On modelling and verifying railway interlockings: Tracking train lengths.
Sci. Comput. Program., 2014

Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans.
Math. Comput. Sci., 2014

2013
Verification of Scheme Plans Using CSP $$||$$ | | B.
Proceedings of the Software Engineering and Formal Methods, 2013

Verification of Solid State Interlocking Programs.
Proceedings of the Software Engineering and Formal Methods, 2013

OnTrack: An Open Tooling Environment for Railway Verification.
Proceedings of the NASA Formal Methods, 2013

2012
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Using Domain Specific Languages to Support Verification in the Railway Domain.
Proceedings of the Hardware and Software: Verification and Testing, 2012

2011
Designing Domain Specific Languages for Verification: First Steps.
Proceedings of the First Workshop on Automated Theory Engineering, 2011

2010
Automatically Verifying Railway Interlockings using SAT-based Model Checking.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010


  Loading...