1. OAR@UM

Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 19 (Search time: 0.011 seconds).
Item hits:
Issue DateTitleAuthor(s)
2006Runtime validation using interval temporal logicD’Emanuele, Karlston; Pace, Gordon J.
2007Aspect-oriented programming runtime-enforcement of temporal properties in security-critical softwareColombo, Christian; Pace, Gordon J.
2014-11Event-based characterisation of temporal properties over system statesColombo, Christian; Pace, Gordon J.; Scicluna, Justine
2012PolyLARVA : runtime verification with configurable resource-aware monitoring boundariesColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2009LARVA - safer monitoring of real-time Java programs (tool paper)Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2009Offline runtime verification with real-time properties : a case studyColombo, Christian; Pace, Gordon J.; Abela, Patrick
2014-11Improving Android security through real-time policy enforcementChircop, Luke; Colombo, Christian; Pace, Gordon J.
2009Resource-bounded runtime verification of Java programs with real-time propertiesColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2008A practical approach to runtime verification of real-time properties for Java programsColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2009Safe runtime verification of real-time propertiesColombo, Christian; Pace, Gordon J.; Schneider, Gerardo

Discover