1. Aceto, L., Achilleos, A., Attard, D.P., Exibard, L., Francalanza, A., Ingólfsdóttir, A.: A monitoring tool for linear-time $$\mu $$HML. In: ter Beek, M., Sirjani, M. (eds.) Proceedings of Coordination Models and Languages – 24th IFIP WG 6.1 International Conference, COORDINATION 2022. LNCS. Springer, Cham (2022). (to appear)
2. Aceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A.: Monitoring for silent actions. In: Lokam, S.V., Ramanujam, R. (eds.) 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017. LIPIcs, Kanpur, India, 11–15 December 2017, vol. 93, pp. 7:1–7:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)
3. Lecture Notes in Computer Science;L Aceto,2018
4. Aceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A., Lehtinen, K.: Adventures in monitorability: from branching to linear time and back again. Proc. ACM Program. Lang. 3(POPL), 52:1–52:29 (2019)
5. Aceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A., Lehtinen, K.: The best a monitor can do. In: Baier, C., Goubault-Larrecq, J. (eds.) 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. LIPIcs, Ljubljana, Slovenia, 25–28 January 2021, (Virtual Conference), vol. 183, pp. 7:1–7:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)