Bingqing Xu

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 7

Top Topics

Formal Specification

Scheduling Algorithm

Top Venues

SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI

Publications

Jian Gao, Haoxiang Jie, Bingqing Xu, Lifeng Liu, Jun Hu, Wei Liu
LCDeT: LiDAR Curb Detection Network with Transformer. IJCNN (2023)
Bingqing Xu, Qin Li, Tong Guo, Dehui Du
A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving. IEEE Access 7 (2019)
Bingqing Xu, Qin Li, Tong Guo, Yi Ao, Dehui Du
A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving. TASE (2019)
Dandan Lai, Lichen Zhang, Bingqing Xu, Chunyao Liu
Task Scheduling for Cloud Based Cyber-Physical Systems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Lichen Zhang, Dandan Lai, Bingqing Xu, Chunyao Liu
Scheduling Algorithms for Cloud Based Cyber-Physical Systems Specification. ICAC (2018)
Bingqing Xu, Qin Li
A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation. TASE (2017)
Bingqing Xu, Qin Li
A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles. ICECCS (2016)
Mahammad Humayoo, Yanlong Zhai, Yan He, Bingqing Xu, Chen Wang
Operator Scale Out Using Time Utility Function in Big Data Stream Processing. WASA (2014)
Bingqing Xu, Lichen Zhang
Specification of Train Control Systems Using Formal Methods. MUSIC (2013)
Bingqing Xu, Lichen Zhang
Formal Specification of Cyber Physical Systems: Three Case Studies Based on Clock Theory. GreenCom/iThings/CPScom (2013)
Bingqing Xu, Lichen Zhang
Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory. CSE (2013)
Bingqing Xu, Lichen Zhang
A Clock Based Framework for Specifying and Modeling the Time Constraints of Cyber Physical Systems. DASC (2013)
Bingqing Xu, Lichen Zhang
A Clock Based Approach to the Formal Specification of Cyber Physical Systems. EMC/HumanCom (2013)
Bingqing Xu, Lichen Zhang
Formal Descriptions of Cyber Physical Systems Using Clock Theory. MUSIC (2013)
Lichen Zhang, Bingqing Xu
Specification of Communication Based Train Control System Using AADL. MUSIC (2013)
Bingqing Xu, Lichen Zhang
Formal Specification of Railway Control Systems. EMC/HumanCom (2013)