Personal information

Other IDs

Scopus Author ID: 35248728800
Loop profile: 2145246

Activities

Collapse all

Education and qualifications (3)

Dublin City University: Dublin, IE

2010-11-01 | PhD (School of Computing)
Education
Source: Self-asserted source
Rosemary Monahan

University College Dublin: Dublin, IE

1998 | MSc Computer Science (Computer Science)
Education
Source: Self-asserted source
Rosemary Monahan

University College Dublin: Dublin, IE

1995 | BSc (Hons) Computer Science (Computer Science)
Education
Source: Self-asserted source
Rosemary Monahan

Works (32)

Verifying UML Models Annotated with OCL Strings

2024-09-22 | Conference paper
DOI: 10.1145/3652620.3687822
Contributors: Ankit Jha; Rosemary Monahan; Hao Wu
Source: check_circle
Crossref

Towards a Model Checker for Python: pymodcheck

2024-09-20 | Conference paper
DOI: 10.1145/3678721.3686233
Contributors: Dara MacConville; Rosemary Monahan
Source: check_circle
Crossref

Building Specifications in the Event-B Institution: A Summary

2023 | Book chapter
DOI: 10.1007/978-3-031-33163-3_19
Contributors: Marie Farrell; Rosemary Monahan; James F. Power
Source: check_circle
Crossref

Immersive Neural Network Exploration: A VR Approach to Human-Centered AI Understanding

2023-12-14 | Conference paper
DOI: 10.1145/3633083.3633221
Contributors: Medet Inkarbekov; Barak A. Pearlmutter; Rosemary Monahan
Source: check_circle
Crossref

Introduction to the Special Collection from iFM 2022

Formal Aspects of Computing
2023-09-30 | Journal article
DOI: 10.1145/3622995
Contributors: Rosemary Monahan; Maurice H. ter Beek
Source: check_circle
Crossref

A Computational Thinking Obstacle Course Based on Bebras Tasks for K-12 Schools

2023-06-29 | Conference paper
DOI: 10.1145/3587102.3588775
Contributors: Taina Lehtimäki; Rosemary Monahan; Aidan Mooney; Kevin Casey; Thomas J. Naughton
Source: check_circle
Crossref

Computational Thinking Resources Inspired by Bebras

2023-06-29 | Conference paper
DOI: 10.1145/3587103.3594203
Contributors: Taina Lehtimäki; Rosemary Monahan; Aidan Mooney; Kevin Casey; Thomas J. Naughton
Source: check_circle
Crossref

CSP2Turtle: Verified Turtle Robot Plans

Robotics
2023-04-21 | Journal article
DOI: 10.3390/robotics12020062
Contributors: Dara MacConville; Marie Farrell; Matt Luckcuck; Rosemary Monahan
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Machine-Assisted Proofs for Institutions in Coq

2022 | Book chapter
DOI: 10.1007/978-3-031-10363-6_13
Contributors: Conor Reynolds; Rosemary Monahan
Source: check_circle
Crossref

Machine-Assisted Proofs for Institutions in Coq

2022 | Book chapter
DOI: 10.1007/978-3-031-07727-2_25
Contributors: Conor Reynolds; Rosemary Monahan
Source: check_circle
Crossref

Accidental Choices—How JVM Choice and Associated Build Tools Affect Interpreter Performance

Computers
2022-06-14 | Journal article
DOI: 10.3390/computers11060096
Contributors: Jonathan Lambert; Rosemary Monahan; Kevin Casey
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Using dafny to solve the VerifyThis 2021 challenges

2021-07-13 | Conference paper
DOI: 10.1145/3464971.3468422
Contributors: Marie Farrell; Conor Reynolds; Rosemary Monahan
Source: check_circle
Crossref

Power Consumption Profiling of a Lightweight Development Board: Sensing with the INA219 and Teensy 4.0 Microcontroller

Electronics
2021-03-25 | Journal article
DOI: 10.3390/electronics10070775
Contributors: Jonathan Lambert; Rosemary Monahan; Kevin Casey
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving

Proceedings of the ACM Symposium on Applied Computing
2016 | Conference paper
DOI: 10.1145/2851613.2851975
EID:

2-s2.0-84975818578
Contributors: Healy, A.; Monahan, R.; Power, J.F.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

Formalised EMFTVM bytecode language for sound verification of model transformations

Software and Systems Modeling
2016 | Journal article
DOI: 10.1007/s10270-016-0553-x
EID:

2-s2.0-84982118720
Contributors: Cheng, Z.; Monahan, R.; Power, J.F.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

