Florian Vanhems

According to our database¹, Florian Vanhems authored at least 2 papers between 2022 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2023

Conception, implémentation et preuve d'un service de transfert de flôt d'exécution au sein d'un noyau de système d'exploitation. (Conception, implementation and proof of an execution flow transfer service in an operating system's kernel).

[BibT_eX]

[DOI]

Florian Vanhems

PhD thesis, 2023

2022

A Formal Correctness Proof for an EDF Scheduler Implementation.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

Florian Vanhems

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...