Liam O'Reilly

According to our database, Liam O'Reilly authored at least 9 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Optimized massively parallel solving of N-Queens on GPGPUs.

Filippos Pantekis, Phillip James, Oliver Kullmann, Liam O'Reilly

Concurr. Comput. Pract. Exp., 2024

2020

Hands-on Security Testing in a University Lab Environment.

Phillip James, Lauren Powell, Liam O'Reilly, Faron Moller

Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

2019

Teaching Discrete Mathematics to Computer Science Students.

Faron Moller, Liam O'Reilly

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

Visualising Railway Safety Verification.

Filippos Pantekis, Phillip James, Liam O'Reilly, Daniel Archambault, Faron Moller

Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

Teaching Them Early: Formal Methods in School.

Faron Moller, Liam O'Reilly, Stewart Powell, Casey Denner

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

2013

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

2012

Structured specification with processes and data: theory, tools and applications.

Liam O'Reilly

PhD thesis, 2012

2010

Compositional Modelling and Reasoning in an Institution for Processes and Data.

Liam O'Reilly, Till Mossakowski, Markus Roggenbach

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

2008

CSP-CASL-Prover: A Generic Tool for Process and Data Refinement.

Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe

Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008