1. Static Race Detection for Periodic Real-Time Programs with IPCP Locks;Lecture Notes in Computer Science;2024
2. Resource Access Protocols;Hard Real-Time Computing Systems;2023-09-25
3. Multiprocessor Real-Time Locking Protocols;Handbook of Real-Time Computing;2022
4. YASMIN;Proceedings of the 22nd International Middleware Conference;2021-12-02
5. Concurrency groups: a new way to look at real-time multiprocessor lock nesting;Real-Time Systems;2021-02-05