Patrick Abela

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 1

Top Topics

Technology Enhanced

Learning Theories

Teaching Practices

Top Venues

Formal Methods Syst. Des.

Publications

Mark O'Connor, Patrick Abela
Supporting Technology-enhanced Teaching Practices for Health Academics. CSEDU (1) (2017)
Christian Colombo, Gordon J. Pace, Patrick Abela
Safer asynchronous runtime monitoring using compensations. Formal Methods Syst. Des. 41 (3) (2012)
Christian Colombo, Gordon J. Pace, Patrick Abela
Compensation-Aware Runtime Monitoring. RV (2010)
Gail Cassar, Patrick Abela
Transactional CSP Processes. CPA (2007)