Login / Signup
Hai-feng Xing
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 2
Top Topics
Upper Bound
Multi Objective Evolutionary Algorithms
Model Checking
General Purpose
Top Venues
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
COMPSAC (1)
</>
Publications
</>
Hai-feng Xing
,
Jiantao Zhou
,
Xiaoyu Song
,
Rui-dong Qi
A Dynamic Multi-Objective Evolutionary Algorithm for Nontrivial Upper Bounds of Real-Time Tasks in Embedded System Design.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
(2018)
Hai-feng Xing
,
Jiantao Zhou
,
Xiaoyu Song
,
Rui-dong Qi
SMT-Based Timing Analysis and Verification of Real-Time Task.
COMPSAC (1)
(2018)