Aaron John Buhagiar

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

Collaborative distances:

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

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