Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Monahan, Rosemary
81  Ergebnisse:
Personensuche X
?
1

Reasoning about logical systems in the Coq proof assistant:

Reynolds, Conor ; Monahan, Rosemary
Science of Computer Programming.  233 (2024)  - p. 103054 , 2024
Link: https://doi.org/10.1016/..
 
?
2

FRETting and Formal Modelling: A Mechanical Lung Ventilator:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Farrell, Marie ; Luckcuck, Matt ; Monahan, Rosemary.. - p. 360-383 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Immersive Neural Network Exploration: A VR Approach to Huma..:

, In: Proceedings of the 2023 Conference on Human Centered Artificial Intelligence: Education and Practice,
Inkarbekov, Medet ; Pearlmutter, Barak A. ; Monahan, Rosemary - p. 48 ff. , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Building Specifications in the Event-B Institution: A Summa..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Farrell, Marie ; Monahan, Rosemary ; Power, James F. - p. 245-253 , 2023
Link: https://doi.org/10.1007/..
 
?
5

A Computational Thinking Obstacle Course Based on Bebras Ta..:

, In: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1,
Lehtimäki, Taina ; Monahan, Rosemary ; Mooney, Aidan.. - p. 478-484 , 2023
Link: https://dl.acm.org/doi/1..
 
?
6

Rich and Expressive Specification of Continuous-Learning Cy..:

, In: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S),
Flinkow, Thomas ; Pearlmutter, Barak A. ; Monahan, Rosemary - p. 197-199 , 2023
Link: https://doi.org/10.1109/..
 
?
7

CSP2Turtle: Verified Turtle Robot Plans:

MacConville, Dara ; Farrell, Marie ; Luckcuck, Matt.
Robotics.  12 (2023)  2 - p. 62 , 2023
Link: https://doi.org/10.3390/..
 
?
8

Computational Thinking Resources Inspired by Bebras:

, In: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2,
Lehtimäki, Taina ; Monahan, Rosemary ; Mooney, Aidan.. - p. 663 ff. , 2023
Link: https://dl.acm.org/doi/1..
 
?
9

Building Specifications in the Event-B Institution:

Farrell, Marie ; Monahan, Rosemary ; Power, James F.
Logical Methods in Computer Science.  18, Issue 4 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
10

A Methodology for Developing a Verifiable Aircraft Engine C..:

, In: 2022 IEEE Aerospace Conference (AERO),
Luckcuck, Matt ; Farrell, Marie ; Sheridan, Oisin. - p. 1-12 , 2022
Link: https://doi.org/10.1109/..
 
?
11

Accidental Choices—How JVM Choice and Associated Build Tool..:

Lambert, Jonathan ; Monahan, Rosemary ; Casey, Kevin
Computers.  11 (2022)  6 - p. 96 , 2022
Link: https://doi.org/10.3390/..
 
?
12

A computational thinking module for secondary students and ..:

, In: The United Kingdom and Ireland Computing Education Research (UKICER) Conference,
Lehtimäki, Taina ; Hamm, James ; Mooney, Aidan... - p. 1 ff. , 2022
Link: https://dl.acm.org/doi/1..
 
?
13

Bebras-inspired Computational Thinking Primary School Resou..:

, In: Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1,
Lehtimäki, Taina ; Monahan, Rosemary ; Mooney, Aidan.. - p. 207-213 , 2022
Link: https://dl.acm.org/doi/1..
 
?
14

Machine-Assisted Proofs for Institutions in Coq:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Reynolds, Conor ; Monahan, Rosemary - p. 369-372 , 2022
Link: https://doi.org/10.1007/..
 
?
15

Machine-Assisted Proofs for Institutions in Coq:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,
Reynolds, Conor ; Monahan, Rosemary - p. 180-196 , 2022
Link: https://doi.org/10.1007/..
 
1-15