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 11-20 of 20 (Search time: 0.016 seconds).
previous
1
2
next
Item hits:
Issue Date
Title
Author(s)
2021
On benchmarking for concurrent runtime verification
Aceto, Luca
;
Attard, Duncan Paul
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
2021
On bidirectional runtime enforcement
Aceto, Luca
;
Cassar, Ian
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
2019
Testing equivalence vs. runtime monitoring
Aceto, Luca
;
Achilleos, Antonis
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
;
Lehtinen, Karoliina
2019
The cost of monitoring alone
Aceto, Luca
;
Achilleos, Antonis
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
;
Lehtinen, Karoliina
2017
Monitorability for the Hennessy-Milner logic with recursion
Francalanza, Adrian
;
Aceto, Luca
;
Ingólfsdóttir, Anna
2017
A foundation for runtime monitoring
Francalanza, Adrian
;
Aceto, Luca
;
Achilleos, Antonis
;
Attard, Duncan Paul
;
Cassar, Ian
;
Della Monica, Dario
;
Ingólfsdóttir, Anna
2017
A runtime monitoring tool for actor-based systems
Attard, Duncan Paul
;
Cassar, Ian
;
Francalanza, Adrian
;
Aceto, Luca
;
Ingólfsdóttir, Anna
2017
eAOP : an aspect oriented programming framework for Erlang
Cassar, Ian
;
Francalanza, Adrian
;
Aceto, Luca
;
Ingólfsdóttir, Anna
2015
On verifying Hennessy-Milner logic with recursion at runtime
Francalanza, Adrian
;
Aceto, Luca
;
Ingólfsdóttir, Anna
2017
On the complexity of determinizing monitors
Aceto, Luca
;
Achilleos, Antonis
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
;
Kjartansson, Saevar Orn
Discover
Author
20
Aceto, Luca
11
Achilleos, Antonis
7
Lehtinen, Karoliina
6
Cassar, Ian
5
Attard, Duncan Paul
1
Della Monica, Dario
1
Kjartansson, Saevar Orn
Subject
15
Computer software -- Verification
10
Computer logic
9
Object monitors (Computer software)
9
Software engineering
5
Aspect-oriented programming
4
Recursive functions -- Data proce...
3
Computer multitasking
2
Asynchronous transfer mode
2
Computer programs -- Verification
.
next >