Browsing by Subject Real-time data processing

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 39  next >
Issue DateTitleAuthor(s)
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
2014Comprehensive monitor-oriented compensation programmingColombo, Christian; Pace, Gordon J.
2008Dynamic analysis overview and a proposed verification tool for temporal properties in security-critical softwareColombo, Christian
2008Dynamic event-based runtime monitoring of real-time and contextual propertiesColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2015Event detection using social sensorsDingli, Alexiei; Mercieca, Loui; Spina, Ronald; Galea, Marco
2014-11Event-based characterisation of temporal properties over system statesColombo, Christian; Pace, Gordon J.; Scicluna, Justine
2014-11Improving Android security through real-time policy enforcementChircop, Luke; Colombo, Christian; Pace, Gordon J.
2015Improving runtime overheads for detectErCassar, Ian; Francalanza, Adrian; Said, Simon
2018Industrial experiences with runtime verification of financial transaction systems : lessons learnt and standing challengesColombo, Christian; Pace, Gordon J.
2015Investigating instrumentation techniques for ESB runtime verificationColombo, Christian; Dimech, Gabriel; Francalanza, Adrian
2009LARVA - safer monitoring of real-time Java programs (tool paper)Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2009LARVA : safer monitoring of real-time Java programs (tool paper)Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2016Log management system for distributed systemsChetcuti, Amos
2015An LTL proof system for runtime verificationCini, Clare; Francalanza, Adrian
2013Monitor-oriented compensation programming through compensating automataColombo, Christian; Pace, Gordon J.
2012A novel view-level target bit rate distribution estimation technique for real-time multi-view video plus depthCordina, Mario; Debono, Carl James
2009Offline runtime verification with real-time properties : a case studyColombo, Christian; Pace, Gordon J.; Abela, Patrick
2016On implementing a monitor-oriented programming framework for actor systemsCassar, Ian; Francalanza, Adrian
2015On verifying Hennessy-Milner logic with recursion at runtimeFrancalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna