Ennio Visconti

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 8

Top Topics

Temporal Properties

Acoustic Emission

Top Venues

Publications

Ennio Visconti, Ezio Bartocci, Yliès Falcone, Laura Nenzi
Adaptable Configuration of Decentralized Monitors. FORTE (2024)
Ennio Visconti, Christos Tsigkanos, Laura Nenzi
WebMonitor: Verification of Web User Interfaces. ASE (2022)
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
Online monitoring of spatio-temporal properties for imprecise signals. MEMOCODE (2021)
Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
Model-driven engineering city spaces via bidirectional model transformations. Softw. Syst. Model. 20 (6) (2021)
Laura Vana, Ennio Visconti, Laura Nenzi, Annalisa Cadonna, Gregor Kastner
Posterior predictive model assessment using formal methods in a spatio-temporal mode. CoRR (2021)
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals. CoRR (2021)
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti
Monitoring Spatio-Temporal Properties (Invited Tutorial). RV (2020)
Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
Model-Driven Design of City Spaces via Bidirectional Transformations. MoDELS (2019)