Ennio Visconti

According to our database, Ennio Visconti authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Adaptable Configuration of Decentralized Monitors.

Ennio Visconti, Ezio Bartocci, Yliès Falcone, Laura Nenzi

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2022

WebMonitor: Verification of Web User Interfaces.

Ennio Visconti, Christos Tsigkanos, Laura Nenzi

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

Model-driven engineering city spaces via bidirectional model transformations.

Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi

Softw. Syst. Model., 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

Online monitoring of spatio-temporal properties for imprecise signals.

Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

2020

Monitoring Spatio-Temporal Properties (Invited Tutorial).

Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti

Proceedings of the Runtime Verification - 20th International Conference, 2020

2019

Model-Driven Design of City Spaces via Bidirectional Transformations.

Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019