Browsing by Author Azzopardi, Shaun

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 19 of 19
Issue DateTitleAuthor(s)
2020CLARVA : model-based residual verification of Java programsAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2016Compliance checking in the open payments ecosystemAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.; Vella, Brian
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
2017Control-flow residual analysis for symbolic automataAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2018A controlled natural language for financial services compliance checkingAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2015ERPs for all : factors contributing to the successful implementation of ERP systems in Maltese SMEsAzzopardi, Shaun
2015ERPs for all : factors contributing to the successful implementation of ERP systems in Maltese SMEsAzzopardi, Shaun
2014-09Hot house bad houseAzzopardi, Shaun
2016Integrating natural language and formal analysis for legal documentsAzzopardi, Shaun; Gatt, Albert; Pace, Gordon J.
2015An intelligent contract editorAzzopardi, Shaun; Pace, Gordon J.; Gatt, Albert
2016A model-based approach to combining static and dynamic verification techniquesAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2021Model-based static and runtime verification for ethereum smart contractsAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2021On the specification and monitoring of timed normative systemsAzzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo
2016Reasoning about partial contractsAzzopardi, Shaun; Gatt, Albert; Pace, Gordon J.
2021Runtime monitoring processes across blockchainsAzzopardi, Shaun; Ellul, Joshua; Pace, Gordon J.
2017Runtime verification using ValourAzzopardi, Shaun; Colombo, Christian; Ebejer, Jean Paul; Mallia, Edward; Pace, Gordon J.
2018Securing calls to ethereum smart contracts with static and dynamic analysisAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2020A technique for automata-based verification with residual reasoningAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.