An Expanded Stochastic Model in DAG Schemes. - Kai Hu 004; Yan Jiang; Zhibin Yang; Shiran Chen (AINA Workshops, 2008)

Towards a formal semantics for the AADL behavior annex. - Zhibin Yang; Kai Hu 004; Dianfu Ma; Lei Pi (DATE, 2009)

A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. - Lei Pi; Zhibin Yang; Jean-Paul Bodeveix; Mamoun Filali; Kai Hu 004; Dianfu Ma (ICECCS, 2009)

An Analytical Model of k-Ary n-Cube under Spatial Communication Locality. - Kai Hu 004; Zhe Wang 024 (AINA Workshops, 2010)

Two Formal Semantics of a Subset of the AADL. - Zhibin Yang; Kai Hu 004; Jean-Paul Bodeveix; Lei Pi; Dianfu Ma; Jean-Pierre Talpin (ICECCS, 2011)

Structure Analysis of Network Traffic Matrix Based on Relaxed Principal Component Pursuit - Zhe Wang 024; Kai Hu 004; Ke Xu; Baolin Yin (CoRR, 2011)

Structural analysis of network traffic matrix via relaxed principal component pursuit. - Zhe Wang 024; Kai Hu 004; Ke Xu; Baolin Yin; Xiaowen Dong 001 (Comput. Networks, 2012)

Baselining Network-Wide Traffic by Time-Frequency Constrained Stable Principal Component Pursuit - Kai Hu 004; Zhe Wang 024 (CoRR, 2013)

Multi-threaded code generation from Signal program to OpenMP. - Kai Hu 004; Teng Zhang; Zhibin Yang (Frontiers Comput. Sci., 2013)

An Improved Traffic Matrix Decomposition Method with Frequency-Domain Regularization. - Zhe Wang 024; Kai Hu 004; Baolin Yin (IEICE Trans. Inf. Syst., 2013)

A verified transformation: from polychronous programs to a variant of clocked guarded actions. - Zhibin Yang; Jean-Paul Bodeveix; Mamoun Filali; Kai Hu 004; Dianfu Ma (SCOPES, 2014)

From AADL to Timed Abstract State Machines: A verified model transformation. - Zhibin Yang; Kai Hu 004; Dianfu Ma; Jean-Paul Bodeveix; Lei Pi; Jean-Pierre Talpin (J. Syst. Softw., 2014)

Autonomous Decentralized Combinatorial Testing. - Wei-Tek Tsai; Guanqiu Qi; Kai Hu 004 (ISADS, 2015)

Internet Traffic Matrix Structural Analysis Based on Multi-Resolution RPCA. - Zhe Wang 024; Kai Hu 004; Baolin Yin (CoRR, 2015)

Exploring AADL verification tool through model transformation. - Kai Hu 004; Teng Zhang; Zhibin Yang; Wei-Tek Tsai (J. Syst. Archit., 2015)

Simulation of real-time systems with clock calculus. - Kai Hu 004; Teng Zhang; Zhibin Yang; Wei-Tek Tsai (Simul. Model. Pract. Theory, 2015)

Towards a verified compiler prototype for the synchronous language SIGNAL. - Zhibin Yang; Jean-Paul Bodeveix; Mamoun Filali; Kai Hu 004; Yongwang Zhao; Dianfu Ma (Frontiers Comput. Sci., 2016)

Multi-tenant Verification-as-a-Service (VaaS) in a cloud. - Kai Hu 004; Lei Lei; Wei-Tek Tsai (Simul. Model. Pract. Theory, 2016)

A Novel Trace Clustering Technique Based on Constrained Trace Alignment. - Pan Wang; WenAn Tan; Anqiong Tang; Kai Hu 004 (HCC, 2017)

Multi-Blockchain Model for Central Bank Digital Currency. - He Sun; Hongliang Mao; Xiaomin Bai; Zhidong Chen; Kai Hu 004; Wei Yu (PDCAT, 2017)

