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 21 to 40 of 183 < previous   next >
Issue DateTitleAuthor(s)
2010Compensations in an imperative programming languageFrancalanza, Adrian; Pace, Gordon J.; Vella, Lydia
2016Compliance checking in the open payments ecosystemAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.; Vella, Brian
2006A compositional algorithm for parallel model checking of polygonal hybrid systemsPace, Gordon J.; Schneider, Gerardo
2014Comprehensive monitor-oriented compensation programmingColombo, Christian; Pace, Gordon J.
2008Computation and visualisation of phase portraits for model checking SPDIsPace, Gordon J.; Schneider, Gerardo
2003Computer-aided verification : how to trust a machine with your lifePace, Gordon J.
2015Conditional permissions in contractsPace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo
2008Conflict analysis of deontic contractsFenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2012Considerations for monitoring highly concurrent systemsMizzi, Ruth; Colombo, Christian; Francalanza, Adrian; Pace, Gordon J.
2018Considering academia-industry projects meta-characteristics in runtime verification designColombo, Christian; Pace, Gordon J.
2016Contract automata : an operational view of contracts between interactive partiesAzzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo
2014Contract automata with reparationsAzzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando
2012Contracts for interacting two-party systemsPace, Gordon J.; Schapachnik, Fernando
2018Contracts over smart contracts : recovering from violations dynamicallyColombo, Christian; Ellul, Joshua; Pace, Gordon J.
2017Control-flow residual analysis for symbolic automataAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2010A controlled language for the specification of contractsPace, Gordon J.; Rosner, Michael
2015A controlled natural language for business intelligence monitoringColombo, Christian; Grech, Jean Paul; Pace, Gordon J.
2018A controlled natural language for financial services compliance checkingAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2016A controlled natural language for tax fraud detectionCalafato, Aaron; Colombo, Christian; Pace, Gordon J.
2010Controlled natural language in a game for legal assistanceCamilleri, John J.; Pace, Gordon J.; Rosner, Michael