TU Wien Informatics

Role

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.

  • 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 / Project: ZK 35-G
  • 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), International. https://doi.org/10.1145/3487212.3487344