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
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-8 of 8 (Search time: 0.007 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2017
Control-flow residual analysis for symbolic automata
Azzopardi, Shaun
;
Colombo, Christian
;
Pace, Gordon J.
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.
2018
A controlled natural language for financial services compliance checking
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.
2020
A technique for automata-based verification with residual reasoning
Azzopardi, Shaun
;
Colombo, Christian
;
Pace, Gordon J.
2020
CLARVA : model-based residual verification of Java programs
Azzopardi, Shaun
;
Colombo, Christian
;
Pace, Gordon J.
Discover
Author
8
Pace, Gordon J.
1
Ebejer, Jean Paul
1
Mallia, Edward
1
Vella, Brian
Subject
4
Computer software -- Verification
3
Computer software -- Security mea...
1
Aspect-oriented programming
1
Compliance
1
Compliant platforms
1
Computer network architectures
1
Computer programs -- Verification
1
Computer software -- Testing
1
Cryptography
.
next >