Jiakai Li

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 2

Top Topics

Data Aggregation

Verification Method

Top Venues

Complex Adaptive Systems

Publications

Ying Zhou, Xufang Gong, Jiakai Li, Bixin Li
Verifying CPS for Self-Adaptability. ICIS (2018)
Jiakai Li, Gürsel Serpen
Adaptive and intelligent wireless sensor networks through neural networks: an illustration for infrastructure adaptation through Hopfield network. Appl. Intell. 45 (2) (2016)
Yuanyuan Lv, Mingda Cao, Jiakai Li, Junbo Wang
A Sensitive Ratiometric Fluorescent Sensor for Zinc(II) with High Selectivity. Sensors 13 (3) (2013)
Gürsel Serpen, Jiakai Li, Linqian Liu, Zhenning Gao
WSN-ANN: Parallel and distributed neurocomputing with wireless sensor networks. IJCNN (2013)
Gürsel Serpen, Jiakai Li, Linqian Liu
AI-WSN: Adaptive and Intelligent Wireless Sensor Network. Complex Adaptive Systems (2013)
Jiakai Li, Bixin Li, Qiaoqiao Chen, Min Zhu, Shunhui Ji, Xiaoxiang Zhai
A HybridUML and QdL Based Verification Method for CPS Self-Adaptability. SEKE (2012)
Xiaoxiang Zhai, Bixin Li, Min Zhu, Jiakai Li, Qiaoqiao Chen, Shunhui Ji
Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic. SEKE (2012)
Gürsel Serpen, Jiakai Li
Assessing Time Complexity of Applications for TinyOS-Mica Wireless Sensor Networks in TOSSIM Emulator. Complex Adaptive Systems (2012)
Min Zhu, Bixin Li, Jiakai Li, Qiaoqiao Chen, Xiaoxiang Zhai, Shunhui Ji
HybridUML Based Verification of CPS Using Differential Dynamic Logic. SEKE (2012)
Jiakai Li, Gürsel Serpen
Simulating Heterogeneous and Larger-Scale Wireless Sensor Networks with TOSSIM TinyOS Emulator. Complex Adaptive Systems (2012)
Wanzhi Wen, Bixin Li, Xiaobing Sun, Jiakai Li
Program slicing spectrum-based software fault localization. SEKE (2011)
Gürsel Serpen, Jiakai Li
Parallel and distributed computations of maximum independent set by a Hopfield neural net embedded into a wireless sensor network. Complex Adaptive Systems (2011)
Jiakai Li, Gürsel Serpen
TOSSIM simulation of wireless sensor network serving as hardware platform for Hopfield neural net configured for max independent set. Complex Adaptive Systems (2011)
Jiakai Li, Gürsel Serpen
nesC-TinyOS model for parallel and distributed computation of max independent set by Hopfield network on wireless sensor network. Complex Adaptive Systems (2011)