Dr Rosemary Monahan

Computer Science, Hamilton Institute

Gaeilge agus fáilte

Senior Lecturer

Eolas Building
1st Floor
127
(01) 708 3847
http://rosemarymonahan.com/

Biography

Dr Rosemary Monahan a senior lecturer in the Department of Computer Science at Maynooth University. She holds BSc and MSc degrees from UCD and a PhD from DCU. Rosemary is a founding member of the Principles of Programming research group which specialises in the static and dynamic analysis of object-oriented programs and programming languages. Her research is focused on the verification of object-oriented programs and the use of automatic verification tools such as the Spec# Programming System and ESC/Java2. “Arís: Analogical Reasoning for reuse of Implementation & Specification” is a recent project concerning applying models of analogical reasoning to the domain of reliable software development and re-use. She established the Erasmus Mundus MSc in Dependable Software Systems (DESEM) (2012-18) and is a member of the senate of the National University of Ireland (2007-2017) as well as numerous committees within NUIM. 

Book Chapters

  Year Publication
2015 'A Sound Execution Semantics for ATL via Translation Validation'
Dr Rosemary Monahan (2015) 'A Sound Execution Semantics for ATL via Translation Validation' In: Theory and Practice of Model Transformations . L'Aquila, Italy: Springer. [IR Link] [Details]
2010 'Dafny Meets the Verification Benchmarks Challenge'
Dr Rosemary Monahan, Dr K Rustan M Leino (2010) 'Dafny Meets the Verification Benchmarks Challenge' In: Verified Software: Theories, Tools, Experiments. Edinburgh, UK: Springer. [IR Link] [Details]

Conference Publications

  Year Publication
2014 Creating Formal Specifications with Analogical Reasoning
D P ODonoghue, R Monahan, D Grijincu, M Pitu, F. Halim, F Rahman, Y Abgaz, D Hurley (2014) Creating Formal Specifications with Analogical Reasoning C3GI 2014 [IR Link] [Details]
2013 Exploiting attributed type graphs to generate metamodel instances using an SMT solver. To appear
H. Wu, R. Monahan and J. F. Power (2013) Exploiting attributed type graphs to generate metamodel instances using an SMT solver. To appear TASE 2013 [IR Link] [Details]
2013 Transforming Event B Models into Verified C# Implementations
Dr Rosemary Monahan, Prof Dominique Mery (2013) Transforming Event B Models into Verified C# Implementations Verification and Program Transformation 2013 [IR Link] [Details]
2012 On the Organisation of Program Verification Competitions
Huisman Marieke, Vladimir Klebanov, Rosemary Monahan (2012) On the Organisation of Program Verification Competitions Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems , pp.50-59 [IR Link] [Details]
2012 A Simple Complexity Measurement for Software Verification and Software Testing 28-31
Monahan, Dr Rosemary Zheng Cheng, Dr James F. Power (2012) A Simple Complexity Measurement for Software Verification and Software Testing 28-31 Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012) , pp.28-31 [IR Link] [Details]
2011 The 1st Verified Software Competition, Extended Experience Report.
Klebanov Vladimir, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, and Benjamin Weiss. (2011) The 1st Verified Software Competition, Extended Experience Report. Formal Methods 2011 [IR Link] [Details]
2011 nExaminer: A Semi-automated Computer Programming Assignment Assessment Framework for Moodle
Monahan Rosemary, Zheng Cheng, Aidan Mooney (2011) nExaminer: A Semi-automated Computer Programming Assignment Assessment Framework for Moodle ICEP 2011 [IR Link] [Details]
2010 Program Verification
Monahan, Rosemary (2010) Program Verification Integrated Formal Methods 2010 [Details]
2010 Using Boogie 2 in the Verification of Spec# Programs
Leino, K. Rustan M. and Monahan, Rosemary (2010) Using Boogie 2 in the Verification of Spec# Programs 13th Brazilian Symposium on Formal Methods (SBMF 2010), Brazil 2010 [Details]
2010 Using ATL in a tool-chain to calculate coverage data for UML class diagrams
Monahan Rosemary, Power James, Wu Hao (2010) Using ATL in a tool-chain to calculate coverage data for UML class diagrams 2nd International Workshop on Model Transformation with ATL (MtATL 2010) [IR Link] [Details]
2010 Implementing the Verified Software Initiative Benchmarks using Perfect Developer
Monahan, Rosemary; Xu Yan (2010) Implementing the Verified Software Initiative Benchmarks using Perfect Developer CIICT 2010 [IR Link] [Details]
2010 Dafny meets the Benchmark Challenges
Leino, K. Rustan M. and Monahan, Rosemary (2010) Dafny meets the Benchmark Challenges VSTTE [IR Link] [Details]
2009 Reasoning about Comprehensions with First-Order SMT Solvers
Leino, K. Rustan M. and Monahan, Rosemary (2009) Reasoning about Comprehensions with First-Order SMT Solvers 24th Annual ACM Symposium on Applied Computing [IR Link] [Details]
2009 Program Verification Using the Spec# Programming System
Leino, K. Rustan M. and Monahan, Rosemary (2009) Program Verification Using the Spec# Programming System ECOOP (Summerschool, 9th July 2009, Genoa, Italy) [Details]
2008 Program Verification Using the Spec# Programming System
Leino, K. Rustan M. and Monahan, Rosemary (2008) Program Verification Using the Spec# Programming System ETAPS (Spec# Tutorial, Budapest, Hungary, March 2008) [Details]
2007 Automatic verification of textbook programs that use comprehensions
Leino, K. Rustan M. and Monahan, Rosemary (2007) Automatic verification of textbook programs that use comprehensions Formal Techniques for Java-Like Programs, ECOOP Workshop, Berlin, Germany, July 2007 [IR Link] [Details]
2006 Problem Based Learning: A Software Engineering Curriculum Proposal
J O’Kelly, R Monahan, J Gibson, S Brown (2006) Problem Based Learning: A Software Engineering Curriculum Proposal International Conference of Software Engineering [Details]
2006 The Relevance of Scientific Reasoning Skills to Computer Science: A Comparative Study between the US and Ireland
Parham J.R., O' Kelly J., Monahan R., Stevenson D.E. (2006) The Relevance of Scientific Reasoning Skills to Computer Science: A Comparative Study between the US and Ireland International Conference on Frontiers in Education: Computer Science and Computer Engineering, Las Vegas, USA, 26-29 June 2006 [Details]
2005 Software Refinement with Perfect Developer
Carter G, Monahan R, Morris J (2005) Software Refinement with Perfect Developer Software Engineering and Formal Methods, Koblenz, Germany, 7-9 September 2005 [IR Link] [Details]
2002 Reveal: A tool to Reverse Engineer Class Diagrams
Matzko S, Clarke P, Gibbs T, Malloy B, Power J, Monahan R (2002) Reveal: A tool to Reverse Engineer Class Diagrams Technology of Object-Orientated Languages and System, February 2002 [IR Link] [Details]
1997 Tactics for Transformational Programming
Monahan, R. and Geiselbrechtinger, F. (1997) Tactics for Transformational Programming 1st Irish Workshop on Formal Methods:Electronic Workshops in Computing, July 1997 [IR Link] [Details]

