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 22 (Search time: 0.022 seconds).
previous
1
2
3
next
Item hits:
Issue Date
Title
Author(s)
2009
A formal model of provenance in distributed systems
Souilah, Issam
;
Francalanza, Adrian
;
Sassone, Vladimiro
2007
Proving distributed algorithm correctness using fault tolerance bisimulations
Francalanza, Adrian
;
Hennessy, Matthew
2018
On runtime enforcement via suppressions
Aceto, Luca
;
Cassar, Ian
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
2019
An operational guide to monitorability
Aceto, Luca
;
Achilleos, Antonis
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
;
Lehtinen, Karoliina
2021
On the monitorability of session types, in theory and practice (Artifact)
Bartolo Burlò, Christian
;
Francalanza, Adrian
;
Scalas, Alceste
2021
Computer says no : verdict explainability for runtime monitors using a local proof
Francalanza, Adrian
;
Cini, Clare
2021
A theory of monitors
Francalanza, Adrian
2021
An operational guide to monitorability with applications to regular properties
Aceto, Luca
;
Achilleos, Antonis
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
;
Lehtinen, Karoliina
2018
Introduction to runtime verification
Bartocci, Ezio
;
Falcone, Yliès
;
Francalanza, Adrian
;
Reger, Giles
2018
Shooting from the heap : ultra-scalable static analysis with heap snapshots
Grech, Neville
;
Fourtounis, George
;
Francalanza, Adrian
;
Smaragdakis, Yannis
Discover
Author
9
Aceto, Luca
9
Ingólfsdóttir, Anna
4
Achilleos, Antonis
4
Attard, Duncan Paul
4
Lehtinen, Karoliina
3
Bartolo Burlò, Christian
3
Cassar, Ian
3
Scalas, Alceste
2
Fourtounis, George
.
next >
Subject
13
Computer software -- Verification
10
Computer logic
7
Object monitors (Computer software)
5
Programming languages (Electronic...
3
Asynchronous transfer mode
2
Computer communication systems
2
Computer multitasking
2
Computer programs -- Testing
2
Computer science
.
next >