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-10 of 14 (Search time: 0.102 seconds).
previous
1
2
next
Item hits:
Issue Date
Title
Author(s)
2013
A case study on graphically modelling and detecting knowledge mobility risks
Micallef, Mark
;
Colombo, Christian
2015
Lessons learnt from using DSLs for automated software testing
Micallef, Mark
;
Colombo, Christian
2013
Towards incremental mutation testing
Cachia, Mark Anthony
;
Micallef, Mark
;
Colombo, Christian
2014-11
Using DSLs for software testing
Micallef, Mark
;
Colombo, Christian
2011
An event-driven language for cartographic modelling of knowledge in software development organisations
Micallef, Mark
;
Colombo, Christian
2016
Compliance checking in the open payments ecosystem
Azzopardi, Shaun
;
Colombo, Christian
;
Pace, Gordon J.
;
Vella, Brian
2019
First international competition on runtime verification : rules, benchmarks, tools, and final results of CRV 2014
Bartocci, Ezio
;
Falcone, Yliès
;
Bonakdarpour, Borzoo
;
Colombo, Christian
;
Decker, Normann
;
Havelund, Klaus
;
Joshi, Yogi
;
Klaedtke, Felix
;
Milewicz, Reed
;
Reger, Giles
;
Rosu, Grigore
;
Signoles, Julien
;
Thoma, Daniel
;
Zalinescu, Eugen
;
Zhang, Yi
2018
Considering academia-industry projects meta-characteristics in runtime verification design
Colombo, Christian
;
Pace, Gordon J.
2018
Runtime verification
Colombo, Christian
;
Leucker, Martin
2018
COST Action IC1402 runtime verification beyond monitoring
Colombo, Christian
;
Falcone, Yliès
;
Leucker, Martin
;
Reger, Giles
;
Sanchez, Cesar
;
Schneider, Gerardo
;
Stolz, Volker
Discover
Author
5
Micallef, Mark
3
Falcone, Yliès
3
Leucker, Martin
2
Mark Joseph
2
Pace, Gordon J.
2
Reger, Giles
2
Sanchez, Cesar
2
Schneider, Gerardo
2
Stolz, Volker
.
next >
Subject
5
Computer software -- Verification
4
Computer software -- Security mea...
2
Computer programs -- Testing
2
Computer software -- Development
2
Domain-specific programming langu...
2
Knowledge representation (Informa...
2
Mobile computing
2
Software architecture
1
Agile software development
.
next >