Conference Contributions

  Year Publication
2009 COST Action Meeting, FM Week 2009.
(2009) COST Action Meeting, FM Week 2009. [Oral Presentation], Teaching Formal Methods, Eindhoven, Netherlands [Details]
2009 COST Action Meeting, FM Week 2009.
(2009) COST Action Meeting, FM Week 2009. [Oral Presentation], of Programming Research at NUIM, Eindhoven, Netherlands [Details]
2009 COST Action Meeting, FM Week 2009.
(2009) COST Action Meeting, FM Week 2009. [Oral Presentation], Object-Oriented Data Refinement, Eindhoven, Netherlands [Details]
2009 NUIM Comnputer Science Staff Seminar Series.
(2009) NUIM Comnputer Science Staff Seminar Series. [Oral Presentation], A Spec# Overview, NUI Maynooth [Details]
2009 PhD Viva.
(2009) PhD Viva. [Oral Presentation], Data Refinement in Object-oriented, Dublin City University [Details]
2009
Dominique Mery (2009) [Visiting and guest lecturers hosted], Departmental Seminar on Case studies in Event B, UHP, Henri Poincaré University, Nancy, France, Science and Engineering, Computer Science [Details]
2009 European conference on Object-Oriented Programming 2009.
(2009) European conference on Object-Oriented Programming 2009. [Oral Presentation], Program verification using the Spec# Programming System, Genova, Italy [Details]
2009 LORIA Seminar Series.
(2009) LORIA Seminar Series. [Oral Presentation], Program Verification using Spec#, Nancy, France [Details]
2009 The Jave Modeling Language (JML) Dagstuhl.
(2009) The Jave Modeling Language (JML) Dagstuhl. [Oral Presentation], The Spec# Programming System, Dagstuhl, Germany [Details]
2009
Dominique Mery (2009) [Visiting and guest lecturers hosted], Erasmus Teaching Exchange: Lectures to MSc Computer Science students on Event B and Rodin platform, UHP, Henri Poincaré University, Nancy, France, Science and Engineering, Computer Science [Details]
2009 JML Spec-a thon 2009.
(2009) JML Spec-a thon 2009. [Oral Presentation], Verified Software Initiative Benchmarks in Dafny, University College Dublin [Details]
2009 Microsoft Research Seminar.
(2009) Microsoft Research Seminar. [Oral Presentation], VSI Benchmarks and their verification in Dafny, MDR Redmond, USA [Details]

