Search for persons
X
?
2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS) ,
1
Core-Local Reasoning and Predictable Cross-Core Communicati..:
, In:
?
Lecture Notes in Computer Science; Computer Safety, Reliability, and Security ,
2
Safety Certification with the Open Source Microkernel-Based..:
, In:
?
Software for Exascale Computing - SPPEXA 2016-2019; Lecture Notes in Computational Science and Engineering ,
3
FFMK: A Fast and Fault-Tolerant Microkernel-Based System fo..:
, In:
?
2019 26th IEEE International Conference on Electronics, Circuits and Systems (ICECS) ,
4
Using Hypervisor Technology for Safe and Secure Deployment ..:
, In:
?
Operating Systems for Supercomputers and High Performance Computing; High-Performance Computing Series ,
5
FFMK: An HPC OS Based on the L4Re Microkernel:
, In:
?
Proceedings of the 9th Workshop on Programming Languages and Operating Systems ,
6
Sandcrust : Automatic Sandboxing of Unsafe Components in..:
, In:
?
Proceedings of the 6th International Workshop on Runtime and Operating Systems for Supercomputers ,
7
Decoupled : Low-Effort Noise-Free Execution on Commodity..:
, In:
?
Proceedings of the 1st Workshop on System Software for Trusted Execution ,
8
Avoiding Leakage and Synchronization Attacks through Enclav..:
, In:
?
Proceedings of the tenth ACM international conference on Embedded software ,
13
Flattening hierarchical scheduling:
, In:
?
Proceedings of the 9th international conference on Mobile systems, applications, and services ,
14