Emilien Kofman

According to our database, Emilien Kofman authored at least 6 papers between 2015 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

Emilien Kofman

PhD thesis, 2017

Explicit Control of Dataflow Graphs with MARTE/CCSL.

Jean-Vivien Millo, Amine Oueslati, Emilien Kofman, Julien DeAntoni, Frédéric Mallet, Robert de Simone

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

2016

A formal approach to the mapping of tasks on an heterogenous multicore, energy-aware architecture.

Emilien Kofman, Robert de Simone

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

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

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

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

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015