Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming. - Aaron John Buhagiar; Gordon J. Pace; Jean-Paul Ebejer (QRS, 2017)

Digital Twins for Organ Preservation Devices. - Aaron John Buhagiar; Leo Freitas; William E. Scott III; Peter Gorm Larsen (ISoLA (4), 2022)

Specification-based CSV Support in VDM. - Leo Freitas; Aaron John Buhagiar (CoRR, 2023)

SmartAudits: Applying Timebands to a Medical Device. - Leo Freitas; Aaron John Buhagiar; William E. Scott III (The Practice of Formal Methods (I), 2024)