TU Wien Informatics

Role

  • Online Monitoring of Spatio-Temporal Properties for Imprecise Signals / E. Visconti, E. Bartocci, M. Loreti, L. Nenzi / accepted as talk for: MEMOCODE'21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Beijing, China (Online due to Covid); 2021-11-20 - 2021-11-22; in: "Proc. of MEMOCODE'21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design", (2021)
  • Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems / S. Mohammadinejad, J. Deshmukh, L. Nenzi / accepted as talk for: ATVA 2021: the 19th International Symposium on Automated Technology for Verification and Analysis, Australia (Online); 2021-10-18 - 2021-10-22; in: "Proc. of ATVA 2021: the 19th International Symposium on Automated Technology for Verification and Analysis", (2021)