Daniel Bristot de Oliveira

According to our database, Daniel Bristot de Oliveira authored at least 15 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Priority-Driven Differentiated Performance for NoSQL Database-as-a-Service.

Remo Andreoli, Tommaso Cucinotta, Daniel Bristot de Oliveira

IEEE Trans. Cloud Comput., 2023

Operating System Noise in the Linux Kernel.

Daniel Bristot de Oliveira, Daniel Casini, Tommaso Cucinotta

IEEE Trans. Computers, 2023

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

Proceedings of the Eighteenth European Conference on Computer Systems, 2023

2022

Integrating Unikernel Optimizations in a General Purpose OS.

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

CoRR, 2022

2021

An Evaluation of Adaptive Partitioning of Real-Time Workloads on Linux.

Andrea Stevanato, Tommaso Cucinotta, Luca Abeni, Daniel Bristot de Oliveira

Proceedings of the 24th IEEE International Symposium on Real-Time Distributed Computing, 2021

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

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

Demystifying the Real-Time Linux Scheduling Latency.

Daniel Bristot de Oliveira, Daniel Casini, Rômulo Silva de Oliveira, Tommaso Cucinotta

Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

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

Efficient Formal Verification for the Linux Kernel.

Daniel Bristot de Oliveira, Tommaso Cucinotta, Rômulo Silva de Oliveira

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Untangling the Intricacies of Thread Synchronization in the PREEMPT_RT Linux Kernel.

Daniel Bristot de Oliveira, Rômulo Silva de Oliveira, Tommaso Cucinotta

Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

2018

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

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017

Automata-based modeling of interrupts in the Linux PREEMPT RT kernel.

Daniel Bristot de Oliveira, Rômulo Silva de Oliveira, Tommaso Cucinotta, Luca Abeni

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

Timing analysis of the PREEMPT RT Linux kernel.

Daniel Bristot de Oliveira, Rômulo Silva de Oliveira

Softw. Pract. Exp., 2016

2014

Mapping of the synchronization mechanisms of the Linux kernel to the response-time analysis model.

Daniel Bristot de Oliveira, Rômulo Silva de Oliveira

Proceedings of the Symposium on Applied Computing, 2014