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 156 < previous   next >
Issue DateTitleAuthor(s)
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.
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
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.
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
2010-06A controlled natural language interface for electronic contractsCamilleri, John J.; Pace, Gordon J.; Rosner, Mike
1999Correct hardware compilation with Verilog HDLPace, Gordon J.
2004Counter-example generation in symbolic abstract model-checkingPace, Gordon J.; Halbwachs, Nicolas; Raymond, Pascal
2007Creative processes in policy making : a case for context in foresightCassingena Harper, Jennifer; Pace, Gordon J.