Romain Gratia: Versatile and efficient mixed-criticality scheduling for multi-core processors. (Une approche efficace et polyvalente pour l'ordonnancement de systèmes à criticité mixte sur processeur multi-coeurs). Télécom ParisTech, France 2017