Bingqing Xu

According to our database, Bingqing Xu authored at least 16 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

LCDeT: LiDAR Curb Detection Network with Transformer.

Jian Gao, Haoxiang Jie, Bingqing Xu, Lifeng Liu, Jun Hu, Wei Liu

Proceedings of the International Joint Conference on Neural Networks, 2023

2019

A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving.

Bingqing Xu, Qin Li, Tong Guo, Dehui Du

IEEE Access, 2019

A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving.

Bingqing Xu, Qin Li, Tong Guo, Yi Ao, Dehui Du

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

2018

Task Scheduling for Cloud Based Cyber-Physical Systems.

Dandan Lai, Lichen Zhang, Bingqing Xu, Chunyao Liu

Proceedings of the 2018 IEEE SmartWorld, 2018

Scheduling Algorithms for Cloud Based Cyber-Physical Systems Specification.

Lichen Zhang, Dandan Lai, Bingqing Xu, Chunyao Liu

Proceedings of the 24th International Conference on Automation and Computing, 2018

2017

A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation.

Bingqing Xu, Qin Li

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

2016

A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles.

Bingqing Xu, Qin Li

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2014

Operator Scale Out Using Time Utility Function in Big Data Stream Processing.

Mahammad Humayoo, Yanlong Zhai, Yan He, Bingqing Xu, Chen Wang

Proceedings of the Wireless Algorithms, Systems, and Applications, 2014

2013

Specification of Communication Based Train Control System Using AADL.

Lichen Zhang, Bingqing Xu

Proceedings of the Mobile, Ubiquitous, and Intelligent Computing, 2013

Formal Descriptions of Cyber Physical Systems Using Clock Theory.

Bingqing Xu, Lichen Zhang

Proceedings of the Mobile, Ubiquitous, and Intelligent Computing, 2013

Specification of Train Control Systems Using Formal Methods.

Bingqing Xu, Lichen Zhang

Proceedings of the Mobile, Ubiquitous, and Intelligent Computing, 2013

Formal Specification of Cyber Physical Systems: Three Case Studies Based on Clock Theory.

Bingqing Xu, Lichen Zhang

Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013

A Clock Based Approach to the Formal Specification of Cyber Physical Systems.

Bingqing Xu, Lichen Zhang

Proceedings of the Advanced Technologies, Embedded and Multimedia for Human-centric Computing, 2013

Formal Specification of Railway Control Systems.

Bingqing Xu, Lichen Zhang

Proceedings of the Advanced Technologies, Embedded and Multimedia for Human-centric Computing, 2013

A Clock Based Framework for Specifying and Modeling the Time Constraints of Cyber Physical Systems.

Bingqing Xu, Lichen Zhang

Proceedings of the IEEE 11th International Conference on Dependable, 2013

Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory.

Bingqing Xu, Lichen Zhang

Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013