Article

Farrell, Marie, Monahan, Rosemary and Power, James F. (2023) Building Specifications in the Event-B Institution: A Summary. Rigorous State-Based Methods, 14010. pp. 245-253. ISSN 0302-9743

Lambert, Jonathan M., Monahan, Rosemary and Casey, Kevin (2021) Power Consumption Profiling of a Lightweight Development Board: Sensing with the INA219 and Teensy 4.0 Microcontroller. Electronics, 10 (7). ISSN 2079-9292

Dross, Claire, Furia, Carlo A, Huisman, Marieke, Monahan, Rosemary and Müller, Peter (2021) VerifyThis 2019: a program verification competition. International Journal on Software Tools for Technology Transfer, 23 (6). pp. 883-893. ISSN 1433-2779

Huisman, Marieke, Klebanov, Vladimir, Monahan, Rosemary and Tautschnig, Michael (2017) VerifyThis 2015: A program verification competition. International Journal on Software Tools for Technology Transfer, 19 (6). pp. 763-771. ISSN 1433-2779

Healy, Andrew, Monahan, Rosemary and Power, James F. (2017) Predicting SMT Solver Performance for Software Verification. Electronic Proceedings in Theoretical Computer Science, 240. pp. 20-37. ISSN 2075-2180

Cheng, Zheng, Monahan, Rosemary and Power, James F. (2016) Formalised EMFTVM bytecode language for sound verification of model transformations. Software and Systems Modeling, 17. pp. 1197-1225. ISSN 1619-1366

Cheng, Zheng, Mery, Dominique and Monahan, Rosemary (2016) On Two Friends for Getting Correct Programs Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. Lecture Notes in Computer Science. pp. 821-838. ISSN 0302-9743

Huisman, Marieke, Klebanov, Vladimir and Monahan, Rosemary (2015) VerifyThis 2012: A Program Verification Competition. International Journal on Software Tools for Technology Transfer, 17. pp. 647-657. ISSN 1433-2779

O’Donoghue, Diarmuid, Monahan, Rosemary, Grijincu, D., Pitu, M., Halim, F., Rahman, F., Abgaz, Yalemisew and Hurley, D. (2014) Creating Formal Specifications with Analogical Reasoning. PICS - Publication Series of the Institute of Cognitive Science, 1-2014. ISSN 1610-5389

Pitu, M., Grijincu, D., Li, P., Saleem, A., Monahan, Rosemary and O'Donoghue, Diarmuid (2013) Arís: Analogical Reasoning for reuse of Implementation & Specification. Proceedings of AI4FM 2013.

Monahan, Rosemary and O'Donoghue, Diarmuid (2012) Case Based Specifications – reusing specifications, programs and proofs. Dagstuhl Reports, 2 (7). pp. 20-21. ISSN 2192-5283

Cheng, Zheng, Monahan, Rosemary and Power, James F. (2012) A Simple Complexity Measurement for Software Verification and Software Testing. Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 873. pp. 28-331. ISSN 1613-0073

Huisman, Marieke, Klebanov, Vladimir and Monahan, Rosemary (2012) On the Organisation of Program Verification Competitions. Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 873. pp. 50-59. ISSN 1613-0073

Bormer, Thorsten, Brockschmidt, Marc, Distefano, Dino, Ernst, Gidon, Filliâtre, Jean-Christophe, Grigore, Radu, Huisman, Marieke, Klebanov, Vladimir, Marché, Claude, Monahan, Rosemary, Mostowski, Wojciech, Polikarpova, Nadia, Scheben, Christoph, Schellhorn, Gerhard, Tofan, Bogdan, Tschannen, Julian and Ulbrich, Mattias (2012) The COST IC0701 Verification Competition 2011. Lecture Notes in Computer Science, 7421. pp. 3-21. ISSN 0302-9743

Xu, Yan and Monahan, Rosemary (2012) Implementing the Verified Software Initiative Benchmarks using Perfect Developer. Proceedings of 2010 China-Ireland International Conferenceon Information and CommunicationsTechnologies (CIICT2010 E-BOOK). pp. 171-176. ISSN 978-1-935068-30-3

Wu, Hao, Monahan, Rosemary and Power, James F. (2012) Metamodel Instance Generation: A systematic literature review. arXiv.

Wu, Hao, Monahan, Rosemary and Power, James F. (2010) Test Case Generation for Programming Language Metamodels. Proceedings of the Third International Conference, SLE 2010. ISSN 978-3-642-19439-9

Wu, Hao, Monahan, Rosemary and Power, James F. (2010) Using ATL in a tool-chain to calculate coverage data for UML class diagrams. Proceedings of the 2nd International Workshop on Model Transformation with ATL. pp. 60-64. ISSN 1613-0073

Book Section

Farrell, Marie, Monahan, Rosemary and Power, James F. (2017) Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. In: ICFEM 2017: Formal Methods and Software Engineering. Lecture Notes in Computer Science (LNCS) (10610). Springer, pp. 140-156. ISBN 9783319686899

Farrell, Marie, Monahan, Rosemary and Power, James F. (2017) An Institution for Event-B. In: Recent Trends in Algebraic Development Techniques : Revised Selected Papers. Lecture Notes in Computer Science (10644). Springer, Cham, Switzerland, pp. 104-119. ISBN 978-3-319-72043-2

Farrell, Marie, Monahan, Rosemary and Power, James F. (2017) Specification Clones: An Empirical Study of the Structure of Event-B Specifications. In: SEFM 2017: Software Engineering and Formal Methods. Lecture Notes in Computer Science (LNCS) (10469). Springer, pp. 152-167. ISBN 9783319661964

Healy, Andrew, Monahan, Rosemary and Power, James F. (2016) Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving. In: SAC '16 Proceedings of the 31st Annual ACM Symposium on Applied Computing. ACM, pp. 1558-1561. ISBN 9781450337397

Cheng, Zheng, Monahan, Rosemary and Power, James F. (2015) A Sound Execution Semantics for ATL via Translation Validation. In: ICMT 2015: Theory and Practice of Model Transformations. Lecture Notes in Computer Science book series (LNCS) (9152). Springer, pp. 133-148. ISBN 9783319211541

Wu, Hao, Monahan, Rosemary and Power, James F. (2013) Exploiting attributed type graphs to generate metamodel instances using an SMT solver. In: International Symposium on Theoretical Aspects of Software Engineering (TASE), 2013. IEEE, pp. 175-182. ISBN 9780768550534

Leino, K. Rustan M. and Monahan, Rosemary (2009) Reasoning about Comprehensions with First-Order SMT Solvers. In: SAC '09 Proceedings of the 2009 ACM symposium on Applied Computing. ACM, New York, pp. 615-622. ISBN 9781605581668

Carter, Gareth, Monahan, Rosemary and Morris, Joseph M. (2005) Software Refinement with Perfect Developer. In: Third IEEE International Conference on Software Engineering and Formal Methods, 2005 (SEFM 2005). IEEE, pp. 363-372. ISBN 0769524354

Matzko, Sarah, Clarke, Peter J., Gibbs, Tanton H., Malloy, Brian A., Power, James F. and Monahan, Rosemary (2002) Reveal: A Tool to Reverse Engineer Class Diagrams. In: CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications. Australian Computer Society, Inc., pp. 13-21. ISBN 0909925887

Monograph

Healy, Andrew, Monahan, Rosemary and Power, James F. (2016) Predicting SMT Solver Performance for Software Verification. Working Paper. arXiv.

O'Kelly, Jackie, Monahan, Rosemary, Gibson, J. Paul and Brown, Stephen (2005) Enhancing Skills Transfer through Problem-based Learning. Department of Computer Science, Technical Report Series. NUIM-CS-TR-2005-13. Technical Report. National University of Ireland Maynooth.

Carter, Gareth and Monahan, Rosemary (2005) Introducing the Perfect Language. Department of Computer Science, Technical Report Series. NUIM-CS-TR-2005-06. Technical Report. National University of Ireland Maynooth.

Carter, Gareth and Monahan, Rosemary (2005) Software Specification, Implementation and Execution with Perfect. Department of Computer Science, Technical Report Series. NUIM-CS-TR-2005-07. Technical Report. National University of Ireland Maynooth.

Brown, Stephen and Monahan, Rosemary (2005) Testing Guidelines for Student Projects. Technical Report. Department of Computer Science, National University of Ireland, Maynooth.

