Aaron John Buhagiar

According to our database, Aaron John Buhagiar authored at least 4 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

SmartAudits: Applying Timebands to a Medical Device.

Leo Freitas, Aaron John Buhagiar, William E. Scott III

Proceedings of the Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I, 2024

2023

Specification-based CSV Support in VDM.

Leo Freitas, Aaron John Buhagiar

CoRR, 2023

2022

Digital Twins for Organ Preservation Devices.

Aaron John Buhagiar, Leo Freitas, William E. Scott III, Peter Gorm Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

2017

Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming.

Aaron John Buhagiar, Gordon J. Pace, Jean-Paul Ebejer

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017