Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 20 (Search time: 0.007 seconds).
Item hits:
Issue DateTitleAuthor(s)
2018On runtime enforcement via suppressionsAceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2018A framework for parameterized monitorabilityAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna
2019An operational guide to monitorabilityAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2021An operational guide to monitorability with applications to regular propertiesAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2021Better late than never or : verifying asynchronous components at runtimeAttard, Duncan Paul; Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2020The complexity of identifying characteristic formulaeAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna
2019-01Adventures in monitorability : from branching to linear time and back againAceto, 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
2021Comparing controlled system synthesis and suppression enforcementAceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2021-04A choreographed outline instrumentation approach for asynchronous componentsAceto, Luca; Attard, Duncan Paul; Francalanza, Adrian; Ingólfsdóttir, Anna