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
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.008 seconds).
previous
1
2
next
Item hits:
Issue Date
Title
Author(s)
2018
On runtime enforcement via suppressions
Aceto, Luca
;
Cassar, Ian
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
2018
A framework for parameterized monitorability
Aceto, Luca
;
Achilleos, Antonis
;
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
2020
Towards choreographic-based monitoring
Francalanza, Adrian
;
Mezzina, Claudio Antares
;
Tuosto, Emilio
2020
The complexity of identifying characteristic formulae
Aceto, Luca
;
Achilleos, Antonis
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
2019-01
Adventures in monitorability : from branching to linear time and back again
Aceto, Luca
;
Achilleos, Antonis
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
;
Lehtinen, Karoliina
Discover
Author
10
Aceto, Luca
10
Ingólfsdóttir, Anna
8
Achilleos, Antonis
6
Lehtinen, Karoliina
2
Bartolo Burlò, Christian
2
Cassar, Ian
2
Scalas, Alceste
1
Cini, Clare
1
Della Monica, Dario
.
next >
Subject
11
Object monitors (Computer software)
10
Computer software -- Verification
10
Software engineering
4
Recursive functions -- Data proce...
3
Programming languages (Electronic...
2
Computer communication systems
2
Computer science
2
Scala (Computer program language)
1
Artificial intelligence
.
next >