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 Computer Science
Dissertations - FacICTCS
Scholarly Works - FacICTCS
for
Current filters:
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.018 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
13
Pace, Gordon J.
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
.
next >
Subject
4
Computer software -- Verification
4
Deontic logic
3
Computer software -- Security mea...
3
Contracts
3
Machine theory
2
Computer networks -- Monitoring
2
Conditional expectations (Mathema...
1
Aspect-oriented programming
1
Blockchains (Databases) -- Case s...
.
next >