J. Aas, Understanding the linux 2.6.8.1 cpu scheduler, 2015.

S. Amani, A. Hixon, Z. Chen, C. Rizkallah, P. Chubb et al., Cogent : Verifying high-assurance file system implementations, ASPLOS, pp.175-188, 2016.

D. S. Christos-d-antonopoulos, T. S. Nikolopoulos, and . Papatheodorou, Scheduling algorithms with bus bandwidth considerations for smps, ICPP, pp.547-554, 2003.

H. Chen, D. Ziegler, T. Chajed, A. Chlipala, N. Frans-kaashoek et al., Using crash hoare logic for certifying the fscq file system, SOSP, pp.18-37, 2015.

J. Corbet, Scheduling domains, 2004.

R. Gu, Z. Shao, H. Chen, J. Xiongnan-newman-wu, V. Kim et al., Certikos : an extensible architecture for building certified concurrent os kernels, OSDI, 2016.

G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock et al., Michael Norrish, et al. sel4 : Formal verification of an os kernel, SOSP, pp.207-220, 2009.

M. Kohler, Multiple run-queues for bfs, 2012.

T. Li, D. Baumberger, and S. Hahn, Efficient and scalable multiprocessor fair scheduling using distributed weighted round-robin, PPoPP, pp.65-74, 2009.
DOI : 10.1145/1504176.1504188

J. Lozi, B. Lepers, J. Funston, F. Gaud, V. Quéma et al., The linux scheduler : a decade of wasted cores, EuroSys, p.1, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01295194

I. Molnár, Bfs vs. mainline scheduler benchmarks and measurements, 2009.

G. Muller, J. L. Lawall, and H. Duchesne, A framework for simplifying the development of kernel schedulers : Design and performance evaluation, HASE, pp.56-65, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00457120

S. Zhuravlev, S. Blagodurov, and A. Fedorova, Addressing shared resource contention in multicore processors via scheduling, ASPLOS, vol.45, pp.129-142, 2010.