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 124  next >
Issue DateTitleAuthor(s)
2013Addressing practical challenges of mutation testingCachia, Mark Anthony; Micallef, Mark; Colombo, Christian
2020-12-03Agnes of GodUniversity of Malta. School of Performing Arts. Department of Theatre Studies; Grima, Tyrone; Pielmeier, John; Colombo, Christian
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
2019Applying runtime verification to group key establishmentColombo, Christian; González Vasco, María Isabel; Vella, Mark Joseph; Zajac, Pavol
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.
2015BYOD for Android - just add JavaButtigieg, Jessica; Vella, Mark Joseph; Colombo, Christian
2013A case study on graphically modelling and detecting knowledge mobility risksMicallef, Mark; Colombo, Christian
2020CLARVA : model-based residual verification of Java programsAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
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.
2018Considering academia-industry projects meta-characteristics in runtime verification designColombo, Christian; Pace, Gordon J.
2018Contracts over smart contracts : recovering from violations dynamicallyColombo, Christian; Ellul, Joshua; Pace, Gordon J.