| Model-driven engineering city spaces via bidirectional model transformations E Visconti, C Tsigkanos, Z Hu, C Ghezzi Software and systems modeling 20 (6), 2003-2022, 2021 | 14 | 2021 |
| Online monitoring of spatio-temporal properties for imprecise signals E Visconti, E Bartocci, M Loreti, L Nenzi Proceedings of the 19th ACM-IEEE International Conference on Formal Methods …, 2021 | 9 | 2021 |
| Monitoring spatio-temporal properties (invited tutorial) L Nenzi, E Bartocci, L Bortolussi, M Loreti, E Visconti International Conference on Runtime Verification, 21-46, 2020 | 7 | 2020 |
| Model-driven design of city spaces via bidirectional transformations E Visconti, C Tsigkanos, Z Hu, C Ghezzi 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 6 | 2019 |
| ARCH-COMP 2024 Category Report: Falsification T Khandait, F Formica, P Arcaini, S Chotaliya, G Fainekos, A Hekal, ... Proceedings of the 11th Int. Workshop on Applied 103, 122-144, 2024 | 3 | 2024 |
| Posterior predictive model checking using formal methods L Vana, E Visconti, L Nenzi, A Cadonna, G Kastner, R Parzer Minsk: BSU, 2022 | 2* | 2022 |
| WebMonitor: Verification of Web User Interfaces E Visconti, C Tsigkanos, L Nenzi Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 1 | 2022 |
| Automated Monitoring of Web User Interfaces E Visconti, C Tsigkanos, L Nenzi ACM Transactions on the Web, 2025 | | 2025 |
| Adaptable Configuration of Decentralized Monitors E Visconti, E Bartocci, Y Falcone, L Nenzi International Conference on Formal Techniques for Distributed Objects …, 2024 | | 2024 |
| Posterior predictive model assessment using formal methods in a spatio-temporal model L Vana Gür, E Visconti, L Nenzi, A Cadonna, G Kastner | | 2022 |
| Model-Driven Design of City Spaces via Bidirectional Transformations C Ghezzi, C Tsigkanos, Z Hu, E Visconti 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | | 2019 |
| On model-driven design of city spaces. A bidirectional transformations approach to city spaces design and operations E VISCONTI Politecnico di Milano, 2018 | | 2018 |
| Bayesian Machine Learning Meets Formal Methods: An Application to Spatio-Temporal Data L Vana-Gür, E Visconti, L Nenzi, A Cadonna, G Kastner ACM Transactions on Probabilistic Machine Learning, 0 | | |