Antonis Achilleos

Orcid: 0000-0002-1314-333X

According to our database¹, Antonis Achilleos authored at least 37 papers between 2012 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

A monitoring tool for linear-time <i>μ</i>HML.

[BibT_eX]

[DOI]

Sci. Comput. Program., January, 2024

Complexity results for modal logic with recursion via translations and tableaux.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2024

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification.

[BibT_eX]

[DOI]

Antonis Achilleos

Adrian Francalanza

CoRR, 2024

The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum.

[BibT_eX]

[DOI]

CoRR, 2024

Centralized vs Decentralized Monitors for Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

If At First You Don't Succeed: Extended Monitorability through Multiple Executions.

[BibT_eX]

[DOI]

Antonis Achilleos

Adrian Francalanza

Jasmine Xuereb

CoRR, 2023

Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes.

[BibT_eX]

[DOI]

Antonis Achilleos

Aggeliki Chalki

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022

Axiomatizing recursion-free, regular monitors.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2022

Complexity through Translations for Modal Logic with Recursion.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Games, 2022

Monitoring Hyperproperties with Circuits.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

A Synthesis Tool for Optimal Monitors in a Branching-Time Setting.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2022

A Monitoring Tool for Linear-Time μHML.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2022

On Probabilistic Monitorability.

[BibT_eX]

[DOI]

Mathias Ruggaard Pedersen

Proceedings of the Principles of Systems Design, 2022

2021

An operational guide to monitorability with applications to regular properties.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2021

Axiomatizations and Computability of Weighted Monadic Second-Order Logic.

[BibT_eX]

[DOI]

Antonis Achilleos

Mathias Ruggaard Pedersen

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Better Late Than Never or: Verifying Asynchronous Components at Runtime.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

The Best a Monitor Can Do.

[BibT_eX]

[DOI]

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2020

Modal logics with hard diamond-free fragments.

[BibT_eX]

[DOI]

Antonis Achilleos

J. Log. Comput., 2020

Determinizing monitors for HML with recursion.

[BibT_eX]

[DOI]

Sævar Örn Kjartansson

J. Log. Algebraic Methods Program., 2020

The complexity of identifying characteristic formulae.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2020

An axiomatization of verdict equivalence over regular monitors.

[BibT_eX]

[DOI]

CoRR, 2020

2019

Adventures in monitorability: from branching to linear time and back again.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

An Operational Guide to Monitorability.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

The Cost of Monitoring Alone.

[BibT_eX]

[DOI]

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

Testing Equivalence vs. Runtime Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

The Completeness Problem for Modal Logic.

[BibT_eX]

[DOI]

Antonis Achilleos

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

A Framework for Parameterized Monitorability.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

On the Complexity of Determinizing Monitors.

[BibT_eX]

[DOI]

Sævar Örn Kjartansson

Proceedings of the Implementation and Application of Automata, 2017

A Foundation for Runtime Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 17th International Conference, 2017

Monitoring for Silent Actions.

[BibT_eX]

[DOI]

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

2015

NEXP-Completeness and Universal Hardness Results for Justification Logic.

[BibT_eX]

[DOI]

Antonis Achilleos

Proceedings of the Computer Science - Theory and Applications, 2015

2014

A complexity question in justification logic.

[BibT_eX]

[DOI]

Antonis Achilleos

J. Comput. Syst. Sci., 2014

Complexity Jumps In Multiagent Justification Logic Under Interacting Justifications.

[BibT_eX]

[DOI]

Antonis Achilleos

CoRR, 2014

Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications.

[BibT_eX]

[DOI]

Antonis Achilleos

Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

On the Complexity of Two-Agent Justification Logic.

[BibT_eX]

[DOI]

Antonis Achilleos

Proceedings of the Computational Logic in Multi-Agent Systems, 2014

2013

Closing a Gap in the Complexity of Refinement Modal Logic.

[BibT_eX]

[DOI]

Antonis Achilleos

Michael Lampis

CoRR, 2013

2012

Parameterized Modal Satisfiability.

[BibT_eX]

[DOI]

Antonis Achilleos

Michael Lampis

Valia Mitsou

Algorithmica, 2012

Antonis Achilleos

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...