selected publications

• academic article

  • ASTL: Accumulative STL With a Novel Robustness Metric for IoT Service Monitoring.  IEEE Transactions on Mobile Computing.  22:5751-5768. 2022

• conference paper

  • ASTL: Accumulative Signal Temporal Logic for IoT Service Monitoring.  . 256-265. 2022