CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. - Liam O'Reilly; Markus Roggenbach; Yoshinao Isobe (AVoCS, 2008)

Compositional Modelling and Reasoning in an Institution for Processes and Data. - Liam O'Reilly; Till Mossakowski; Markus Roggenbach (WADT, 2010)

Structured specification with processes and data: theory, tools and applications. - Liam O'Reilly (2012)

On the whereabouts of CSP-CASL - A survey. - Andy Gimblett; Temesghen Kahsai; Liam O'Reilly; Markus Roggenbach (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Teaching Them Early: Formal Methods in School. - Faron Moller; Liam O'Reilly; Stewart Powell; Casey Denner (FMFun, 2019)

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

Teaching Discrete Mathematics to Computer Science Students. - Faron Moller; Liam O'Reilly (FMTea, 2019)

Hands-on Security Testing in a University Lab Environment. - Phillip James; Lauren Powell; Liam O'Reilly; Faron Moller (ITiCSE, 2020)

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)