Oisín Sheridan

According to our database, Oisín Sheridan authored at least 6 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Exploring a Methodology for Formal Verification of Safety-Critical Systems.

Oisín Sheridan

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

2022

Why just FRET when you can Refactor? Retuning FRETISH Requirements.

Matt Luckcuck, Marie Farrell, Oisín Sheridan

CoRR, 2022

FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller.

Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2022

Towards Refactoring FRETish Requirements.

Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller.

Oisín Sheridan, Rosemary Monahan, Matt Luckcuck

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements.

Matt Luckcuck, Marie Farrell, Oisín Sheridan, Rosemary Monahan

CoRR, 2021