Francalanza, Adrian
Francalanza, Adrian
A monitoring tool for linear-time μHML
2024-01-01 Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
A Monitoring Tool for Linear-Time $$\mu $$HML
2022-01-01 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
2021-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Better Late Than Never or: Verifying Asynchronous Components at Runtime
2021-01-01 Paul Attard, Duncan; Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
2023-01-01 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingolfsdottir, Anna
Centralized vs Decentralized Monitors for Hyperproperties
2024-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana
Comparing controlled system synthesis and suppression enforcement
2021-01-01 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
Complexity results for modal logic with recursion via translations and tableaux
2024-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingólfsdóttir, Anna
Complexity through Translations for Modal Logic with Recursion
2022-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingolfsdottir, Anna
Monitoring Hyperproperties with Circuits
2022-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian
On Benchmarking for Concurrent Runtime Verification
2021-01-01 Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ing('(o))lfsd('(o))ttir, Anna
On Bidirectional Runtime Enforcement
2021-01-01 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ing('(o))lfsd('(o))ttir, Anna
On first-order runtime enforcement of branching-time properties
2023-01-01 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
On Probabilistic Monitorability
2022-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina; Ruggaard Pedersen, Mathias
Runtime Instrumentation for Reactive Components
2024-01-01 Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ingólfsdóttir, Anna
Runtime Instrumentation for Reactive Components (Artifact)
2024-01-01 Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ingólfsdóttir, Anna
The Best a Monitor Can Do
2021-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
| 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 | |
| Centralized vs Decentralized Monitors for Hyperproperties | 1-gen-2024 | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana | |
| Comparing controlled system synthesis and suppression enforcement | 1-gen-2021 | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna | |
| Complexity results for modal logic with recursion via translations and tableaux | 1-gen-2024 | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; 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 Bidirectional Runtime Enforcement | 1-gen-2021 | Aceto, Luca; Cassar, Ian; 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 | |
| Runtime Instrumentation for Reactive Components | 1-gen-2024 | Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ingólfsdóttir, Anna | |
| Runtime Instrumentation for Reactive Components (Artifact) | 1-gen-2024 | Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ingólfsdóttir, Anna | |
| The Best a Monitor Can Do | 1-gen-2021 | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |