ACHILLEOS, ANTONIS
ACHILLEOS, ANTONIS
Gran Sasso Science Institute - Scuola Universitaria Superiore
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
Axiomatizing recursion-free, regular monitors
2022-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Ingolfsdottir, Anna
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
Centralized vs Decentralized Monitors for Hyperproperties
2024-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana
Centralized vs Decentralized Monitors for Hyperproperties
In corso di stampa Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana
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
Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory
2025-01-01 Aceto, Luca; Achilleos, Antonis; Paul Attard, Duncan; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Monitoring Hyperproperties with Circuits
2022-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian
On Probabilistic Monitorability
2022-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina; Ruggaard Pedersen, Mathias
The Best a Monitor Can Do
2021-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
The Complexity of Deciding Characteristic Formulae in Van Glabbeek’s Branching-Time Spectrum
2025-01-01 Aceto, Luca; Achilleos, Antonis; Chalki, Aggeliki; Ingólfsdóttir, Anna
The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
2025-01-01 Aceto, Luca; Achilleos, Antonis; Chalki, Aggeliki; Ingólfsdóttir, Anna
| 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 | |
| Axiomatizing recursion-free, regular monitors | 1-gen-2022 | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Ingolfsdottir, Anna | |
| 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 | |
| Centralized vs Decentralized Monitors for Hyperproperties | 1-gen-2024 | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana | |
| Centralized vs Decentralized Monitors for Hyperproperties | In corso di stampa | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana | |
| 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 | |
| Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory | 1-gen-2025 | Aceto, Luca; Achilleos, Antonis; Paul Attard, Duncan; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina | |
| Monitoring Hyperproperties with Circuits | 1-gen-2022 | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian | |
| 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 | |
| The Complexity of Deciding Characteristic Formulae in Van Glabbeek’s Branching-Time Spectrum | 1-gen-2025 | Aceto, Luca; Achilleos, Antonis; Chalki, Aggeliki; Ingólfsdóttir, Anna | |
| The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract) | 1-gen-2025 | Aceto, Luca; Achilleos, Antonis; Chalki, Aggeliki; Ingólfsdóttir, Anna |