Liam O'Reilly, BSc (Wales), MPhil (Wales)

PhD Student

I am currently a PhD student under the supervision of Markus Roggenbach. My PhD commenced in January 2008. I am a member of the Processes And Data research group and currently researching in the fields of:

• 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 and compositional theorem proving for CSP-CASL.

Publications

• 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: Integrating Theorem Proving for Processes and Data.
  M.Phil Thesis, Swansea University, 2008.
  [BibTeX] [PDF]
• L. O’Reilly, Y. Isobe, and 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, Febuary 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]