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
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 15 (Search time: 0.021 seconds).
previous
1
2
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
2009
Statistics and runtime verification
Gauci, Andrew
;
Pace, Gordon J.
;
Colombo, Christian
2016
Device-centric monitoring for mobile device management
Chircop, Luke
;
Colombo, Christian
;
Pace, Gordon J.
2013
SMock - a test platform for monitoring tools
Colombo, Christian
;
Mizzi, Ruth
;
Pace, Gordon J.
2012
A unified approach for static and runtime verification : framework and applications
Ahrendt, Wolfgang
;
Pace, Gordon J.
;
Schneider, Gerardo
2016
Using gherkin to extract tests and monitors for safer medical device interaction design
Cauchi, Abigail
;
Colombo, Christian
;
Francalanza, Adrian
;
Micallef, Mark
;
Pace, Gordon J.
2013
Monitor-oriented compensation programming through compensating automata
Colombo, Christian
;
Pace, Gordon J.
2016
On the runtime enforcement of evolving privacy policies in online social networks
Pace, Gordon J.
;
Pardo, Raul
;
Schneider, Gerardo
2012
Fast-forward runtime monitoring - an industrial case study
Colombo, Christian
;
Pace, Gordon J.
2016
A model-based approach to combining static and dynamic verification techniques
Azzopardi, Shaun
;
Colombo, Christian
;
Pace, Gordon J.
Discover
Author
10
Colombo, Christian
5
Schneider, Gerardo
3
Ahrendt, Wolfgang
3
Francalanza, Adrian
2
Chimento, Jesús Mauricio
2
Gauci, Andrew
2
Mizzi, Ruth
2
Pardo, Raul
1
Abela, Patrick
.
next >
Subject
13
Computer software -- Testing
10
Autonomous distributed systems
9
Computer network architectures
5
Computer software -- Development
3
Real-time data processing
1
Algorithms
1
Computer science
1
Computer security
1
Formal methods (Computer science)
.
next >