Sign in
Yicong Li
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Embedded Software
Key Issues
Frequency Response
Interval Arithmetic
Top Venues
CCF Trans. High Perform. Comput.
ICA3PP (3)
IEEE Access
</>
Publications
</>
Lin Xu
,
Li Li
,
Meiying Wang
,
Xiangxu Wang
,
Yicong Li
,
Weidong Li
,
Kuanjiu Zhou
Online Prediction Method for Power System Frequency Response Analysis Based on Swarm Intelligence Fusion Model.
IEEE Access
11 (2023)
Masahiko Watanabe
,
Kuanjiu Zhou
,
Yicong Li
,
Zizhong Wang
,
Junyu Li
EHSTM: a formal model of embedded software and research on several key issues.
CCF Trans. High Perform. Comput.
3 (4) (2021)
Yicong Li
,
Kuanjiu Zhou
,
Lin Xu
,
Meiying Wang
,
Nan Liu
Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers.
ICA3PP (3)
(2021)