OAR@UM: Browsing OAR@UM

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 7 to 19 of 19 < previous

Issue Date	Title	Author(s)
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.

Showing results 7 to 19 of 19 < previous