Rosemary Monahan
Orcid: 0000-0003-3886-4675
According to our database1,
Rosemary Monahan
authored at least 58 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Sci. Comput. Program., 2024
Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report.
Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024
Proceedings of the PhD Symposium at the 19th International Conference on integrated Formal Methods in Manchester 2024 (iFM 2024), 2024
Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024
2023
Formal Aspects Comput., September, 2023
Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023
CoRR, 2023
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2, 2023
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023
Immersive Neural Network Exploration: A VR Approach to Human-Centered AI Understanding.
Proceedings of the 2023 Conference on Human Centered Artificial Intelligence: Education and Practice, 2023
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023
2022
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, 2022
Accidental Choices - How JVM Choice and Associated Build Tools Affect Interpreter Performance.
Comput., 2022
A computational thinking module for secondary students and pre-service teachers using Bebras-style tasks.
Proceedings of the UKICER 2022: The United Kingdom and Ireland Computing Education Research Conference, Dublin, Ireland, September 1, 2022
FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
Bebras-inspired Computational Thinking Primary School Resources Co-created by Computer Science Academics and Teachers.
Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022
A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller.
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
2021
Int. J. Softw. Tools Technol. Transf., 2021
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements.
CoRR, 2021
Proceedings of the Twelfth International Conference on Computational Creativity, 2021
Proceedings of the Workshops Proceedings for the 29th International Conference on Case-Based Reasoning co-located with the 29th International Conference on Case-Based Reasoning (ICCBR 2021), 2021
Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021
2020
2018
Softw. Syst. Model., 2018
Daniel Kroening and Ofer Strichman: Decision procedures - Springer Verlag, 2016, XXI, +356 ISBN 978-3-662-50496-3 (Hardback, €69, 67), http: //www.decision-procedures.org/.
Formal Aspects Comput., 2018
2017
Int. J. Softw. Tools Technol. Transf., 2017
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
Proceedings of the Formal Methods and Software Engineering, 2017
2016
Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016
Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
2015
Int. J. Softw. Tools Technol. Transf., 2015
Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), 2015
Proceedings of the Theory and Practice of Model Transformations, 2015
2014
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171).
Dagstuhl Reports, 2014
2013
Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013
Proceedings of the First International Workshop on Verification and Program Transformation, 2013
2012
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012
2011
Proceedings of the Formal Verification of Object-Oriented Software, 2011
Proceedings of the FM 2011: Formal Methods, 2011
2010
Proceedings of the Verified Software: Theories, 2010
2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
2005
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
1997
Proceedings of the 1st Irish Workshop on Formal Methods, 1997