職務職稱：

副教授

所屬系部：

物聯網工程系、計算機科學國際化部

研究方向：

形式化建模與性能評估

聯系電話：

電子郵箱：

xiaochen@ujs.edu.cn

2006年畢業于南昌大學計算機科學與技術專業；

2008年于英國紐卡斯爾大學獲得計算科學碩士學位；

2013年于英國紐卡斯爾大學獲得博士學位。

教研成果

研究項目

面向車聯網應用數據傳輸效率與隐私保護的混合通信機制建模與評估建模與評估，江蘇省自然科學基金青年基金（BK20160543），2016年7月至2019年6月。

發表論文

1 X. Chen, L. Wang, J. Ding and N. Thomas，Patient Flow Scheduling and Capacity Planning in a Smart Hospital Environment， IEEE Access，2016.

2 X. Chen, J. Ding and N. Thomas, Dynamic Scheduling Policy for Patient Flow in a Smart Environment, Chinese Journal of Electronics, 2016.

3 X. Chen and L. Wang, Exploring Trusted Data Dissemination in a Vehicular Social Network with a Formal Compositional Approach, 2016 IEEE 40th Annual Computer Software and Applications Conference (2016 COMPSAC), Atlanta, US, 2016.

4 X. Chen, N. Thomas and J. Ding, Performance Modelling of Patient Flow Scheduling Through a Formal Method, Journal of Shanghai Jiaotong University, 2016.

5 N. Thomas, M. Harrison, Y. Zhao, X. Chen, From Protocols to People: Large Scale Analysis in Markovian Process Algebra, Computer Performance Engineering: EPEW/UKPEW 2012, Edinburgh, UK: Springer, 2012.

6 X. Chen, N. Thomas, M. Harrison. Performance Evaluation of Scheduling Policies in a Smart Hospital Environment, International Conference on Cyber Enabled Distributed Computing and Knowledge Discovery (CyberC), Beijing, China: IEEE, 2011.