Huixing Fang

Statistics

Publications

Citations

H-Index

Active since

2012

Affiliations

Shanghai Key Laboratory of Trustworthy Computing(Current)

East China Normal University

Yangzhou University

Huixing Fang is an author at Shanghai Key Laboratory of Trustworthy Computing specializing in computer science, computer engineering, and embedded systems.

ORCID

Publications per year

2012–2021

Publications

Hierarchical structure of a green supply chain

Jie Ding, Xiao Chen, Hui Sun et al. · Computers & Industrial Engineering · 2021 · 22 citations

Management, Operations Management, Supply Chain Management +14

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

Jianqi Shi, Jifeng He, Huibiao Zhu et al. · International Conference on Engineering of Complex Computer Systems · 2012 · 19 citations

Engineering, Computer Engineering, Computer Science +17

Comparative modelling and verification of Pthreads and Dthreads

Yuan Fei, Huibiao Zhu, Xi Wu et al. · Journal of Software Evolution and Process · 2017 · 13 citations · Full text

Computing, Computer Engineering, Computer Science +17

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

Jianqi Shi, Jifeng He, Huibiao Zhu et al. · 2012 · 13 citations

Engineering, Computer Engineering, Computer Science +17

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

Huixing Fang, Jianqi Shi, Huibiao Zhu et al. · International Journal on Software Tools for Technology Transfer · 2014 · 10 citations

Engineering, Computer Science, Systems Engineering +16

1–5 of 5