National University of Ireland, Maynooth

National University of Ireland, Maynooth
Skip top page links and go directly to the main navigation
The Callan Building
Skip main navigation and go directly to page content

Department of Computer Science

staff image

Ms. Rosemary Monahan

Homepage
Room 2.105 Callan Building,
National University of Ireland, Maynooth,
Maynooth,
Co. Kildare,
Ireland,
Email:
Phone: +353 1 7083463


Research Profile


Rosemary’s research is concerned with the development of reliable software systems.  She works with the Principles of Programming research group which specialises in the static and dynamic analysis of object-oriented programs and programming languages. Her research interests are in program verification and in particular, the verification of data refinement within an object-oriented setting.

Current research includes collaborations on Data Refinement with Prof. J Morris at Dublin City University , on the Spec# Programming System with the Research in Software Engineering (RiSE) group at Microsoft Research, Redmond, on Event B with MOSEL Research Group, LORIA and on verifying safety critical properties of PLC’s with TramPower UK.  


Recent Publications

  • K Rustan M Leino, Rosemary Monahan Reasoning about Comprehensions with First-Order SMT Solvers. 24th Annual ACM Symposium on Applied Computing 2009
  • K Rustan M Leino, Rosemary Monahan Program Verification Using the Spec# Programming System. ECOOP (Summerschool, 9th July 2009, Genoa, Italy) 2009
  • K Rustan M Leino, Rosemary Monahan Program Verification Using the Spec# Programming System. ETAPS (Spec# Tutorial, 29th March 2008, Budapest, Hungary) 2008
  • 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) 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 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) 2006
  • Carter G., Monahan R., Morris J. ‘Software Refinement with Perfect Developer’ Software Engineering and Formal Methods, (September 2005). 0 2005
  • Rosemary Monahan, Stephen Brown Testing Guidelines for Student Projects UIM-CS-TR-2005-05, NUIM Technical Report Series (June 2005) 2005
  • Gareth Carter, Rosemary Monahan, Introducing the Perfect Language NUIM-CS-TR-2005-06, NUIM Technical Report Series (June 2005) 2005
  • Gareth Carter, Rosemary Monahan, Software Specification, Implementation and Execution with Perfect NUIM-CS-TR-2005-07, NUIM Technical Report Series (June 2005) 2005
  • Jackie O’Kelly, Rosemary Monahan, Paul Gibson, Stephen Brown, Enhancing Skills Transfer through Problem Based Learning NUIM-CS-TR-2005-13, NUIM Technical Report Series, (September 2005) 2005

Computer Science Department , NUI Maynooth
Tel: +353-1-708 3847 | Fax: +353-1-708 3848| Email: admin@cs.nuim.ie