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 1 to 20 of 183  next >
Issue DateTitleAuthor(s)
2008Access to circuit generators in embedded hdlsPace, Gordon J.; Tabone, Christian
2008Algorithmic analysis of polygonal hybrid systems, part II : phase portrait and toolsAsarin, Eugene; Pace, Gordon J.; Schneider, Gerardo; Yovine, Sergio
2018AlkylVM : a virtual machine for smart contract blockchain connected internet of thingsEllul, Joshua; Pace, Gordon J.
2010An architecture supporting compensation-aware monitoringColombo, Christian; Pace, Gordon J.; Abela, Patrick
2007Aspect-oriented programming runtime-enforcement of temporal properties in security-critical softwareColombo, Christian; Pace, Gordon J.
2016An automata-based approach to evolving privacy policies for social networksPardo, Raul; Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2009Automatic conflict detection on contractsFenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2008Automatic definition extraction using parser combinatorsBorg, Claudia; Pace, Gordon J.
2010Automatic grammar rule extraction and ranking for definitionsBorg, Claudia; Rosner, Michael; Pace, Gordon J.
2007Automatic interface generation for compositional verificationSpina, Sandro; Pace, Gordon J.; Lang, Frederic
2006Automatic interface generation for enumerative model checkingSpina, Sandro; Pace, Gordon J.
2016Automatically generating runtime monitors from testsCauchi, Abigail; Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2003Calculating τ-confluence compositionallyPace, Gordon J.; Lang, Frederic; Mateescu, Radu
2017A calculus supporting contract reasoning and monitoringCambronero, Maria-Emilia; Llana, Luis; Pace, Gordon J.
2009Challenges in the specification of full contractsPace, Gordon J.; Schneider, Gerardo
2009CLAN : a tool for contract analysis and conflict discoveryFenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2020CLARVA : model-based residual verification of Java programsAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2012Combining testing and runtime verification techniquesFalzon, Kevin; Pace, Gordon J.
2011A compensating transaction example in twelve notationsColombo, Christian; Pace, Gordon J.
2010Compensation-aware runtime monitoringColombo, Christian; Pace, Gordon J.; Abela, Patrick