1. OAR@UM

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 10 to 29 of 124 < previous   next >
Issue DateTitleAuthor(s)
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.
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.
2018A controlled natural language for financial services compliance checkingAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2016A controlled natural language for tax fraud detectionCalafato, Aaron; Colombo, Christian; Pace, Gordon J.
2019COST Action IC 1402 ArVI : runtime verification beyond monitoring - activity report of working group 1Ahrendt, Wolfgang; Artho, Cyrille; Colombo, Christian; Falcone, Yliès; Krstić, Srđan; Leucker, Martin; Lorber, Florian; Lourenço, Joa̋o M.; Mariani, Leonardo; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker
2018COST Action IC1402 runtime verification beyond monitoringColombo, Christian; Falcone, Yliès; Leucker, Martin; Reger, Giles; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker
2022D-Cloud-Collector : admissible forensic evidence from mobile cloud storageVella, Mark Joseph; Colombo, Christian
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.
Showing results 10 to 29 of 124 < previous   next >