Antonis Achilleos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
14
Active years
2010–2025
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CONCUR | Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory. | Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Lo Exibard, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2025 | CSL | The Complexity of Deciding Characteristic Formulae in Van Glabbeek's Branching-Time Spectrum. | Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Inglfsdttir |
| 2025 | LICS | If At First You Don't Succeed: Extended Monitorability through Multiple Executions. | Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb |
| 2024 | CONCUR | Centralized vs Decentralized Monitors for Hyperproperties. | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker |
| 2023 | MFCS | Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes. | Antonis Achilleos, Aggeliki Chalki |
| 2022 | Coordination | A Monitoring Tool for Linear-Time μHML. | Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Lo Exibard, Adrian Francalanza, Anna Inglfsdttir |
| 2022 | Coordination | A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. | Antonis Achilleos, Lo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb |
| 2022 | FORTE | Monitoring Hyperproperties with Circuits. | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza |
| 2021 | CSL | The Best a Monitor Can Do. | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2021 | FORTE | Better Late Than Never or: Verifying Asynchronous Components at Runtime. | Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2021 | LICS | Axiomatizations and Computability of Weighted Monadic Second-Order Logic. | Antonis Achilleos, Mathias Ruggaard Pedersen |
| 2019 | SEFM | An Operational Guide to Monitorability. | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2018 | FOSSACS | A Framework for Parameterized Monitorability. | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir |
| 2018 | LFCS | The Completeness Problem for Modal Logic. | Antonis Achilleos |
| 2017 | RV | A Foundation for Runtime Monitoring. | Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Inglfsdttir |
| 2016 | LFCS | Modal Logics with Hard Diamond-Free Fragments. | Antonis Achilleos |
| 2015 | CSR | NEXP-Completeness and Universal Hardness Results for Justification Logic. | Antonis Achilleos |
| 2014 | EUMAS | Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications. | Antonis Achilleos |
| 2011 | WoLLIC | A Complexity Question in Justification Logic. | Antonis Achilleos |
| 2010 | ICALP | Parameterized Modal Satisfiability. | Antonis Achilleos, Michael Lampis, Valia Mitsou |