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. Moller, F., Archambault, D., James, P., Pantekis, P., O'Reilly, L. Visualising railway safety verification FTSCS 2019: Seventh International Workshop on Formal Techniques for Safety-Critical Systems 52 62
  3. Moller, F., O’Reilly, L., O'Reilly, L. Teaching Discrete Mathematics to Computer Science Students Formal Methods Teaching 11758 150 164
  4. 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