Liam O'Reilly

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 5

Top Topics

Educational Practices

Computer Science Students

Safety Critical

Top Venues

Publications

Filippos Pantekis, Phillip James, Oliver Kullmann, Liam O'Reilly
Optimized massively parallel solving of N-Queens on GPGPUs. Concurr. Comput. Pract. Exp. 36 (10) (2024)
Phillip James, Lauren Powell, Liam O'Reilly, Faron Moller
Hands-on Security Testing in a University Lab Environment. ITiCSE (2020)
Faron Moller, Liam O'Reilly
Teaching Discrete Mathematics to Computer Science Students. FMTea (2019)
Filippos Pantekis, Phillip James, Liam O'Reilly, Daniel Archambault, Faron Moller
Visualising Railway Safety Verification. FTSCS (2019)
Faron Moller, Liam O'Reilly, Stewart Powell, Casey Denner
Teaching Them Early: Formal Methods in School. FMFun (2019)
Andy Gimblett, Temesghen Kahsai, Liam O'Reilly, Markus Roggenbach
On the whereabouts of CSP-CASL - A survey. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013)
Liam O'Reilly, Till Mossakowski, Markus Roggenbach
Compositional Modelling and Reasoning in an Institution for Processes and Data. WADT (2010)
Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. Electron. Notes Theor. Comput. Sci. 250 (2) (2009)