conf.researchr.org / Rosemary Monahan
Registered user since Wed 7 Jan 2015
Name:Rosemary Monahan
Country:Ireland
Affiliation:National University of Ireland
Personal website: https://www.maynoothuniversity.ie/people/rosemary-monahan
Research interests:Safety Critical Software, Dependable Software Systems, Specification Languages, Systems Modelling, Formal Methods and Software Verification, and Program Verification Tools, Refinement, Software Analysis, Computer Science Education
Contributions
2027
2026
FTfJP
2025
FTfJP
- Session Chair of Session 1 (part of FTfJP)
- Steering Committee Chair in Steering Committee within the FTfJP-track
- Session Chair of Keynote (part of FTfJP)
- Author of From LTL to MLTL: Exploring translation between temporal logic representations using FRET and WEST within the FTfJP-track
- Session Chair of (part of FTfJP)
2022
Requirements Engineering: Foundation for Software Quality (REFSQ)
2021
2019
2018
2015
FTfJP
- Session Chair of Tool Demonstration 1 (part of FTfJP)
- Chair in Program committee within the FTfJP-track
- Session Chair of Session 2 (part of FTfJP)
- Session Chair of Session 1 (part of FTfJP)
- Session Chair of Closing (part of FTfJP)
- Session Chair of Session 3 (part of FTfJP)
- Session Chair of Tool Demonstration 2 (part of FTfJP)
- Session Chair of Welcome (part of FTfJP)
- Session Chair of Invited Talk (part of FTfJP)