E-LIB Suche - Ergebnisse für: Farrell, Marie

1

Robotics: A New Mission for FRET Requirements:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Vázquez, Gricel ; Mavridou, Anastasia ; Farrell, Marie.. - p. 359-376 , 2024

2

Security-Minded Verification of Cooperative Awareness Messa..:

Farrell, Marie ; Bradbury, Matthew ; Cardoso, Rafael C....
IEEE Transactions on Dependable and Secure Computing. 21 (2024) 4 - p. 4048-4065 , 2024

Link: https://doi.org/10.1109/..

3

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/..

4

Exploring Requirements for Software that Learns: A Research..:

, In: Requirements Engineering: Foundation for Software Quality; Lecture Notes in Computer Science,

Farrell, Marie ; Mavridou, Anastasia ; Schumann, Johann - p. 179-188 , 2023

Link: https://doi.org/10.1007/..

5

Towards an extensive set of criteria for safety and cyber-s..:

Smrčka, Aleš ; Sangchoolie, Behrooz ; Mingozzi, Emanuele...
Open Research Europe. 3 (2023) - p. 219 , 2023

Link: https://doi.org/10.12688..

6

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/..

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

Towards Refactoring FRETish Requirements:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Farrell, Marie ; Luckcuck, Matt ; Sheridan, Oisín. - p. 272-279 , 2022

Link: https://doi.org/10.1007/..

9

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/..

10

Formal Modelling and Runtime Verification of Autonomous Gra..:

Farrell, Marie ; Mavrakis, Nikos ; Ferrando, Angelo..
Frontiers in Robotics and AI. 8 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

11

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..

12

FRETting About Requirements: Formalised Requirements for an..:

, In: Requirements Engineering: Foundation for Software Quality; Lecture Notes in Computer Science,

Farrell, Marie ; Luckcuck, Matt ; Sheridan, Oisín. - p. 96-111 , 2022

Link: https://doi.org/10.1007/..

13

Journal-First: Formal Modelling and Runtime Verification of..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Farrell, Marie ; Mavrakis, Nikos ; Ferrando, Angelo.. - p. 39-44 , 2022

Link: https://doi.org/10.1007/..

14

An Abstract Architecture for Explainable Autonomy in Hazard..:

, In: 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW),

Luckcuck, Matt ; Taylor, Hazel M ; Farrell, Marie - p. 108-113 , 2022

Link: https://doi.org/10.1109/..

15

Integrating Formal Verification and Assurance: An Inspectio..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Bourbouh, Hamza ; Farrell, Marie ; Mavridou, Anastasia... - p. 53-71 , 2021

Link: https://doi.org/10.1007/..