Follow
Ennio Visconti
Ennio Visconti
PhD Student in Computer Science, TU Wien
Verified email at tuwien.ac.at - Homepage
Title
Cited by
Cited by
Year
Model-driven engineering city spaces via bidirectional model transformations
E Visconti, C Tsigkanos, Z Hu, C Ghezzi
Software and systems modeling 20 (6), 2003-2022, 2021
102021
Monitoring spatio-temporal properties (invited tutorial)
L Nenzi, E Bartocci, L Bortolussi, M Loreti, E Visconti
International Conference on Runtime Verification, 21-46, 2020
62020
Model-driven design of city spaces via bidirectional transformations
E Visconti, C Tsigkanos, Z Hu, C Ghezzi
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
62019
Online monitoring of spatio-temporal properties for imprecise signals
E Visconti, E Bartocci, M Loreti, L Nenzi
Proceedings of the 19th ACM-IEEE International Conference on Formal Methods …, 2021
42021
Posterior predictive model checking using formal methods
L Vana, E Visconti, L Nenzi, A Cadonna, G Kastner, R Parzer
Minsk: BSU, 2022
2*2022
Adaptable Configuration of Decentralized Monitors
E Visconti, E Bartocci, Y Falcone, L Nenzi
International Conference on Formal Techniques for Distributed Objects …, 2024
2024
WebMonitor: Verification of Web User Interfaces
E Visconti, C Tsigkanos, L Nenzi
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
2022
Posterior predictive model assessment using formal methods in a spatio-temporal model
L Vana Gür, E Visconti, L Nenzi, A Cadonna, G Kastner
2022
On model-driven design of city spaces. A bidirectional transformations approach to city spaces design and operations
E VISCONTI
Politecnico di Milano, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–9