K Rustan M
Leino, Rosemary Monahan, Reasoning about
Comprehensions with First-Order
K. Rustan
M. Leino, Rosemary Monahan, Program Verification
Using the Spec# Programming System. ETAPS (Spec# Tutorial,
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,
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
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)