Daniel Bristot de Oliveira

16 papers A 1B 2C 4Misc 1Journal 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Timerlat: Real-Time Linux Scheduling Latency Measurements, Tracing, and Analysis.
IEEE Trans. Computers
Daniel Bristot de Oliveira, Daniel Casini, Juri Lelli, Tommaso Cucinotta
2023 J jnl
Operating System Noise in the Linux Kernel.
IEEE Trans. Computers
Daniel Bristot de Oliveira, Daniel Casini, Tommaso Cucinotta
2023 J jnl
Priority-Driven Differentiated Performance for NoSQL Database-as-a-Service.
IEEE Trans. Cloud Comput.
Remo Andreoli, Tommaso Cucinotta, Daniel Bristot de Oliveira
2023 A conf
Unikernel Linux (UKL).
EuroSys
Ali Raza, Thomas Unger, Matthew Boyd, Eric B. Munson, Parul Sohal, Ulrich Drepper, Richard Jones, Daniel Bristot de Oliveira, Larry Woodman, Renato Mancuso, Jonathan Appavoo, Orran Krieger
2022 J jnl
Integrating Unikernel Optimizations in a General Purpose OS.
CoRR
Ali Raza, Thomas Unger, Matthew Boyd, Eric B. Munson, Parul Sohal, Ulrich Drepper, Richard Jones, Daniel Bristot de Oliveira, Larry Woodman, Renato Mancuso, Jonathan Appavoo, Orran Krieger
2021 C conf
An Evaluation of Adaptive Partitioning of Real-Time Workloads on Linux.
ISORC
Andrea Stevanato, Tommaso Cucinotta, Luca Abeni, Daniel Bristot de Oliveira
2020 J jnl
A thread synchronization model for the PREEMPT_RT Linux kernel.
J. Syst. Archit.
Daniel Bristot de Oliveira, Rômulo Silva de Oliveira, Tommaso Cucinotta
2020 J jnl
Demystifying the Real-Time Linux Scheduling Latency (Artifact).
Dagstuhl Artifacts Ser.
Daniel Bristot de Oliveira, Daniel Casini, Rômulo Silva de Oliveira, Tommaso Cucinotta
2020 B conf
Demystifying the Real-Time Linux Scheduling Latency.
ECRTS
Daniel Bristot de Oliveira, Daniel Casini, Rômulo Silva de Oliveira, Tommaso Cucinotta
2019 B conf
Efficient Formal Verification for the Linux Kernel.
SEFM
Daniel Bristot de Oliveira, Tommaso Cucinotta, Rômulo Silva de Oliveira
2019 J jnl
Modeling the behavior of threads in the PREEMPT_RT Linux kernel using automata.
SIGBED Rev.
Daniel Bristot de Oliveira, Tommaso Cucinotta, Rômulo Silva de Oliveira
2019 C conf
Untangling the Intricacies of Thread Synchronization in the PREEMPT_RT Linux Kernel.
ISORC
Daniel Bristot de Oliveira, Rômulo Silva de Oliveira, Tommaso Cucinotta
2018 C conf
An Empirical Study on the Adequacy of MBPTA for Tasks Executed on a Complex Computer Architecture with Linux.
ETFA
Karila Palma Silva, Luis Fernando Arcaro, Daniel Bristot de Oliveira, Rômulo Silva de Oliveira
2017 C conf
Automata-based modeling of interrupts in the Linux PREEMPT RT kernel.
ETFA
Daniel Bristot de Oliveira, Rômulo Silva de Oliveira, Tommaso Cucinotta, Luca Abeni
2016 J jnl
Timing analysis of the PREEMPT RT Linux kernel.
Softw. Pract. Exp.
Daniel Bristot de Oliveira, Rômulo Silva de Oliveira
2014 Misc conf
Mapping of the synchronization mechanisms of the Linux kernel to the response-time analysis model.
SAC
Daniel Bristot de Oliveira, Rômulo Silva de Oliveira