Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Huixing Fang
Observed name:
Fang, Huixing
Institution:
Huangshan University
Observed institutions:
East China Jiaotong University,
Huangshan University,
Shanghai Key Laboratory of Trustworthy Computing,
East China Normal University,
Yangzhou University
ORCID:
0000-0003-4980-9452
Observed ORCID:
0000-0003-4980-9452
OpenAlex ID:
A5049454570
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System
2012
·
Jianqi Shi
, Jifeng He
, et al.
·
IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)
·
27
Hierarchical structure of a green supply chain
2021
·
Jie Ding
, Xiao Chen
, et al.
·
Computers & Industrial Engineering
·
24
Comparative modelling and verification of Pthreads and Dthreads
2017
·
Yuan Fei
, Huibiao Zhu
, et al.
·
Journal of Software Evolution and Process
·
13
PDF
Verification and Performance Evaluation of Timed Game Strategies
2014
·
Alexandre David
, Huixing Fang
, et al.
·
Lecture notes in computer science
·
12
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems
2014
·
Huixing Fang
, Jianqi Shi
, et al.
·
International Journal on Software Tools for Technology Transfer
·
9
Verification for OAuth Using ASLan++
2015
·
Haixing Yan
, Huixing Fang
, et al.
·
IEEE International Symposium on High Assurance Systems Engineering (HASE)
·
6
Response time analysis of a manufacturing supply chain with performance evaluation process algebra
2022
·
Jie Ding
, Hui Sun
, et al.
·
Computers & Industrial Engineering
·
5
Comparative Modeling and Verification of Pthreads and Dthreads
2016
·
Yuan Fei
, Huibiao Zhu
, et al.
·
IEEE International Symposium on High Assurance Systems Engineering (HASE)
·
4
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System
2012
·
Jianqi Shi
, Longfei Zhu
, et al.
·
International Symposium on Theoretical Aspects of Software Engineering (TASE)
·
4
Formal Verification and Simulation: Co-verification for Subway Control Systems
2012
·
Huixing Fang
, Jian Guo
, et al.
·
International Symposium on Theoretical Aspects of Software Engineering (TASE)
·
4
xBIL -- A Hardware Resource Oriented Binary Intermediate Language
2012
·
Jianqi Shi
, Longfei Zhu
, et al.
·
IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)
·
4
A chaotic sine cosine algorithm with crossover operator for microgrid energy scheduling considering uncertainty
2022
·
Chenye Qiu
, Huixing Fang
, et al.
·
Journal of Intelligent & Fuzzy Systems
·
2
Performance Modelling and Analysis of a Station-free Bike Sharing System
2018
·
Meihua Zhou
, Jie Ding
, et al.
·
Intelligent Autonomous Systems
·
2
An Object-Oriented Language for Modeling of Hybrid Systems
2015
·
Huixing Fang
, Huibiao Zhu
, et al.
·
IEEE International Symposium on High Assurance Systems Engineering (HASE)
·
2
SMT-Based Symbolic Encoding and Formal Analysis of HML Models
2016
·
Huixing Fang
, Huibiao Zhu
, et al.
·
Mobile Networks and Applications
·
1
Apricot - An Object-Oriented Modeling Language for Hybrid Systems
2013
·
Fang, Huixing
, Zhu, Huibiao
, et al.
·
arXiv (Cornell University)
·
1
PDF
Compositional Formal Verification of Anti-Lock Braking System Neural Controllers
2026
·
Huixing Fang
·
Computers
PDF
An Improved Sine Cosine Algorithm with Chaotic Crossover Operator for Feature Selection
2024
·
Chenye Qiu
, Huixing Fang
·
International Conference on the Frontiers of Electronic, Electrical and Information Engineering (ICFEEIE)
A Note on Reaction-Diffusion Equations Derived from a PEPA Model
2021
·
Jie Ding
, Huixing Fang
·
Lecture notes in electrical engineering
A Proof System for HRML with Extended Hoare Logic
2021
·
Ningning Chen
, Huibiao Zhu
, et al.
·
International Symposium on Theoretical Aspects of Software Engineering (TASE)
Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata
2019
·
Zuxi Chen
, Huixing Fang
, et al.
·
International Symposium on Theoretical Aspects of Software Engineering (TASE)
Performance Modeling and Analysis for Traffic Path Guidance System
2018
·
Hui Sun
, Huixing Fang
, et al.
·
Cross Strait Radio Science and Wireless Technology Conference (CSRSWTC)
Formal Verification of OSEK/VDX Real-Time Operating System (Empirical Report)
2012
·
Jianqi Shi
, Huixing Fang
, et al.
·
IEEE International Conference on Software Security and Reliability Companion
Show more works
View as search
Works count:
23
Citation count:
120
H-index:
6
I10-index:
4
Year
Topic
Type
