The following publications are possibly variants of this publication:
- Modeling the behavior of threads in the PREEMPT_RT Linux kernel using automataDaniel Bristot de Oliveira, Tommaso Cucinotta, Rômulo Silva de Oliveira. sigbed, 16(3):63-68, 2019. [doi]
- A thread synchronization model for the PREEMPT_RT Linux kernelDaniel Bristot de Oliveira, Rômulo Silva de Oliveira, Tommaso Cucinotta. jsa, 107:101729, 2020. [doi]
- Timing analysis of the PREEMPT RT Linux kernelDaniel Bristot de Oliveira, Rômulo Silva de Oliveira. SPE, 46(6):789-819, 2016. [doi]
- Untangling the Intricacies of Thread Synchronization in the PREEMPT_RT Linux KernelDaniel Bristot de Oliveira, Rômulo Silva de Oliveira, Tommaso Cucinotta. isorc 2019: 1-9 [doi]