Bristot de Oliveira, Daniel
49  Ergebnisse:
Personensuche X
?
 
?
4

Unikernel Linux (UKL):

, In: Proceedings of the Eighteenth European Conference on Computer Systems,
Raza, Ali ; Unger, Thomas ; Boyd, Matthew... - p. 590-605 , 2023
 
?
5

Efficient Formal Verification for the Linux Kernel:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
 
?
8

Timing analysis of the PREEMPT RT Linux kernel:

de Oliveira, Daniel Bristot ; de Oliveira, Romulo Silva
Software: Practice and Experience.  46 (2015)  6 - p. 789-819 , 2015
 
?
9

Mapping of the synchronization mechanisms of the Linux kern..:

, In: Proceedings of the 29th Annual ACM Symposium on Applied Computing,
 
?
11

Unikernel Linux (UKL):

Raza, Ali ; Unger, Thomas ; Boyd, Matthew...
doi:10.5281/zenodo.7737644.  , 2023
 
?
12

Unikernel Linux (UKL):

Raza, Ali ; Unger, Thomas ; Boyd, Matthew...
http://arxiv.org/abs/2206.00789.  , 2022
 
?
15

Modeling the Behavior of Threads in the PREEMPT_RT Linux Ke..:

Daniel Bristot de Oliveira ; Tommaso Cucinotta ; Romulo Silva de Oliveira
ispartofbook:Proceedings of the International Workshop on Embedded Operating Systems (EWILI 2018).  , 2018
 
1-15