Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Material Type
Language
Access Rights
Help
OAR@UM Help
FAQs
OAR@UM Policies
Submission Forms
Sign on to:
My OAR@UM
OAR@UM
Search
Search:
All of OAR@UM
Faculty of Information and Communication Technology
Department of Artificial Intelligence
Department of Communications and Computer Engineering
Department of Computer Information Systems
Department of Computer Science
Department of Microelectronics and Nanoelectronics
Dissertations - FacICT
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 13 (Search time: 0.019 seconds).
previous
1
2
next
Item hits:
Issue Date
Title
Author(s)
2016
Contract automata : an operational view of contracts between interactive parties
Azzopardi, Shaun
;
Pace, Gordon J.
;
Schapachnik, Fernando
;
Schneider, Gerardo
2017
Control-flow residual analysis for symbolic automata
Azzopardi, Shaun
;
Colombo, Christian
;
Pace, Gordon J.
2014
Contract automata with reparations
Azzopardi, Shaun
;
Pace, Gordon J.
;
Schapachnik, Fernando
2016
A model-based approach to combining static and dynamic verification techniques
Azzopardi, Shaun
;
Colombo, Christian
;
Pace, Gordon J.
2016
Compliance checking in the open payments ecosystem
Azzopardi, Shaun
;
Colombo, Christian
;
Pace, Gordon J.
;
Vella, Brian
2017
Runtime verification using Valour
Azzopardi, Shaun
;
Colombo, Christian
;
Ebejer, Jean Paul
;
Mallia, Edward
;
Pace, Gordon J.
2016
Reasoning about partial contracts
Azzopardi, Shaun
;
Gatt, Albert
;
Pace, Gordon J.
2021
On the specification and monitoring of timed normative systems
Azzopardi, Shaun
;
Pace, Gordon J.
;
Schapachnik, Fernando
;
Schneider, Gerardo
2021
Runtime monitoring processes across blockchains
Azzopardi, Shaun
;
Ellul, Joshua
;
Pace, Gordon J.
2018
A controlled natural language for financial services compliance checking
Azzopardi, Shaun
;
Colombo, Christian
;
Pace, Gordon J.
Discover
Author
8
Colombo, Christian
3
Schapachnik, Fernando
2
Schneider, Gerardo
1
Ebejer, Jean Paul
1
Ellul, Joshua
1
Gatt, Albert
1
Mallia, Edward
1
Vella, Brian