selected publications

• academic article

  • CSTL: Compositional Signal Temporal Logic for Adaptive Edge Service Monitoring.  IEEE Transactions on Services Computing.  17:482-496. 2024
  • CTL-Based Adaptive Service Composition in Edge Networks.  IEEE Transactions on Services Computing.  16:1051-1065. 2022

• conference paper

  • Accurate Anomaly Detection Leveraging Knowledge-enhanced GAT.  . 568-577. 2024