Huixing Fang

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