Antonis Achilleos

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 40

Top Topics

Decision Procedures

Prime Implicates

Complexity Bounds

Top Venues

J. Log. Algebraic Methods Program.

Publications

Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
Complexity results for modal logic with recursion via translations and tableaux. Log. Methods Comput. Sci. 20 (3) (2024)
Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ingólfsdóttir
The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum. CoRR (2024)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
Centralized vs Decentralized Monitors for Hyperproperties. CoRR (2024)
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
HML. Sci. Comput. Program. 232 (2024)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
Centralized vs Decentralized Monitors for Hyperproperties. CONCUR (2024)
Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb
If At First You Don't Succeed: Extended Monitorability through Multiple Executions. CoRR (2023)
Antonis Achilleos, Aggeliki Chalki
Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes. MFCS (2023)
Antonis Achilleos, Aggeliki Chalki
Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes. CoRR (2023)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
Complexity results for modal logic with recursion via translations and tableaux. CoRR (2023)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
Monitoring Hyperproperties with Circuits. FORTE (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
Complexity through Translations for Modal Logic with Recursion. GandALF (2022)
Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. COORDINATION (2022)
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
A Monitoring Tool for Linear-Time μHML. COORDINATION (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
Monitoring hyperproperties with circuits. CoRR (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen
On Probabilistic Monitorability. Principles of Systems Design (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir
Axiomatizing recursion-free, regular monitors. J. Log. Algebraic Methods Program. 127 (2022)
Antonis Achilleos, Mathias Ruggaard Pedersen
Axiomatizations and Computability of Weighted Monadic Second-Order Logic. CoRR (2021)
Antonis Achilleos, Mathias Ruggaard Pedersen
Axiomatizations and Computability of Weighted Monadic Second-Order Logic. LICS (2021)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
The Best a Monitor Can Do. CSL (2021)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
An operational guide to monitorability with applications to regular properties. Softw. Syst. Model. 20 (2) (2021)
Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Better Late Than Never or: Verifying Asynchronous Components at Runtime. FORTE (2021)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
The complexity of identifying characteristic formulae. J. Log. Algebraic Methods Program. 112 (2020)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir
An axiomatization of verdict equivalence over regular monitors. CoRR (2020)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
Determinizing monitors for HML with recursion. J. Log. Algebraic Methods Program. 111 (2020)
Antonis Achilleos
Modal logics with hard diamond-free fragments. J. Log. Comput. 30 (1) (2020)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Adventures in monitorability: from branching to linear time and back again. Proc. ACM Program. Lang. 3 (POPL) (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
An Operational Guide to Monitorability. SEFM (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
An Operational Guide to Monitorability. CoRR (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Testing Equivalence vs. Runtime Monitoring. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
The Cost of Monitoring Alone. From Reactive Systems to Cyber-Physical Systems (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
The Cost of Monitoring Alone. CoRR (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Adventures in Monitorability: From Branching to Linear Time and Back Again. CoRR (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
A Framework for Parameterized Monitorability. FoSSaCS (2018)
Antonis Achilleos
The Completeness Problem for Modal Logic. LFCS (2018)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
Monitoring for Silent Actions. FSTTCS (2017)
Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir
A Foundation for Runtime Monitoring. RV (2017)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
On the Complexity of Determinizing Monitors. CIAA (2017)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
Determinizing Monitors for HML with Recursion. CoRR (2016)
Antonis Achilleos
The Completeness Problem for Modal Logic. CoRR (2016)
Antonis Achilleos
Modal Logics with Hard Diamond-Free Fragments. LFCS (2016)
Antonis Achilleos
NEXP-Completeness and Universal Hardness Results for Justification Logic. CSR (2015)
Antonis Achilleos
NEXP-completeness and Universal Hardness Results for Justification Logic. CoRR (2015)
Antonis Achilleos
Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications. EUMAS (2014)
Antonis Achilleos
A complexity question in justification logic. J. Comput. Syst. Sci. 80 (6) (2014)
Antonis Achilleos
Modal Logics with Hard Diamond-free Fragments. CoRR (2014)
Antonis Achilleos
On the Complexity of Two-Agent Justification Logic. CLIMA (2014)
Antonis Achilleos
Complexity Jumps In Multiagent Justification Logic Under Interacting Justifications. CoRR (2014)
Antonis Achilleos, Michael Lampis
Closing a Gap in the Complexity of Refinement Modal Logic. CoRR (2013)
Antonis Achilleos, Michael Lampis, Valia Mitsou
Parameterized Modal Satisfiability. Algorithmica 64 (1) (2012)
Antonis Achilleos
A Complexity Question in Justification Logic. WoLLIC (2011)
Antonis Achilleos, Michael Lampis, Valia Mitsou
Parameterized Modal Satisfiability. ICALP (2) (2010)
Antonis Achilleos, Michael Lampis, Valia Mitsou
Parameterized Modal Satisfiability CoRR (2009)