Kun Wang

According to our database, Kun Wang authored at least 8 papers between 2019 and 2024.

Collaborative distances:

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

2024

LFVeri: Network Configuration Verification for Virtual Private Cloud Networks.

Kun Wang, Chengcheng Zhao, Jinpei Chu, Yiping Shi, Jianyuan Lu, Biao Lyu, Shunmin Zhu, Peng Cheng, Jiming Chen

IEEE/ACM Trans. Netw., December, 2024

μDrive: User-Controlled Autonomous Driving.

Kun Wang, Christopher M. Poskitt, Yang Sun, Jun Sun, Jingyi Wang, Peng Cheng, Jiming Chen

CoRR, 2024

K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language.

Zichen Wang, Jingyi Wang, Fu Song, Kun Wang, Hongyi Pu, Peng Cheng

Proceedings of the 10th ACM Cyber-Physical System Security Workshop, 2024

2023

K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs.

Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng

IEEE Trans. Software Eng., October, 2023

2022

K-ST: A Formal Executable Semantics of PLC Structured Text Language.

Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng

CoRR, 2022

2021

Cyberbullying Detection, Based on the FastText and Word Similarity Schemes.

Kun Wang, Yanpeng Cui, Jianwei Hu, Yu Zhang, Wei Zhao, Luming Feng

ACM Trans. Asian Low Resour. Lang. Inf. Process., 2021

2019

Intuitionistic fuzzy linguistic clustering algorithm based on a new correlation coefficient for intuitionistic fuzzy linguistic information.

Sidong Xian, Yubo Yin, Yixin Liu, Meilin You, Kun Wang

Pattern Anal. Appl., 2019

A K-anonymous clustering algorithm based on the analytic hierarchy process.

Kun Wang, Wei Zhao, Junjie Cui, Yanpeng Cui, Jianwei Hu

J. Vis. Commun. Image Represent., 2019