Model-Driven Design of City Spaces via Bidirectional Transformations. - Ennio Visconti; Christos Tsigkanos; Zhenjiang Hu; Carlo Ghezzi (MoDELS, 2019)

Monitoring Spatio-Temporal Properties (Invited Tutorial). - Laura Nenzi; Ezio Bartocci; Luca Bortolussi; Michele Loreti; Ennio Visconti (RV, 2020)

Online monitoring of spatio-temporal properties for imprecise signals. - Ennio Visconti; Ezio Bartocci; Michele Loreti; Laura Nenzi (MEMOCODE, 2021)

Posterior predictive model assessment using formal methods in a spatio-temporal mode. - Laura Vana; Ennio Visconti; Laura Nenzi; Annalisa Cadonna; Gregor Kastner (CoRR, 2021)

Model-driven engineering city spaces via bidirectional model transformations. - Ennio Visconti; Christos Tsigkanos; Zhenjiang Hu; Carlo Ghezzi (Softw. Syst. Model., 2021)

WebMonitor: Verification of Web User Interfaces. - Ennio Visconti; Christos Tsigkanos; Laura Nenzi (ASE, 2022)

Adaptable Configuration of Decentralized Monitors. - Ennio Visconti; Ezio Bartocci; Yliès Falcone; Laura Nenzi (FORTE, 2024)

Automated Monitoring of Web User Interfaces. - Ennio Visconti; Christos Tsigkanos; Laura Nenzi (ACM Trans. Web, 2025)