• Sign in
  • Sign up
conf.researchr.org / Rosemary Monahan
  • * ICSE 2018 * profile
  • ECOOP 2015 profile
  • ECOOP 2019 profile
  • ECOOP and ISSTA 2018 profile
  • ETAPS 2019 profile
  • SPLASH 2014 profile
  • SPLASH 2020 profile
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

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

Share
xTue 26 Jan 16:57
using conf.researchr.org (v1.40.2)
Support page
Sign Up