Meixun Qu

According to our database, Meixun Qu authored at least 2 papers between 2018 and 2024.

Collaborative distances:

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

2024

DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications.

Meixun Qu, Jie He, Zlatan Tucakovic, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2018

Formal Verification of Smart Contracts from the Perspective of Concurrency.

Meixun Qu, Xin Huang, Xu Chen, Yi Wang, Xiaofeng Ma, Dawei Liu

Proceedings of the Smart Blockchain - First International Conference, 2018