Issue Date | Title | Author(s) |
2020 | CLARVA : model-based residual verification of Java programs | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
2016 | Compliance checking in the open payments ecosystem | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.; Vella, Brian |
2016 | Contract automata : an operational view of contracts between interactive parties | Azzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo |
2014 | Contract automata with reparations | Azzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando |
2017 | Control-flow residual analysis for symbolic automata | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
2018 | A controlled natural language for financial services compliance checking | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
2015 | ERPs for all : factors contributing to the successful implementation of ERP systems in Maltese SMEs | Azzopardi, Shaun |
2015 | ERPs for all : factors contributing to the successful implementation of ERP systems in Maltese SMEs | Azzopardi, Shaun |
2014-09 | Hot house bad house | Azzopardi, Shaun |
2016 | Integrating natural language and formal analysis for legal documents | Azzopardi, Shaun; Gatt, Albert; Pace, Gordon J. |
2015 | An intelligent contract editor | Azzopardi, Shaun; Pace, Gordon J.; Gatt, Albert |
2016 | A model-based approach to combining static and dynamic verification techniques | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
2021 | Model-based static and runtime verification for ethereum smart contracts | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
2021 | On the specification and monitoring of timed normative systems | Azzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo |
2016 | Reasoning about partial contracts | Azzopardi, Shaun; Gatt, Albert; Pace, Gordon J. |
2021 | Runtime monitoring processes across blockchains | Azzopardi, Shaun; Ellul, Joshua; Pace, Gordon J. |
2017 | Runtime verification using Valour | Azzopardi, Shaun; Colombo, Christian; Ebejer, Jean Paul; Mallia, Edward; Pace, Gordon J. |
2018 | Securing calls to ethereum smart contracts with static and dynamic analysis | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
2020 | A technique for automata-based verification with residual reasoning | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |