ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. - Jianqi Shi; Jifeng He 001; Huibiao Zhu; Huixing Fang; Yanhong Huang; Xiaoxian Zhang (ICECCS, 2012)

xBIL - A Hardware Resource Oriented Binary Intermediate Language. - Jianqi Shi; Longfei Zhu; Huixing Fang; Jian Guo 005; Huibiao Zhu; Xin Ye (ICECCS, 2012)

Formal Verification and Simulation: Co-verification for Subway Control Systems. - Huixing Fang; Jian Guo 005; Huibiao Zhu; Jianqi Shi (TASE, 2012)

Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. - Jianqi Shi; Longfei Zhu; Yanhong Huang; Jian Guo 005; Huibiao Zhu; Huixing Fang; Xin Ye (TASE, 2012)

Apricot - An Object-Oriented Modeling Language for Hybrid Systems - Huixing Fang; Huibiao Zhu; Jianqi Shi (CoRR, 2013)

Verification and Performance Evaluation of Timed Game Strategies. - Alexandre David; Huixing Fang; Kim Guldstrand Larsen; Zhengkui Zhang (FORMATS, 2014)

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems. - Huixing Fang; Jianqi Shi; Huibiao Zhu; Jian Guo 005; Kim Guldstrand Larsen; Alexandre David (Int. J. Softw. Tools Technol. Transf., 2014)

An Object-Oriented Language for Modeling of Hybrid Systems. - Huixing Fang; Huibiao Zhu; Jianqi Shi (HASE, 2015)

Verification for OAuth Using ASLan++. - Haixing Yan; Huixing Fang; Christian Kuka; Huibiao Zhu (HASE, 2015)

Comparative Modeling and Verification of Pthreads and Dthreads. - Yuan Fei; Huibiao Zhu; Xi Wu 005; Huixing Fang (HASE, 2016)

SMT-Based Symbolic Encoding and Formal Analysis of HML Models. - Huixing Fang; Huibiao Zhu; Jifeng He 001 (Mob. Networks Appl., 2016)

Comparative modelling and verification of Pthreads and Dthreads. - Yuan Fei; Huibiao Zhu; Xi Wu 005; Huixing Fang; Shengchao Qin (J. Softw. Evol. Process., 2018)

Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata. - Zuxi Chen; Huixing Fang; Xiangyu Luo (TASE, 2019)

A Proof System for HRML with Extended Hoare Logic. - Ningning Chen; Huibiao Zhu; Huixing Fang (TASE, 2021)

Hierarchical structure of a green supply chain. - Jie Ding 008; Xiao Chen 003; Hui Sun; Wei Yan; Huixing Fang (Comput. Ind. Eng., 2021)

Response time analysis of a manufacturing supply chain with performance evaluation process algebra. - Jie Ding 008; Hui Sun; Xiao Chen 003; Huixing Fang (Comput. Ind. Eng., 2022)

A chaotic sine cosine algorithm with crossover operator for microgrid energy scheduling considering uncertainty. - Chenye Qiu; Huixing Fang; Ning Liu (J. Intell. Fuzzy Syst., 2022)

Demand Response Based Optimal Microgrid Scheduling Problem Using A Multi-swarm Sine Cosine Algorithm. - Chenye Qiu; Huixing Fang (KSII Trans. Internet Inf. Syst., 2024)