Browsing by Subject Component software
Showing results 1 to 9 of 9
Issue Date | Title | Author(s) |
2021 | Comparing controlled system synthesis and suppression enforcement | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna |
2014 | Determining robustness of synchronous programs under stuttering | Bondin, Ingram; Pace, Gordon J. |
2014 | On synchronous and asynchronous monitor instrumentation for actor-based systems | Cassar, Ian; Francalanza, Adrian |
2013 | PolyLarva : technology agnostic runtime verification | Colombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J. |
2004 | Report on the design of component model and composition technology for the Datalog and Prolog variants of the REWERSE languages | Savga, Ilie; Abela, Charlie; Aßmann, Uwe |
2012 | Safer asynchronous runtime monitoring using compensations | Colombo, Christian; Pace, Gordon J.; Abela, Patrick |
2013 | Static and dynamic analysis for robustness under slowdown | Bondin, Ingram; Pace, Gordon J. |
2014-11 | Towards achieving efficient runtime enforcement for component based systems | Cassar, Ian; Francalanza, Adrian |
2018 | Volatile memory-centric investigation of SMS-hijacked phones : a Pushbullet case study | Vella, Mark Joseph; Rudramurthy, Vishwas |