| 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 | 10 | 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 | 6 | 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 |
| 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 | 3 | 2021 |
| 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 | | 2022 |
| On model-driven design of city spaces. A bidirectional transformations approach to city spaces design and operations E VISCONTI Politecnico di Milano, 2018 | | 2018 |
