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 19 to 38 of 58 < previous next >

Issue Date	Title	Author(s)
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)
2008	A practical approach to runtime verification of real-time properties for Java programs	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2008	Practical runtime monitoring with impact guarantees of java programs with real-time constraints	Colombo, Christian
2013	Reducing instrumentation points in Larva	Chircop, Luke (2013)
2009	Resource-bounded runtime verification of Java programs with real-time properties	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2015	Runtime adaptation for actor systems	Cassar, Ian; Francalanza, Adrian
2023	Runtime monitoring for asynchronous reactive components	Attard, Duncan Paul (2023)

Showing results 19 to 38 of 58 < previous next >