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 12 (Search time: 0.115 seconds).
previous
1
2
next
Item hits:
Issue Date
Title
Author(s)
2016
Automatically generating runtime monitors from tests
Cauchi, Abigail
;
Chircop, Luke
;
Colombo, Christian
;
Francalanza, Adrian
;
Micallef, Mark
;
Pace, Gordon J.
2016
A monitoring tool for a branching-time logic
Attard, Duncan Paul
;
Francalanza, Adrian
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.
2015
Runtime adaptation for actor systems
Cassar, Ian
;
Francalanza, Adrian
2015
Synthesising correct concurrent runtime monitors
Francalanza, Adrian
;
Seychell, Aldrin
2015
Improving runtime overheads for detectEr
Cassar, Ian
;
Francalanza, Adrian
;
Said, Simon
2010
Runtime monitoring of distributed systems
Francalanza, Adrian
;
Gauci, Andrew
;
Pace, Gordon J.
2011
Reasoning about explicit resource management
Devries, Edsko
;
Francalanza, Adrian
;
Hennessy, Matthew
2016
On implementing a monitor-oriented programming framework for actor systems
Cassar, Ian
;
Francalanza, Adrian
2018
Introduction to runtime verification
Bartocci, Ezio
;
Falcone, Yliès
;
Francalanza, Adrian
;
Reger, Giles
Discover
Author
4
Cassar, Ian
3
Pace, Gordon J.
2
Aceto, Luca
2
Attard, Duncan Paul
2
Cauchi, Abigail
2
Colombo, Christian
2
Ingólfsdóttir, Anna
2
Micallef, Mark
1
Bartocci, Ezio
.
next >
Subject
10
Computer software -- Verification
9
Aspect-oriented programming
4
Computer software -- Development
3
Autonomous distributed systems
3
Computer network architectures
3
Formal methods (Computer science)
2
Algorithms
2
Computer multitasking
2
Real-time data processing
.
next >