1. YASMIN;Proceedings of the 22nd International Middleware Conference;2021-12-02
2. A thread synchronization model for the PREEMPT_RT Linux kernel;Journal of Systems Architecture;2020-08
3. Efficient Formal Verification for the Linux Kernel;Software Engineering and Formal Methods;2019
4. Parallel Responsive Task on Dependable Responsive Multithreaded Processor II;2016 IEEE 4th International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA);2016-10