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 11 (Search time: 0.017 seconds).
previous
1
2
next
Item hits:
Issue Date
Title
Author(s)
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.
2013
PolyLarva : technology agnostic runtime verification
Colombo, Christian
;
Francalanza, Adrian
;
Mizzi, Ruth
;
Pace, Gordon J.
2014
Lifelong verification of software systems
Colombo, Christian
;
Micallef, Mark
;
Pace, Gordon J.
2017
Runtime verification using Larva
Colombo, Christian
;
Pace, Gordon J.
2010
Dynamic automata in Larva
Cassar, John Paul
;
Colombo, Christian
;
Pace, Gordon J.
2014-11
Event-based characterisation of temporal properties over system states
Colombo, Christian
;
Pace, Gordon J.
;
Scicluna, Justine
2017
Runtime verification using Valour
Azzopardi, Shaun
;
Colombo, Christian
;
Ebejer, Jean Paul
;
Mallia, Edward
;
Pace, Gordon J.
2009
LARVA - safer monitoring of real-time Java programs (tool paper)
Colombo, Christian
;
Pace, Gordon J.
;
Schneider, Gerardo
2015
Device centric monitoring on mobile devices
Chircop, Luke
;
Colombo, Christian
;
Pace, Gordon J.
Discover
Author
2
Chircop, Luke
2
Francalanza, Adrian
2
Micallef, Mark
1
Azzopardi, Shaun
1
Cassar, John Paul
1
Cauchi, Abigail
1
Ebejer, Jean Paul
1
Ellul, Joshua
1
Gauci, Andrew
.
next >
Subject
4
Computer software -- Development
2
Electronic funds transfers -- Sec...
2
Event processing (Computer science)
2
Programming languages (Electronic...
2
Real-time data processing
2
Scripting languages (Computer sci...
1
Aspect-oriented programming
1
Business intelligence
1
Component software
.
next >