Transactional CSP Processes. - Gail Cassar; Patrick Abela (CPA, 2007)

Compensation-Aware Runtime Monitoring. - Christian Colombo 001; Gordon J. Pace; Patrick Abela (RV, 2010)

Safer asynchronous runtime monitoring using compensations. - Christian Colombo 001; Gordon J. Pace; Patrick Abela (Formal Methods Syst. Des., 2012)

Supporting Technology-enhanced Teaching Practices for Health Academics. - Mark O'Connor; Patrick Abela (CSEDU (1), 2017)