Formal Verification of Smart Contracts from the Perspective of Concurrency. - Meixun Qu; Xin Huang 005; Xu Chen; Yi Wang; Xiaofeng Ma; Dawei Liu 001 (SmartBlock, 2018)

DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications. - Meixun Qu; Jie He; Zlatan Tucakovic; Ezio Bartocci; Dejan Nickovic; Haris Isakovic; Radu Grosu (DAC, 2024)

TD-Interpreter: Enhancing the Understanding of Timing Diagrams with Visual-Language Learning. - Jie He; Vincent Theo Willem Kenbeek; Zhantao Yang; Meixun Qu; Ezio Bartocci; Dejan Nickovic; Radu Grosu (CoRR, 2025)

MCTR: Midpoint Corrected Triangulation for Autonomous Racing via Digital Twin Simulation in CARLA. - Junhao Ye; Cheng Hu; Yiqin Wang; Weizhan Huang; Nicolas Baumann; Jie He; Meixun Qu; Lei Xie 007; Hongye Su (CoRR, 2025)