Dr Rosemary Monahan

    Computer Science, Hamilton Institute

    Gaeilge agus fáilte

    Senior Lecturer
    On Leave

    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 [IR Link] [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]