Rosemary Monahan

Registered user since Wed 7 Jan 2015

Name:Rosemary Monahan
Country:Ireland
Affiliation:National University of Ireland
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

FTfJP 2022 Committee Member in Organizing Committee within the FTfJP 2022-track
Steering Committee Chair in Steering Committee within the FTfJP-track
FTfJP 2021 Steering Committee Chair in Steering Committee within the FTfJP-track
Author of Using Dafny to Solve the VerifyThis 2021 Challenges within the FTfJP-track
REFSQ 2022 Author of FRETting About Requirements within the Research Papers-track
FTfJP 2020 Steering Committee Chair in Steering Commitee within the FTfJP-track
FTfJP 2019 Chair in Steering Commitee within the FTfJP 2019-track
VerifyThis 2019 Committee Member in Organizing Committee within the VerifyThis-track
FTfJP 2018 Chair in Steering Committee within the FTfJP-track
FormaliSE 2018 Committee Member in Program Committee within the FormaliSE 2018-track
FTfJP 2015 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)
FOOL Committee Member in Program Committee within the FOOL-track