Francalanza, Adrian

Francalanza, Adrian  

Gran Sasso Science Institute - Scuola Universitaria Superiore  

Mostra records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.015 secondi).
Titolo Data di pubblicazione Autore(i) File
A monitoring tool for linear-time μHML 1-gen-2024 Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
A Monitoring Tool for Linear-Time $$\mu $$HML 1-gen-2022 Aceto, Luca; Achilleos, Antonis; Paul Attard, Duncan; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
An operational guide to monitorability with applications to regular properties 1-gen-2021 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Better Late Than Never or: Verifying Asynchronous Components at Runtime 1-gen-2021 Paul Attard, Duncan; Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties 1-gen-2023 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingolfsdottir, Anna
Comparing controlled system synthesis and suppression enforcement 1-gen-2021 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
Complexity through Translations for Modal Logic with Recursion 1-gen-2022 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingolfsdottir, Anna
Monitoring Hyperproperties with Circuits 1-gen-2022 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian
On Benchmarking for Concurrent Runtime Verification 1-gen-2021 Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ing('(o))lfsd('(o))ttir, Anna
On first-order runtime enforcement of branching-time properties 1-gen-2023 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
On Probabilistic Monitorability 1-gen-2022 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina; Ruggaard Pedersen, Mathias
The Best a Monitor Can Do 1-gen-2021 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina