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 125 to 144 of 156 < previous   next >
Issue DateTitleAuthor(s)
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.
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
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, Jesus Mauricio; Pace, Gordon J.; Schneider, Gerardo
2002SPeeDI - a verification tool for polygonal hybrid systemsAsarin, Eugene; Pace, Gordon J.; Schneider, Gerardo; Yovine, Sergio
2016StaRVOOrS - episode II : strengthen and distribute the forceAhrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2015StaRVOOrS : a tool for combined static and runtime verification of JavaChimento, Jesus Mauricio; Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2015StaRVOOrS : unifying static and runtime verification of JavaAhrendt, Wolfgang; Chimento, Jesus Mauricio; Pace, Gordon J.; Schneider, Gerardo
2006Static analysis for state-space reduction of polygonal hybrid systemsPace, Gordon J.; Schneider, Gerardo
2006Static analysis of SPDIs for state-space reductionPace, Gordon J.; Schneider, Gerardo
2013Static and dynamic analysis for robustness under slowdownBondin, Ingram; Pace, Gordon J.
2009Statistics and runtime verificationGauci, Andrew; Pace, Gordon J.; Colombo, Christian
2004Support vector machines with profile-based kernels for remote protein homology detectionBusuttil, Steven; Abela, John; Pace, Gordon J.
2013-11Synthesising implicit contractsPace, Gordon J.; Schapachnik, Fernando