1. OAR@UM

Browsing by Author Aceto, Luca

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 29  next >
Issue DateTitleAuthor(s)
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
2021Better late than never or : verifying asynchronous components at runtimeAttard, Duncan Paul; Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2023Bidirectional runtime enforcement of first-order branching-time propertiesAceto, 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
2021Comparing controlled system synthesis and suppression enforcementAceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2020The complexity of identifying characteristic formulaeAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna
2024Complexity results for modal logic with recursion via translations and tableauxAceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingólfsdóttir, Anna
2019The cost of monitoring aloneAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2016Determinizing monitors for HML with recursionAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn
2017eAOP : an aspect oriented programming framework for ErlangCassar, Ian; Francalanza, 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
2018A framework for parameterized monitorabilityAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna
2017Monitorability for the Hennessy-Milner logic with recursionFrancalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2022Monitoring hyperproperties with circuitsAceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian
2024A monitoring tool for linear-time 𝜇HMLAceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
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
2023On first-order runtime enforcement of branching-time propertiesAceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2022On probabilistic monitorabilityAceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina; Pedersen, Mathias Ruggaard
Showing results 1 to 20 of 29  next >