Login / Signup
Aiguo Cui
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 7
Top Topics
Code Generation
Fault Detection
Control Software
Microsoft Windows
Top Venues
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
SOSP
DAC
</>
Publications
</>
Zhuo Su
,
Zehong Yu
,
Dongyan Wang
,
Yixiao Yang
,
Rui Wang
,
Wanli Chang
,
Aiguo Cui
,
Yu Jiang
STCG: State-Aware Test Case Generation for Simulink Models.
DAC
(2023)
Zhuo Su
,
Dongyan Wang
,
Zehong Yu
,
Yixiao Yang
,
Yu Jiang
,
Rui Wang
,
Wanli Chang
,
Wen Li
,
Aiguo Cui
,
Jia-Guang Sun
PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
42 (4) (2023)
Zhuo Su
,
Dongyan Wang
,
Yixiao Yang
,
Zehong Yu
,
Wanli Chang
,
Wen Li
,
Aiguo Cui
,
Yu Jiang
,
Jiaguang Sun
MDD: A Unified Model-Driven Design Framework for Embedded Control Software.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
41 (10) (2022)
Zehong Yu
,
Zhuo Su
,
Yixiao Yang
,
Jie Liang
,
Yu Jiang
,
Aiguo Cui
,
Wanli Chang
,
Rui Wang
Mercury: Instruction Pipeline Aware Code Generation for Simulink Models.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
41 (11) (2022)
Feilong Zuo
,
Zhengxiong Luo
,
Junze Yu
,
Ting Chen
,
Zichen Xu
,
Aiguo Cui
,
Yu Jiang
Vulnerability Detection of ICS Protocols via Cross-State Fuzzing.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
41 (11) (2022)
Yuheng Shen
,
Yiru Xu
,
Hao Sun
,
Jianzhong Liu
,
Zichen Xu
,
Aiguo Cui
,
Heyuan Shi
,
Yu Jiang
Tardis: Coverage-Guided Embedded Operating System Fuzzing.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
41 (11) (2022)
Hao Sun
,
Yuheng Shen
,
Cong Wang
,
Jianzhong Liu
,
Yu Jiang
,
Ting Chen
,
Aiguo Cui
HEALER: Relation Learning Guided Kernel Fuzzing.
SOSP
(2021)