Login / Signup
Saijie Huang
Publication Activity (10 Years)
Years Active: 2013-2020
Publications (10 Years): 1
Top Topics
Transition Systems
Automated Verification
Temporal Properties
Model Checking
Top Venues
IEEE Trans. Cloud Comput.
BDCloud
ISVLSI
</>
Publications
</>
Mingsong Chen
,
Saijie Huang
,
Xin Fu
,
Xiao Liu
,
Jifeng He
Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation.
IEEE Trans. Cloud Comput.
8 (2) (2020)
Saijie Huang
,
Mingsong Chen
,
Xiao Liu
,
Dehui Du
,
Xiaohong Chen
Variation-Aware Resource Allocation Evaluation for Cloud Workflows Using Statistical Model Checking.
BDCloud
(2014)
Mingsong Chen
,
Saijie Huang
,
Geguang Pu
,
Prabhat Mishra
Branch-and-bound style resource constrained scheduling using efficient structure-aware pruning.
ISVLSI
(2013)