Daniel Bristot de Oliveira

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 14

Top Topics

Computer Architecture

Wireless Broadcast

Operating System

Top Venues

Publications

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