Ennio Visconti
Projektass.(FWF) Dott.mag.
Role
-
PreDoc Researcher
Cyber-Physical Systems, E191-01
Projects
-
High-dimensional statistical learning: New methods to advance economic and
sustainability policies
2019 – 2024 / Austrian Science Fund (FWF)
Publications: 152313 / 177476 / 135853
Publications
-
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), International. https://doi.org/10.1145/3487212.3487344