Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data. - Ciara Breathnach; Najhan M. Ibrahim; Stuart Clancy; Tiziana Margaria (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Big Data Interoperability Framework for Malaysian Public Open Data. - Najhan Muhamad Ibrahim; Amir Aatieff Amir Hussin; Khairul Azmi Hassan; Ciara Breathnach (IRICT, 2020)