Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 46 (Search time: 0.005 seconds).
Item hits:
Issue DateTitleAuthor(s)
2016Using gherkin to extract tests and monitors for safer medical device interaction designCauchi, Abigail; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2016Device-centric monitoring for mobile device managementChircop, Luke; Colombo, Christian; Pace, Gordon J.
2016Runtime verification for stream processing applicationsColombo, Christian; Pace, Gordon J.; Camilleri, Luke; Dimech, Claire; Farrugia, Reuben A.; Grech, Jean Paul; Magro, Alessio; Sammut, Andrew C.; Zarb Adami, Kristian
2007Aspect-oriented programming runtime-enforcement of temporal properties in security-critical softwareColombo, Christian; Pace, Gordon J.
2014-11Event-based characterisation of temporal properties over system statesColombo, Christian; Pace, Gordon J.; Scicluna, Justine
2014-11A domain specific property language for fraud detection to support agile specification developmentCalafato, Aaron; Colombo, Christian; Pace, Gordon J.
2016Compliance checking in the open payments ecosystemAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.; Vella, Brian
2012PolyLARVA : runtime verification with configurable resource-aware monitoring boundariesColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2015A controlled natural language for business intelligence monitoringColombo, Christian; Grech, Jean Paul; Pace, Gordon J.
2009LARVA - safer monitoring of real-time Java programs (tool paper)Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo