Yuanmin Xu

According to our database, Yuanmin Xu authored at least 6 papers between 2014 and 2018.

Collaborative distances:

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

2018

Formal Analysis of the PKMv3 Protocol.

Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh

Mob. Networks Appl., 2018

Formal Verification and Improvement of the PKMv3 Protocol Using CSP.

Jinpeng Jiang, Hongyan Mao, Rumeng Shao, Yuanmin Xu

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017

Formalization and Verification of the PKMv3 Protocol Using CSP.

Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Trust-Aware and Location-Based Collaborative Filtering for Web Service QoS Prediction.

Kai Chen, Hongyan Mao, Xiangyu Shi, Yuanmin Xu, Ailun Liu

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2015

Formal Verification of PKMv3 Protocol Using DT-Spin.

Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

2014

pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems.

Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014