Timing analysis of the PREEMPT RT Linux kernel DB De Oliveira, RS De Oliveira Software: Practice and Experience 46 (6), 789-819, 2016 | 44 | 2016 |
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 | 28 | 2020 |
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 | 23 | 2019 |
Operating system noise in the linux kernel DB de Oliveira, D Casini, T Cucinotta IEEE Transactions on Computers 72 (1), 196-207, 2022 | 19 | 2022 |
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 | 18 | 2023 |
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 | 9 | 2017 |
Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata DB de Oliveira, RS de Oliveira, T Cucinotta | 8 | 2018 |
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 | 8 | 2018 |
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 | 7 | 2020 |
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 | 6 | 2019 |
Comparative analysis of trace tools for real-time Linux DB de Oliveira, RS de Oliveira IEEE Latin America Transactions 12 (6), 1134-1140, 2014 | 5 | 2014 |
Priority-driven differentiated performance for nosql database-as-a-service R Andreoli, T Cucinotta, DB De Oliveira IEEE Transactions on Cloud Computing, 2023 | 4 | 2023 |
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, ... | 4 | 2018 |
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 | 3 | 2021 |
Deadline scheduling Part 1 - overview and theory DB de Oliveira URL: https://lwn.net/Articles/743740/, 2018 | 2 | 2018 |
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 |