Phillip James, BSc (Swansea), MRes (Swansea)

PhD Student

I am currently a PhD student under the supervision of Markus Roggenbach. I am a member of the Processes And Data research group. My current research interests include:

• Formal specification and verification of train interlocking systems.
• Model Checking using SAT-Solving.
• Algebraic specification of train signalling systems using CASL, the Common Algebraic Specification Language.

I am currently working in collaboration with Invensys Rail.

Publications

• P. JamesSAT-based Model Checking and its applications to Train Control Software.
  M.Res Thesis, Swansea University, 2010.
  [BibTeX] [PDF]
• P. James, M. Roggenbach: SAT-based Model Checking of Train Control Systems.
  In CALCO Young Researchers Workshop CALCO-jnr 2009, Department of Computer Science, University of Udine, September 2009.
  [BibTeX] [PDF]
• P. James, Y. Isobe, M. Roggenbach: Verifying Train Control Software - An exercise in SAT-based Model Checking.
  In 11th JSSST Workshop on Programming and Programming Languages (PPL2009), 2009.
  [BibTeX] [TXT]

Recent Talks

• Verification of Train Control Systems: Reducing the complexity, BCTCS, April 2010. [PDF]
• SAT-based Model Checking of Train Control Systems, CALCO-jnr, September 2009. [PDF]
• Model Checking for TCTL over Timed Automata, VINO, July 2009. [PDF]
• Verifying Train Control Software, BCTCS, April 2009. [PDF]
• A Program Slicing Algorithm, MRes Project Seminars, May 2009. [PDF]
• Introdution to Boolean Algebras, MRes Boolean Algebra Seminars, December 2008. [PDF]
• When is a number Fibonacci, MRes Proof Discussion Seminars, October 2008. [PDF]

Teaching Assistant Duties (09/10)

• CS_144 Tools and Techniques

Teaching Assistant Duties (08/09)

• CS_332 Designing Algorithms and Analysis
• CS_213 System Specification