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
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 16 (Search time: 0.018 seconds).
previous
1
2
next
Item hits:
Issue Date
Title
Author(s)
2017
Reliability and fault-tolerance by choreographic design
Cassar, Ian
;
Francalanza, Adrian
;
Mezzina, Claudio Antares
;
Tuosto, Emilio
2015
Runtime adaptation for actor systems
Cassar, Ian
;
Francalanza, Adrian
2015
Improving runtime overheads for detectEr
Cassar, Ian
;
Francalanza, Adrian
;
Said, Simon
2016
On implementing a monitor-oriented programming framework for actor systems
Cassar, Ian
;
Francalanza, Adrian
2013-11
The way forward for DETECTER
Francalanza, Adrian
;
Seychell, Aldrin
;
Cassar, Ian
;
Cutajar, Kurt
;
Said, Simon
;
Schembri, Blanche
2014-11
Towards achieving efficient runtime enforcement for component based systems
Cassar, Ian
;
Francalanza, Adrian
2014
On synchronous and asynchronous monitor instrumentation for actor-based systems
Cassar, Ian
;
Francalanza, Adrian
2018
On runtime enforcement via suppressions
Aceto, Luca
;
Cassar, Ian
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
2021
Comparing controlled system synthesis and suppression enforcement
Aceto, Luca
;
Cassar, Ian
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
2021
On bidirectional runtime enforcement
Aceto, Luca
;
Cassar, Ian
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
Discover
Author
16
Francalanza, Adrian
8
Aceto, Luca
8
Ingólfsdóttir, Anna
2
Attard, Duncan Paul
2
Said, Simon
1
Achilleos, Antonis
1
Colombo, Christian
1
Cutajar, Kurt
1
Della Monica, Dario
.
next >
Subject
7
Computer software -- Verification
5
Aspect-oriented programming
4
Computer software -- Testing
3
Component software
3
ERLANG (Computer program language)
3
Object monitors (Computer software)
3
Software engineering
2
Actor (Computer program language)
2
Calculus -- Computer programs
.
next >