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
76 2019 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
74 2017 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
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
43 * 2020 A framework for parameterized monitorability A Ingólfsdóttir
Foundations of Software Science and Computation Structures LNCS 10803, 203, 2018
39 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
37 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), 2021
21 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
19 2021 Parameterized modal satisfiability A Achilleos, M Lampis, V Mitsou
Algorithmica 64, 38-55, 2012
18 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
11 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
9 2014 On the Complexity of Two-Agent Justification Logic A Achilleos
CLIMA, 1-18, 2014
8 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 The completeness problem for modal logic A Achilleos
Logical Foundations of Computer Science: International Symposium, LFCS 2018 …, 2018
6 2018 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
5 2019 NEXP -Completeness and Universal Hardness Results for Justification LogicA Achilleos
International Computer Science Symposium in Russia, 27-52, 2015
5 2015 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 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
4 2019 
Adrian FrancalanzaUniversity of MaltaBestätigte E-Mail-Adresse bei um.edu.mt
