On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling. - Raul Gorcitz; Emilien Kofman; Thomas Carle; Dumitru Potop-Butucaru; Robert de Simone (FORMATS, 2015)

Efficient FFT mapping on GPU for radar processing application: modeling and implementation. - Mohamed Amine Bergach; Emilien Kofman; Robert de Simone; Serge Tissot; Michel Syska (CoRR, 2015)

Modeling and Analyzing Dataflow Applications on NoC-Based Many-Core Architectures. - Jean-Vivien Millo; Emilien Kofman; Robert de Simone (ACM Trans. Embed. Comput. Syst., 2015)

A formal approach to the mapping of tasks on an heterogenous multicore, energy-aware architecture. - Emilien Kofman; Robert de Simone (MEMOCODE, 2016)

Explicit Control of Dataflow Graphs with MARTE/CCSL. - Jean-Vivien Millo; Amine Oueslati; Emilien Kofman; Julien DeAntoni; Frédéric Mallet; Robert de Simone (MODELSWARD, 2017)

Low power application architecture adaptation using SMT solvers. (Adéquation algorithme architecture automatisée par solveur SMT). - Emilien Kofman (2017)