Zhenjiang Qian

According to our database, Zhenjiang Qian authored at least 17 papers between 2013 and 2023.

Collaborative distances:

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

2023

A Formal Approach to Design and Security Verification of Operating Systems for Intelligent Transportation Systems Based on Object Model.

Zhenjiang Qian, Shan Zhong, Gaofei Sun, Xiaoshuang Xing, Yong Jin

IEEE Trans. Intell. Transp. Syst., December, 2023

A measurable refinement method of design and verification for micro-kernel operating systems in communication network.

Zhenjiang Qian, Rui Xia, Gaofei Sun, Xiaoshuang Xing, Kaijian Xia

Digit. Commun. Networks, October, 2023

2021

Learning Transferable Driven and Drone Assisted Sustainable and Robust Regional Disease Surveillance for Smart Healthcare.

Yong Jin, Zhenjiang Qian, Shengrong Gong, Weiyong Yang

IEEE ACM Trans. Comput. Biol. Bioinform., 2021

Spatial Fuzzy Clustering and Its Application for MRI and CT Image Segmentation.

Anqi Bi, Wenhao Ying, Zhenjiang Qian

J. Medical Imaging Health Informatics, 2021

Edge computing assisted privacy-preserving data computation for IoT devices.

Gaofei Sun, Xiaoshuang Xing, Zhenjiang Qian, Wei (Lisa) Li

Comput. Commun., 2021

Person re-identification in the real scene based on the deep learning.

Miaomiao Zhu, Shengrong Gong, Zhenjiang Qian, Seiichi Serikawa, Lifeng Zhang

Artif. Life Robotics, 2021

Verification of Operating Systems for Internet of Things in Smart Cities From the Assembly Perspective Using Isabelle/HOL.

Zhenjiang Qian, Wei Liu, Yiyang Yao

IEEE Access, 2021

A Fast Region Segmentation Algorithm for Water Meter Image Based on Adaptive Seed Point Selection.

Hongchao Zhou, Yongjun Liu, Zhenjiang Qian

Proceedings of the Intelligent Technologies for Interactive Entertainment, 2021

2020

Modeling-Learning-Based Actor-Critic Algorithm with Gaussian Process Approximator.

Shan Zhong, Jack Tan, Husheng Dong, Xuemei Chen, Shengrong Gong, Zhenjiang Qian

J. Grid Comput., 2020

UAV Cluster-Based Video Surveillance System Optimization in Heterogeneous Communication of Smart Cities.

Yong Jin, Zhenjiang Qian, Weiyong Yang

IEEE Access, 2020

Virtual Location Generation for Location Privacy Protection in VANET.

Zhihong Li, Xiaoshuang Xing, Gaofei Sun, Zhenjiang Qian, Jin Qian

Proceedings of the Wireless Algorithms, Systems, and Applications, 2020

Light Intensity Based IoT Device Positioning for Indoor Monitoring.

Gaofei Sun, Xiaoshuang Xing, Zhenjiang Qian, Zhiguo Wang, Saide Zhu

Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2020

2019

Data collection scheme with minimum cost and location of emotional recognition edge devices.

Yong Jin, Zhenjiang Qian, Shunjiang Chen

Pers. Ubiquitous Comput., 2019

A real-time multimedia streaming transmission control mechanism based on edge cloud computing and opportunistic approximation optimization.

Yong Jin, Zhenjiang Qian, Gaofei Sun

Multim. Tools Appl., 2019

2017

Opportunistic Cooperative Sensing for Indoor Complex Environment Monitoring.

Yong Jin, Zhenjiang Qian, Xiaoshuang Xing, Lu Shen

Int. J. Online Eng., 2017

2016

Research on Android Access Control Based on Isolation Mechanism.

Ying Peng, Mingxin Zhang, Jinlong Zheng, Zhenjiang Qian

Proceedings of the 13th Web Information Systems and Applications Conference, 2016

2013

VTOS: Research on Methodology of "Light-Weight" Formal Design and Verification for Microkernel OS.

Zhenjiang Qian, Hao Huang, Fangmin Song

Proceedings of the Information and Communications Security - 15th International Conference, 2013