Performance Evaluation of Scheduling Policies in a Smart Hospital Environment. - Xiao Chen 003; Nigel Thomas; Michael D. Harrison (CyberC, 2011)

Formal Performance Modelling: From Protocols to People. - Nigel Thomas; Michael D. Harrison; Yishi Zhao; Xiao Chen 003 (EPEW/UKPEW, 2012)

Performance modelling of applications in a smart environment. - Xiao Chen 003 (2013)

Performance Modeling of Openstack Cloud Computing Platform Using Performance Evaluation Process Algebra. - Leijie Sha; Jie Ding 008; Xiao Chen 003; Xiaobin Zhang; Yun Zhang; Yishi Zhao (CCBD, 2015)

Modeling and Evaluating of Resource Allocation in Openstack Cloud Computing Platform. - Jie Ding 008; Leijie Sha; Xiao Chen 003; Xinshan Zhu (SmartCity, 2015)

Modeling and evaluating IaaS cloud using performance evaluation process algebra. - Jie Ding 008; Leijie Sha; Xiao Chen 003 (APCC, 2016)

Performance modeling and evaluation of real-time traffic status query for intelligent traffic systems. - Jie Ding 008; Rui Wang; Xiao Chen 003 (APCC, 2016)

Exploring Trusted Data Dissemination in a Vehicular Social Network with a Formal Compositional Approach. - Xiao Chen 003; Liangmin Wang 001 (COMPSAC Workshops, 2016)

Modeling and Evaluating Intelligent Real-Time Route Planning and Carpooling System with Performance Evaluation Process Algebra. - Jie Ding 008; Rui Wang; Xiao Chen 003 (FSDM, 2016)

Patient Flow Scheduling and Capacity Planning in a Smart Hospital Environment. - Xiao Chen 003; Liangmin Wang 001; Jie Ding 008; Nigel Thomas (IEEE Access, 2016)

A Cloud-Based Trust Evaluation Scheme Using a Vehicular Social Network Environment. - Biling Lin; Xiao Chen 003; Liangmin Wang 001 (APSEC, 2017)

A trust evaluation framework using in a vehicular social environment. - Xiao Chen 003; Liangmin Wang 001 (INFOCOM Workshops, 2017)

A Cloud-Based Trust Management Framework for Vehicular Social Networks. - Xiao Chen 003; Liangmin Wang 001 (IEEE Access, 2017)

A Compositional Analysis Method for Petri-Net Models. - Jie Ding 008; Xiao Chen 003; Rui Wang (IEEE Access, 2017)

Exploring Fog Computing-Based Adaptive Vehicular Data Scheduling Policies Through a Compositional Formal Method - PEPA. - Xiao Chen 003; Liangmin Wang 001 (IEEE Commun. Lett., 2017)

Exploring Auto-Generation of Network Models With Performance Evaluation Process Algebra. - Jie Ding 008; Rui Wang; Xiao Chen 003; Yingen Ge (IEEE Access, 2018)

A Hybrid Task Scheduling Scheme for Heterogeneous Vehicular Edge Systems. - Xiao Chen 003; Nigel Thomas; Tianming Zhan; Jie Ding 008 (IEEE Access, 2019)

State Equations in Stochastic Process Algebra Models. - Jie Ding 008; Xinshan Zhu; Xiao Chen 003 (IEEE Access, 2019)

A Blockchain-based Vehicle-trust Management Framework Under a Crowdsourcing Environment. - Dawei Wang; Xiao Chen 003; Haiqin Wu; Ruozhou Yu; Yishi Zhao (TrustCom, 2020)

Interdigital Structure Enhanced the Current Spreading and Light Output Power of GaN-Based Light Emitting Diodes. - Jie Ding 008; Lingjuan Che; Xiao Chen 003; Tao Zhang; Yongdan Huang; Zengli Huang; Zhongming Zeng; Hulin Zhang; Sunan Ding; Hui Yang (IEEE Access, 2020)

Hierarchical structure of a green supply chain. - Jie Ding 008; Xiao Chen 003; Hui Sun; Wei Yan; Huixing Fang (Comput. Ind. Eng., 2021)

RC-chain: Reputation-based crowdsourcing blockchain for vehicular networks. - Lijun Sun; Qian Yang; Xiao Chen 003; Zhenxiang Chen (J. Netw. Comput. Appl., 2021)

