| 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 | 29 | 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 | 22 | 2019 |
| Operating system noise in the linux kernel DB de Oliveira, D Casini, T Cucinotta IEEE Transactions on Computers 72 (1), 196-207, 2022 | 15 | 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 | 11 | 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 |
| 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 |
| Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata DB de Oliveira, RS de Oliveira, T Cucinotta | 7 | 2018 |
| 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 |
| Automata-based formal analysis and verification of the real-time Linux kernel DB Oliveira | | 2020 |
Rômulo Silva de OliveiraUniversidade Federal de Santa CatarinaVerified email at das.ufsc.br
