Kai Hu

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 10

Top Topics

Formal Verification

Specification Language

Top Venues

Publications

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)
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)
Jie Li, Kai Hu, Ji Wan, Wenhao Zhan, Yidan Zou, Yuan Ai, Liping Gao, Yujun Yin
The Specification of Blockchain Oracle System. MDM (2023)
Kai Hu, Teng Zhang, Yi Ding, Jian Zhu, Jean-Pierre Talpin
Verification of concurrent code from synchronous specifications. Sci. Comput. Program. 206 (2021)
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)
Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin
Formal Verification of Solidity contracts in Event-B. CoRR (2020)
Yi Ding, Jun Jin, Jinglun Zhang, Zhongyi Wu, Kai Hu
SC-RBAC: A Smart Contract based RBAC Model for DApps. HCC (2019)
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)
Zhangbo Duan, Hongliang Mao, Zhidong Chen, Xiaomin Bai, Kai Hu, Jean-Pierre Talpin
Formal Modeling and Verification of Blockchain System. ICCMS (2018)
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) (2016)
Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai
Simulation of real-time systems with clock calculus. Simul. Model. Pract. Theory 51 (2015)
Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai
Exploring AADL verification tool through model transformation. J. Syst. Archit. 61 (3-4) (2015)
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)
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 (2014)
Kai Hu, Teng Zhang, Zhibin Yang
Multi-threaded code generation from Signal program to OpenMP. Frontiers Comput. Sci. 7 (5) (2013)
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)
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
Towards a formal semantics for the AADL behavior annex. DATE (2009)
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)
Kai Hu, Yan Jiang, Zhibin Yang, Shiran Chen
An Expanded Stochastic Model in DAG Schemes. AINA Workshops (2008)