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 13 to 32 of 58 < previous next >

Issue Date	Title	Author(s)
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
2016	A model-based approach to combining static and dynamic verification techniques	Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2013	Monitor-oriented compensation programming through compensating automata	Colombo, Christian; Pace, Gordon J.
2017	Monitorability for the Hennessy-Milner logic with recursion	Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2016	A monitoring tool for a branching-time logic	Attard, Duncan Paul; Francalanza, Adrian
2009	Offline runtime verification with real-time properties : a case study	Colombo, Christian; Pace, Gordon J.; Abela, Patrick
2016	On implementing a monitor-oriented programming framework for actor systems	Cassar, Ian; Francalanza, Adrian
2017	On the complexity of determinizing monitors	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn
2016	On the runtime enforcement of evolving privacy policies in online social networks	Pace, Gordon J.; Pardo, Raul; Schneider, Gerardo
2015	On verifying Hennessy-Milner logic with recursion at runtime	Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2013	OSGiLarva : a monitoring framework supporting OSGi’s dynamicity	Dan, Yufang; Stouls, Nicolas; Colombo, Christian; Frénot, Stéphane
2012	PolyLARVA : runtime verification with configurable resource-aware monitoring boundaries	Colombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2013	polyLARVA plugin for Erlang	Galea, Ivan (2013)

Showing results 13 to 32 of 58 < previous next >