Publications

K Rustan M Leino, Rosemary Monahan, Reasoning about Comprehensions with First-Order SMT Solvers. 24th Annual ACM Symposium on Applied Computing, March 2009.

K. Rustan M. Leino, Rosemary Monahan, Program Verification Using the Spec# Programming System. ETAPS (Spec# Tutorial, 29th March 2008, Budapest, Hungary) 2008 ( pdf )

K. Rustan M. Leino and Rosemary Monahan, Automatic verification of textbook programs that use comprehensions. In Formal Techniques for Java-like Programs, ECOOP Workshop (FTfJP'07: July 2007, Berlin, Germany)

Parham J.R., O' Kelly J., Monahan R., Stevenson D.E., The Relevance of Scientific Reasoning Skills to Computer Science: A Comparative Study between the US and Ireland. In The 2006 International Conference on Frontiers in Education: Computer Science and Computer Engineering (FECS'06: June 26-29, 2006, Las Vegas, USA)

Carter G, Monahan R, Morris J, Software Refinement with Perfect Developer, In Software Engineering and Formal Methods, (September 2005)

O’Kelly J, Monahan R, Gibson P, Brown S, Enhancing Skills Transfer through Problem Based Learning, NUIM-CS-TR-2005-13, NUIM Technical Report Series, (September 2005)

Carter G, Monahan R, Software Specification, Implementation and Execution with Perfect, NUIM-CS-TR-2005-07, NUIM Technical Report Series (June 2005)

Carter G, Monahan R, Introducing the Perfect Language, NUIM-CS-TR-2005-06, NUIM Technical Report Series (June 2005)

Brown S, Monahan R, Testing Guidelines for Student Projects, NUIM-CS-TR-2005-05, NUIM Technical Report Series (June 2005)

Matzko S, Clarke P, Gibbs T, Malloy B, Power J, Monahan R: Reveal: A tool to Reverse Engineer Class Diagrams, In Technology of Object-Oriented Languages and Systems, (February 2002)

Monahan R: Deduction Based Transformational Programming, MSc Thesis, Department of Computer Science, UCD, (February 1998)

Monahan R, Geiselbrechtinger F: Implementing Specifications by Transformational Programming, Fobairt Annual Report 2, (October 1997)

Monahan R, Geiselbrechtinger F, Tactics for Transformational Programming, In 1st Irish Workshop on Formal Methods, O'Regan G. and Flynn S. (Eds), Springer Verlag, Electronic Workshops in Computing, July 1997

Monahan R, Geiselbrechtinger F: Implementing Specifications by Transformational Programming, Fobairt Interim Report 2, (April 1997)

Monahan R, Geiselbrechtinger F: Transformational Programming and Theorem Proving, Internal Technical Report TR-97-01, Dept. of Computer Science, UCD, (January 1997)

Monahan R, Geiselbrechtinger F: Implementing Specifications by Transformational Programming, Fobairt Annual Report 1, (October 1996)

McLoughlin H, Monahan R: Reification of Abstract Data Types using Monoid Homomorphisms, Internal Technical Report TR-96-10, Department of Computer Science, UCD, (June 1996)

Monahan R, Geiselbrechtinger F: Implementing Specifications by Transformational Programming, Fobairt Interim Report 1, (April 1996)