Daniel Bristot de Oliveira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2014–2023
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | EuroSys | Unikernel Linux (UKL). | 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 | ISORC | An Evaluation of Adaptive Partitioning of Real-Time Workloads on Linux. | Andrea Stevanato, Tommaso Cucinotta, Luca Abeni, Daniel Bristot de Oliveira |
| 2020 | ECRTS | Demystifying the Real-Time Linux Scheduling Latency. | Daniel Bristot de Oliveira, Daniel Casini, Rmulo Silva de Oliveira, Tommaso Cucinotta |
| 2019 | ISORC | Untangling the Intricacies of Thread Synchronization in the PREEMPT_RT Linux Kernel. | Daniel Bristot de Oliveira, Rmulo Silva de Oliveira, Tommaso Cucinotta |
| 2019 | SEFM | Efficient Formal Verification for the Linux Kernel. | Daniel Bristot de Oliveira, Tommaso Cucinotta, Rmulo Silva de Oliveira |
| 2018 | ETFA | 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, Rmulo Silva de Oliveira |
| 2017 | ETFA | Automata-based modeling of interrupts in the Linux PREEMPT RT kernel. | Daniel Bristot de Oliveira, Rmulo Silva de Oliveira, Tommaso Cucinotta, Luca Abeni |
| 2014 | SAC | Mapping of the synchronization mechanisms of the Linux kernel to the response-time analysis model. | Daniel Bristot de Oliveira, Rmulo Silva de Oliveira |