Yixiao Yang

Dependable Model-driven Development of CPS

Yu Jiang, Houbing Song, Yixiao Yang et al. · ACM Transactions on Cyber-Physical Systems · 2018 · 38 citations · Full text

Engineering, Verification, Computer-aided Verification +23

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design

Yu Jiang, Yixiao Yang, Han Liu et al. · 2016 · 31 citations

Railway Traffic, Real-time Control, Engineering +28

Verifying simulink stateflow model: timed automata approach

Yixiao Yang, Yu Jiang, Ming Gu et al. · 2016 · 27 citations

Engineering, Verification, Simulink Stateflow Model +21

Rtkaller: State-aware Task Generation for RTOS Fuzzing

Yuheng Shen, Hao Sun, Yu Jiang et al. · ACM Transactions on Embedded Computing Systems · 2021 · 17 citations

Engineering, Computer Architecture, Software Engineering +18

A language model for statements of software code

Yixiao Yang, Yu Jiang, Ming Gu et al. · 2017 · 15 citations

Engineering, Software Engineering, Source Code Analysis +21