Verifying simulink stateflow model: timed automata approach. - Yixiao Yang; Yu Jiang 001; Ming Gu 001; Jia-Guang Sun 001 (ASE, 2016)

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. - Yu Jiang 001; Yixiao Yang; Han Liu 010; Hui Kong 004; Ming Gu 001; Jia-Guang Sun 001; Lui Sha (RTAS, 2016)

A language model for statements of software code. - Yixiao Yang; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001; Jian Gao 008; Han Liu 010 (ASE, 2017)

Improve Language Modelling for Code Completion through Learning General Token Repetition of Source Code. - Yixiao Yang; Chen Xiang (SEKE, 2019)

Improve Language Modelling for Code Completion by Tree Language Model with Tree Encoding of Context (S). - Yixiao Yang; Chen Xiang (SEKE, 2019)

Improve Language Modeling for Code Completion Through Learning General Token Repetition of Source Code with Optimized Memory. - Yixiao Yang; Xiang Chen; Jiaguang Sun 001 (Int. J. Softw. Eng. Knowl. Eng., 2019)

Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. - Yu Jiang 001; Houbing Song; Yixiao Yang; Han Liu 010; Ming Gu 001; Yong Guan; Jiaguang Sun 001; Lui Sha (ACM Trans. Cyber Phys. Syst., 2019)

Single Image Reflection Removal Through Cascaded Refinement. - Chao Li 068; Yixiao Yang; Kun He 001; Stephen Lin 001; John E. Hopcroft (CVPR, 2020)

Improving the Robustness to Data Inconsistency between Training and Testing for Code Completion by Hierarchical Language Model. - Yixiao Yang (CoRR, 2020)

Corrigendum to Improve Language Modelling for Code Completion through Learning General Token Repetition of Source Code. - Yixiao Yang (CoRR, 2020)

Attention-Based Multi-level Network for Text Matching with Feature Fusion. - Yixiao Yang; Chongyang Zhang (ACAI, 2021)

Multi-label Fine-Grained Entity Typing for Baidu Wikipedia Based on Pre-trained Model. - Keyu Pu; Hongyi Liu; Yixiao Yang; Wenyi Lv; Jinlong Li (CCKS (Evaluation Track), 2021)

Integrating Circle Kernels into Convolutional Neural Networks. - Kun He 001; Chao Li 068; Yixiao Yang; Gao Huang 001; John E. Hopcroft (CoRR, 2021)

Dynamic Proximal Unrolling Network for Compressive Sensing Imaging. - Yixiao Yang; Ran Tao 003; Kaixuan Wei; Ying Fu 001 (CoRR, 2021)

Rtkaller: State-aware Task Generation for RTOS Fuzzing. - Yuheng Shen; Hao Sun 021; Yu Jiang 001; Heyuan Shi; Yixiao Yang; Wanli Chang 001 (ACM Trans. Embed. Comput. Syst., 2021)

Formal Design of Multi-Function Vehicle Bus Controller. - Yu Jiang 001; Mingzhe Wang; Zhuo Su 005; Yixiao Yang; Huihui Wang 001 (IEEE Trans. Intell. Transp. Syst., 2021)

Financial Event Extraction of NEC Dataset Based on Pointer Network. - Keyu Pu; Hongyi Liu; Yixiao Yang; Yaohan He; Jinlong Li (CCKS (Evaluation Track), 2022)

HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Yixiao Yang; Yu Jiang 001; Rui Wang 024; Wanli Chang 001; Jia-Guang Sun 001 (DAC, 2022)

Retinex-Based Low-Light Hyperspectral Restoration Using Camera Response Model. - Na Liu 014; Yinjian Wang; Yixiao Yang; Wei Li 032; Ran Tao 003 (IGARSS, 2022)

CMB AI Lab at SemEval-2022 Task 11: A Two-Stage Approach for Complex Named Entity Recognition via Span Boundary Detection and Span Classification. - Keyu Pu; Hongyi Liu; Yixiao Yang; Jiangzhou Ji; Wenyi Lv; Yaohan He (SemEval@NAACL, 2022)

Improve Model Testing by Integrating Bounded Model Checking and Coverage Guided Fuzzing. - Yixiao Yang (CoRR, 2022)

Dynamic proximal unrolling network for compressive imaging. - Yixiao Yang; Ran Tao 003; Kaixuan Wei; Ying Fu 001 (Neurocomputing, 2022)

Code Synthesis for Dataflow-Based Embedded Software Design. - Zhuo Su 005; Dongyan Wang; Yixiao Yang; Yu Jiang 001; Wanli Chang 001; Liming Fang 001; Wen Li; Jia-Guang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

MDD: A Unified Model-Driven Design Framework for Embedded Control Software. - Zhuo Su 005; Dongyan Wang; Yixiao Yang; Zehong Yu; Wanli Chang 001; Wen Li; Aiguo Cui; Yu Jiang 001; Jiaguang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Mercury: Instruction Pipeline Aware Code Generation for Simulink Models. - Zehong Yu; Zhuo Su 005; Yixiao Yang; Jie Liang 006; Yu Jiang 001; Aiguo Cui; Wanli Chang 001; Rui Wang 024 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

STCG: State-Aware Test Case Generation for Simulink Models. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Yixiao Yang; Rui Wang 024; Wanli Chang 001; Aiguo Cui; Yu Jiang 001 (DAC, 2023)

Single-Shot Fractional Fourier Phase Retrieval. - Yixiao Yang; Ran Tao 003 (ICASSP, 2023)

Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis. - Yixiao Yang; Chen Gao; Zhiqi Li; Yifan Wang; Rui Wang 024 (SETTA, 2023)

PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions. - Zhuo Su 005; Dongyan Wang; Zehong Yu; Yixiao Yang; Yu Jiang 001; Rui Wang 024; Wanli Chang 001; Wen Li; Aiguo Cui; Jia-Guang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

SQLPass: A Semantic Effective Fuzzing Method for DBMS. - Yu Li; Yixiao Yang; Yong Guan; Zhiping Shi 002; Rui Wang 024 (COMPSAC, 2024)

Spectrum analysis for nonuniform sampling of bandlimited and multiband signals in the fractional Fourier domain. - Jinming Ma; Yixiao Yang; Ran Tao 003; Gang Li 008; Chang Gao 005 (Signal Process., 2024)

Single-Shot Phase Retrieval From a Fractional Fourier Transform Perspective. - Yixiao Yang; Ran Tao 003; Kaixuan Wei; Jun Shi 003 (IEEE Trans. Signal Process., 2024)

A Dual-Layer Network Deep Reinforcement Learning Algorithm for Multi-objective Signal Temporal Logic Tasks. - Yixiao Yang; Tiange Yang; Yuanyuan Zou 001; Shaoyuan Li; Yaru Yang (Circuits Syst. Signal Process., 2024)

HSTCG: State-Aware Simulink Model Test Case Generation With Heuristic Strategy. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Yixiao Yang; Rui Wang 024; Wanli Chang 001; Aiguo Cui; Yu Jiang 001 (IEEE Trans. Software Eng., 2024)

MonoInstance: Enhancing Monocular Priors via Multi-view Instance Alignment for Neural Rendering and Reconstruction. - Wenyuan Zhang; Yixiao Yang; Han Huang; Liang Han; Kanle Shi; Yu-Shen Liu; Zhizhong Han (CVPR, 2025)

Knight: Optimizing Code Generation for Simulink Models With Loop Reshaping. - Zehong Yu; Yixiao Yang; Zhuo Su 005; Rui Wang 024; Yang Tao; Yu Jiang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)