Huixing Fang

According to our database, Huixing Fang authored at least 17 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Response time analysis of a manufacturing supply chain with performance evaluation process algebra.

Jie Ding, Hui Sun, Xiao Chen, Huixing Fang

Comput. Ind. Eng., 2022

2021

Hierarchical structure of a green supply chain.

Jie Ding, Xiao Chen, Hui Sun, Wei Yan, Huixing Fang

Comput. Ind. Eng., 2021

A Proof System for HRML with Extended Hoare Logic.

Ningning Chen, Huibiao Zhu, Huixing Fang

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

2019

Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata.

Zuxi Chen, Huixing Fang, Xiangyu Luo

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

2018

Comparative modelling and verification of Pthreads and Dthreads.

Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang, Shengchao Qin

J. Softw. Evol. Process., 2018

2016

SMT-Based Symbolic Encoding and Formal Analysis of HML Models.

Huixing Fang, Huibiao Zhu, Jifeng He

Mob. Networks Appl., 2016

Comparative Modeling and Verification of Pthreads and Dthreads.

Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015

Verification for OAuth Using ASLan++.

Haixing Yan, Huixing Fang, Christian Kuka, Huibiao Zhu

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

An Object-Oriented Language for Modeling of Hybrid Systems.

Huixing Fang, Huibiao Zhu, Jianqi Shi

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems.

Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David

Int. J. Softw. Tools Technol. Transf., 2014

Verification and Performance Evaluation of Timed Game Strategies.

Alexandre David, Huixing Fang, Kim Guldstrand Larsen, Zhengkui Zhang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2013

Apricot - An Object-Oriented Modeling Language for Hybrid Systems

Huixing Fang, Huibiao Zhu, Jianqi Shi

CoRR, 2013

2012

Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System.

Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Formal Verification and Simulation: Co-verification for Subway Control Systems.

Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

xBIL - A Hardware Resource Oriented Binary Intermediate Language.

Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System.

Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012