Jiakai Li

According to our database, Jiakai Li authored at least 14 papers between 2011 and 2018.

Collaborative distances:

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

2018

Verifying CPS for Self-Adaptability.

Ying Zhou, Xufang Gong, Jiakai Li, Bixin Li

Proceedings of the 17th IEEE/ACIS International Conference on Computer and Information Science, 2018

2016

Adaptive and intelligent wireless sensor networks through neural networks: an illustration for infrastructure adaptation through Hopfield network.

Jiakai Li, Gürsel Serpen

Appl. Intell., 2016

2013

A Sensitive Ratiometric Fluorescent Sensor for Zinc(II) with High Selectivity.

Yuanyuan Lv, Mingda Cao, Jiakai Li, Junbo Wang

Sensors, 2013

WSN-ANN: Parallel and distributed neurocomputing with wireless sensor networks.

Gürsel Serpen, Jiakai Li, Linqian Liu, Zhenning Gao

Proceedings of the 2013 International Joint Conference on Neural Networks, 2013

AI-WSN: Adaptive and Intelligent Wireless Sensor Network.

Gürsel Serpen, Jiakai Li, Linqian Liu

Proceedings of the Complex Adaptive Systems 2013 Conference, 2013

2012

Assessing Time Complexity of Applications for TinyOS-Mica Wireless Sensor Networks in TOSSIM Emulator.

Gürsel Serpen, Jiakai Li

Proceedings of the Complex Adaptive Systems 2012 Conference, 2012

Simulating Heterogeneous and Larger-Scale Wireless Sensor Networks with TOSSIM TinyOS Emulator.

Jiakai Li, Gürsel Serpen

Proceedings of the Complex Adaptive Systems 2012 Conference, 2012

HybridUML Based Verification of CPS Using Differential Dynamic Logic.

Min Zhu, Bixin Li, Jiakai Li, Qiaoqiao Chen, Xiaoxiang Zhai, Shunhui Ji

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic.

Xiaoxiang Zhai, Bixin Li, Min Zhu, Jiakai Li, Qiaoqiao Chen, Shunhui Ji

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

A HybridUML and QdL Based Verification Method for CPS Self-Adaptability.

Jiakai Li, Bixin Li, Qiaoqiao Chen, Min Zhu, Shunhui Ji, Xiaoxiang Zhai

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

2011

Parallel and distributed computations of maximum independent set by a Hopfield neural net embedded into a wireless sensor network.

Gürsel Serpen, Jiakai Li

Proceedings of the Complex Adaptive Systems 2011 Conference, 2011

TOSSIM simulation of wireless sensor network serving as hardware platform for Hopfield neural net configured for max independent set.

Jiakai Li, Gürsel Serpen

Proceedings of the Complex Adaptive Systems 2011 Conference, 2011

nesC-TinyOS model for parallel and distributed computation of max independent set by Hopfield network on wireless sensor network.

Jiakai Li, Gürsel Serpen

Proceedings of the Complex Adaptive Systems 2011 Conference, 2011

Program slicing spectrum-based software fault localization.

Wanzhi Wen, Bixin Li, Xiaobing Sun, Jiakai Li

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011