• About me
  • Blog
  • Open Source
  • Publications
Ennio ViscontiEnnio Visconti
  • About me
  • Blog
  • Open Source
  • Publications
  • 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
  • About me
  • Blog
  • Open Source
  • Publications

Follow me on