2017

Communication dans un congrès

ref_biblio
Jean-Vivien Millo, Emilien Kofman, Julien Deantoni, Frédéric Mallet, Amine Oueslati, et al.. Explicit Control of Dataflow Graphs with MARTE/CCSL. MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Feb 2017, Porto, Portugal. pp.542-549, ⟨10.5220/0006269505420549⟩. ⟨hal-01644294⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01644294/file/main.pdf BibTex

Thèse

ref_biblio
Émilien Kofman. Low power application architecture adaptation using SMT solvers. Other [cs.OH]. Université Côte d'Azur, 2017. English. ⟨NNT : 2017AZUR4009⟩. ⟨tel-01534440⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01534440/file/2017AZUR4009.pdf BibTex

2016

Communication dans un congrès

ref_biblio
Emilien Kofman, Robert de Simone. A formal approach to the mapping of tasks on an heterogenous multicore, energy-aware architecture. MEMOCODE'16 - 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, Nov 2016, Kanpur, India. ⟨hal-01412790⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01412790/file/final.pdf BibTex
ref_biblio
Emilien Kofman, Robert de Simone, Amani Khecharem. Multicore SMT scheduling of periodic task systems with energy minimization. Workshop on Highly-Reliable Power-Efficient Embedded Designs, Mar 2016, Barcelone, Spain. ⟨hal-01282264⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01282264/file/paper.pdf BibTex

2015

Article dans une revue

ref_biblio
Jean-Vivien Millo, Emilien Kofman, Robert De Simone. Modeling and Analyzing Dataflow Applications on NoC-Based Many-Core Architectures. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2015, Special Issue on Embedded Platforms for Crypto and Regular Papers, 14 (3), pp.article 46. ⟨https://dl.acm.org/citation.cfm?id=2700081⟩. ⟨10.1145/2700081⟩. ⟨hal-01097315⟩
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Raul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop-Butucaru, Robert de Simone. On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling. 13th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2015, Madrid, Spain. ⟨10.1007/978-3-319-22975-1_8⟩. ⟨hal-01250010⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01250010/file/paper.pdf BibTex

Pré-publication, Document de travail

ref_biblio
Raul Gorcitz, Emilien Kofman, Thomas Carle, Dumitru Potop-Butucaru, Robert de Simone. On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling. 2015. ⟨hal-01179489⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01179489/file/preprint.pdf BibTex

2013

Communication dans un congrès

ref_biblio
Emilien Kofman, Jean-Vivien Millo, Robert de Simone. Application Architecture Adequacy through an FFT case study. JRWRTC2013 - 7th Junior Researcher Workshop on Real-Time Computing, Sebastian Altmeyer, Oct 2013, Sophia Antipolis, France. ⟨hal-00950533⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00950533/file/aaafft.pdf BibTex