Antonis Achilleos

61 papers A* 2B 8C 7Misc 3Journal 31Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Centralized vs. Decentralized Monitors for Hyperproperties.
ACM Trans. Comput. Log.
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2025 A* conf
If At First You Don't Succeed: Extended Monitorability through Multiple Executions.
LICS
Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb
2025 B conf
Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory.
CONCUR
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2025 J jnl
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory.
CoRR
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2025 — conf
The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract).
GandALF
Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ingólfsdóttir
2025 B conf
The Complexity of Deciding Characteristic Formulae in Van Glabbeek's Branching-Time Spectrum.
CSL
Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ingólfsdóttir
2025 J jnl
The complexity of deciding characteristic formulae modulo nested simulation.
CoRR
Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ingólfsdóttir
2024 J jnl
A monitoring tool for linear-time
Sci. Comput. Program.
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
2024 B conf
Centralized vs Decentralized Monitors for Hyperproperties.
CONCUR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2024 J jnl
Centralized vs Decentralized Monitors for Hyperproperties.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2024 J jnl
Complexity results for modal logic with recursion via translations and tableaux.
Log. Methods Comput. Sci.
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
2024 — ed.
Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2024, Reykjavik, Iceland, 19-21 June 2024.
GandALF
Antonis Achilleos, Adrian Francalanza
2024 J jnl
The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum.
CoRR
Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ingólfsdóttir
2023 J jnl
Complexity results for modal logic with recursion via translations and tableaux.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
2023 B conf
Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes.
MFCS
Antonis Achilleos, Aggeliki Chalki
2023 J jnl
Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes.
CoRR
Antonis Achilleos, Aggeliki Chalki
2023 J jnl
If At First You Don't Succeed: Extended Monitorability through Multiple Executions.
CoRR
Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb
2023 — ed.
Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023.
GandALF
Antonis Achilleos, Dario Della Monica
2022 C conf
A Monitoring Tool for Linear-Time μHML.
COORDINATION
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
2022 C conf
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting.
COORDINATION
Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb
2022 J jnl
Axiomatizing recursion-free, regular monitors.
J. Log. Algebraic Methods Program.
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir
2022 — conf
Complexity through Translations for Modal Logic with Recursion.
GandALF
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
2022 C conf
Monitoring Hyperproperties with Circuits.
FORTE
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
2022 J jnl
Monitoring hyperproperties with circuits.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza
2022 — conf
On Probabilistic Monitorability.
Principles of Systems Design
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen
2021 J jnl
An operational guide to monitorability with applications to regular properties.
Softw. Syst. Model.
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2021 A* conf
Axiomatizations and Computability of Weighted Monadic Second-Order Logic.
LICS
Antonis Achilleos, Mathias Ruggaard Pedersen
2021 J jnl
Axiomatizations and Computability of Weighted Monadic Second-Order Logic.
CoRR
Antonis Achilleos, Mathias Ruggaard Pedersen
2021 C conf
Better Late Than Never or: Verifying Asynchronous Components at Runtime.
FORTE
Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2021 B conf
The Best a Monitor Can Do.
CSL
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2020 J jnl
An axiomatization of verdict equivalence over regular monitors.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir
2020 J jnl
Determinizing monitors for HML with recursion.
J. Log. Algebraic Methods Program.
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
2020 J jnl
Modal logics with hard diamond-free fragments.
J. Log. Comput.
Antonis Achilleos
2020 J jnl
The complexity of identifying characteristic formulae.
J. Log. Algebraic Methods Program.
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
2019 J jnl
Adventures in Monitorability: From Branching to Linear Time and Back Again.
CoRR
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 J jnl
Adventures in monitorability: from branching to linear time and back again.
Proc. ACM Program. Lang.
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 B conf
An Operational Guide to Monitorability.
SEFM
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 J jnl
An Operational Guide to Monitorability.
CoRR
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 — conf
Testing Equivalence vs. Runtime Monitoring.
Models, Languages, and Tools for Concurrent and Distributed Programming
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 — conf
The Cost of Monitoring Alone.
From Reactive Systems to Cyber-Physical Systems
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2019 J jnl
The Cost of Monitoring Alone.
CoRR
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2018 B conf
A Framework for Parameterized Monitorability.
FoSSaCS
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
2018 Misc conf
The Completeness Problem for Modal Logic.
LFCS
Antonis Achilleos
2017 B conf
A Foundation for Runtime Monitoring.
RV
Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir
2017 — conf
Monitoring for Silent Actions.
FSTTCS
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
2017 C conf
On the Complexity of Determinizing Monitors.
CIAA
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
2016 J jnl
Determinizing Monitors for HML with Recursion.
CoRR
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
2016 Misc conf
Modal Logics with Hard Diamond-Free Fragments.
LFCS
Antonis Achilleos
2016 J jnl
The Completeness Problem for Modal Logic.
CoRR
Antonis Achilleos
2015 Misc conf
NEXP-Completeness and Universal Hardness Results for Justification Logic.
CSR
Antonis Achilleos
2015 J jnl
NEXP-completeness and Universal Hardness Results for Justification Logic.
CoRR
Antonis Achilleos
2014 J jnl
A complexity question in justification logic.
J. Comput. Syst. Sci.
Antonis Achilleos
2014 J jnl
Complexity Jumps In Multiagent Justification Logic Under Interacting Justifications.
CoRR
Antonis Achilleos
2014 J jnl
Modal Logics with Hard Diamond-free Fragments.
CoRR
Antonis Achilleos
2014 — conf
On the Complexity of Two-Agent Justification Logic.
CLIMA
Antonis Achilleos
2014 C conf
Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications.
EUMAS
Antonis Achilleos
2013 J jnl
Closing a Gap in the Complexity of Refinement Modal Logic.
CoRR
Antonis Achilleos, Michael Lampis
2012 J jnl
Parameterized Modal Satisfiability.
Algorithmica
Antonis Achilleos, Michael Lampis, Valia Mitsou
2011 C conf
A Complexity Question in Justification Logic.
WoLLIC
Antonis Achilleos
2010 — conf
Parameterized Modal Satisfiability.
ICALP (2)
Antonis Achilleos, Michael Lampis, Valia Mitsou
2009 J jnl
Parameterized Modal Satisfiability
CoRR
Antonis Achilleos, Michael Lampis, Valia Mitsou