Dr Liam O'Reilly

Honorary Appointment (Science and Engineering)

Faculty of Science and Engineering

+44 (0) 1792 604033

l.p.oreilly@abertawe.ac.uk

Trosolwg

Mae Dr Liam O'Reilly yn Uwch Ddarlithydd yn yr Adran Gyfrifiadureg ym Mhrifysgol Abertawe.

Meysydd Arbenigedd

Dulliau Ffurfiol
Addysgeg Cyfrifiadureg a Pheirianneg Meddalwedd
Manyleb Algebraidd
Algebra Proses

Cyhoeddiadau

Uchafbwyntiau Ymchwil

Gimblett, A., Kahsai, T., O'Reilly, L., & Roggenbach, M. (2013). On the whereabouts of CSP-CASL – A survey. Electronic Communications of the EASST, 62
https://doi.org/10.14279/tuj.eceasst.62.873, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51786
https://journal.ub.tu-berlin.de/eceasst/article/view/873
O’Reilly, L., Mossakowski, T., Roggenbach, M., & O'Reilly, L. (2012). Compositional Modelling and Reasoning in an Institution for Processes and Data. Recent Trends in Algebraic Development Techniques -269).
https://doi.org/10.1007/978-3-642-28412-0_16, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51782
O'Reilly, L. (2012). Structured Specification with Processes and Data - Theory, Tools and Applications
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51769
O'Reilly, L. & Roggenbach, M. (2009). AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51771
http://www.cs.swan.ac.uk/avocs09/proceedings.php
O'Reilly, L. (2008). Developing Proof Technology For CSP-CASL
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51775
O'Reilly, L., Roggenbach, M., & Isobe, Y. (2009). CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. Electronic Notes in Theoretical Computer Science, 250(2), 69
https://doi.org/10.1016/j.entcs.2009.08.018, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa165
O’Reilly, L., Mossakowski, T., Roggenbach, M., & O'Reilly, L. (2012). Compositional Modelling and Reasoning in an Institution for Processes and Data. In Recent Trends in Algebraic Development Techniques (pp. 251-269). Springer.
https://doi.org/10.1007/978-3-642-28412-0_16, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8087
http://link.springer.com/chapter/10.1007%2F978-3-642-28412-0_16
Moller, F. & O'Reilly, L. (2019). Teaching Discrete Mathematics to Computer Science Students. In Formal Methods Teaching (pp. 150-164). Springer International Publishing.
https://doi.org/10.1007/978-3-030-32441-4_10, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51498
Moller, F. & O'Reilly, L. (2019). On Teaching Discrete Mathematics to Freshman Computer Science Students. Journal of Higher Education Theory and Practice, 19(8)
https://doi.org/10.33423/jhetp.v19i8.2670, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53031
Moller, F., O'Reilly, L., Powell, S., & Hopkins, C. (2021). Teaching Them Early: Formal Methods in School. Communications in Computer and Information Science (pp. 173-190). Springer International Publishing
https://doi.org/10.1007/978-3-030-71374-4_9, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53032
http://dx.doi.org/10.1007/978-3-030-71374-4_9

Holl Ymchwil

Erthyglau Cylchgronau

Lloyd-Roberts, B., Pantekis, F., James, P., O'Reilly, L., & Edwards, M. (2025). Scaling Invariant Generation Using State Space Embeddings and GPU Streaming. Concurrency and Computation: Practice and Experience, 37(25-26), e70353
https://doi.org/10.1002/cpe.70353, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa70761
Pantekis, F., James, P., Kullmann, O., O'Reilly, L., & James, P. (2024). Optimized massively parallel solving of N‐Queens on GPGPUs. Concurrency and Computation: Practice and Experience, 36(10), e8004
https://doi.org/10.1002/cpe.8004, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65385
Moller, F. & O'Reilly, L. (2019). On Teaching Discrete Mathematics to Freshman Computer Science Students. Journal of Higher Education Theory and Practice, 19(8)
https://doi.org/10.33423/jhetp.v19i8.2670, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53031
Gimblett, A., Kahsai, T., O'Reilly, L., & Roggenbach, M. (2013). On the whereabouts of CSP-CASL – A survey. Electronic Communications of the EASST, 62
https://doi.org/10.14279/tuj.eceasst.62.873, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51786
https://journal.ub.tu-berlin.de/eceasst/article/view/873
O'Reilly, L., Roggenbach, M., & Isobe, Y. (2009). CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. Electronic Notes in Theoretical Computer Science, 250(2), 69
https://doi.org/10.1016/j.entcs.2009.08.018, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa165

