Yonghui Yonghui Li

Design and formal analysis of real-time memory controllers

Yonghui Yonghui Li, Yonghui Li, 2016 .

Virtual execution platforms for mixed-time-criticality applications : the CompSoC architecture and design flow

Ashkan Beyranvand Nejad, Arnaldo Azevedo, Davit Mirzoyan, 2012 .