An Efficient Formal Modeling Framework for Hybrid Cloud-Fog Systems. - Xiao Chen 003; Jie Ding 008; Zhenyu Lu 002; Tianming Zhan (IEEE Trans. Netw. Sci. Eng., 2021)

A Stochastic Programming Approach for an Enhanced Performance of a Multi-committees Byzantine Fault Tolerant Algorithm. - Yifei Xie 002; Btissam Er-Rahmadi; Xiao Chen 003; Tiejun Ma; Jane Hillston (Euro-Par Workshops, 2022)

A novel classification approach for Android malware based on feature fusion and natural language processing. - Jinfu Chen 001; Zian Zhao; Xiao Chen 003; Saihua Cai; Shang Yin; Luo Song (Internetware, 2022)

Response time analysis of a manufacturing supply chain with performance evaluation process algebra. - Jie Ding 008; Hui Sun; Xiao Chen 003; Huixing Fang (Comput. Ind. Eng., 2022)

A Review of Research on Privacy Protection of Internet of Vehicles Based on Blockchain. - Wendong Chen; Haiqin Wu; Xiao Chen 003; Jinfu Chen 001 (J. Sens. Actuator Networks, 2022)

A Decentralized Trust Management System for Intelligent Transportation Environments. - Xiao Chen 003; Jie Ding 008; Zhenyu Lu 002 (IEEE Trans. Intell. Transp. Syst., 2022)

A Decentralized Vehicle-to-Vehicle Energy Trading System Based on Efficient Sharding Services. - Kun Meng; Lijun Sun; Xiao Chen 003; Haiqin Wu; Shuaiyong Li (ISPA/BDCloud/SocialCom/SustainCom, 2023)

A Scalable Byzantine Consensus Parallelism and its Practical Implementation. - Xiao Chen 003 (INFOCOM Workshops, 2023)

ParBFT: An Optimized Byzantine Consensus Parallelism Scheme. - Xiao Chen 003; Btissam Er-Rahmadi; Tiejun Ma; Jane Hillston (IEEE Trans. Computers, 2023)

Charge Me Securely: Decentralized Privacy-Aware and Publicly Verifiable Energy Trading with Electric Vehicles. - Jucai Yang; Haiqin Wu; Xiao Chen 003; Zhenfu Cao; Xiaolei Dong (SECON, 2024)

DCM-GIFT: An Android malware dynamic classification method based on gray-scale image and feature-selection tree. - Jinfu Chen 001; Zian Zhao; Saihua Cai; Xiao Chen 003; Bilal Ahmad; Luo Song; Kun Wang (Inf. Softw. Technol., 2024)

Parallel Byzantine Consensus Based on Hierarchical Architecture and Trusted Hardware. - Xiao Chen 003; Tiejun Ma; Btissam Er-Rahmadi; Jane Hillston; Guanxu Yuan (IEEE Trans. Dependable Secur. Comput., 2024)

Co-Sharding: A Sharding Scheme for Large-Scale Internet of Things Application. - Haotian Yang; Xiaoyu Zhang; Zihan Wu 003; Liangmin Wang 001; Xiao Chen 003; Lu Liu 001 (Distributed Ledger Technol. Res. Pract., 2024)

Scaling Byzantine Fault-Tolerant Consensus With Optimized Shading Scheme. - Xiao Chen 003 (IEEE Trans. Ind. Informatics, 2024)

A Vehicular Trust Blockchain Framework With Scalable Byzantine Consensus. - Xiao Chen 003; Guoliang Xue; Ruozhou Yu; Haiqin Wu; Dawei Wang (IEEE Trans. Mob. Comput., 2024)

H-Louvain: Hierarchical Louvain-based community detection in social media data streams. - Zixuan Han; Lei-lei Shi; Lu Liu 001; Liang Jiang; Wan Tang; Xiao Chen 003; Jing-yu Yang; Ayodeji Ayorinde; Nick Antonopoulos (Peer Peer Netw. Appl., 2024)

Collaborative Tracking and Positioning of Unmanned Aerial Vehicles Over Wireless Sensor Networks. - Xingzhen Bai; Liqun Yu; Guhui Li; Lu Liu 001; Xiao Chen 003 (IEEE Trans. Consumer Electron., 2024)

AIoT-Enabled Data Management for Smart Agriculture: A Comprehensive Review on Emerging Technologies. - Xu Luo; Shuming Xiong; Xiangchen Jia; Yu Zeng; Xiao Chen 003 (IEEE Access, 2025)