1. OAR@UM

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 134 to 153 of 183 < previous   next >
Issue DateTitleAuthor(s)
2010Runtime monitoring of distributed systemsFrancalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2021Runtime monitoring processes across blockchainsAzzopardi, Shaun; Ellul, Joshua; 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
2020Runtime verification of contracts with ThemulusAranda Garcia, Alberto; Cambronero, Maria-Emilia; Colombo, Christian; Llana, Luis; Pace, Gordon J.
2017Runtime verification using LarvaColombo, Christian; Pace, Gordon J.
2017Runtime verification using ValourAzzopardi, Shaun; Colombo, Christian; Ebejer, Jean Paul; Mallia, Edward; Pace, Gordon J.
2021Runtime verification: passing on the batonColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2009Safe runtime verification of real-time propertiesColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2012Safer asynchronous runtime monitoring using compensationsColombo, Christian; Pace, Gordon J.; Abela, Patrick
2010Scripting game AI : an alternative approach using embedded languagesCalleja, Andrew; Pace, Gordon J.
2018Securing calls to ethereum smart contracts with static and dynamic analysisAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2000The semantics of verilog using transition system combinatorsPace, Gordon J.
2012-04Separating compensation concerns and programming them with compensating automataColombo, Christian; Pace, Gordon J.
2010A simplified model of QuickCheck automataFalzon, Kevin; Pace, Gordon J.
2009Slowdown invariance of timed regular expressionsBondin, Ingram; Pace, Gordon J.; Colombo, Christian
2018Smart search for Maltese legal professionalsCamilleri, Cassi; Gatt, Albert; Pace, Gordon J.
2013SMock - a test platform for monitoring toolsColombo, Christian; Mizzi, Ruth; Pace, Gordon J.
2005Source-level runtime validation through interval temporal logicD’Emanuele, Karlston; Pace, Gordon J.
2015A specification language for static and runtime verification of data and control propertiesAhrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
Showing results 134 to 153 of 183 < previous   next >