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 58  next >
Issue DateTitleAuthor(s)
2019Applying runtime verification to group key establishmentColombo, Christian; González Vasco, María Isabel; Vella, Mark Joseph; Zajac, Pavol
2007Aspect-oriented programming runtime-enforcement of temporal properties in security-critical softwareColombo, Christian; Pace, Gordon J.
2013Augmenting synchronous and asynchronous monitors in ELARVAGalea Valletta, Clifford (2013)
2016An automata-based approach to evolving privacy policies for social networksPardo, Raul; Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
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