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-9 of 9 (Search time: 0.098 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
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.
2015
Lessons learnt from using DSLs for automated software testing
Micallef, Mark
;
Colombo, Christian
2012
Fast-forward runtime monitoring - an industrial case study
Colombo, Christian
;
Pace, Gordon J.
2012
Considerations for monitoring highly concurrent systems
Mizzi, Ruth
;
Colombo, Christian
;
Francalanza, Adrian
;
Pace, Gordon J.
2015
Investigating instrumentation techniques for ESB runtime verification
Colombo, Christian
;
Dimech, Gabriel
;
Francalanza, Adrian
2010
Compensation-aware runtime monitoring
Colombo, Christian
;
Pace, Gordon J.
;
Abela, Patrick
2014
Verifying web applications : from business level specifications to automated model-based testing
Colombo, Christian
;
Micallef, Mark
;
Scerri, Mark
2016
Organising LTL monitors over distributed systems with a global clock
Colombo, Christian
;
Falcone, Yliès
Discover
Author
5
Pace, Gordon J.
2
Francalanza, Adrian
2
Micallef, Mark
1
Abela, Patrick
1
Chircop, Luke
1
Dimech, Gabriel
1
Falcone, Yliès
1
Gauci, Andrew
1
Mizzi, Ruth
.
next >
Subject
6
Computer software -- Verification
5
Aspect-oriented programming
3
Computer network architectures
3
Computer software -- Development
3
Computer software -- Testing
2
Formal methods (Computer science)
1
Algorithms
1
Communication models
1
Computational linguistics
.
next >