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 41-50 of 106 (Search time: 0.069 seconds).
previous
1
...
2
3
4
5
6
7
8
...
11
next
Item hits:
Issue Date
Title
Author(s)
2011
Reasoning about explicit resource management
Devries, Edsko
;
Francalanza, Adrian
;
Hennessy, Matthew
2011
Permission-based separation logic for message-passing concurrency
Francalanza, Adrian
;
Rathke, Julian
;
Sassone, Vladimiro
2009
Assessing design patterns for concurrency
Leguesse, Fikre
;
Francalanza, Adrian
2016
On implementing a monitor-oriented programming framework for actor systems
Cassar, Ian
;
Francalanza, Adrian
2015
Investigating instrumentation techniques for ESB runtime verification
Colombo, Christian
;
Dimech, Gabriel
;
Francalanza, Adrian
2008
UJ : type soundness for universe types
Cunningham, Dave
;
Francalanza, Adrian
;
Drossopoulou, Sophia
;
Dietl, Werner
;
Muller, Peter
2010
Compensations in an imperative programming language
Francalanza, Adrian
;
Pace, Gordon J.
;
Vella, Lydia
2013-11
The way forward for DETECTER
Francalanza, Adrian
;
Seychell, Aldrin
;
Cassar, Ian
;
Cutajar, Kurt
;
Said, Simon
;
Schembri, Blanche
2017
Trace partitioning and local monitoring for asynchronous components
Attard, Duncan Paul
;
Francalanza, Adrian
2007
Proving distributed algorithm correctness using fault tolerance bisimulations
Francalanza, Adrian
;
Hennessy, Matthew
Discover
Author
20
Aceto, Luca
20
Ingólfsdóttir, Anna
16
Colombo, Christian
14
Cassar, Ian
13
Pace, Gordon J.
11
Achilleos, Antonis
8
Attard, Duncan Paul
8
Hennessy, Matthew
7
Lehtinen, Karoliina
.
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 >