1. OAR@UM

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 11-20 of 27 (Search time: 0.075 seconds).
Item hits:
Issue DateTitleAuthor(s)
2021On benchmarking for concurrent runtime verificationAceto, Luca; Attard, Duncan Paul; Francalanza, Adrian; Ingólfsdóttir, Anna
2021On bidirectional runtime enforcementAceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2019Testing equivalence vs. runtime monitoringAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2019The cost of monitoring aloneAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2017Monitorability for the Hennessy-Milner logic with recursionFrancalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2017A foundation for runtime monitoringFrancalanza, Adrian; Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Cassar, Ian; Della Monica, Dario; Ingólfsdóttir, Anna
2017A runtime monitoring tool for actor-based systemsAttard, Duncan Paul; Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2017eAOP : an aspect oriented programming framework for ErlangCassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2015On verifying Hennessy-Milner logic with recursion at runtimeFrancalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2017On the complexity of determinizing monitorsAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn

Discover