Shaun Azzopardi
Shaun Azzopardi
University of Gothenburg
E-mail confirmado em chalmers.se - Página inicial
Título
Citado por
Citado por
Ano
Contract automata
S Azzopardi, GJ Pace, F Schapachnik, G Schneider
Artificial Intelligence and Law 24 (3), 203-243, 2016
172016
Monitoring smart contracts: Contractlarva and open challenges beyond
S Azzopardi, J Ellul, GJ Pace
International Conference on Runtime Verification, 113-137, 2018
152018
Integrating natural language and formal analysis for legal documents
S Azzopardi, A Gatt, GJ Pace
Slovenian Language Technologies Society, 2016
132016
A model-based approach to combining static and dynamic verification techniques
S Azzopardi, C Colombo, G Pace
International Symposium on Leveraging Applications of Formal Methods, 416-430, 2016
92016
Compliance checking in the open payments ecosystem
S Azzopardi, C Colombo, GJ Pace, B Vella
International Conference on Software Engineering and Formal Methods, 337-343, 2016
72016
Contract automata with reparations
S Azzopardi, GJ Pace, F Schapachnik
JURIX, 2014
72014
Runtime verification using VALOUR
S Azzopardi, C Colombo, JP Ebejer, E Mallia, GJ Pace
University of Malta. Faculty of ICT, 2017
62017
Control-flow residual analysis for symbolic automata
S Azzopardi, C Colombo, GJ Pace
arXiv preprint arXiv:1708.07230, 2017
52017
On Observing Contracts: Deontic Contracts Meet Smart Contracts.
S Azzopardi, GJ Pace, F Schapachnik
JURIX, 21-30, 2018
42018
CLARVA: Model-based Residual Verification of Java Programs.
S Azzopardi, C Colombo, GJ Pace
MODELSWARD, 352-359, 2020
32020
A Technique for Automata-based Verification with Residual Reasoning.
S Azzopardi, C Colombo, GJ Pace
MODELSWARD, 237-248, 2020
22020
Intelligent contract editing
S Azzopardi
Master’s thesis, Department of Computer Science, University of Malta, 2015
22015
Extending contract automata with reparation, hypothetical and conditional clauses
S Azzopardi
Technical report University of Malta, 2014
22014
A Controlled Natural Language for Financial Services Compliance Checking.
S Azzopardi, C Colombo, GJ Pace
CNL, 11-20, 2018
12018
Securing Calls to Ethereum Smart Contracts with Static and Dynamic Analysis
S Azzopardi, C Colombo, G Pace
2018
An intelligent contract editor
S Azzopardi, GJ Pace, A Gatt
University of Malta. Faculty of ICT, 2015
2015
Hot house bad house
S Azzopardi
University of Malta, 2014
2014
Extending Contract Automata with Reparations
S Azzopardi, GJ Pace, F Schapachnik
2014
Residual Control-Flow Static Analysis with Symbolic Automata⋆
S Azzopardi, C Colombo, G Pace
transfer 2, q6, 0
Regulation Specification for Static and Dynamic Verification in the Open Payments Ecosystem⋆
S Azzopardi, C Colombo, G Pace
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20