Huixing Fang

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 10

Top Topics

Hierarchical Structure

Monadic Second Order Logic

Top Venues

Comput. Ind. Eng.

Mob. Networks Appl.

Publications

Jie Ding, Hui Sun, Xiao Chen, Huixing Fang
Response time analysis of a manufacturing supply chain with performance evaluation process algebra. Comput. Ind. Eng. 167 (2022)
Chenye Qiu, Huixing Fang, Ning Liu
A chaotic sine cosine algorithm with crossover operator for microgrid energy scheduling considering uncertainty. J. Intell. Fuzzy Syst. 43 (5) (2022)
Jie Ding, Xiao Chen, Hui Sun, Wei Yan, Huixing Fang
Hierarchical structure of a green supply chain. Comput. Ind. Eng. 157 (2021)
Ningning Chen, Huibiao Zhu, Huixing Fang
A Proof System for HRML with Extended Hoare Logic. TASE (2021)
Zuxi Chen, Huixing Fang, Xiangyu Luo
Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata. TASE (2019)
Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang, Shengchao Qin
Comparative modelling and verification of Pthreads and Dthreads. J. Softw. Evol. Process. 30 (3) (2018)
Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang
Comparative Modeling and Verification of Pthreads and Dthreads. HASE (2016)
Huixing Fang, Huibiao Zhu, Jifeng He
SMT-Based Symbolic Encoding and Formal Analysis of HML Models. Mob. Networks Appl. 21 (1) (2016)
Huixing Fang, Huibiao Zhu, Jianqi Shi
An Object-Oriented Language for Modeling of Hybrid Systems. HASE (2015)
Haixing Yan, Huixing Fang, Christian Kuka, Huibiao Zhu
Verification for OAuth Using ASLan++. HASE (2015)
Alexandre David, Huixing Fang, Kim Guldstrand Larsen, Zhengkui Zhang
Verification and Performance Evaluation of Timed Game Strategies. FORMATS (2014)
Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Huixing Fang, Huibiao Zhu, Jianqi Shi
Apricot - An Object-Oriented Modeling Language for Hybrid Systems CoRR (2013)
Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi
Formal Verification and Simulation: Co-verification for Subway Control Systems. TASE (2012)
Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. TASE (2012)
Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye
xBIL - A Hardware Resource Oriented Binary Intermediate Language. ICECCS (2012)
Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. ICECCS (2012)