Articles with public access mandates - Rosemary MonahanLearn more
Not available anywhere: 2
Machine-assisted proofs for institutions in Coq
C Reynolds, R Monahan
International Symposium on Theoretical Aspects of Software Engineering, 180-196, 2022
Mandates: Irish Research Council
Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems
T Flinkow, BA Pearlmutter, R Monahan
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2023
Mandates: Science Foundation Ireland
Available somewhere: 21
Power consumption profiling of a lightweight development board: Sensing with the INA219 and Teensy 4.0 microcontroller
J Lambert, R Monahan, K Casey
Electronics 10 (7), 775, 2021
Mandates: US National Institutes of Health
An institution for Event-B
M Farrell, R Monahan, JF Power
International Workshop on Algebraic Development Techniques, 104-119, 2016
Mandates: Irish Research Council
Bebras-inspired computational thinking primary school resources co-created by computer science academics and teachers
T Lehtimäki, R Monahan, A Mooney, K Casey, TJ Naughton
Proceedings of the 27th ACM Conference on on Innovation and Technology in …, 2022
Mandates: Science Foundation Ireland
A methodology for developing a verifiable aircraft engine controller from formal requirements
M Luckcuck, M Farrell, O Sheridan, R Monahan
2022 IEEE Aerospace Conference (AERO), 1-12, 2022
Mandates: European Commission
Building Specifications in the Event-B Institution
M Farrell, R Monahan, JF Power
arXiv preprint arXiv:2103.10881v1, 2021
Mandates: UK Engineering and Physical Sciences Research Council, Irish Research Council
Specification clones: an empirical study of the structure of event-B specifications
M Farrell, R Monahan, JF Power
Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017
Mandates: Irish Research Council
Combining event-B and CSP: An institution theoretic approach to interoperability
M Farrell, R Monahan, JF Power
International Conference on Formal Engineering Methods, 140-156, 2017
Mandates: Irish Research Council
On Two Friends for Getting Correct Programs: Automatically Translating Event B Specifications to Recursive Algorithms in Rodin
Z Cheng, D Méry, R Monahan
International Symposium on Leveraging Applications of Formal Methods, 821-838, 2016
Mandates: Irish Research Council
Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving
A Healy, R Monahan, JF Power
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1558-1561, 2016
Mandates: Science Foundation Ireland
FRETting and formal modelling: a mechanical lung ventilator
M Farrell, M Luckcuck, R Monahan, C Reynolds, O Sheridan
International Conference on Rigorous State-Based Methods, 360-383, 2024
Mandates: UK Engineering and Physical Sciences Research Council
Accidental choices—How JVM choice and associated build tools affect interpreter performance
J Lambert, R Monahan, K Casey
Computers 11 (6), 96, 2022
Mandates: US National Institutes of Health
Using dafny to solve the VerifyThis 2021 challenges
M Farrell, C Reynolds, R Monahan
Proceedings of the 23rd ACM International Workshop on Formal Techniques for …, 2021
Mandates: Irish Research Council
Reasoning about logical systems in the Coq proof assistant
C Reynolds, R Monahan
Science of Computer Programming 233, 103054, 2024
Mandates: Irish Research Council
A Computational Thinking Obstacle Course based on Bebras tasks for K-12 schools
T Lehtimäki, R Monahan, A Mooney, K Casey, TJ Naughton
Proceedings of the 2023 Conference on Innovation and Technology in Computer …, 2023
Mandates: Science Foundation Ireland
A computational thinking module for secondary students and pre-service teachers using Bebras-style tasks
T Lehtimäki, J Hamm, A Mooney, K Casey, R Monahan, TJ Naughton
Proceedings of the 2022 Conference on United Kingdom & Ireland Computing …, 2022
Mandates: Science Foundation Ireland
A requirements-driven methodology: formal modelling and verification of an aircraft engine controller
O Sheridan, R Monahan, M Luckcuck
International Conference on Integrated Formal Methods, 352-356, 2022
Mandates: European Commission
Building Specifications in the Event-B Institution: A Summary
M Farrell, R Monahan, JF Power
International Conference on Rigorous State-Based Methods, 245-253, 2023
Mandates: UK Engineering and Physical Sciences Research Council, Irish Research Council
Immersive Neural Network Exploration: A VR Approach to Human-Centered AI Understanding
M Inkarbekov, BA Pearlmutter, R Monahan
Proceedings of the 2023 Conference on Human Centered Artificial Intelligence …, 2023
Mandates: Science Foundation Ireland
Publication and funding information is determined automatically by a computer program