Oisn Sheridan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2022–2025
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | REFSQ | Refactoring in Requirements Engineering: Exploring a methodology for formal verification of safety-critical systems. | Oisn Sheridan |
| 2025 | REFSQ | Sharper Specs for Smarter Drones: Formalising Requirements with FRET. | Oisn Sheridan, Leandro Buss Becker, Marie Farrell, Matt Luckcuck, Rosemary Monahan |
| 2024 | ISoLA | Adventures in FRET and Specification. | Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisn Sheridan |
| 2022 | IFM | A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller. | Oisn Sheridan, Rosemary Monahan, Matt Luckcuck |
| 2022 | REFSQ | FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller. | Marie Farrell, Matt Luckcuck, Oisn Sheridan, Rosemary Monahan |