Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Rosemary Monahan

◀ ▶ joint publications with coauthor community group 2

> Home > Persons > Rosemary Monahan

Publications

2022
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/computers/LambertMC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computers/LambertMC22
Jonathan Lambert, Rosemary Monahan, Kevin Casey:
Accidental Choices - How JVM Choice and Associated Build Tools Affect Interpreter Performance. Comput. 11(6): 96 (2022)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/SheridanML22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/SheridanML22
Oisín Sheridan, Rosemary Monahan, Matt Luckcuck:
A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller. IFM 2022: 352-356
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/ReynoldsM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/ReynoldsM22
Conor Reynolds, Rosemary Monahan:
Machine-Assisted Proofs for Institutions in Coq. IFM 2022: 369-372
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/LehtimakiMMCN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/LehtimakiMMCN22
Taina Lehtimäki, Rosemary Monahan, Aidan Mooney, Kevin Casey, Thomas J. Naughton:
Bebras-inspired Computational Thinking Primary School Resources Co-created by Computer Science Academics and Teachers. ITiCSE (1) 2022: 207-213
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/FarrellLSM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/FarrellLSM22
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan:
Towards Refactoring FRETish Requirements. NFM 2022: 272-279
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/FarrellLSM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/FarrellLSM22
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan:
FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller. REFSQ 2022: 96-111
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/ReynoldsM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/ReynoldsM22
Conor Reynolds, Rosemary Monahan:
Machine-Assisted Proofs for Institutions in Coq. TASE 2022: 180-196
[c23]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-09706
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-09706
Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan:
Modelling the Turtle Python library in CSP. AREA@IJCAI-ECAI 2022: 15-22
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/2022
Maurice H. ter Beek, Rosemary Monahan:
Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. Lecture Notes in Computer Science 13274, Springer 2022, ISBN 978-3-031-07726-5 [contents]
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-04531
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-04531
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan:
Towards Refactoring FRETish Requirements. CoRR abs/2201.04531 (2022)
2021
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/FarrellRM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/FarrellRM21
Marie Farrell, Conor Reynolds, Rosemary Monahan:
Using dafny to solve the VerifyThis 2021 challenges. FTfJP@ECOOP 2021: 32-38
[c21]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iccbr/AiyankovilMO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccbr/AiyankovilMO21
Kuruvilla George Aiyankovil, Rosemary Monahan, Diarmuid P. O'Donoghue:
Upcycling Formal Specifications for Similar Implementations with Arís. ICCBR Workshops 2021: 90-91
[c20]
- view
  - electronic edition @ computationalcreativity.net
  - no references & citations available
- export record
  dblp key:
  - conf/icccrea/AiyankovilOM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icccrea/AiyankovilOM21
Kuruvilla George Aiyankovil, Diarmuid O'Donoghue, Rosemary Monahan:
Creating new Program Proofs by Combining Abductive and Deductive Reasoning. ICCC 2021: 395-399
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-10881
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-10881
Marie Farrell, Rosemary Monahan, James F. Power:
Building Specifications in the Event-B Institution. CoRR abs/2103.10881 (2021)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-09277
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-09277
Matt Luckcuck, Marie Farrell, Oisín Sheridan, Rosemary Monahan:
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements. CoRR abs/2110.09277 (2021)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-04251
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-04251
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan:
FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller. CoRR abs/2112.04251 (2021)
2019
[e3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1912-09611
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-09611
Rosemary Monahan, Virgile Prevosto, José Proença:
Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019. EPTCS 310, 2019 [contents]
2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/ChengMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/ChengMP18
Zheng Cheng, Rosemary Monahan, James F. Power:
Formalised EMFTVM bytecode language for sound verification of model transformations. Softw. Syst. Model. 17(4): 1197-1225 (2018)
[e2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-09014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-09014
Paolo Masci, Rosemary Monahan, Virgile Prevosto:
Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018. EPTCS 284, 2018 [contents]
2017
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/FarrellMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/FarrellMP17
Marie Farrell, Rosemary Monahan, James F. Power:
Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. ICFEM 2017: 140-156
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FarrellMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FarrellMP17
Marie Farrell, Rosemary Monahan, James F. Power:
Specification Clones: An Empirical Study of the Structure of Event-B Specifications. SEFM 2017: 152-167
2016
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/ChengMM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ChengMM16
Zheng Cheng, Dominique Méry, Rosemary Monahan:
On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. ISoLA (1) 2016: 821-838
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/HealyMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/HealyMP16
Andrew Healy, Rosemary Monahan, James F. Power:
Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving. SAC 2016: 1558-1561
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/FarrellMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/FarrellMP16
Marie Farrell, Rosemary Monahan, James F. Power:
An Institution for Event-B. WADT 2016: 104-119
[c13]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HealyMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HealyMP17
Andrew Healy, Rosemary Monahan, James F. Power:
Predicting SMT Solver Performance for Software Verification. F-IDE@FM 2016: 20-37
2015
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icmt/ChengMP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmt/ChengMP15
Zheng Cheng, Rosemary Monahan, James F. Power:
A Sound Execution Semantics for ATL via Translation Validation - Research Paper. ICMT 2015: 133-148
[c11]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/staf/ChengMP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/ChengMP15
Zheng Cheng, Rosemary Monahan, James F. Power:
Verifying SimpleGT Transformations Using an Intermediate Verification Language. VOLT@STAF 2015: 12-19
2013
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/MeryM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MeryM13
Dominique Méry, Rosemary Monahan:
Transforming Event B Models into Verified C# Implementations. VPT@CAV 2013: 57-73
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/WuMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/WuMP13
Hao Wu, Rosemary Monahan, James F. Power:
Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. TASE 2013: 175-182
2012
[c8]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/ChengMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ChengMP12
Zheng Cheng, Rosemary Monahan, James F. Power:
A Simple Complexity Measurement for Software Verification and Software Testing. COMPARE 2012: 28-31
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1211-6322
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-6322
Hao Wu, Rosemary Monahan, James F. Power:
Metamodel Instance Generation: A systematic literature review. CoRR abs/1211.6322 (2012)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.