Ennio Visconti

According to our database, Ennio Visconti authored at least 6 papers between 2019 and 2022.

Collaborative distances:

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

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