Browsing by Author Abela, Patrick
Showing results 1 to 6 of 6
| Issue Date | Title | Author(s) |
| 2010 | An architecture supporting compensation-aware monitoring | Colombo, Christian; Pace, Gordon J.; Abela, Patrick |
| 2010 | Compensation-aware runtime monitoring | Colombo, Christian; Pace, Gordon J.; Abela, Patrick |
| 2003 | Implementing “The MATRIX” | Abela, Patrick |
| 2009 | Offline runtime verification with real-time properties : a case study | Colombo, Christian; Pace, Gordon J.; Abela, Patrick |
| 2012 | Safer asynchronous runtime monitoring using compensations | Colombo, Christian; Pace, Gordon J.; Abela, Patrick |
| 2007 | Transactional CSP processes | Cassar, Gail; Abela, Patrick |
