BibTeX records: Rosemary Monahan

download as .bib file

@article{DBLP:journals/computers/LambertMC22,
  author    = {Jonathan Lambert and
               Rosemary Monahan and
               Kevin Casey},
  title     = {Accidental Choices - How {JVM} Choice and Associated Build Tools Affect
               Interpreter Performance},
  journal   = {Comput.},
  volume    = {11},
  number    = {6},
  pages     = {96},
  year      = {2022},
  url       = {https://doi.org/10.3390/computers11060096},
  doi       = {10.3390/computers11060096},
  timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/computers/LambertMC22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SheridanML22,
  author    = {Ois{\'{\i}}n Sheridan and
               Rosemary Monahan and
               Matt Luckcuck},
  editor    = {Maurice H. ter Beek and
               Rosemary Monahan},
  title     = {A Requirements-Driven Methodology: Formal Modelling and Verification
               of an Aircraft Engine Controller},
  booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
               Lugano, Switzerland, June 7-10, 2022, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13274},
  pages     = {352--356},
  publisher = {Springer},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-031-07727-2\_21},
  doi       = {10.1007/978-3-031-07727-2\_21},
  timestamp = {Fri, 03 Jun 2022 16:42:29 +0200},
  biburl    = {https://dblp.org/rec/conf/ifm/SheridanML22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ReynoldsM22,
  author    = {Conor Reynolds and
               Rosemary Monahan},
  editor    = {Maurice H. ter Beek and
               Rosemary Monahan},
  title     = {Machine-Assisted Proofs for Institutions in Coq},
  booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
               Lugano, Switzerland, June 7-10, 2022, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13274},
  pages     = {369--372},
  publisher = {Springer},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-031-07727-2\_25},
  doi       = {10.1007/978-3-031-07727-2\_25},
  timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifm/ReynoldsM22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/LehtimakiMMCN22,
  author    = {Taina Lehtim{\"{a}}ki and
               Rosemary Monahan and
               Aidan Mooney and
               Kevin Casey and
               Thomas J. Naughton},
  editor    = {Brett A. Becker and
               Keith Quille and
               Mikko{-}Jussi Laakso and
               Erik Barendsen and
               Simon},
  title     = {Bebras-inspired Computational Thinking Primary School Resources Co-created
               by Computer Science Academics and Teachers},
  booktitle = {ITiCSE 2022: Innovation and Technology in Computer Science Education,
               Dublin, Ireland, July 8 - 13, 2022, Volume 1},
  pages     = {207--213},
  publisher = {{ACM}},
  year      = {2022},
  url       = {https://doi.org/10.1145/3502718.3524804},
  doi       = {10.1145/3502718.3524804},
  timestamp = {Mon, 11 Jul 2022 16:32:41 +0200},
  biburl    = {https://dblp.org/rec/conf/iticse/LehtimakiMMCN22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/FarrellLSM22,
  author    = {Marie Farrell and
               Matt Luckcuck and
               Ois{\'{\i}}n Sheridan and
               Rosemary Monahan},
  editor    = {Jyotirmoy V. Deshmukh and
               Klaus Havelund and
               Ivan Perez},
  title     = {Towards Refactoring FRETish Requirements},
  booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
               Pasadena, CA, USA, May 24-27, 2022, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13260},
  pages     = {272--279},
  publisher = {Springer},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-031-06773-0\_14},
  doi       = {10.1007/978-3-031-06773-0\_14},
  timestamp = {Mon, 23 May 2022 16:36:23 +0200},
  biburl    = {https://dblp.org/rec/conf/nfm/FarrellLSM22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/FarrellLSM22,
  author    = {Marie Farrell and
               Matt Luckcuck and
               Ois{\'{\i}}n Sheridan and
               Rosemary Monahan},
  editor    = {Vincenzo Gervasi and
               Andreas Vogelsang},
  title     = {FRETting About Requirements: Formalised Requirements for an Aircraft
               Engine Controller},
  booktitle = {Requirements Engineering: Foundation for Software Quality - 28th International
               Working Conference, {REFSQ} 2022, Birmingham, UK, March 21-24, 2022,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13216},
  pages     = {96--111},
  publisher = {Springer},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-030-98464-9\_9},
  doi       = {10.1007/978-3-030-98464-9\_9},
  timestamp = {Thu, 10 Mar 2022 15:17:59 +0100},
  biburl    = {https://dblp.org/rec/conf/refsq/FarrellLSM22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ReynoldsM22,
  author    = {Conor Reynolds and
               Rosemary Monahan},
  editor    = {Yamine A{\"{\i}}t Ameur and
               Florin Craciun},
  title     = {Machine-Assisted Proofs for Institutions in Coq},
  booktitle = {Theoretical Aspects of Software Engineering - 16th International Symposium,
               {TASE} 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13299},
  pages     = {180--196},
  publisher = {Springer},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-031-10363-6\_13},
  doi       = {10.1007/978-3-031-10363-6\_13},
  timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tase/ReynoldsM22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-09706,
  author    = {Dara MacConville and
               Marie Farrell and
               Matt Luckcuck and
               Rosemary Monahan},
  editor    = {Rafael C. Cardoso and
               Angelo Ferrando and
               Fabio Papacchini and
               Mehrnoosh Askarpour and
               Louise A. Dennis},
  title     = {Modelling the Turtle Python library in {CSP}},
  booktitle = {Proceedings of the Second Workshop on Agents and Robots for reliable
               Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July
               2022},
  series    = {{EPTCS}},
  volume    = {362},
  pages     = {15--22},
  year      = {2022},
  url       = {https://doi.org/10.4204/EPTCS.362.4},
  doi       = {10.4204/EPTCS.362.4},
  timestamp = {Wed, 03 Aug 2022 14:22:40 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2207-09706.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2022,
  editor    = {Maurice H. ter Beek and
               Rosemary Monahan},
  title     = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
               Lugano, Switzerland, June 7-10, 2022, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13274},
  publisher = {Springer},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-031-07727-2},
  doi       = {10.1007/978-3-031-07727-2},
  isbn      = {978-3-031-07726-5},
  timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ifm/2022.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-04531,
  author    = {Marie Farrell and
               Matt Luckcuck and
               Ois{\'{\i}}n Sheridan and
               Rosemary Monahan},
  title     = {Towards Refactoring FRETish Requirements},
  journal   = {CoRR},
  volume    = {abs/2201.04531},
  year      = {2022},
  url       = {https://arxiv.org/abs/2201.04531},
  eprinttype = {arXiv},
  eprint    = {2201.04531},
  timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2201-04531.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DrossFHMM21,
  author    = {Claire Dross and
               Carlo A. Furia and
               Marieke Huisman and
               Rosemary Monahan and
               Peter M{\"{u}}ller},
  title     = {VerifyThis 2019: a program verification competition},
  journal   = {Int. J. Softw. Tools Technol. Transf.},
  volume    = {23},
  number    = {6},
  pages     = {883--893},
  year      = {2021},
  url       = {https://doi.org/10.1007/s10009-021-00619-x},
  doi       = {10.1007/s10009-021-00619-x},
  timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sttt/DrossFHMM21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FarrellRM21,
  author    = {Marie Farrell and
               Conor Reynolds and
               Rosemary Monahan},
  editor    = {David R. Cok},
  title     = {Using dafny to solve the VerifyThis 2021 challenges},
  booktitle = {FTfJP 2021: Proceedings of the 23rd {ACM} International Workshop on
               Formal Techniques for Java-like Programs, Virtual Event, Denmark,
               13 July 2021},
  pages     = {32--38},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3464971.3468422},
  doi       = {10.1145/3464971.3468422},
  timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/FarrellRM21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbr/AiyankovilMO21,
  author    = {Kuruvilla George Aiyankovil and
               Rosemary Monahan and
               Diarmuid P. O'Donoghue},
  editor    = {Hayley Borck and
               Viktor Eisenstadt and
               Antonio A. S{\'{a}}nchez{-}Ruiz and
               Michael Floyd},
  title     = {Upcycling Formal Specifications for Similar Implementations with Ar{\'{\i}}s},
  booktitle = {Workshops Proceedings for the 29th International Conference on Case-Based
               Reasoning co-located with the 29th International Conference on Case-Based
               Reasoning {(ICCBR} 2021), Salamanca (Spain) / Online, September 13-16,
               2021},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {3017},
  pages     = {90--91},
  publisher = {CEUR-WS.org},
  year      = {2021},
  url       = {http://ceur-ws.org/Vol-3017/98.pdf},
  timestamp = {Tue, 30 Nov 2021 17:09:35 +0100},
  biburl    = {https://dblp.org/rec/conf/iccbr/AiyankovilMO21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccrea/AiyankovilOM21,
  author    = {Kuruvilla George Aiyankovil and
               Diarmuid O'Donoghue and
               Rosemary Monahan},
  editor    = {Andr{\'{e}}s G{\'{o}}mez de Silva Garza and
               Tony Veale and
               Wendy Aguilar and
               Rafael P{\'{e}}rez y P{\'{e}}rez},
  title     = {Creating new Program Proofs by Combining Abductive and Deductive Reasoning},
  booktitle = {Proceedings of the Twelfth International Conference on Computational
               Creativity, M{\'{e}}xico City, M{\'{e}}xico (Virtual), September
               14-18, 2021},
  pages     = {395--399},
  publisher = {Association for Computational Creativity {(ACC)}},
  year      = {2021},
  url       = {https://computationalcreativity.net/iccc21/wp-content/uploads/2021/09/ICCC\_2021\_paper\_83.pdf},
  timestamp = {Fri, 17 Dec 2021 11:39:35 +0100},
  biburl    = {https://dblp.org/rec/conf/icccrea/AiyankovilOM21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-10881,
  author    = {Marie Farrell and
               Rosemary Monahan and
               James F. Power},
  title     = {Building Specifications in the Event-B Institution},
  journal   = {CoRR},
  volume    = {abs/2103.10881},
  year      = {2021},
  url       = {https://arxiv.org/abs/2103.10881},
  eprinttype = {arXiv},
  eprint    = {2103.10881},
  timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2103-10881.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-09277,
  author    = {Matt Luckcuck and
               Marie Farrell and
               Ois{\'{\i}}n Sheridan and
               Rosemary Monahan},
  title     = {A Methodology for Developing a Verifiable Aircraft Engine Controller
               from Formal Requirements},
  journal   = {CoRR},
  volume    = {abs/2110.09277},
  year      = {2021},
  url       = {https://arxiv.org/abs/2110.09277},
  eprinttype = {arXiv},
  eprint    = {2110.09277},
  timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2110-09277.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-04251,
  author    = {Marie Farrell and
               Matt Luckcuck and
               Ois{\'{\i}}n Sheridan and
               Rosemary Monahan},
  title     = {FRETting about Requirements: Formalised Requirements for an Aircraft
               Engine Controller},
  journal   = {CoRR},
  volume    = {abs/2112.04251},
  year      = {2021},
  url       = {https://arxiv.org/abs/2112.04251},
  eprinttype = {arXiv},
  eprint    = {2112.04251},
  timestamp = {Mon, 13 Dec 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2112-04251.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-13610,
  author    = {Claire Dross and
               Carlo A. Furia and
               Marieke Huisman and
               Rosemary Monahan and
               Peter M{\"{u}}ller},
  title     = {VerifyThis 2019: {A} Program Verification Competition (Extended Report)},
  journal   = {CoRR},
  volume    = {abs/2008.13610},
  year      = {2020},
  url       = {https://arxiv.org/abs/2008.13610},
  eprinttype = {arXiv},
  eprint    = {2008.13610},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2008-13610.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1912-09611,
  editor    = {Rosemary Monahan and
               Virgile Prevosto and
               Jos{\'{e}} Proen{\c{c}}a},
  title     = {Proceedings Fifth Workshop on Formal Integrated Development Environment,
               F-IDE@FM 2019, Porto, Portugal, 7th October 2019},
  series    = {{EPTCS}},
  volume    = {310},
  year      = {2019},
  url       = {https://doi.org/10.4204/EPTCS.310},
  doi       = {10.4204/EPTCS.310},
  timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1912-09611.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Monahan18,
  author    = {Rosemary Monahan},
  title     = {Daniel Kroening and Ofer Strichman: Decision procedures - Springer
               Verlag, 2016, XXI, +356 {ISBN} 978-3-662-50496-3 (Hardback, {\mbox{\texteuro}}69,
               67), http: //www.decision-procedures.org/},
  journal   = {Formal Aspects Comput.},
  volume    = {30},
  number    = {6},
  pages     = {759},
  year      = {2018},
  url       = {https://doi.org/10.1007/s00165-018-0466-2},
  doi       = {10.1007/s00165-018-0466-2},
  timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fac/Monahan18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ChengMP18,
  author    = {Zheng Cheng and
               Rosemary Monahan and
               James F. Power},
  title     = {Formalised {EMFTVM} bytecode language for sound verification of model
               transformations},
  journal   = {Softw. Syst. Model.},
  volume    = {17},
  number    = {4},
  pages     = {1197--1225},
  year      = {2018},
  url       = {https://doi.org/10.1007/s10270-016-0553-x},
  doi       = {10.1007/s10270-016-0553-x},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sosym/ChengMP18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1811-09014,
  editor    = {Paolo Masci and
               Rosemary Monahan and
               Virgile Prevosto},
  title     = {Proceedings 4th Workshop on Formal Integrated Development Environment,
               F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
  series    = {{EPTCS}},
  volume    = {284},
  year      = {2018},
  url       = {https://doi.org/10.4204/EPTCS.284},
  doi       = {10.4204/EPTCS.284},
  timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1811-09014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HuismanKMT17,
  author    = {Marieke Huisman and
               Vladimir Klebanov and
               Rosemary Monahan and
               Michael Tautschnig},
  title     = {VerifyThis 2015 - {A} program verification competition},
  journal   = {Int. J. Softw. Tools Technol. Transf.},
  volume    = {19},
  number    = {6},
  pages     = {763--771},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10009-016-0438-x},
  doi       = {10.1007/s10009-016-0438-x},
  timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sttt/HuismanKMT17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FarrellMP17,
  author    = {Marie Farrell and
               Rosemary Monahan and
               James F. Power},
  editor    = {Zhenhua Duan and
               Luke Ong},
  title     = {Combining Event-B and {CSP:} An Institution Theoretic Approach to
               Interoperability},
  booktitle = {Formal Methods and Software Engineering - 19th International Conference
               on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
               13-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10610},
  pages     = {140--156},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68690-5\_9},
  doi       = {10.1007/978-3-319-68690-5\_9},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icfem/FarrellMP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FarrellMP17,
  author    = {Marie Farrell and
               Rosemary Monahan and
               James F. Power},
  editor    = {Alessandro Cimatti and
               Marjan Sirjani},
  title     = {Specification Clones: An Empirical Study of the Structure of Event-B
               Specifications},
  booktitle = {Software Engineering and Formal Methods - 15th International Conference,
               {SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10469},
  pages     = {152--167},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66197-1\_10},
  doi       = {10.1007/978-3-319-66197-1\_10},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/FarrellMP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GurovHHM16,
  author    = {Dilian Gurov and
               Klaus Havelund and
               Marieke Huisman and
               Rosemary Monahan},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Static and Runtime Verification, Competitors or Friends? (Track Summary)},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9952},
  pages     = {397--401},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47166-2\_27},
  doi       = {10.1007/978-3-319-47166-2\_27},
  timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/isola/GurovHHM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ChengMM16,
  author    = {Zheng Cheng and
               Dominique M{\'{e}}ry and
               Rosemary Monahan},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {On Two Friends for Getting Correct Programs - Automatically Translating
               Event {B} Specifications to Recursive Algorithms in Rodin},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9952},
  pages     = {821--838},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47166-2\_57},
  doi       = {10.1007/978-3-319-47166-2\_57},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/isola/ChengMM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HealyMP16,
  author    = {Andrew Healy and
               Rosemary Monahan and
               James F. Power},
  editor    = {Sascha Ossowski},
  title     = {Evaluating the use of a general-purpose benchmark suite for domain-specific
               SMT-solving},
  booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
               Pisa, Italy, April 4-8, 2016},
  pages     = {1558--1561},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2851613.2851975},
  doi       = {10.1145/2851613.2851975},
  timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl    = {https://dblp.org/rec/conf/sac/HealyMP16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/FarrellMP16,
  author    = {Marie Farrell and
               Rosemary Monahan and
               James F. Power},
  editor    = {Phillip James and
               Markus Roggenbach},
  title     = {An Institution for Event-B},
  booktitle = {Recent Trends in Algebraic Development Techniques - 23rd {IFIP} {WG}
               1.3 International Workshop, {WADT} 2016, Gregynog, UK, September 21-24,
               2016, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10644},
  pages     = {104--119},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-72044-9\_8},
  doi       = {10.1007/978-3-319-72044-9\_8},
  timestamp = {Wed, 19 May 2021 08:32:29 +0200},
  biburl    = {https://dblp.org/rec/conf/wadt/FarrellMP16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HealyMP17,
  author    = {Andrew Healy and
               Rosemary Monahan and
               James F. Power},
  editor    = {Catherine Dubois and
               Paolo Masci and
               Dominique M{\'{e}}ry},
  title     = {Predicting {SMT} Solver Performance for Software Verification},
  booktitle = {Proceedings of the Third Workshop on Formal Integrated Development
               Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016},
  series    = {{EPTCS}},
  volume    = {240},
  pages     = {20--37},
  year      = {2016},
  url       = {https://doi.org/10.4204/EPTCS.240.2},
  doi       = {10.4204/EPTCS.240.2},
  timestamp = {Tue, 01 Jun 2021 08:33:36 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/HealyMP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HuismanKM15,
  author    = {Marieke Huisman and
               Vladimir Klebanov and
               Rosemary Monahan},
  title     = {VerifyThis 2012 - {A} Program Verification Competition},
  journal   = {Int. J. Softw. Tools Technol. Transf.},
  volume    = {17},
  number    = {6},
  pages     = {647--657},
  year      = {2015},
  url       = {https://doi.org/10.1007/s10009-015-0396-8},
  doi       = {10.1007/s10009-015-0396-8},
  timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sttt/HuismanKM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/ChengMP15,
  author    = {Zheng Cheng and
               Rosemary Monahan and
               James F. Power},
  editor    = {Dimitris S. Kolovos and
               Manuel Wimmer},
  title     = {A Sound Execution Semantics for {ATL} via Translation Validation -
               Research Paper},
  booktitle = {Theory and Practice of Model Transformations - 8th International Conference,
               ICMT@STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9152},
  pages     = {133--148},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21155-8\_11},
  doi       = {10.1007/978-3-319-21155-8\_11},
  timestamp = {Wed, 24 Jun 2020 13:02:21 +0200},
  biburl    = {https://dblp.org/rec/conf/icmt/ChengMP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/ChengMP15,
  author    = {Zheng Cheng and
               Rosemary Monahan and
               James F. Power},
  editor    = {Moussa Amrani and
               Eugene Syriani and
               Manuel Wimmer},
  title     = {Verifying SimpleGT Transformations Using an Intermediate Verification
               Language},
  booktitle = {Proceedings of the Fourth International Workshop on Verification of
               Model Transformations co-located with Software Technologies: Applications
               and Foundations {(STAF} 2015), L'Aquila, Italy, July 23, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1530},
  pages     = {12--19},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1530/paper3.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:00 +0100},
  biburl    = {https://dblp.org/rec/conf/staf/ChengMP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2015ftfjp,
  editor    = {Rosemary Monahan},
  title     = {Proceedings of the 17th Workshop on Formal Techniques for Java-like
               Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2786536},
  doi       = {10.1145/2786536},
  isbn      = {978-1-4503-3656-7},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/2015ftfjp.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BeyerHKM14,
  author    = {Dirk Beyer and
               Marieke Huisman and
               Vladimir Klebanov and
               Rosemary Monahan},
  title     = {Evaluating Software Verification Systems: Benchmarks and Competitions
               (Dagstuhl Reports 14171)},
  journal   = {Dagstuhl Reports},
  volume    = {4},
  number    = {4},
  pages     = {1--19},
  year      = {2014},
  url       = {https://doi.org/10.4230/DagRep.4.4.1},
  doi       = {10.4230/DagRep.4.4.1},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/dagstuhl-reports/BeyerHKM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MeryM13,
  author    = {Dominique M{\'{e}}ry and
               Rosemary Monahan},
  editor    = {Alexei Lisitsa and
               Andrei P. Nemytykh},
  title     = {Transforming Event {B} Models into Verified C{\#} Implementations},
  booktitle = {First International Workshop on Verification and Program Transformation,
               {VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
  series    = {EPiC Series in Computing},
  volume    = {16},
  pages     = {57--73},
  publisher = {EasyChair},
  year      = {2013},
  url       = {https://doi.org/10.29007/9wm9},
  doi       = {10.29007/9wm9},
  timestamp = {Fri, 03 Jun 2022 08:18:13 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/MeryM13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/WuMP13,
  author    = {Hao Wu and
               Rosemary Monahan and
               James F. Power},
  title     = {Exploiting Attributed Type Graphs to Generate Metamodel Instances
               Using an {SMT} Solver},
  booktitle = {Seventh International Symposium on Theoretical Aspects of Software
               Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}},
  pages     = {175--182},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://doi.org/10.1109/TASE.2013.31},
  doi       = {10.1109/TASE.2013.31},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/tase/WuMP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChengMP12,
  author    = {Zheng Cheng and
               Rosemary Monahan and
               James F. Power},
  editor    = {Vladimir Klebanov and
               Bernhard Beckert and
               Armin Biere and
               Geoff Sutcliffe},
  title     = {A Simple Complexity Measurement for Software Verification and Software
               Testing},
  booktitle = {Proceedings of the 1st International Workshop on Comparative Empirical
               Evaluation of Reasoning Systems, Manchester, United Kingdom, June
               30, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {873},
  pages     = {28--31},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-873/papers/paper\_8.pdf},
  timestamp = {Wed, 12 Feb 2020 16:45:03 +0100},
  biburl    = {https://dblp.org/rec/conf/cade/ChengMP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HuismanKM12,
  author    = {Marieke Huisman and
               Vladimir Klebanov and
               Rosemary Monahan},
  editor    = {Vladimir Klebanov and
               Bernhard Beckert and
               Armin Biere and
               Geoff Sutcliffe},
  title     = {On the Organisation of Program Verification Competitions},
  booktitle = {Proceedings of the 1st International Workshop on Comparative Empirical
               Evaluation of Reasoning Systems, Manchester, United Kingdom, June
               30, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {873},
  pages     = {50--59},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-873/papers/paper\_2.pdf},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/HuismanKM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-6322,
  author    = {Hao Wu and
               Rosemary Monahan and
               James F. Power},
  title     = {Metamodel Instance Generation: {A} systematic literature review},
  journal   = {CoRR},
  volume    = {abs/1211.6322},
  year      = {2012},
  url       = {http://arxiv.org/abs/1211.6322},
  eprinttype = {arXiv},
  eprint    = {1211.6322},
  timestamp = {Wed, 12 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1211-6322.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11,
  author    = {Vladimir Klebanov and
               Peter M{\"{u}}ller and
               Natarajan Shankar and
               Gary T. Leavens and
               Valentin W{\"{u}}stholz and
               Eyad Alkassar and
               Rob Arthan and
               Derek Bronish and
               Rod Chapman and
               Ernie Cohen and
               Mark A. Hillebrand and
               Bart Jacobs and
               K. Rustan M. Leino and
               Rosemary Monahan and
               Frank Piessens and
               Nadia Polikarpova and
               Tom Ridge and
               Jan Smans and
               Stephan Tobies and
               Thomas Tuerk and
               Mattias Ulbrich and
               Benjamin Wei{\ss}},
  editor    = {Michael J. Butler and
               Wolfram Schulte},
  title     = {The 1st Verified Software Competition: Experience Report},
  booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
               Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6664},
  pages     = {154--168},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21437-0\_14},
  doi       = {10.1007/978-3-642-21437-0\_14},
  timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/BormerBDEFGHKMMMPSSTTU11,
  author    = {Thorsten Bormer and
               Marc Brockschmidt and
               Dino Distefano and
               Gidon Ernst and
               Jean{-}Christophe Filli{\^{a}}tre and
               Radu Grigore and
               Marieke Huisman and
               Vladimir Klebanov and
               Claude March{\'{e}} and
               Rosemary Monahan and
               Wojciech Mostowski and
               Nadia Polikarpova and
               Christoph Scheben and
               Gerhard Schellhorn and
               Bogdan Tofan and
               Julian Tschannen and
               Mattias Ulbrich},
  editor    = {Bernhard Beckert and
               Ferruccio Damiani and
               Dilian Gurov},
  title     = {The {COST} {IC0701} Verification Competition 2011},
  booktitle = {Formal Verification of Object-Oriented Software - International Conference,
               FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7421},
  pages     = {3--21},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-31762-0\_2},
  doi       = {10.1007/978-3-642-31762-0\_2},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/foveoos/BormerBDEFGHKMMMPSSTTU11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/LeinoM10,
  author    = {K. Rustan M. Leino and
               Rosemary Monahan},
  editor    = {Gary T. Leavens and
               Peter W. O'Hearn and
               Sriram K. Rajamani},
  title     = {Dafny Meets the Verification Benchmarks Challenge},
  booktitle = {Verified Software: Theories, Tools, Experiments, Third International
               Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6217},
  pages     = {112--126},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15057-9\_8},
  doi       = {10.1007/978-3-642-15057-9\_8},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/vstte/LeinoM10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LeinoM09,
  author    = {K. Rustan M. Leino and
               Rosemary Monahan},
  editor    = {Sung Y. Shin and
               Sascha Ossowski},
  title     = {Reasoning about comprehensions with first-order {SMT} solvers},
  booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
               Honolulu, Hawaii, USA, March 9-12, 2009},
  pages     = {615--622},
  publisher = {{ACM}},
  year      = {2009},
  url       = {https://doi.org/10.1145/1529282.1529411},
  doi       = {10.1145/1529282.1529411},
  timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
  biburl    = {https://dblp.org/rec/conf/sac/LeinoM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CarterMM05,
  author    = {Gareth Carter and
               Rosemary Monahan and
               Joseph M. Morris},
  editor    = {Bernhard K. Aichernig and
               Bernhard Beckert},
  title     = {Software Refinement with Perfect Developer},
  booktitle = {Third {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
  pages     = {363--373},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://doi.org/10.1109/SEFM.2005.41},
  doi       = {10.1109/SEFM.2005.41},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/CarterMM05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/MonahanG97,
  author    = {Rosemary Monahan and
               Franz Geiselbrechtinger},
  editor    = {Henry McGloughlin and
               Gerard O'Regan},
  title     = {Tactics for Transformational Programming},
  booktitle = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
               3-4 July 1997},
  series    = {Workshops in Computing},
  publisher = {{BCS}},
  year      = {1997},
  url       = {http://ewic.bcs.org/content/ConWebDoc/4614},
  timestamp = {Tue, 19 Jun 2018 08:04:20 +0200},
  biburl    = {https://dblp.org/rec/conf/iwfm/MonahanG97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics