Patrick Abela

According to our database, Patrick Abela authored at least 4 papers between 2007 and 2017.

Collaborative distances:

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

2017

Supporting Technology-enhanced Teaching Practices for Health Academics.

Mark O'Connor, Patrick Abela

Proceedings of the CSEDU 2017, 2017

2012

Safer asynchronous runtime monitoring using compensations.

Christian Colombo, Gordon J. Pace, Patrick Abela

Formal Methods Syst. Des., 2012

2010

Compensation-Aware Runtime Monitoring.

Christian Colombo, Gordon J. Pace, Patrick Abela

Proceedings of the Runtime Verification - First International Conference, 2010

2007

Transactional CSP Processes.

Gail Cassar, Patrick Abela

Proceedings of the 30th Communicating Process Architectures Conference, 2007