Login / Signup
Stuart Clancy
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 3
Top Topics
Product Lines
Alternating Time Temporal Logic
Timed Automata
Data Preparation
Top Venues
COMPSAC
Big Data
From Software Engineering to Formal Methods and Tools, and Back
</>
Publications
</>
Ciara Breathnach
,
Rachel Murphy
,
Alexander Schieweck
,
Enda O'Shea
,
Stuart Clancy
,
Tiziana Margaria
Curating History Datasets and Training Materials as OER: An Experience.
COMPSAC
(2023)
Adam J. Doherty
,
Rachel Murphy
,
Alexander Schieweck
,
Stuart Clancy
,
Ciara Breathnach
,
Tiziana Margaria
CensusIRL: Historical census data preparation with MDD support.
Big Data
(2022)
Ciara Breathnach
,
Najhan M. Ibrahim
,
Stuart Clancy
,
Tiziana Margaria
Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data.
From Software Engineering to Formal Methods and Tools, and Back
(2019)