Browsing by Subject Aspect-oriented programming

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 49  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
2010Compensation-aware runtime monitoringColombo, Christian; Pace, Gordon J.; Abela, Patrick
2014Comprehensive monitor-oriented compensation programmingColombo, Christian; Pace, Gordon J.
2012Considerations for monitoring highly concurrent systemsMizzi, Ruth; Colombo, Christian; Francalanza, Adrian; Pace, Gordon J.
2016Device-centric monitoring for mobile device managementChircop, Luke; Colombo, 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
2017eAOP : an aspect oriented programming framework for ErlangCassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna
2015Extracting runtime monitors from Gherkin specificationsSpiteri, Keith
2012Fast-forward runtime monitoring - an industrial case studyColombo, Christian; Pace, Gordon J.
2015Improving runtime overheads for detectErCassar, Ian; Francalanza, Adrian; Said, Simon
2014-11Improving the Gherkin specification language using aspect-oriented techniquesAquilina Alamango, John; Colombo, Christian; Micallef, Mark
2009LARVA - safer monitoring of real-time Java programs (tool paper)Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2015An LTL proof system for runtime verificationCini, Clare; Francalanza, Adrian
2016A model-based approach to combining static and dynamic verification techniquesAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2013Monitor-oriented compensation programming through compensating automataColombo, Christian; Pace, Gordon J.
2017Monitorability for the Hennessy-Milner logic with recursionFrancalanzaa, Adrian; Aceto, Luca; Ingolfsdottir, Anna
2016A monitoring tool for a branching-time logicAttard, Duncan Paul; Francalanza, Adrian
2009Offline runtime verification with real-time properties : a case studyColombo, Christian; Pace, Gordon J.; Abela, Patrick