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
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 106 (Search time: 0.02 seconds).
previous
1
2
3
4
...
11
next
Item hits:
Issue Date
Title
Author(s)
2010
Distributed protocols as behaviours in Erlang
Demicoli, Darren
;
Francalanza, Adrian
2015
Towards a hybrid approach to software verification
Della Monica, Dario
;
Francalanza, Adrian
2016
Preliminary results towards contract monitorability
Vella, Annalizz
;
Francalanza, Adrian
2007
A theory for observational fault tolerance
Francalanza, Adrian
;
Hennessy, Matthew
2016
Automatically generating runtime monitors from tests
Cauchi, Abigail
;
Chircop, Luke
;
Colombo, Christian
;
Francalanza, Adrian
;
Micallef, Mark
;
Pace, Gordon J.
2009
A formal model of provenance in distributed systems
Souilah, Issam
;
Francalanza, Adrian
;
Sassone, Vladimiro
2013
Extensible technology agnostic runtime verification
Colombo, Christian
;
Francalanza, Adrian
;
Mizzi, Ruth
;
Pace, Gordon J.
2012-11
Separation-based reasoning for deterministic channel-passing concurrent programs
Borda, Aimee
;
Francalanza, Adrian
2009
Uniqueness typing for resource management in message-passing concurrency
Devries, Edsko
;
Francalanza, Adrian
;
Hennessy, Matthew
2017
Reliability and fault-tolerance by choreographic design
Cassar, Ian
;
Francalanza, Adrian
;
Mezzina, Claudio Antares
;
Tuosto, Emilio
Discover
Author
4
Bartolo Burlò, Christian
4
Dimech, Gabriel
4
Mizzi, Ruth
4
Scalas, Alceste
4
Tuosto, Emilio
3
Bartocci, Ezio
3
Cini, Clare
3
Della Monica, Dario
3
Devries, Edsko
.
< previous
next >
Subject
40
Computer software -- Verification
22
Software engineering
18
Object monitors (Computer software)
17
Computer software -- Development
17
ERLANG (Computer program language)
16
Aspect-oriented programming
16
Computer logic
13
Autonomous distributed systems
12
Computer multitasking
.
next >