Antonis Achilleos
Antonis Achilleos
Verified email at ru.is - Homepage
Title
Cited by
Cited by
Year
A foundation for runtime monitoring
A Francalanza, L Aceto, A Achilleos, DP Attard, I Cassar, D Della Monica, ...
International Conference on Runtime Verification, 8-29, 2017
462017
Adventures in monitorability: from branching to linear time and back again
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
402019
Determinizing monitors for HML with recursion
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, SÖ Kjartansson
Journal of Logical and Algebraic Methods in Programming 111, 100515, 2020
32*2020
A framework for parameterized monitorability
A Ingólfsdóttir
Foundations of Software Science and Computation Structures LNCS 10803, 203, 2018
272018
An operational guide to monitorability with applications to regular properties
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen
Software and Systems Modeling 20 (2), 335-361, 2021
23*2021
Monitoring for silent actions
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir
37th IARCS Annual Conference on Foundations of Software Technology and …, 2018
232018
Parameterized modal satisfiability
A Achilleos, M Lampis, V Mitsou
Algorithmica 64 (1), 38-55, 2012
152012
Modal logics with hard diamond-free fragments
A Achilleos
International Symposium on Logical Foundations of Computer Science, 1-13, 2016
102016
A complexity question in justification logic
A Achilleos
Journal of Computer and System Sciences 80 (6), 1038-1045, 2014
82014
On the Complexity of Two-Agent Justification Logic
A Achilleos
CLIMA, 1-18, 2014
82014
The best a monitor can do
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen
29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021
52021
The completeness problem for modal logic
A Achilleos
International Symposium on Logical Foundations of Computer Science, 1-21, 2018
42018
Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications
A Achilleos
12th European Conference on Multi-Agent Systems (EUMAS), 2014
4*2014
Testing equivalence vs. runtime monitoring
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen
Models, Languages, and Tools for Concurrent and Distributed Programming, 28-44, 2019
32019
The cost of monitoring alone
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen
From Reactive Systems to Cyber-Physical Systems, 259-275, 2019
32019
NEXP-Completeness and Universal Hardness Results for Justification Logic
A Achilleos
International Computer Science Symposium in Russia, 27-52, 2015
32015
Closing a gap in the complexity of refinement modal logic
A Achilleos, M Lampis
arXiv preprint arXiv:1309.5184, 2013
32013
Interactions and Complexity in Multi-Agent Justification Logic
A Achilleos
City University of New York, 2015
22015
Better Late Than Never or: Verifying Asynchronous Components at Runtime
DP Attard, L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen
International Conference on Formal Techniques for Distributed Objects …, 2021
12021
The complexity of identifying characteristic formulae
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir
Journal of Logical and Algebraic Methods in Programming 112, 100529, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20