Emilien Kofman: Low power application architecture adaptation using SMT solvers. (Adéquation algorithme architecture automatisée par solveur SMT). University of Côte d'Azur, France 2017