Penodau Llyfrau

Moller, F., O'Reilly, L., Powell, S., & Hopkins, C. (2021). Teaching Them Early: Formal Methods in School. Communications in Computer and Information Science (pp. 173-190). Springer International Publishing
https://doi.org/10.1007/978-3-030-71374-4_9, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53032
http://dx.doi.org/10.1007/978-3-030-71374-4_9
O’Reilly, L., Mossakowski, T., Roggenbach, M., & O'Reilly, L. (2012). Compositional Modelling and Reasoning in an Institution for Processes and Data. Recent Trends in Algebraic Development Techniques -269).
https://doi.org/10.1007/978-3-642-28412-0_16, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51782

Cyfraniadau Cynadleddau

Lloyd-Roberts, B., Pantekis, F., James, P., O'Reilly, L., & Edwards, M. (2024). Effective Candidate Invariant Generation Using GPGPUs and Optimisations. In 2024 Twelfth International Symposium on Computing and Networking (CANDAR) (pp. 77-86). IEEE.
https://doi.org/10.1109/candar64496.2024.00017, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa68671
Moller, F., O'Reilly, L., Powell, S., & Hopkins, C. (2021). Teaching Them Early: Formal Methods in School. In International Workshop on Formal Methods - Fun for Everybody FMFun 2019: Formal Methods – Fun for Everybody (pp. 173-190). Springer International Publishing.
https://doi.org/10.1007/978-3-030-71374-4_9, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57838
James, P., Powell, L., O'Reilly, L., & Moller, F. (2020). Hands-on Security Testing in a University Lab Environment. In Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science EducationACM.
https://doi.org/10.1145/3341525.3387366, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53790
Pantekis, F., James, P., O'Reilly, L., Archambault, D., & Moller, F. (2020). Visualising Railway Safety Verification. In Osman Hasan, Frederic Mallet (Ed.), Formal Techniques for Safety-Critical Systems. FTSCS 2019. Communications in Computer and Information Science. (pp. 95-105). Springer International Publishing.
https://doi.org/10.1007/978-3-030-46902-3_6, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53283
Moller, F. & O'Reilly, L. (2019). Teaching Discrete Mathematics to Computer Science Students. In Formal Methods Teaching (pp. 150-164). Springer International Publishing.
https://doi.org/10.1007/978-3-030-32441-4_10, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51498
O’Reilly, L., Mossakowski, T., Roggenbach, M., & O'Reilly, L. (2012). Compositional Modelling and Reasoning in an Institution for Processes and Data. In Recent Trends in Algebraic Development Techniques (pp. 251-269). Springer.
https://doi.org/10.1007/978-3-642-28412-0_16, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8087
http://link.springer.com/chapter/10.1007%2F978-3-642-28412-0_16

Cynnyrch Ymchwil Arall

O'Reilly, L. (2012). Structured Specification with Processes and Data - Theory, Tools and Applications
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51769
O'Reilly, L. & Roggenbach, M. (2009). AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51771
http://www.cs.swan.ac.uk/avocs09/proceedings.php
O'Reilly, L. (2008). Developing Proof Technology For CSP-CASL
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51775

Goruchwyliaeth

Mining Invariants from Reachability Traces (cyfredol)

PhD

Goruchwyliwr arall: Prof Xianghua Xie

Goruchwyliwr arall: Dr Mike Edwards
Solving Hard Problems at Scale using Massively Parallel Manycore Processors: An Investigation of GPGPU Acceleration Techniques (dyfarnwyd 2025)

PhD

Goruchwyliwr arall: Prof Faron Moller

Modiwlau a Addysgir

CS-230 Software Engineering

This module exposes the student to the major components of a practical software lifecycle through team-based practical software engineering. This module introduces students to prototyping, software design and implementation, and testing. Students are introduced to the issues and techniques of working in teams.