On two friends for getting correct programs: Automatically translating event B specifications to recursive algorithms in RODIN

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | Book
DOI: 10.1007/978-3-319-47166-2_57
EID:

2-s2.0-84993982037
Contributors: Cheng, Z.; Méry, D.; Monahan, R.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

Static and runtime verification, competitors or friends?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | Book
DOI: 10.1007/978-3-319-47166-2_27
EID:

2-s2.0-84994048591
Contributors: Gurov, D.; Havelund, K.; Huisman, M.; Monahan, R.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

VerifyThis 2015: A program verification competition

International Journal on Software Tools for Technology Transfer
2016 | Journal article
DOI: 10.1007/s10009-016-0438-x
EID:

2-s2.0-84991662114
Contributors: Huisman, M.; Klebanov, V.; Monahan, R.; Tautschnig, M.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

A sound execution semantics for ATL via translation validation: Research paper

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-319-21155-8_11
EID:

2-s2.0-84952667887
Contributors: Cheng, Z.; Monahan, R.; Power, J.F.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

Foreword

Proceedings for the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015: co-located with ECOOP 2015
2015 | Conference paper
EID:

2-s2.0-84958817667
Contributors: Monahan, R.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

Verifying simplegt transformations using an intermediate verification language

CEUR Workshop Proceedings
2015 | Conference paper
EID:

2-s2.0-84962308632
Contributors: Cheng, Z.; Monahan, R.; Power, J.F.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

VerifyThis 2012: A Program Verification Competition

International Journal on Software Tools for Technology Transfer
2015 | Journal article
DOI: 10.1007/s10009-015-0396-8
EID:

2-s2.0-84943455761
Contributors: Huisman, M.; Klebanov, V.; Monahan, R.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

Exploiting attributed type graphs to generate metamodel instances using an SMT solver

Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013
2013 | Conference paper
DOI: 10.1109/TASE.2013.31
EID:

2-s2.0-84886393780
Contributors: Wu, H.; Monahan, R.; Power, J.F.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

A simple complexity measurement for software verification and software testing - Discussion paper

CEUR Workshop Proceedings
2012 | Conference paper
EID:

2-s2.0-84891778912
Contributors: Cheng, Z.; Monahan, R.; Power, J.F.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

On the organisation of program verification competitions

CEUR Workshop Proceedings
2012 | Conference paper
EID:

2-s2.0-84891753391
Contributors: Huisman, M.; Klebanov, V.; Monahan, R.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

The COST IC0701 verification competition 2011

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
DOI: 10.1007/978-3-642-31762-0_2
EID:

2-s2.0-84864849260
Contributors: Bormer, T.; Brockschmidt, M.; Distefano, D.; Ernst, G.; Filliâtre, J.-C.; Grigore, R.; Huisman, M.; Klebanov, V.; Marché, C.; Monahan, R. et al.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

The 1st verified software competition: Experience report

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
DOI: 10.1007/978-3-642-21437-0_14
EID:

2-s2.0-79959993927
Contributors: Klebanov, V.; Müller, P.; Shankar, N.; Leavens, G.T.; Wüstholz, V.; Alkassar, E.; Arthan, R.; Bronish, D.; Chapman, R.; Cohen, E. et al.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

Dafny meets the verification benchmarks challenge

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
DOI: 10.1007/978-3-642-15057-9_8
EID:

2-s2.0-77957073767
Contributors: Leino, K.R.M.; Monahan, R.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

Est case generation for programming language metamodels: Abstract for software language engineering 2010 doctoral symposium

CEUR Workshop Proceedings
2010 | Conference paper
EID:

2-s2.0-84888995067
Contributors: Wu, H.; Monahan, R.; Power, J.F.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

Using ATL in a tool-chain to calculate coverage data for UML class diagrams

CEUR Workshop Proceedings
2010 | Conference paper
EID:

2-s2.0-84890495180
Contributors: Wu, H.; Monahan, R.; Power, J.F.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

Reasoning about comprehensions with first-order SMT solvers

Proceedings of the ACM Symposium on Applied Computing
2009 | Conference paper
DOI: 10.1145/1529282.1529411
EID:

2-s2.0-72949104681
Contributors: Leino, K.R.M.; Monahan, R.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

Software refinement with perfect developer

Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005
2005 | Conference paper
DOI: 10.1109/SEFM.2005.41
EID:

2-s2.0-63749101875
Contributors: Carter, G.; Monahan, R.M.; Morris, J.M.
Source: Self-asserted source
Rosemary Monahan via Scopus - Elsevier

Peer review (2 reviews for 2 publications/grants)

Review activity for Formal aspects of computing. (1)
Review activity for Formal methods in system design. (1)
How many people are using ORCID?