According to our database1, Mengqi Liu authored at least 3 papers between 2019 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation.
Proc. ACM Program. Lang., 2020
A new hierarchical software architecture towards safety-critical aspects of a drone system.
Frontiers Inf. Technol. Electron. Eng., 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019