1. OAR@UM

Search


Current filters:


Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 10 (Search time: 0.011 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2018On runtime enforcement via suppressionsAceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2019An operational guide to monitorabilityAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2021On the monitorability of session types, in theory and practice (Artifact)Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste
2021Computer says no : verdict explainability for runtime monitors using a local proofFrancalanza, Adrian; Cini, Clare
2021A theory of monitorsFrancalanza, Adrian
2021An operational guide to monitorability with applications to regular propertiesAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2021The best a monitor can doAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2021On bidirectional runtime enforcementAceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2021On the monitorability of session types, in theory and practiceBartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste
2019Pushing runtime verification to the limit : may process semantics be with usDella Monica, Dario; Francalanza, Adrian

Discover