Publications

Journal Articles

  1. Moller, F., O'Reilly, L. On Teaching Discrete Mathematics to Freshman Computer Science Students Journal of Higher Education Theory and Practice 19 8
  2. Gimblett, A., Kahsai, T., O'Reilly, L., Roggenbach, M. On the whereabouts of CSP-CASL – A survey Electronic Communications of the EASST 62
  3. O'Reilly, L., Roggenbach, M., Isobe, Y. CSP-CASL-Prover: A Generic Tool for Process and Data Refinement Electronic Notes in Theoretical Computer Science 250 2 69

Book Chapters

  1. O’Reilly, L., Mossakowski, T., Roggenbach, M., O'Reilly, L. Compositional Modelling and Reasoning in an Institution for Processes and Data (Ed.), Recent Trends in Algebraic Development Techniques 269

Conference Contributions

  1. Moller, F., O'Reilly, L., Powell, S., Denner, C. Teaching The Early: Formal Methods in School FMFun'2019: Formal Methods - Fun for Everybody
  2. James, P., Powell, L., O'Reilly, L., Moller, F. Hands-on Security Testing in a University Lab Environment Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education
  3. Pantekis, F., James, P., O'Reilly, L., Archambault, D., Moller, F. Visualising Railway Safety Verification Formal Techniques for Safety-Critical Systems. FTSCS 2019. Communications in Computer and Information Science. 1165 95 105
  4. Moller, F., O’Reilly, L., O'Reilly, L. Teaching Discrete Mathematics to Computer Science Students Formal Methods Teaching 11758 150 164
  5. O’Reilly, L., Mossakowski, T., Roggenbach, M., O'Reilly, L. Compositional Modelling and Reasoning in an Institution for Processes and Data Recent Trends in Algebraic Development Techniques 7137 251 269

Other Research Outputs

  1. O'Reilly, L. Structured Specification with Processes and Data - Theory, Tools and Applications
  2. O'Reilly, L., Roggenbach, M. AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems
  3. O'Reilly, L. Developing Proof Technology For CSP-CASL