Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Rosemary Monahan
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
FM 2026 profile
ICSE 2026 profile
ISSTA/ECOOP 2024 profile
REFSQ 2025 profile
STAF 2025 profile
STAF 2026 profile
Not registered as user
Name:
Rosemary Monahan
Country:
Ireland
Contributions
2026
ECMFA
Author of Automated Benchmark Generation for Object Constraint Language (OCL) with SMT-Based Verification within the ECMFA 2026-track
WADT
Committee Member in Programme Committee
Author of Heterogeneous Specification via Institutions for Event-B and Temporal Logic within the WADT 2026-track
FM
Committee Member in Tutorial Track Committee within the Tutorials-track
FormaliSE
Committee Member in Program Committee Members within the Research Track-track
2025
OCL
Author of A New Set of Metrics for Measuring Complexity of OCL Expressions within the OCL 2025-track
Requirements Engineering: Foundation for Software Quality (REFSQ)
Author of Sharper Specs for Smarter Drones: Formalising Requirements with FRET within the Research Track-track
2024
FTfJP
Author of Towards a model checker for Python: pymodcheck within the FTfJP 2024-track
Share
x
Thu 16 Jul 10:08