OAR@UM: Browsing 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 1 to 20 of 58 next >

Issue Date	Title	Author(s)
2019	Applying runtime verification to group key establishment	Colombo, Christian; González Vasco, María Isabel; Vella, Mark Joseph; Zajac, Pavol
2007	Aspect-oriented programming runtime-enforcement of temporal properties in security-critical software	Colombo, Christian; Pace, Gordon J.
2013	Augmenting synchronous and asynchronous monitors in ELARVA	Galea Valletta, Clifford (2013)
2016	An automata-based approach to evolving privacy policies for social networks	Pardo, Raul; Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2008	Code profiling for typical scenario testing	Mifsud, Clinton Mario (2008)
2010	Compensation-aware runtime monitoring	Colombo, Christian; Pace, Gordon J.; Abela, Patrick
2014	Comprehensive monitor-oriented compensation programming	Colombo, Christian; Pace, Gordon J.
2012	Considerations for monitoring highly concurrent systems	Mizzi, Ruth; Colombo, Christian; Francalanza, Adrian; Pace, Gordon J.
2009	Counter example visualization for runtime verification	Cachia, Matthew (2009)
2016	Device-centric monitoring for mobile device management	Chircop, Luke; Colombo, Christian; Pace, Gordon J.
2008	Dynamic analysis overview and a proposed verification tool for temporal properties in security-critical software	Colombo, Christian
2008	Dynamic event-based runtime monitoring of real-time and contextual properties	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2017	eAOP : an aspect oriented programming framework for Erlang	Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2015	Extracting runtime monitors from Gherkin specifications	Spiteri, Keith
2013	Facilitating and extending software testing through monitoring techniques	Colombo, Christian; Micallef, Mark; Pace, Gordon J.
2012	Fast-forward runtime monitoring - an industrial case study	Colombo, Christian; Pace, Gordon J.
2015	Improving runtime overheads for detectEr	Cassar, Ian; Francalanza, Adrian; Said, Simon
2014-11	Improving the Gherkin specification language using aspect-oriented techniques	Aquilina Alamango, John; Colombo, Christian; Micallef, Mark
2009	LARVA - safer monitoring of real-time Java programs (tool paper)	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2015	An LTL proof system for runtime verification	Cini, Clare; Francalanza, Adrian

Showing results 1 to 20 of 58 next >