Sfoglia per Autore  ACHILLEOS, ANTONIS

Opzioni
Mostrati risultati da 1 a 9 di 9
Titolo Data di pubblicazione Autore(i) File
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
The Best a Monitor Can Do 1-gen-2021 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
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
Complexity through Translations for Modal Logic with Recursion 1-gen-2022 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingolfsdottir, Anna
Axiomatizing recursion-free, regular monitors 1-gen-2022 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; 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
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
Mostrati risultati da 1 a 9 di 9
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile