Follow
Antonis Achilleos
Antonis Achilleos
Verified email at ru.is - Homepage
Title
Cited by
Cited by
Year
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
662019
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
662017
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, 335-361, 2021
51*2021
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
42*2020
A framework for parameterized monitorability
A Ingólfsdóttir
Foundations of Software Science and Computation Structures LNCS 10803, 203, 2018
392018
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
332018
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
182021
Parameterized modal satisfiability
A Achilleos, M Lampis, V Mitsou
Algorithmica 64, 38-55, 2012
172012
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
162021
Modal logics with hard diamond-free fragments
A Achilleos
Logical Foundations of Computer Science: International Symposium, LFCS 2016 …, 2016
112016
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
A Monitoring Tool for Linear-Time HML
L Aceto, A Achilleos, DP Attard, L Exibard, A Francalanza, A Ingólfsdóttir
International Conference on Coordination Languages and Models, 200-219, 2022
7*2022
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 …, 2019
52019
Monitoring hyperproperties with circuits
L Aceto, A Achilleos, E Anastasiadi, A Francalanza
International Conference on Formal Techniques for Distributed Objects …, 2022
42022
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
42020
The cost of monitoring alone
L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir, K Lehtinen
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A …, 2019
42019
The completeness problem for modal logic
A Achilleos
Logical Foundations of Computer Science: International Symposium, LFCS 2018 …, 2018
42018
NEXP-Completeness and Universal Hardness Results for Justification Logic
A Achilleos
International Computer Science Symposium in Russia, 27-52, 2015
42015
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
The system can't perform the operation now. Try again later.
Articles 1–20