Conference or Workshop Item

Farrell, Marie, Reynolds, Conor and Monahan, Rosemary (2021) Using dafny to solve the VerifyThis 2021 challenges. In: International Workshop on Formal Techniques for Java-like Programs, July 13, Denmark.

Ajankovil, Kuruvilla George, O'Donoghue, Diarmuid and Monahan, Rosemary (2021) Creating new Program Proofs by Combining Abductive and Deductive Reasoning. In: International Conference on Computational Creativity ICCC, September 2021.

Aiyankovil, Kuruvilla George, Monahan, Rosemary and O'Donoghue, Diarmuid (2021) Upcycling Formal Specifications for Similar Implementations with Arís. In: International Conference on Case-Based Reasoning (ICCBR), 13-16 September 2021, Salamanca, Spain.

Farrell, Marie, Monahan, Rosemary, Power, James F. and Fisher, Michael (2018) An Approach to Combining the Institutions for Event-B and Temporal Logic. In: 24th International Workshop on Algebraic Development Technique, July 2018, Royal Holloway, University of London.

Farrell, Marie, Monahan, Rosemary and Power, James F. (2016) A Logical Framework for Integrating Software Models via Refinement. In: 32nd British Colloquium of Theoretical Computer Science, March 22-24, 2016, Queens University, Belfast, Northern Ireland. (Unpublished)

Cheng, Zheng, Monahan, Rosemary and Power, James F. (2016) Verifying SimpleGT Transformations Using an Intermediate Verification Language. In: 4th International Workshop on the Verification Of Model Transformations, Jully 2015, L'Aquila, Italy.

Mooney, Aidan, Duffin, Joe, Naughton, Thomas J., Monahan, Rosemary, Power, James F. and Maguire, Phil (2014) PACT: An initiative to introduce computational thinking to second-level education in Ireland. In: International Conference on Engaging Pedagogy 2014 (ICEP), 5th December 2014, Athlone Institute of Technology.

Mery, Dominique and Monahan, Rosemary (2013) Transforming EVENT B Models into Verified C# Implementations. In: Verification and Program Transformation 2013 (VPT 2013), 13-14 July 2013, St. Petersburg, Russia.

Muller, Peter, Shankar, Natarajan, Leavens, Gary T., Ridge, Tom, Tuerk, Thomas, Klebanov, Vladimir, Ulbrich, Mattias, Weisse, Benjamin, Leino, K. Rustan M., Chapman, Rod, Monahan, Rosemary, Polikarpova, Nadia, Bronish, Derek, Arthan, Rob, Alkassar, Eyad, Cohen, Ernie, Hillebrand, Mark, Tobies, Stephan, Jacobs, Bart, Piessens, Frank and Smans, Jan (2011) The 1st Verified Software Competition, Extended Experience Report. In: FM 2011: 17th International Symposium on Formal Methods, June 20-24 2011, Limerick. (Unpublished)

Cheng, Zheng, Monahan, Rosemary and Mooney, Aidan (2011) nExaminer: A Semi-automated Computer Programming Assignment Assessment Framework for Moodle. In: International Conference on Engaging Pedagogies, December 16 2011, Dublin. (Unpublished)

Monahan, Rosemary and Leino, K. Rustan M. (2010) Dafny meets the Verification Benchmarks Challenge. In: Verified Software: Theories, Tools, Experiments(VSTTE) 2010, August 16th-19th 2010, Edinburgh. (Unpublished)

Wu, Hao, Monahan, Rosemary and Power, James F. (2010) Using ATL in a tool-chain to calculate coverage data for UML class diagrams. In: 2nd International Workshop on Model Transformation with ATL (MtATL), June 30th 2010, Malaga, Spain . (Unpublished)

Leino, K. Rustan M. and Monahan, Rosemary (2007) Automatic verification of textbook programs that use comprehensions. In: Formal Techniques for Java-like Programs (FTfJP) ECOOP Workshop, July 30 - August 3 2007, Berlin. (Unpublished)

Monahan, Rosemary and Geiselbrechtinger, Franz (1997) Tactics for Transformational Programming. In: 1st Irish Workshop on Formal Methods, July 3-4, 1997, Trinity College Dublin.