1. OAR@UM

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 5 to 24 of 58 < previous   next >
Issue DateTitleAuthor(s)
2008Code profiling for typical scenario testingMifsud, Clinton Mario (2008)
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.
2009Counter example visualization for runtime verificationCachia, Matthew (2009)
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; Ingólfsdóttir, Anna
2015Extracting runtime monitors from Gherkin specificationsSpiteri, Keith
2013Facilitating and extending software testing through monitoring techniquesColombo, Christian; Micallef, Mark; Pace, Gordon J.
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 recursionFrancalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2016A monitoring tool for a branching-time logicAttard, Duncan Paul; Francalanza, Adrian
Showing results 5 to 24 of 58 < previous   next >