Visualising Railway Safety Verification. - Filippos Pantekis; Phillip James; Liam O'Reilly; Daniel Archambault; Faron Moller (FTSCS, 2019)

Towards Massively Parallel GPU Assisted SAT. - Filippos Pantekis; Phillip James (CANDARW, 2022)

Scalable N-Queens Solving on GPGPUs via Interwarp Collaborations. - Filippos Pantekis; Phillip James; Oliver Kullmann (CANDAR, 2022)

Effective Candidate Invariant Generation Using GPGPUs and Optimisations. - Ben Lloyd-Roberts; Filippos Pantekis; Phillip James; Liam O'Reilly; Michael Edwards (CANDAR, 2024)

Optimized massively parallel solving of N-Queens on GPGPUs. - Filippos Pantekis; Phillip James; Oliver Kullmann; Liam O'Reilly (Concurr. Comput. Pract. Exp., 2024)

OnTrack: Reflecting on domain specific formal methods for railway designs. - Phillip James; Faron Moller; Filippos Pantekis (Sci. Comput. Program., 2024)