Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory. - Bingqing Xu; Lichen Zhang 004 (CSE, 2013)

A Clock Based Framework for Specifying and Modeling the Time Constraints of Cyber Physical Systems. - Bingqing Xu; Lichen Zhang 004 (DASC, 2013)

Formal Specification of Railway Control Systems. - Bingqing Xu; Lichen Zhang 004 (EMC/HumanCom, 2013)

A Clock Based Approach to the Formal Specification of Cyber Physical Systems. - Bingqing Xu; Lichen Zhang 004 (EMC/HumanCom, 2013)

Formal Specification of Cyber Physical Systems: Three Case Studies Based on Clock Theory. - Bingqing Xu; Lichen Zhang 004 (GreenCom/iThings/CPScom, 2013)

Specification of Train Control Systems Using Formal Methods. - Bingqing Xu; Lichen Zhang 004 (MUSIC, 2013)

Formal Descriptions of Cyber Physical Systems Using Clock Theory. - Bingqing Xu; Lichen Zhang 004 (MUSIC, 2013)

Specification of Communication Based Train Control System Using AADL. - Lichen Zhang 004; Bingqing Xu (MUSIC, 2013)

Operator Scale Out Using Time Utility Function in Big Data Stream Processing. - Mahammad Humayoo; Yanlong Zhai; Yan He; Bingqing Xu; Chen Wang (WASA, 2014)

A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles. - Bingqing Xu; Qin Li (ICECCS, 2016)

A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation. - Bingqing Xu; Qin Li 002 (TASE, 2017)

Scheduling Algorithms for Cloud Based Cyber-Physical Systems Specification. - Lichen Zhang 004; Dandan Lai; Bingqing Xu; Chunyao Liu (ICAC, 2018)

Task Scheduling for Cloud Based Cyber-Physical Systems. - Dandan Lai; Lichen Zhang 004; Bingqing Xu; Chunyao Liu (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving. - Bingqing Xu; Qin Li 002; Tong Guo; Yi Ao; Dehui Du (TASE, 2019)

A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving. - Bingqing Xu; Qin Li 002; Tong Guo; Dehui Du (IEEE Access, 2019)

LCDeT: LiDAR Curb Detection Network with Transformer. - Jian Gao 016; Haoxiang Jie; Bingqing Xu; Lifeng Liu; Jun Hu 020; Wei Liu 022 (IJCNN, 2023)