Mapping of the synchronization mechanisms of the Linux kernel to the response-time analysis model. - Daniel Bristot de Oliveira; Rômulo Silva de Oliveira (SAC, 2014)

Timing analysis of the PREEMPT RT Linux kernel. - Daniel Bristot de Oliveira; Rômulo Silva de Oliveira (Softw. Pract. Exp., 2016)

Automata-based modeling of interrupts in the Linux PREEMPT RT kernel. - Daniel Bristot de Oliveira; Rômulo Silva de Oliveira; Tommaso Cucinotta; Luca Abeni (ETFA, 2017)

An Empirical Study on the Adequacy of MBPTA for Tasks Executed on a Complex Computer Architecture with Linux. - Karila Palma Silva; Luis Fernando Arcaro; Daniel Bristot de Oliveira; Rômulo Silva de Oliveira (ETFA, 2018)

Untangling the Intricacies of Thread Synchronization in the PREEMPT_RT Linux Kernel. - Daniel Bristot de Oliveira; Rômulo Silva de Oliveira; Tommaso Cucinotta (ISORC, 2019)

Efficient Formal Verification for the Linux Kernel. - Daniel Bristot de Oliveira; Tommaso Cucinotta; Rômulo Silva de Oliveira (SEFM, 2019)

Modeling the behavior of threads in the PREEMPT_RT Linux kernel using automata. - Daniel Bristot de Oliveira; Tommaso Cucinotta; Rômulo Silva de Oliveira (SIGBED Rev., 2019)

Demystifying the Real-Time Linux Scheduling Latency. - Daniel Bristot de Oliveira; Daniel Casini; Rômulo Silva de Oliveira; Tommaso Cucinotta (ECRTS, 2020)

Demystifying the Real-Time Linux Scheduling Latency (Artifact). - Daniel Bristot de Oliveira; Daniel Casini; Rômulo Silva de Oliveira; Tommaso Cucinotta (Dagstuhl Artifacts Ser., 2020)

A thread synchronization model for the PREEMPT_RT Linux kernel. - Daniel Bristot de Oliveira; Rômulo Silva de Oliveira; Tommaso Cucinotta (J. Syst. Archit., 2020)

An Evaluation of Adaptive Partitioning of Real-Time Workloads on Linux. - Andrea Stevanato; Tommaso Cucinotta; Luca Abeni; Daniel Bristot de Oliveira (ISORC, 2021)

Integrating Unikernel Optimizations in a General Purpose OS. - Ali Raza 003; Thomas Unger; Matthew Boyd; Eric B. Munson; Parul Sohal; Ulrich Drepper; Richard Jones; Daniel Bristot de Oliveira; Larry Woodman; Renato Mancuso 001; Jonathan Appavoo; Orran Krieger (CoRR, 2022)

Unikernel Linux (UKL). - Ali Raza 003; Thomas Unger; Matthew Boyd; Eric B. Munson; Parul Sohal; Ulrich Drepper; Richard Jones; Daniel Bristot de Oliveira; Larry Woodman; Renato Mancuso 001; Jonathan Appavoo; Orran Krieger (EuroSys, 2023)

Operating System Noise in the Linux Kernel. - Daniel Bristot de Oliveira; Daniel Casini; Tommaso Cucinotta (IEEE Trans. Computers, 2023)

Priority-Driven Differentiated Performance for NoSQL Database-as-a-Service. - Remo Andreoli; Tommaso Cucinotta; Daniel Bristot de Oliveira (IEEE Trans. Cloud Comput., 2023)

Timerlat: Real-Time Linux Scheduling Latency Measurements, Tracing, and Analysis. - Daniel Bristot de Oliveira; Daniel Casini; Juri Lelli; Tommaso Cucinotta (IEEE Trans. Computers, 2025)