Oisín Sheridan

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

Collaborative distances:

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

2024

FRETting and Formal Modelling: A Mechanical Lung Ventilator.

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

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Adventures in FRET and Specification.

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

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