Book Review

  Year Publication
2010 Test case generation for programming language metamodels.
Hao Wu, Rosemary Monahan, and James F. Power. (2010) Test case generation for programming language metamodels. Book Review [IR Link] [Details]

Conference Paper

  Year Publication
2013 Ars: Analogical Reasoning for reuse of Implementation & Specification.
Pitu M, Grijincu D, Li P, Saleem A, Monahan R, O'Donoghue D.P (2013) Ars: Analogical Reasoning for reuse of Implementation & Specification. Conference Paper [IR Link] [Details]
2012 Case Based Specifications - reusing specifications, programs and proofs.
Dr Rosemary Monahan, Dr Diarmuid O'Donoghue (2012) Case Based Specifications - reusing specifications, programs and proofs. Conference Paper [IR Link] [Details]

Editorial

  Year Publication
2014 Evaluating Software Verification Systems: Benchmarks and Competitions.
D Beyer, M Huisman, V Klebanov, R Monahan (2014) Evaluating Software Verification Systems: Benchmarks and Competitions. Editorial [Details]

Newspaper Articles

  Year Publication
2014 An initiative to introduce Computational Thinking in to second level education.
A Mooney, S Bergin, J Duffin, T Naughton, R Monahan, J Power, (2014) An initiative to introduce Computational Thinking in to second level education. Newspaper Articles [Details]

Thesis

  Year Publication
2009 Data Refinement in Object-Oriented Verification.
Monahan, Rosemary (2009) Data Refinement in Object-Oriented Verification. Dublin City University: Thesis [Details]
1998 Deduction Based Transformational Programming, MSc Thesis, Department of Computer Science, UCD, (February 1998).
Monahan, Rosemary (1998) Deduction Based Transformational Programming, MSc Thesis, Department of Computer Science, UCD, (February 1998). University College Dublin: Thesis [Details]

Technical Publication

  Year Publication
2012 A simple complexity measurement for software verification and software testing.
Cheng Z, Monahan R, and Power J.F.. (2012) A simple complexity measurement for software verification and software testing. Technical Publication [IR Link] [Details]
2005 Introducing the Perfect Language.
Carter G, Monahan R (2005) Introducing the Perfect Language. Technical Publication [IR Link] [Details]
2005 Testing Guidelines for Student Projects.
Brown S, Monahan R (2005) Testing Guidelines for Student Projects. Technical Publication [IR Link] [Details]
2005 Enhancing Skills Transfer through Problem Based Learning.
OKelly J, Monahan R, Gibson P, Brown S (2005) Enhancing Skills Transfer through Problem Based Learning. Technical Publication [IR Link] [Details]
2005 Software Specification, Implementation and Execution with Perfect.
Carter G, Monahan R (2005) Software Specification, Implementation and Execution with Perfect. Technical Publication [IR Link] [Details]
1997 Implementing Specifications by Transformational Programming.
Monahan R, Geiselbrechtinger F (1997) Implementing Specifications by Transformational Programming. Technical Publication [Details]
1997 Transformational Programming and Theorem Proving.
Monahan R, Geiselbrechtinger F (1997) Transformational Programming and Theorem Proving. Technical Publication [Details]
1997 Implementing Specifications by Transformational Programming.
Monahan R, Geiselbrechtinger F (1997) Implementing Specifications by Transformational Programming. Technical Publication [Details]
1996 Reification of Abstract Data Types using Monoid Homomorphisms.
McLoughlin H, Monahan R (1996) Reification of Abstract Data Types using Monoid Homomorphisms. Technical Publication [Details]
1996 Implementing Specifications by Transformational Programming.
Monahan R, Geiselbrechtinger F (1996) Implementing Specifications by Transformational Programming. Technical Publication [Details]
1996 Implementing Specifications by Transformational Programming.
Monahan R, Geiselbrechtinger F (1996) Implementing Specifications by Transformational Programming. Technical Publication [Details]