1. Enabling BPF Runtime policies for better BPF management;Proceedings of the 1st Workshop on eBPF and Kernel Extensions;2023-09-10
2. Annotate once – analyze anywhere: context-aware WCET analysis by user-defined abstractions;Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2021-06-22
3. Constrained Data-Age with Job-Level Dependencies: How to Reconcile Tight Bounds and Overheads;2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS);2021-05
4. No Crash, No Exploit: Automated Verification of Embedded Kernels;2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS);2021-05
5. Proving Real-Time Capability of Generic Operating Systems by System-Aware Timing Analysis;2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS);2019-04