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 145 to 164 of 183 < previous   next >
Issue DateTitleAuthor(s)
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
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, Jesús Mauricio; Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2015StaRVOOrS : unifying static and runtime verification of JavaAhrendt, Wolfgang; Chimento, Jesús 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.
2019A survey of challenges for runtime verification from advanced application domains (beyond software)Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, Joa̋o M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander
2019A survey of challenges for runtime verification from advanced application domains (beyond software)Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, Joa̋o M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander