Xiao Chen

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 23

Top Venues

University of Newcastle upon Tyne, UK (PHD)

Education History

University of Newcastle upon Tyne, UK

PHD

Publications

Haotian Yang, Xiaoyu Zhang, Zihan Wu, Liangmin Wang, Xiao Chen, Lu Liu
Co-Sharding: A Sharding Scheme for Large-Scale Internet of Things Application. Distributed Ledger Technol. Res. Pract. 3 (1) (2024)
Xiao Chen, Guoliang Xue, Ruozhou Yu, Haiqin Wu, Dawei Wang
A Vehicular Trust Blockchain Framework With Scalable Byzantine Consensus. IEEE Trans. Mob. Comput. 23 (5) (2024)
Xiao Chen
Scaling Byzantine Fault-Tolerant Consensus With Optimized Shading Scheme. IEEE Trans. Ind. Informatics 20 (3) (2024)
Xiao Chen, Btissam Er-Rahmadi, Tiejun Ma, Jane Hillston
ParBFT: An Optimized Byzantine Consensus Parallelism Scheme. IEEE Trans. Computers 72 (12) (2023)
Xiao Chen
A Scalable Byzantine Consensus Parallelism and its Practical Implementation. INFOCOM Workshops (2023)
Kun Meng, Lijun Sun, Xiao Chen, Haiqin Wu, Shuaiyong Li
A Decentralized Vehicle-to-Vehicle Energy Trading System Based on Efficient Sharding Services. ISPA/BDCloud/SocialCom/SustainCom (2023)
Xiao Chen, Jie Ding, Zhenyu Lu
A Decentralized Trust Management System for Intelligent Transportation Environments. IEEE Trans. Intell. Transp. Syst. 23 (1) (2022)
Lijun Sun, Qian Yang, Xiao Chen, Zhenxiang Chen
RC-chain: Reputation-based crowdsourcing blockchain for vehicular networks. J. Netw. Comput. Appl. 176 (2021)
Xiao Chen, Jie Ding, Zhenyu Lu, Tianming Zhan
An Efficient Formal Modeling Framework for Hybrid Cloud-Fog Systems. IEEE Trans. Netw. Sci. Eng. 8 (1) (2021)
Dawei Wang, Xiao Chen, Haiqin Wu, Ruozhou Yu, Yishi Zhao
A Blockchain-based Vehicle-trust Management Framework Under a Crowdsourcing Environment. TrustCom (2020)
Xiao Chen, Nigel Thomas, Tianming Zhan, Jie Ding
A Hybrid Task Scheduling Scheme for Heterogeneous Vehicular Edge Systems. IEEE Access 7 (2019)
Jie Ding, Xinshan Zhu, Xiao Chen
State Equations in Stochastic Process Algebra Models. IEEE Access 7 (2019)
Jie Ding, Rui Wang, Xiao Chen, Yingen Ge
Exploring Auto-Generation of Network Models With Performance Evaluation Process Algebra. IEEE Access 6 (2018)
Biling Lin, Xiao Chen, Liangmin Wang
A Cloud-Based Trust Evaluation Scheme Using a Vehicular Social Network Environment. APSEC (2017)
Jie Ding, Xiao Chen, Rui Wang
A Compositional Analysis Method for Petri-Net Models. IEEE Access 5 (2017)
Xiao Chen, Liangmin Wang
A trust evaluation framework using in a vehicular social environment. INFOCOM Workshops (2017)
Xiao Chen, Liangmin Wang
Exploring Fog Computing-Based Adaptive Vehicular Data Scheduling Policies Through a Compositional Formal Method - PEPA. IEEE Commun. Lett. 21 (4) (2017)
Xiao Chen, Liangmin Wang
A Cloud-Based Trust Management Framework for Vehicular Social Networks. IEEE Access 5 (2017)
Jie Ding, Rui Wang, Xiao Chen
Modeling and Evaluating Intelligent Real-Time Route Planning and Carpooling System with Performance Evaluation Process Algebra. FSDM (2016)
Xiao Chen, Liangmin Wang, Jie Ding, Nigel Thomas
Patient Flow Scheduling and Capacity Planning in a Smart Hospital Environment. IEEE Access 4 (2016)
Jie Ding, Rui Wang, Xiao Chen
Performance modeling and evaluation of real-time traffic status query for intelligent traffic systems. APCC (2016)
Jie Ding, Leijie Sha, Xiao Chen
Modeling and evaluating IaaS cloud using performance evaluation process algebra. APCC (2016)
Xiao Chen, Liangmin Wang
Exploring Trusted Data Dissemination in a Vehicular Social Network with a Formal Compositional Approach. COMPSAC Workshops (2016)
Leijie Sha, Jie Ding, Xiao Chen, Xiaobin Zhang, Yun Zhang, Yishi Zhao
Performance Modeling of Openstack Cloud Computing Platform Using Performance Evaluation Process Algebra. CCBD (2015)
Jie Ding, Leijie Sha, Xiao Chen, Xinshan Zhu
Modeling and Evaluating of Resource Allocation in Openstack Cloud Computing Platform. SmartCity (2015)
Nigel Thomas, Michael D. Harrison, Yishi Zhao, Xiao Chen
Formal Performance Modelling: From Protocols to People. EPEW/UKPEW (2012)
Xiao Chen, Nigel Thomas, Michael D. Harrison
Performance Evaluation of Scheduling Policies in a Smart Hospital Environment. CyberC (2011)

Xiao Chen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Xiao Chen