EDBT 2026 Demo / reviewers in the wild / expert
Oisín Sheridan
dblp:304/5062
· DBLP profile ↗
6ranked-venue papers
3as first author
6since 2021 · last 2025
0000-0002-8613-2500ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 6 · 3 first-author · 6 since 2021Theory of computation · 3 · 2 first-author · 3 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Sharper Specs for Smarter Drones: Formalising Requirements with FRET
Oisín Sheridan, Leandro Buss Becker, Marie Farrell, Matt Luckcuck, Rosemary Monahan |
REFSQ | 1 |
| 2024 | Adventures in FRET and Specification
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan |
ISoLA (3) | 5 |
| 2024 | FRETting and Formal Modelling: A Mechanical Lung Ventilator
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan |
ABZ | 5 |
| 2023 | Exploring a Methodology for Formal Verification of Safety-Critical Systems
Oisín Sheridan |
ABZ | 1 |
| 2022 | A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller
Oisín Sheridan, Rosemary Monahan, Matt Luckcuck |
IFM | 1 |
| 2022 | FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller
Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan |
REFSQ | 3 |