The following publications are possibly variants of this publication:
- Propagation-Aware Temporal Verification for Parallel Business Cloud WorkflowsHaoyu Luo, Xiao Liu, Jin Liu, Yun Yang. icws 2017: 106-113 [doi]
- Workflow temporal verification for monitoring parallel business processesXiao Liu, Dingxian Wang, Dong Yuan, Futian Wang, Yun Yang. SMR, 28(4):286-302, 2016. [doi]
- Runtime Verification of Business Cloud Workflow Temporal ConformanceHaoyu Luo, Xiao Liu 0004, Jin Liu 0016, Yun Yang 0001, John C. Grundy. tsc, 15(2):833-846, 2022. [doi]
- FSP: towards flexible synchronous parallel framework for expectation-maximization based algorithms on cloudZhigang Wang, Lixin Gao, Yu Gu 0002, Yubin Bao, Ge Yu. CLOUD 2017: 1-14 [doi]
- Energy-aware and Machine Learning-based Resource Provisioning of In-Memory Analytics on CloudHosein Mohammadi Makrani, Hossein Sayadi, Devang Motwani, Han Wang, Setareh Rafatirad, Houman Homayoun. CLOUD 2018: 517 [doi]
- Predicting temporal violations for parallel business cloud workflowsHaoyu Luo, Jin Liu, Xiao Liu, Yun Yang. SPE, 48(4):775-795, 2018. [doi]
- vFair: latency-aware fair storage scheduling via per-IO cost-based differentiationHui Lu, Brendan Saltaformaggio, Ramana Rao Kompella, Dongyan Xu. CLOUD 2015: 125-138 [doi]