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
Scholarly Works - FacICTCS
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.012 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 >