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