Bingqing Xu

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

Lichen Zhang, Bingqing Xu, 2013, 2013 IEEE 11th International Conference on Dependable, Autonomic and Secure Computing.

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

Lichen Zhang, Bingqing Xu, 2013, EMC/HumanCom.

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

Qin Li, Bingqing Xu, Qin Li, 2017, 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE).

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

Chen Wang, Yanlong Zhai, Yan He, 2014, WASA.

Formal Specification of Railway Control Systems

Lichen Zhang, Bingqing Xu, 2013, EMC/HumanCom.

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

Qin Li, Bingqing Xu, Qin Li, 2016, 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS).

Specification of Communication Based Train Control System Using AADL

Lichen Zhang, Bingqing Xu, Lichen Zhang, 2013, MUSIC.

A Clock-Based Specification of Cyber-Physical Systems

Lichen Zhang, Bingqing Xu, 2014 .

Formal Descriptions of Cyber Physical Systems Using Clock Theory

Lichen Zhang, Bingqing Xu, 2013, MUSIC.

Specification of Train Control Systems Using Formal Methods

Lichen Zhang, Bingqing Xu, 2013, MUSIC.

Task Scheduling for Cloud Based Cyber-Physical Systems

Lichen Zhang, Chunyao Liu, Bingqing Xu, 2018, 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI).

Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory

Lichen Zhang, Bingqing Xu, 2013, 2013 IEEE 16th International Conference on Computational Science and Engineering.

Muti-dimensional Architecture Modeling for Cyber Physical Systems

Lichen Zhang, Bingqing Xu, 2014 .

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

Qin Li, Dehui Du, Tong Guo, 2019, IEEE Access.

Specication of Cyber Physical Systems Based on Clock Theory

Lichen Zhang, Jifeng He, Bingqing Xu, 2013 .

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

Lichen Zhang, Bingqing Xu, 2013, 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing.

Modeling of train control systems using formal techniques

Lichen Zhang, Bingqing Xu, 2014 .