Kai Hu

46 papers A* 1A 1B 6C 6Journal 21Unranked 11
YearRankTypeTitle / Venue / Authors
2025 C conf
Data Destruction Mechanism Based on AONT-CTR and Blockchain.
CSCWD
Pengkai Xia, Kai Hu, Jiehua Huang, Jiang Li, Cong Lin, Qingchan Liu, Yitao Zhao, Xiyan Shi
2025 C conf
Research on Data Security and Management Mechanism Based on Blockchain.
CSCWD
Pengkai Xia, Kai Hu, Yihang Ren, Jie Li, Cong Lin, Qingchan Liu, Shenzhang Li, Jiahao Li
2024 J jnl
A formal specification language and automatic modeling method of asset securitization contract.
J. King Saud Univ. Comput. Inf. Sci.
Yang Li, Kai Hu, Jie Li, Kaixiang Lu, Yuan Ai
2024 A* conf
Research on bionic foldable wing for flapping wing micro air vehicle.
ICRA
Shengjie Xiao, Kai Hu, Yuhong Sun, Yun Wang, Bo Qin, Huichao Deng, Xuan Wu, Xilun Ding
2024 J jnl
Zebra: A cluster-aware blockchain consensus algorithm.
J. Netw. Comput. Appl.
Ji Wan, Kai Hu, Jie Li, Yichen Guo, Hao Su, Shenzhang Li, Yafei Ye
2023 B conf
Smart Contract Service Optimization in Blockchain-Cloud Collaborative Computing.
MDM
Ji Wan, Kai Hu, Jie Li, Hao Su, Qingshun Wu, Mingyuan Li, Libo Feng, Yan Pan
2023 B conf
The Specification of Blockchain Oracle System.
MDM
Jie Li, Kai Hu, Ji Wan, Wenhao Zhan, Yidan Zou, Yuan Ai, Liping Gao, Yujun Yin
2022 J jnl
AnonymousFox: An Efficient and Scalable Blockchain Consensus Algorithm.
IEEE Internet Things J.
Ji Wan, Kai Hu, Jie Li, Hao Su
2022 — conf
Design and Optimization of Bionic Wings Based on Leading-edge Angle for Flapping-Wing Micro Air Vehicle.
ROBIO
Yuchen Xia, Huichao Deng, Kai Hu, Lili Yang, Shengjie Xiao, Xilun Ding, Zhaolu Xiong
2021 J jnl
Cover Image.
Softw. Test. Verification Reliab.
Kai Hu, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai
2021 J jnl
Erratum.
Softw. Test. Verification Reliab.
Kai Hu, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai
2021 B conf
Formal Simulation and Verification of Solidity contracts in Event-B.
COMPSAC
Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin, Haitao Cao
2021 J jnl
Verification algebra for multi-tenant applications in VaaS architecture.
Softw. Test. Verification Reliab.
Kai Hu, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai
2021 J jnl
Verification of concurrent code from synchronous specifications.
Sci. Comput. Program.
Kai Hu, Teng Zhang, Yi Ding, Jian Zhu, Jean-Pierre Talpin
2020 — conf
A Master-Slave Chain Model for Multiple Blockchains.
ICBTA
Xinsen Hu, Kai Hu, Siyuan Wang, Qinwei Tong
2020 J jnl
Formal Verification of Solidity contracts in Event-B.
CoRR
Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin
2020 B conf
Smart Contract Microservitization.
COMPSAC
Siyuan Wang, Xuehan Zhang, Wei Yu, Kai Hu, Jian Zhu
2019 — conf
SC-RBAC: A Smart Contract based RBAC Model for DApps.
HCC
Yi Ding, Jun Jin, Jinglun Zhang, Zhongyi Wu, Kai Hu
2019 J jnl
Template-based AADL automatic code generation.
Frontiers Comput. Sci.
Kai Hu, Zhangbo Duan, Jiye Wang, Lingchao Gao, Lihong Shang
2019 — conf
Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog.
SKG
Muhammad Amjad Hafiz, Kai Hu, Jianwei Niu, Noor Khan, Loïc Besnard, Jean-Pierre Talpin
2018 — conf
A Multiple Blockchains Architecture on Inter-Blockchain Communication.
QRS Companion
Kan Luo, Wei Yu, Muhammad Amjad Hafiz, Siyuan Wang, Linchao Gao, Kai Hu
2018 — conf
Formal Modeling and Verification of Blockchain System.
ICCMS
Zhangbo Duan, Hongliang Mao, Zhidong Chen, Xiaomin Bai, Kai Hu, Jean-Pierre Talpin
2018 — conf
Formal Modeling and Verification of Smart Contracts.
ICSCA
Xiaomin Bai, Zijing Cheng, Zhangbo Duan, Kai Hu
2017 — conf
A Novel Trace Clustering Technique Based on Constrained Trace Alignment.
HCC
Pan Wang, Wenan Tan, Anqiong Tang, Kai Hu
2017 C conf
Multi-Blockchain Model for Central Bank Digital Currency.
PDCAT
He Sun, Hongliang Mao, Xiaomin Bai, Zhidong Chen, Kai Hu, Wei Yu
2016 J jnl
Multi-tenant Verification-as-a-Service (VaaS) in a cloud.
Simul. Model. Pract. Theory
Kai Hu, Lei Lei, Wei-Tek Tsai
2016 J jnl
Towards a verified compiler prototype for the synchronous language SIGNAL.
Frontiers Comput. Sci.
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, Dianfu Ma
2015 C conf
Autonomous Decentralized Combinatorial Testing.
ISADS
Wei-Tek Tsai, Guanqiu Qi, Kai Hu
2015 J jnl
Exploring AADL verification tool through model transformation.
J. Syst. Archit.
Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai
2015 J jnl
Internet Traffic Matrix Structural Analysis Based on Multi-Resolution RPCA.
CoRR
Zhe Wang, Kai Hu, Baolin Yin
2015 J jnl
Simulation of real-time systems with clock calculus.
Simul. Model. Pract. Theory
Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai
2014 C conf
A verified transformation: from polychronous programs to a variant of clocked guarded actions.
SCOPES
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma
2014 J jnl
From AADL to Timed Abstract State Machines: A verified model transformation.
J. Syst. Softw.
Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi, Jean-Pierre Talpin
2013 J jnl
An Improved Traffic Matrix Decomposition Method with Frequency-Domain Regularization.
IEICE Trans. Inf. Syst.
Zhe Wang, Kai Hu, Baolin Yin
2013 J jnl
Baselining Network-Wide Traffic by Time-Frequency Constrained Stable Principal Component Pursuit
CoRR
Kai Hu, Zhe Wang
2013 J jnl
Multi-threaded code generation from Signal program to OpenMP.
Frontiers Comput. Sci.
Kai Hu, Teng Zhang, Zhibin Yang
2012 J jnl
An Improved Traffic Matrix Decomposition Method with Frequency Domain Regularization
CoRR
Zhe Wang, Kai Hu, Baolin Yin
2012 J jnl
Structural analysis of network traffic matrix via relaxed principal component pursuit.
Comput. Networks
Zhe Wang, Kai Hu, Ke Xu, Baolin Yin, Xiaowen Dong
2011 J jnl
Structure Analysis of Network Traffic Matrix Based on Relaxed Principal Component Pursuit
CoRR
Zhe Wang, Kai Hu, Ke Xu, Baolin Yin
2011 B conf
Two Formal Semantics of a Subset of the AADL.
ICECCS
Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin
2010 — conf
An Analytical Model of k-Ary n-Cube under Spatial Communication Locality.
AINA Workshops
Kai Hu, Zhe Wang
2010 — conf
Message Publish/Subscribe Scheme Based on Opportunistic Networks.
UIC/ATC Workshops
Jianwei Niu, Feifei Wu, Da Huo, Kai Hu
2009 B conf
A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts.
ICECCS
Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma
2009 A conf
Towards a formal semantics for the AADL behavior annex.
DATE
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
2008 — conf
An Expanded Stochastic Model in DAG Schemes.
AINA Workshops
Kai Hu, Yan Jiang, Zhibin Yang, Shiran Chen
2005 C conf
A Novel Approach to Evaluate Trustworthiness and Uncertainty of Trust Relationships in Peer-to-Peer Computing.
CIT
Rui He, Jianwei Niu, Kai Hu