Oisín Sheridan

13 papers B 3C 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Adventures in FRET and Specification.
CoRR
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
2025 — conf
Refactoring in Requirements Engineering: Exploring a methodology for formal verification of safety-critical systems.
REFSQ Workshops
Oisín Sheridan
2025 B conf
Sharper Specs for Smarter Drones: Formalising Requirements with FRET.
REFSQ
Oisín Sheridan, Leandro Buss Becker, Marie Farrell, Matt Luckcuck, Rosemary Monahan
2024 — conf
Adventures in FRET and Specification.
ISoLA (3)
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
2024 C conf
FRETting and Formal Modelling: A Mechanical Lung Ventilator.
ABZ
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
2023 C conf
Exploring a Methodology for Formal Verification of Safety-Critical Systems.
ABZ
Oisín Sheridan
2022 B conf
A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller.
IFM
Oisín Sheridan, Rosemary Monahan, Matt Luckcuck
2022 B conf
FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller.
REFSQ
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
2022 — conf
Towards Refactoring FRETish Requirements.
NFM
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
2022 J jnl
Towards Refactoring FRETish Requirements.
CoRR
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
2022 J jnl
Why just FRET when you can Refactor? Retuning FRETISH Requirements.
CoRR
Matt Luckcuck, Marie Farrell, Oisín Sheridan
2021 J jnl
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements.
CoRR
Matt Luckcuck, Marie Farrell, Oisín Sheridan, Rosemary Monahan
2021 J jnl
FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller.
CoRR
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan