default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKai Hu 0004
Person information
- affiliation: Beihang University, State Key Laboratory of Software Development Environment, Beijing, China
Other persons with the same name
- Kai Hu — disambiguation page
- Kai Hu 0001
![[0000-0003-3552-7200]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0003-3552-7200")
— Shandong University, Qingdao, Shandong, China - Kai Hu 0002 — Xiangtan University, Key Laboratory of Intelligent Computing and Information Processing of Ministry of Education, Key Laboratory of Medical Imaging and Artificial Intelligence of Hunan Province, China
- Kai Hu 0003 — Duke University, Durham, NC, USA
- Kai Hu 0005 — Jiangnan University, Wuxi, China
- Kai Hu 0006 — Nanjing University of Information Science & Technology, Nanjing, China
- Kai Hu 0007 — Liaocheng University, Liaocheng, China
- Kai Hu 0008 — Xidian University, School of Physics, Xi'an, Shaanxi, China
- Kai Hu 0009 — Technical University of Munich, Department of Electrical and Computer Engineering, Germany
- Kai Hu 0010 — Carnegie Mellon University, Pittsburgh, PA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j16]Yang Li, Kai Hu, Jie Li, Kaixiang Lu, Yuan Ai:
A formal specification language and automatic modeling method of asset securitization contract. J. King Saud Univ. Comput. Inf. Sci. 36(8): 102163 (2024)- [j15]Ji Wan, Kai Hu, Jie Li, Yichen Guo, Hao Su, Shenzhang Li, Yafei Ye:
Zebra: A cluster-aware blockchain consensus algorithm. J. Netw. Comput. Appl. 232: 104003 (2024) - [c23]Shengjie Xiao, Kai Hu, Yuhong Sun, Yun Wang, Bo Qin, Huichao Deng, Xuan Wu, Xilun Ding:
Research on bionic foldable wing for flapping wing micro air vehicle. ICRA 2024: 155-160 - 2023
- [c22]Ji Wan, Kai Hu, Jie Li, Hao Su, Qingshun Wu, Mingyuan Li, Libo Feng, Yan Pan:
Smart Contract Service Optimization in Blockchain-Cloud Collaborative Computing. MDM 2023: 280-285 - [c21]Jie Li, Kai Hu, Ji Wan, Wenhao Zhan, Yidan Zou, Yuan Ai, Liping Gao, Yujun Yin:
The Specification of Blockchain Oracle System. MDM 2023: 309-314 - 2022
- [j14]Ji Wan, Kai Hu, Jie Li, Hao Su:
AnonymousFox: An Efficient and Scalable Blockchain Consensus Algorithm. IEEE Internet Things J. 9(23): 24236-24252 (2022) - [c20]Yuchen Xia, Huichao Deng, Kai Hu, Lili Yang, Shengjie Xiao, Xilun Ding, Zhaolu Xiong:
Design and Optimization of Bionic Wings Based on Leading-edge Angle for Flapping-Wing Micro Air Vehicle. ROBIO 2022: 549-554 - 2021
- [j13]Kai Hu, Teng Zhang, Yi Ding, Jian Zhu, Jean-Pierre Talpin:
Verification of concurrent code from synchronous specifications. Sci. Comput. Program. 206: 102625 (2021) - [j12]Kai Hu, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai:
Cover Image. Softw. Test. Verification Reliab. 31(6) (2021) - [j11]Kai Hu, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai:
Verification algebra for multi-tenant applications in VaaS architecture. Softw. Test. Verification Reliab. 31(6) (2021) - [j10]Kai Hu, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai:
Erratum. Softw. Test. Verification Reliab. 31(7) (2021) - [c19]Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin, Haitao Cao:
Formal Simulation and Verification of Solidity contracts in Event-B. COMPSAC 2021: 1309-1314 - 2020
- [c18]Siyuan Wang, Xuehan Zhang, Wei Yu, Kai Hu, Jian Zhu:
Smart Contract Microservitization. COMPSAC 2020: 1569-1574 - [c17]Xinsen Hu, Kai Hu, Siyuan Wang, Qinwei Tong:
A Master-Slave Chain Model for Multiple Blockchains. ICBTA 2020: 12-18 - [i5]Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin:
Formal Verification of Solidity contracts in Event-B. CoRR abs/2005.01261 (2020)
2010 – 2019
- 2019
- [j9]Kai Hu, Zhangbo Duan, Jiye Wang, Lingchao Gao, Lihong Shang:
Template-based AADL automatic code generation. Frontiers Comput. Sci. 13(4): 698-714 (2019) - [c16]Yi Ding, Jun Jin, Jinglun Zhang, Zhongyi Wu, Kai Hu:
SC-RBAC: A Smart Contract based RBAC Model for DApps. HCC 2019: 75-85 - [c15]Muhammad Amjad Hafiz, Kai Hu, Jianwei Niu, Noor Khan, Loïc Besnard, Jean-Pierre Talpin:
Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog. SKG 2019: 153-160 - 2018
- [c14]Zhangbo Duan, Hongliang Mao, Zhidong Chen, Xiaomin Bai, Kai Hu, Jean-Pierre Talpin:
Formal Modeling and Verification of Blockchain System. ICCMS 2018: 231-235 - [c13]Xiaomin Bai, Zijing Cheng, Zhangbo Duan, Kai Hu:
Formal Modeling and Verification of Smart Contracts. ICSCA 2018: 322-326 - [c12]Kan Luo, Wei Yu, Muhammad Amjad Hafiz, Siyuan Wang, Linchao Gao, Kai Hu:
A Multiple Blockchains Architecture on Inter-Blockchain Communication. QRS Companion 2018: 139-145 - 2017
- [c11]Pan Wang, WenAn Tan, Anqiong Tang, Kai Hu:
A Novel Trace Clustering Technique Based on Constrained Trace Alignment. HCC 2017: 53-63 - [c10]He Sun, Hongliang Mao, Xiaomin Bai, Zhidong Chen, Kai Hu, Wei Yu:
Multi-Blockchain Model for Central Bank Digital Currency. PDCAT 2017: 360-367 - 2016
- [j8]Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, Dianfu Ma:
Towards a verified compiler prototype for the synchronous language SIGNAL. Frontiers Comput. Sci. 10(1): 37-53 (2016) - [j7]Kai Hu, Lei Lei, Wei-Tek Tsai:
Multi-tenant Verification-as-a-Service (VaaS) in a cloud. Simul. Model. Pract. Theory 60: 122-143 (2016) - 2015
- [j6]Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai:
Exploring AADL verification tool through model transformation. J. Syst. Archit. 61(3-4): 141-156 (2015) - [j5]Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai:
Simulation of real-time systems with clock calculus. Simul. Model. Pract. Theory 51: 69-86 (2015) - [c9]Wei-Tek Tsai, Guanqiu Qi, Kai Hu:
Autonomous Decentralized Combinatorial Testing. ISADS 2015: 40-47 - [i4]Zhe Wang, Kai Hu, Baolin Yin:
Internet Traffic Matrix Structural Analysis Based on Multi-Resolution RPCA. CoRR abs/1506.04352 (2015) - 2014
- [j4]Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi, Jean-Pierre Talpin:
From AADL to Timed Abstract State Machines: A verified model transformation. J. Syst. Softw. 93: 42-68 (2014) - [c8]Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma:
A verified transformation: from polychronous programs to a variant of clocked guarded actions. SCOPES 2014: 128-137 - 2013
- [j3]Kai Hu, Teng Zhang, Zhibin Yang:
Multi-threaded code generation from Signal program to OpenMP. Frontiers Comput. Sci. 7(5): 617-626 (2013) - [j2]Zhe Wang, Kai Hu, Baolin Yin:
An Improved Traffic Matrix Decomposition Method with Frequency-Domain Regularization. IEICE Trans. Inf. Syst. 96-D(3): 731-734 (2013) - [i3]Kai Hu, Zhe Wang:
Baselining Network-Wide Traffic by Time-Frequency Constrained Stable Principal Component Pursuit. CoRR abs/1302.3422 (2013) - 2012
- [j1]Zhe Wang, Kai Hu, Ke Xu, Baolin Yin, Xiaowen Dong:
Structural analysis of network traffic matrix via relaxed principal component pursuit. Comput. Networks 56(7): 2049-2067 (2012) - [i2]Zhe Wang, Kai Hu, Baolin Yin:
An Improved Traffic Matrix Decomposition Method with Frequency Domain Regularization. CoRR abs/1203.3623 (2012) - 2011
- [c7]Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin:
Two Formal Semantics of a Subset of the AADL. ICECCS 2011: 344-349 - [i1]Zhe Wang, Kai Hu, Ke Xu, Baolin Yin:
Structure Analysis of Network Traffic Matrix Based on Relaxed Principal Component Pursuit. CoRR abs/1104.2156 (2011) - 2010
- [c6]Kai Hu, Zhe Wang:
An Analytical Model of k-Ary n-Cube under Spatial Communication Locality. AINA Workshops 2010: 24-29 - [c5]Jianwei Niu, Feifei Wu, Da Huo, Kai Hu:
Message Publish/Subscribe Scheme Based on Opportunistic Networks. UIC/ATC Workshops 2010: 180-184
2000 – 2009
- 2009
- [c4]Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi:
Towards a formal semantics for the AADL behavior annex. DATE 2009: 1166-1171 - [c3]Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma:
A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. ICECCS 2009: 347-352 - 2008
- [c2]Kai Hu, Yan Jiang, Zhibin Yang, Shiran Chen:
An Expanded Stochastic Model in DAG Schemes. AINA Workshops 2008: 331-336 - 2005
- [c1]Rui He, Jianwei Niu, Kai Hu:
A Novel Approach to Evaluate Trustworthiness and Uncertainty of Trust Relationships in Peer-to-Peer Computing. CIT 2005: 382-388
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-20 20:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
