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
76 2017 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
75 2019 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
59 * 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
46 * 2020 A framework for parameterized monitorability L Aceto, A Achilleos, A Francalanza, A Ingólfsdóttir
International Conference on Foundations of Software Science and Computation …, 2018
40 2018 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
38 2018 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), 7: 1-7: 23, 2021
23 2021 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
20 2021 Parameterized modal satisfiability A Achilleos, M Lampis, V Mitsou
Algorithmica 64, 38-55, 2012
17 2012 A Monitoring Tool for Linear-Time L Aceto, A Achilleos, DP Attard, L Exibard, A Francalanza, A Ingólfsdóttir
International Conference on Coordination Languages and Models, 200-219, 2022
12 2022 Monitoring hyperproperties with circuits L Aceto, A Achilleos, E Anastasiadi, A Francalanza
International Conference on Formal Techniques for Distributed Objects …, 2022
11 2022 Modal logics with hard diamond-free fragments A Achilleos
Logical Foundations of Computer Science: International Symposium, LFCS 2016 …, 2016
11 2016 A complexity question in justification logic A Achilleos
Journal of Computer and System Sciences 80 (6), 1038-1045, 2014
8 2014 On the Complexity of Two-Agent Justification Logic A Achilleos
CLIMA, 1-18, 2014
7 2014 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
6 2020 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
6 2019 The completeness problem for modal logic A Achilleos
Logical Foundations of Computer Science: International Symposium, LFCS 2018 …, 2018
6 2018 NEXP -Completeness and Universal Hardness Results for Justification LogicA Achilleos
International Computer Science Symposium in Russia, 27-52, 2015
6 2015 A monitoring tool for linear-time μHML L Aceto, A Achilleos, DP Attard, L Exibard, A Francalanza, A Ingólfsdóttir
Science of Computer Programming 232, 103031, 2024
5 2024 Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications A Achilleos
12th European Conference on Multi-Agent Systems (EUMAS), 2014
5 * 2014 
Adrian FrancalanzaUniversity of MaltaAdresă de e-mail confirmată pe um.edu.mt