| 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 | 65 | 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 | 63 | 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, 335-361, 2021 | 49* | 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 | 41* | 2020 |
| A framework for parameterized monitorability A Ingólfsdóttir Foundations of Software Science and Computation Structures LNCS 10803, 203, 2018 | 38 | 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 | 32 | 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 | 17 | 2021 |
| Parameterized modal satisfiability A Achilleos, M Lampis, V Mitsou Algorithmica 64, 38-55, 2012 | 17 | 2012 |
| 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 | 13 | 2021 |
| 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 | 8 | 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 …, 2019 | 5 | 2019 |
| 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 | 4 | 2020 |
| 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 |
| The completeness problem for modal logic A Achilleos Logical Foundations of Computer Science: International Symposium, LFCS 2018 …, 2018 | 4 | 2018 |
| NEXP-Completeness and Universal Hardness Results for Justification Logic A Achilleos International Computer Science Symposium in Russia, 27-52, 2015 | 4 | 2015 |
| 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 |
| Closing a gap in the complexity of refinement modal logic A Achilleos, M Lampis arXiv preprint arXiv:1309.5184, 2013 | 4 | 2013 |
| 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 | 3 | 2022 |
Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityVerified email at ru.is
