selected publications

• academic article

  • CSTL: Compositional Signal Temporal Logic for Adaptive Edge Service Monitoring.  IEEE Transactions on Services Computing.  17:482-496. 2024

• conference paper

  • Pattern-Based Personalized Workflow Fragment Discovery.  . 106-109. 2020