Browsing by Author Pace, Gordon J.

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 104 to 123 of 156 < previous   next >
Issue DateTitleAuthor(s)
2011Permissions in contracts, a logical insightPace, Gordon J.; Schapachnik, Fernando
2010Playing nomic using a controlled natural languageCamilleri, John J.; Pace, Gordon J.; Rosner, Michael
2012PolyLARVA : runtime verification with configurable resource-aware monitoring boundariesColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2012PolyLARVA : runtime verification with configurable resource-aware monitoring boundariesColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2012PolyLARVA : runtime verification with configurable resource-aware monitoring boundariesColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2013PolyLarva : technology agnostic runtime verificationColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2008A practical approach to runtime verification of real-time properties for Java programsColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2008Proceedings of FLACOS’08Pace, Gordon J.; Schneider, Gerardo
2008Proceedings of the the Seventh International Workshop on Designing Correct Circuits (DCC'08)Pace, Gordon J.; Singh, Satnam
2012Programming compensations for system-monitor synchronisationColombo, Christian; Pace, Gordon J.
2016Reasoning about partial contractsAzzopardi, Shaun; Gatt, Albert; Pace, Gordon J.
2013Recovery within long running transactionsColombo, Christian; Pace, Gordon J.
2008Relaxing goodness is still goodPace, Gordon J.; Schneider, Gerardo
2008Relaxing goodness is still good for SPDIsPace, Gordon J.; Schneider, Gerardo
2009Resource-bounded runtime verification of Java programs with real-time propertiesColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2016-06Run-time monitoring for the diagnosis and recovery of complex physical systemsDe Cataldo, Giacinto; Colombo, Christian; Franco, Antonio; Pace, Gordon J.; Valentino, Gianluca; Vella, Kevin
2010Runtime monitoring of distributed systemsFrancalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2006Runtime validation using interval temporal logicD’Emanuele, Karlston; Pace, Gordon J.
2016Runtime verification for stream processing applicationsColombo, Christian; Pace, Gordon J.; Camilleri, Luke; Dimech, Claire; Farrugia, Reuben A.; Grech, Jean Paul; Magro, Alessio; Sammut, Andrew C.; Zarb Adami, Kristian
2017Runtime verification using LarvaColombo, Christian; Pace, Gordon J.