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 25 to 44 of 58 < previous   next >
Issue DateTitleAuthor(s)
2009Offline runtime verification with real-time properties : a case studyColombo, Christian; Pace, Gordon J.; Abela, Patrick
2016On implementing a monitor-oriented programming framework for actor systemsCassar, Ian; Francalanza, Adrian
2017On the complexity of determinizing monitorsAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn
2016On the runtime enforcement of evolving privacy policies in online social networksPace, Gordon J.; Pardo, Raul; Schneider, Gerardo
2015On verifying Hennessy-Milner logic with recursion at runtimeFrancalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2013OSGiLarva : a monitoring framework supporting OSGi’s dynamicityDan, Yufang; Stouls, Nicolas; Colombo, Christian; Frénot, Stéphane
2012PolyLARVA : runtime verification with configurable resource-aware monitoring boundariesColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2013polyLARVA plugin for ErlangGalea, Ivan (2013)
2008A practical approach to runtime verification of real-time properties for Java programsColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2008Practical runtime monitoring with impact guarantees of java programs with real-time constraintsColombo, Christian
2013Reducing instrumentation points in LarvaChircop, Luke (2013)
2009Resource-bounded runtime verification of Java programs with real-time propertiesColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2015Runtime adaptation for actor systemsCassar, Ian; Francalanza, Adrian
2023Runtime monitoring for asynchronous reactive componentsAttard, Duncan Paul (2023)
2010Runtime monitoring of distributed systemsFrancalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2006Runtime monitoring of duration calculus assertions for real-time applicationsD'Emanuele, Karlston (2006)
2006Runtime monitoring of duration calculus assertions for real-time applicationsD’Emanuele, Karlston
2017A runtime monitoring tool for actor-based systemsAttard, Duncan Paul; Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2009Safe runtime verification of real-time propertiesColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2018Securing calls to ethereum smart contracts with static and dynamic analysisAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
Showing results 25 to 44 of 58 < previous   next >