Visconti, E., Tsigkanos, C., & Nenzi, L. (2025). Automated Monitoring of Web User Interfaces. ACM Transactions on the Web, 1–26. https://doi.org/10.1145/3708512 ( reposiTUm)

Nenzi, L., Bartocci, E., Bortolussi, L., Silvetti, S., & Loreti, M. (2023). MoonLight: a lightweight tool for monitoring spatio-temporal properties. International Journal on Software Tools for Technology Transfer, 25(4), 503–517. https://doi.org/10.1007/s10009-023-00710-5 ( reposiTUm)

Kuznets, R., Marin, S., & Straßburger, L. (2021). Justification logic for constructive modal logic. Journal of Applied Logics, 8(8), 2313–2332. https://doi.org/10.34726/2943 ( reposiTUm)

Visconti, E., Bartocci, E., Falcone, Y., & Nenzi, L. (2024). Adaptable Configuration of Decentralized Monitors. In V. Castiglioni & A. Francalanza (Eds.), Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2024 (pp. 197–217). Springer. https://doi.org/10.1007/978-3-031-62645-6_11 ( reposiTUm)

Visconti, E., Tsigkanos, C., & Nenzi, L. (2023). WebMonitor: Verification of Web User Interfaces. In ASE ’22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (pp. 1–4). Association for Computing Machinery (ACM). https://doi.org/10.1145/3551349.3559538 ( reposiTUm)

Dobe, O., Schupp, S. A., Bartocci, E., Bonakdarpour, B., Legay, A., Pajic, M., & Wang, Y. (2023). Lightweight Verification of Hyperproperties. In É. André & J. Sun (Eds.), Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II (pp. 3–25). Springer. https://doi.org/10.1007/978-3-031-45332-8_1 ( reposiTUm)

Bartocci, E., Henzinger, T. A., Nickovic, D., & Oliveira Da Costa, A. A. (2023). Hypernode Automata. In G. Perez & J.-F. Raskin (Eds.), 34th International Conference on Concurrency Theory (CONCUR 2023) (pp. 1–16). Schloss-Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2023.21 ( reposiTUm)

Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Ničković, D., & Könighofer, B. (2023). Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. In G. Caltais & C. Schilling (Eds.), Model Checking Software. SPIN 2023 (pp. 141–160). Springer Cham. https://doi.org/10.1007/978-3-031-32157-3_8 ( reposiTUm)