ACHILLEOS, ANTONIS

ACHILLEOS, ANTONIS  

Gran Sasso Science Institute - Scuola Universitaria Superiore  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.011 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
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
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 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