Mengqi Liu

According to our database1, Mengqi Liu authored at least 3 papers between 2019 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation.
Proc. ACM Program. Lang., 2020

2019
A new hierarchical software architecture towards safety-critical aspects of a drone system.
Frontiers Inf. Technol. Electron. Eng., 2019

Integrating Formal Schedulability Analysis into a Verified OS Kernel.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019


  Loading...