Follow
Daniel Bristot de Oliveira
Daniel Bristot de Oliveira
Red Hat
Verified email at redhat.com - Homepage
Title
Cited by
Cited by
Year
Timing analysis of the PREEMPT RT Linux kernel
DB De Oliveira, RS De Oliveira
Software: Practice and Experience 46 (6), 789-819, 2016
442016
Demystifying the real-time linux scheduling latency
DB de Oliveira, D Casini, RS de Oliveira, T Cucinotta
32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), 2020
282020
Efficient formal verification for the Linux kernel
DB de Oliveira, T Cucinotta, RS de Oliveira
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
232019
Operating system noise in the linux kernel
DB de Oliveira, D Casini, T Cucinotta
IEEE Transactions on Computers 72 (1), 196-207, 2022
192022
Unikernel linux (ukl)
A Raza, T Unger, M Boyd, EB Munson, P Sohal, U Drepper, R Jones, ...
Proceedings of the Eighteenth European Conference on Computer Systems, 590-605, 2023
182023
Automata-based modeling of interrupts in the Linux PREEMPT RT kernel
DB de Oliveira, RS de Oliveira, T Cucinotta, L Abeni
2017 22nd IEEE International Conference on Emerging Technologies and Factory …, 2017
92017
Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata
DB de Oliveira, RS de Oliveira, T Cucinotta
82018
An empirical study on the adequacy of mbpta for tasks executed on a complex computer architecture with linux
KP Silva, LF Arcaro, DB de Oliveira, RS de Oliveira
2018 IEEE 23rd International Conference on Emerging Technologies and Factory …, 2018
82018
A thread synchronization model for the preempt_rt linux kernel
DB de Oliveira, RS de Oliveira, T Cucinotta
Journal of Systems Architecture 107, 101729, 2020
72020
Untangling the Intricacies of Thread Synchronization in the PREEMPT_RT Linux Kernel
D Bristot de Oliveira, R Silva de Oliveira, T Cucinotta
2019 IEEE 22nd International Symposium on Real-Time Distributed Computing …, 2019
62019
Comparative analysis of trace tools for real-time Linux
DB de Oliveira, RS de Oliveira
IEEE Latin America Transactions 12 (6), 1134-1140, 2014
52014
Priority-driven differentiated performance for nosql database-as-a-service
R Andreoli, T Cucinotta, DB De Oliveira
IEEE Transactions on Cloud Computing, 2023
42023
Nested Locks in the Lock Implementation: The Real-Time Read-Write Semaphores on Linux
DB de Oliveira, D Casini, RS de Oliveira, T Cucinotta, A Biondi, ...
42018
An Evaluation of Adaptive Partitioning of Real-Time Workloads on Linux
A Stevanato, T Cucinotta, L Abeni, DB De Oliveira
2021 IEEE 24th International Symposium on Real-Time Distributed Computing …, 2021
32021
Deadline scheduling Part 1 - overview and theory
DB de Oliveira
URL: https://lwn.net/Articles/743740/, 2018
22018
Mind the gap between real-time Linux and real-time theory, Part II,” 2018
DB de Oliveira
URL: https://www. linuxplumbersconf. org/event/2/contributions/75, 0
2
Mind the gap between real-time Linux and real-time theory, Part II [online](2018)
DB de Oliveira
URL: https://www. linuxplumbersconf. org/event/2/contributions/75, 0
2
Integrating Unikernel Optimizations in a General Purpose OS
A Raza, T Unger, M Boyd, E Munson, P Sohal, U Drepper, R Jones, ...
arXiv preprint arXiv:2206.00789, 2022
2022
Automata-based Formal Analysis and Verification of the Real-Time Linux Kernel
DB DE OLIVEIRA
2020
Demystifying the Real-Time Linux Scheduling Latency (Artifact)
DB de Oliveira, D Casini, RS de Oliveira, T Cucinotta
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20