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
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 103 (Search time: 0.054 seconds).
previous
1
2
3
4
...
11
next
Item hits:
Issue Date
Title
Author(s)
2016
An automata-based approach to evolving privacy policies for social networks
Pardo, Raul
;
Colombo, Christian
;
Pace, Gordon J.
;
Schneider, Gerardo
2008
A practical approach to runtime verification of real-time properties for Java programs
Colombo, Christian
;
Pace, Gordon J.
;
Schneider, Gerardo
2009
Statistics and runtime verification
Gauci, Andrew
;
Pace, Gordon J.
;
Colombo, Christian
2009
Safe runtime verification of real-time properties
Colombo, Christian
;
Pace, Gordon J.
;
Schneider, Gerardo
2013
A case study on graphically modelling and detecting knowledge mobility risks
Micallef, Mark
;
Colombo, Christian
2010
LarvaStat : monitoring of statistical properties
Colombo, Christian
;
Gauci, Andrew
;
Pace, Gordon J.
2016
Automatically generating runtime monitors from tests
Cauchi, Abigail
;
Chircop, Luke
;
Colombo, Christian
;
Francalanza, Adrian
;
Micallef, Mark
;
Pace, Gordon J.
2018
Industrial experiences with runtime verification of financial transaction systems : lessons learnt and standing challenges
Colombo, Christian
;
Pace, Gordon J.
2013
Extensible technology agnostic runtime verification
Colombo, Christian
;
Francalanza, Adrian
;
Mizzi, Ruth
;
Pace, Gordon J.
2016
Device-centric monitoring for mobile device management
Chircop, Luke
;
Colombo, Christian
;
Pace, Gordon J.
Discover
Author
5
Bellizzi, Jennifer
5
Mizzi, Ruth
4
Abela, Patrick
4
Dimech, Gabriel
3
Abela, Robert
3
Ahrendt, Wolfgang
3
Bartocci, Ezio
3
Curmi, Axel
3
Grech, Jean Paul
.
< previous
next >
Subject
32
Computer software -- Verification
29
Computer software -- Development
22
Aspect-oriented programming
20
Real-time data processing
16
Computer programs -- Verification
14
Computer software -- Security mea...
14
Software engineering
10
Computer software -- Testing
9
Autonomous distributed systems
.
next >