Formal Modeling and Verification of Blockchain System. - Zhangbo Duan; Hongliang Mao; Zhidong Chen; Xiaomin Bai; Kai Hu 004; Jean-Pierre Talpin (ICCMS, 2018)

Formal Modeling and Verification of Smart Contracts. - Xiaomin Bai; Zijing Cheng; Zhangbo Duan; Kai Hu 004 (ICSCA, 2018)

A Multiple Blockchains Architecture on Inter-Blockchain Communication. - Kan Luo; Wei Yu; Muhammad Amjad Hafiz; Siyuan Wang; Linchao Gao; Kai Hu 004 (QRS Companion, 2018)

SC-RBAC: A Smart Contract based RBAC Model for DApps. - Yi Ding 009; Jun Jin 010; Jinglun Zhang; Zhongyi Wu; Kai Hu 004 (HCC, 2019)

Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog. - Muhammad Amjad Hafiz; Kai Hu 004; Jianwei Niu 002; Noor Khan; Loïc Besnard; Jean-Pierre Talpin (SKG, 2019)

Template-based AADL automatic code generation. - Kai Hu 004; Zhangbo Duan; Jiye Wang; Lingchao Gao; Lihong Shang (Frontiers Comput. Sci., 2019)

Smart Contract Microservitization. - Siyuan Wang; Xuehan Zhang; Wei Yu; Kai Hu 004; Jian Zhu (COMPSAC, 2020)

A Master-Slave Chain Model for Multiple Blockchains. - Xinsen Hu; Kai Hu 004; Siyuan Wang; Qinwei Tong (ICBTA, 2020)

Formal Verification of Solidity contracts in Event-B. - Jian Zhu; Kai Hu 004; Mamoun Filali; Jean-Paul Bodeveix; Jean-Pierre Talpin (CoRR, 2020)

Formal Simulation and Verification of Solidity contracts in Event-B. - Jian Zhu; Kai Hu 004; Mamoun Filali; Jean-Paul Bodeveix; Jean-Pierre Talpin; Haitao Cao 005 (COMPSAC, 2021)

Verification of concurrent code from synchronous specifications. - Kai Hu 004; Teng Zhang; Yi Ding 009; Jian Zhu; Jean-Pierre Talpin (Sci. Comput. Program., 2021)

Cover Image. - Kai Hu 004; Ji Wan; Kan Luo; Yuzhuang Xu; Zijing Cheng; Wei-Tek Tsai (Softw. Test. Verification Reliab., 2021)

Verification algebra for multi-tenant applications in VaaS architecture. - Kai Hu 004; Ji Wan; Kan Luo; Yuzhuang Xu; Zijing Cheng; Wei-Tek Tsai (Softw. Test. Verification Reliab., 2021)

Erratum. - Kai Hu 004; Ji Wan; Kan Luo; Yuzhuang Xu; Zijing Cheng; Wei-Tek Tsai (Softw. Test. Verification Reliab., 2021)

Design and Optimization of Bionic Wings Based on Leading-edge Angle for Flapping-Wing Micro Air Vehicle. - Yuchen Xia; Huichao Deng; Kai Hu 004; Lili Yang; Shengjie Xiao; Xilun Ding; Zhaolu Xiong (ROBIO, 2022)

AnonymousFox: An Efficient and Scalable Blockchain Consensus Algorithm. - Ji Wan; Kai Hu 004; Jie Li 051; Hao Su (IEEE Internet Things J., 2022)

The Specification of Blockchain Oracle System. - Jie Li 051; Kai Hu 004; Ji Wan; Wenhao Zhan; Yidan Zou; Yuan Ai; Liping Gao; Yujun Yin (MDM, 2023)

Smart Contract Service Optimization in Blockchain-Cloud Collaborative Computing. - Ji Wan; Kai Hu 004; Jie Li; Hao Su; Qingshun Wu; Mingyuan Li; Libo Feng; Yan Pan (MDM, 2023)