Kai Hu

According to our database, Kai Hu authored at least 38 papers between 2008 and 2023.

Collaborative distances:

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

2023

Smart Contract Service Optimization in Blockchain-Cloud Collaborative Computing.

Ji Wan, Kai Hu, Jie Li, Hao Su, Qingshun Wu, Mingyuan Li, Libo Feng, Yan Pan

Proceedings of the 24th IEEE International Conference on Mobile Data Management, 2023

The Specification of Blockchain Oracle System.

Jie Li, Kai Hu, Ji Wan, Wenhao Zhan, Yidan Zou, Yuan Ai, Liping Gao, Yujun Yin

Proceedings of the 24th IEEE International Conference on Mobile Data Management, 2023

2022

AnonymousFox: An Efficient and Scalable Blockchain Consensus Algorithm.

Ji Wan, Kai Hu, Jie Li, Hao Su

IEEE Internet Things J., 2022

Design and Optimization of Bionic Wings Based on Leading-edge Angle for Flapping-Wing Micro Air Vehicle.

Yuchen Xia, Huichao Deng, Kai Hu, Lili Yang, Shengjie Xiao, Xilun Ding, Zhaolu Xiong

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2022

2021

Erratum.

Kai Hu, 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, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai

Softw. Test. Verification Reliab., 2021

Cover Image.

Kai Hu, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai

Softw. Test. Verification Reliab., 2021

Verification of concurrent code from synchronous specifications.

Kai Hu, Teng Zhang, Yi Ding, Jian Zhu, Jean-Pierre Talpin

Sci. Comput. Program., 2021

Formal Simulation and Verification of Solidity contracts in Event-B.

Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin, Haitao Cao

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020

Formal Verification of Solidity contracts in Event-B.

Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin

CoRR, 2020

A Master-Slave Chain Model for Multiple Blockchains.

Xinsen Hu, Kai Hu, Siyuan Wang, Qinwei Tong

Proceedings of the ICBTA 2020: The 3rd International Conference on Blockchain Technology and Applications, 2020

Smart Contract Microservitization.

Siyuan Wang, Xuehan Zhang, Wei Yu, Kai Hu, Jian Zhu

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

2019

Template-based AADL automatic code generation.

Kai Hu, Zhangbo Duan, Jiye Wang, Lingchao Gao, Lihong Shang

Frontiers Comput. Sci., 2019

Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog.

Muhammad Amjad Hafiz, Kai Hu, Jianwei Niu, Noor Khan, Loïc Besnard, Jean-Pierre Talpin

Proceedings of the 15th International Conference on Semantics, Knowledge and Grids, 2019

SC-RBAC: A Smart Contract based RBAC Model for DApps.

Yi Ding, Jun Jin, Jinglun Zhang, Zhongyi Wu, Kai Hu

Proceedings of the Human Centered Computing - 5th International Conference, 2019

2018

A Multiple Blockchains Architecture on Inter-Blockchain Communication.

Kan Luo, Wei Yu, Muhammad Amjad Hafiz, Siyuan Wang, Linchao Gao, Kai Hu

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Formal Modeling and Verification of Smart Contracts.

Xiaomin Bai, Zijing Cheng, Zhangbo Duan, Kai Hu

Proceedings of the 7th International Conference on Software and Computer Applications, 2018

Formal Modeling and Verification of Blockchain System.

Zhangbo Duan, Hongliang Mao, Zhidong Chen, Xiaomin Bai, Kai Hu, Jean-Pierre Talpin

Proceedings of the 10th International Conference on Computer Modeling and Simulation, 2018

2017

Multi-Blockchain Model for Central Bank Digital Currency.

He Sun, Hongliang Mao, Xiaomin Bai, Zhidong Chen, Kai Hu, Wei Yu

Proceedings of the 18th International Conference on Parallel and Distributed Computing, 2017

A Novel Trace Clustering Technique Based on Constrained Trace Alignment.

Pan Wang, WenAn Tan, Anqiong Tang, Kai Hu

Proceedings of the Human Centered Computing - Third International Conference, 2017

2016

Multi-tenant Verification-as-a-Service (VaaS) in a cloud.

Kai Hu, Lei Lei, Wei-Tek Tsai

Simul. Model. Pract. Theory, 2016

Towards a verified compiler prototype for the synchronous language SIGNAL.

Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, Dianfu Ma

Frontiers Comput. Sci., 2016

2015

Simulation of real-time systems with clock calculus.

Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai

Simul. Model. Pract. Theory, 2015

Exploring AADL verification tool through model transformation.

Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai

J. Syst. Archit., 2015

Internet Traffic Matrix Structural Analysis Based on Multi-Resolution RPCA.

Zhe Wang, Kai Hu, Baolin Yin

CoRR, 2015

Autonomous Decentralized Combinatorial Testing.

Wei-Tek Tsai, Guanqiu Qi, Kai Hu

Proceedings of the Twelfth IEEE International Symposium on Autonomous Decentralized Systems, 2015

2014

From AADL to Timed Abstract State Machines: A verified model transformation.

Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi, Jean-Pierre Talpin

J. Syst. Softw., 2014

A verified transformation: from polychronous programs to a variant of clocked guarded actions.

Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma

Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems, 2014

2013

An Improved Traffic Matrix Decomposition Method with Frequency-Domain Regularization.

Zhe Wang, Kai Hu, Baolin Yin

IEICE Trans. Inf. Syst., 2013

Multi-threaded code generation from Signal program to OpenMP.

Kai Hu, Teng Zhang, Zhibin Yang

Frontiers Comput. Sci., 2013

Baselining Network-Wide Traffic by Time-Frequency Constrained Stable Principal Component Pursuit

Kai Hu, Zhe Wang

CoRR, 2013

2012

Structural analysis of network traffic matrix via relaxed principal component pursuit.

Zhe Wang, Kai Hu, Ke Xu, Baolin Yin, Xiaowen Dong

Comput. Networks, 2012

2011

Structure Analysis of Network Traffic Matrix Based on Relaxed Principal Component Pursuit

Zhe Wang, Kai Hu, Ke Xu, Baolin Yin

CoRR, 2011

Two Formal Semantics of a Subset of the AADL.

Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010

An Analytical Model of k-Ary n-Cube under Spatial Communication Locality.

Kai Hu, Zhe Wang

Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2010

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, Dianfu Ma

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Towards a formal semantics for the AADL behavior annex.

Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi

Proceedings of the Design, Automation and Test in Europe, 2009

2008

An Expanded Stochastic Model in DAG Schemes.

Kai Hu, Yan Jiang, Zhibin Yang, Shiran Chen

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008