TU Wien Informatics

20 Years

Role

  • WebMonitor: Verification of Web User Interfaces / Visconti, E., Tsigkanos, C., & Nenzi, L. (2023). WebMonitor: Verification of Web User Interfaces. In ASE ’22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (pp. 1–4). Association for Computing Machinery (ACM). https://doi.org/10.1145/3551349.3559538
    Download: PDF (775 KB)
    Project: ZK 35-G (2019–2024)
  • Online monitoring of spatio-temporal properties for imprecise signals / Visconti, E., Bartocci, E., Loreti, M., & Nenzi, L. (2021). Online monitoring of spatio-temporal properties for imprecise signals. In Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design. MEMOCODE’21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Beijing, China (Online due to Covid), China. https://doi.org/10.1145/3487212.3487344
  • Model-driven engineering city spaces via bidirectional model transformations / Visconti, E., Tsigkanos, C., Hu, Z., & Ghezzi, C. (2021). Model-driven engineering city spaces via bidirectional model transformations. Software and Systems Modeling, 20(6), 2003–2022. https://doi.org/10.1007/s10270-020-00851-0
  • Monitoring Spatio-Temporal Properties (Invited Tutorial) / Nenzi, L., Bartocci, E., Bortolussi, L., Loreti, M., & Visconti, E. (2020). Monitoring Spatio-Temporal Properties (Invited Tutorial). In Lecture Notes in Computer Science. Proc. of RV 2020: the 20th International Conference on Runtime Verification, Los Angeles, CA (Virtual), Non-EU. Springer. https://doi.org/10.1007/978-3-030-60508-7
  • Model-Driven Design of City Spaces via Bidirectional Transformations / Visconti, E., Tsigkanos, C., Hu, Z., & Ghezzi, C. (2019). Model-Driven Design of City Spaces via Bidirectional Transformations. In M. Kessentini, T. Yue, A. Pretschner, S. Voss, & L. Burgueño (Eds.), 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE. https://doi.org/10.1109/models.2019.00-16