Liam O'Reilly, B.Sc., M.Phil., Ph.D.

I have completed my doctorate under the supervision of Markus Roggenbach. I am a member of the Processes And Data research group. My research interests include:

• Algebraic specification for proccesses and data using the language CSP-CASL which is a combination of the languages:
  • CASL: the Common Algebraic Specification Language, developed by CoFI (the Common Framework Initiative for algebraic specification and development of software), and
  • CSP: a processes algebra.
• Tool support for theorem proving for the language CSP-CASL. CSP-CASL-Prover is a tool which we have developed inside of HETS (the Heterogeneous Tool Set) which allows one to interactive prove refinements in CSP-CASL. This tool makes use of CSP-Prover which is built upon the well known theorem prover Isabelle.
• Structured modelling and compositional reasoning of reactive systems.

Publications

• L. O'Reilly: Structured Specification with Processes and Data --- Theory, Tools and Applications.
  Ph.D. Thesis, Swansea University, 2012.
  [BibTeX] [PDF]
• L. O'Reilly, T. Mossakowski, M. Roggenbach: Compositional Modelling and Reasoning in an Institution for Processes and Data.
  In WADT 2010, LNCS 7137, Springer, 2012.
  [BibTeX] [PDF]
• L. O'Reilly, T. Mossakowski, M. Roggenbach: Compositional Reasoning for Processes and Data.
  Proceedings of the 18th Automated Reasoning Workshop, Technical Report TR-2011-327, University of Glasgow.
  http://www.dcs.gla.ac.uk/arw2011/img/proceedingsARW11.pdf
  [BibTeX] [PDF] [Poster JPG]
• L. O'Reilly and M. Roggenbach, editors. AVoCS 2009 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems.
  Technical Report of Computer Science CSR-2-2009, Swansea University, Wales, UK, 2009.
  [BibTeX] [PDF]
• A. Gimblett, T.Kahsai, L. O'Reilly, M. Roggenbach On the whereabouts of CSP-CASL - A Survey.
  In Specification, Transformation, Navigation, Festschrift dedicated to Bernd Krieg-Brückner, Bremen, 2009.
  [BibTeX] [PDF]
• L. O'Reilly, Y. Isobe, M. Roggenbach: CSP-CASL-Prover: A generic tool for process and data refinement.
  In Electronic Notes In Theoretical Computer Science, Elsevier, 2009.
  [BibTeX] [PDF]
• L. O'Reilly: Developing Proof Technology For CSP-CASL.
  M.Phil Thesis, Swansea University, 2008.
  [BibTeX] [PDF]
• L. O'Reilly, Y. Isobe, M. Roggenbach: CSP-CASL-Prover - Tool integration and algorithms for automated proof generation.
  In CALCO Young Researchers Workshop, CALCO-jnr 2007, Department of Informatics University of Bergen, February 2008.
  [BibTeX] [PDF]
• L. O'Reilly, Y. Isobe, M. Roggenbach: Integrating Theorem Proving for Processes and Data.
  In 9th JSSST Workshop on Programming and Programming Languages (PPL2007), 2007.
  [BibTeX] [TXT]