1. OAR@UM

Search


Current filters:


Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-8 of 8 (Search time: 0.012 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2018On runtime enforcement via suppressionsAceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2021Comparing controlled system synthesis and suppression enforcementAceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2021On bidirectional runtime enforcementAceto, Luca; Cassar, Ian; Francalanza, Adrian; 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
2023On first-order runtime enforcement of branching-time propertiesAceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2023Bidirectional runtime enforcement of first-order branching-time propertiesAceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna

Discover