Login / Signup
Bingbing Fang
Publication Activity (10 Years)
Years Active: 2015-2016
Publications (10 Years): 1
Top Topics
Model Free
Reachability Analysis
Simulated Annealing
Worst Case
Top Venues
SETTA
QRS Companion
</>
Publications
</>
Bingbing Fang
,
Guoqiang Li
,
Daniel Sun
,
Hongming Cai
Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET.
SETTA
(2016)
Bingbing Fang
,
Guoqiang Li
,
Ling Fang
,
Jianwen Xiang
A Refined Algorithm for Reachability Analysis of Updatable Timed Automata.
QRS Companion
(2015)