Bingqing Xu

16 papers B 2C 1Misc 2Journal 1Unranked 10

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