Browsing by Author Colombo, Christian

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 76  next >
Issue DateTitleAuthor(s)
2014Applying runtime verification techniques to an enterprise service busDimech, Gabriel; Colombo, Christian; Francalanza, Adrian
2013-10Applying runtime verification techniques to enterprise service bus architecturesColombo, Christian; Dimech, Gabriel; Francalanza, Adrian
2010An architecture supporting compensation-aware monitoringColombo, Christian; Pace, Gordon J.; Abela, Patrick
2007Aspect-oriented programming runtime-enforcement of temporal properties in security-critical softwareColombo, Christian; Pace, Gordon J.
2016An automata-based approach to evolving privacy policies for social networksPardo, Raul; Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2016Automatically generating runtime monitors from testsCauchi, Abigail; Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2013A case study on graphically modelling and detecting knowledge mobility risksMicallef, Mark; Colombo, Christian
2012-11Combining testing and runtime verificationColombo, Christian
2011A compensating transaction example in twelve notationsColombo, Christian; Pace, Gordon J.
2010Compensation-aware runtime monitoringColombo, Christian; Pace, Gordon J.; Abela, Patrick
2016Compliance checking in the open payments ecosystemAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.; Vella, Brian
2014Comprehensive monitor-oriented compensation programmingColombo, Christian; Pace, Gordon J.
2012Considerations for monitoring highly concurrent systemsMizzi, Ruth; Colombo, Christian; Francalanza, Adrian; Pace, Gordon J.
2017Control-flow residual analysis for symbolic automataAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2015A controlled natural language for business intelligence monitoringColombo, Christian; Grech, Jean Paul; Pace, Gordon J.
2016A controlled natural language for tax fraud detectionCalafato, Aaron; Colombo, Christian; Pace, Gordon J.
2015Device centric monitoring on mobile devicesChircop, Luke; Colombo, Christian; Pace, Gordon J.
2016Device-centric monitoring for mobile device managementChircop, Luke; Colombo, Christian; Pace, Gordon J.
2014-11A domain specific property language for fraud detection to support agile specification developmentCalafato, Aaron; Colombo, Christian; Pace, Gordon J.
2014-11A DSL for business intelligence monitoringColombo, Christian; Grech, Jean Paul; Pace, Gordon J.