|
||
---|---|---|
hal-00862485v1
Chapitre d'ouvrage
Modélisation de l'étude de cas avec MARTE Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5 |
||
hal-00821955v1
Chapitre d'ouvrage
Case Study Modeling Using MARTE Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013 |
||
hal-01006656v1
Article dans une revue
Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD Génie logiciel, C & S, 2014, 109 |
||
hal-00540746v1
Communication dans un congrès
Systèmes Informatiques de Confince, Objectifs Zéro-Défaut Systèmes Informatiques de Confince, Objectifs Zéro-Défaut, 2002, France. pp./ |
||
hal-01206286v1
Communication dans un congrès
Programmation mixte en nombres entiers pour l’approximation parcimonieuse de signaux ROADEF 2015, 16ème congrès annuel de la Société Française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2015, Marseille, France |
||
hal-01194776v1
Poster
Optimisation globale pour la résolution de problèmes parcimonieux en norme $l_0$ Assemblée Générale du GDR ISIS, Mar 2015, Lyon, France |
||
hal-01254856v1
Article dans une revue
Exact Sparse Approximation Problems via Mixed-Integer Programming: Formulations and Computational Performance IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2016, 64 (6), pp.1405-1419. ⟨10.1109/TSP.2015.2496367⟩ |
||
hal-02552069v1
Article dans une revue
A Hadoop-Based Platform for Patient Classification and Disease Diagnosis in Healthcare Applications Sensors (basel, Switzerland), 2020, Special Issue Sensor and Systems Evaluation for Telemedicine and eHealth, 20 (7), pp.1931-1 - 1931-20. ⟨10.3390/s20071931⟩ |
||
hal-01609704v1
Communication dans un congrès
Optimisation exacte de critères parcimonieux en norme L0 par programmation mixte en nombres entiers GRETSI 2015, XXVe Colloque GRETSI - Traitement du Signal et des Images, Sep 2015, Lyon, France |
||
|