Séminaires externes

Année 2011

•  Vendredi 24 juin, Lundi 26 et mardi 27 juin: Robert Sobot (Professeur invité)

• Jeudi 7 avril: Imran Quadri, "Une méthodologie de conception dirigée par les modèles en MARTE pour cibler les systèmes sur puce basés sur les FPGA dynamiquement reconfigurables"

• Vendredi 8 avril : Quentin Meunier, "Etude de l'utilisation des mémoires transactionnelles pour le support de la programmation parallèle dans les multiprocesseurs intégrés"

Année 2010

• Mercredi 23 juin : Hafedh Belmabrouk, "Traitement de l'information quantique"

• Lundi 22 mars :Narjes Ben Rajeb  - Décider la connaissance d'un intrus pour des théories de vote électronique

• Lundi 22 mars : Riadh Robbana - Test des Systèmes de Durées

• Vendredi 15 janvier : Claire Burguière, Compiler Design Lab, Analyse statique de mémoires cache et modèles de prévisibilités pour les multi-coeur

Année 2009

• Vendredi 6 novembre : Mohsen Machhout, Faculté des Sciences de Monastir, Tunisie, Du cryptage classique au cryptage quantique

• Mercredi 15 juillet: Majid Sarrafzadeh - Wireless Health - Professeur invité

• Vendredi 03 juillet : Professor Magdy Bayoumi University of Louisiana at Lafayette, U.S.A. - Wireless Sensors Networks: Current and Future Challenges (abstract)

• Vendredi 26 juin : Djamal Rebaïne - Les Vélos en Libre Service  : le cas de la région parisienne (Vous pouvez trouver le résumé ici)

• Vendredi 10 avril :Laure Gonnord- Analyses quantitatives pour systèmes embarqués

• Vendredi 13 mars : Alexandre Chapoutot - Analyse statique de modèles Simulink -Séminaire interne

• Vendredi 30 janvier : Mohamed Dessouky Analog and Mixed-Signal IP Functional Verification and Integration - Professeur invité dans l'équipe CIAN

• Vendredi 27 mars :Nicolas GAC - Adéquation Algorithme Architecture en reconstruction tomographique

Année 2008

• Vendredi 18 avril : J. Juillard, Supelec – Mesure et calibrage 1-bit dans les dispositifs MEMS intégrés – Théorie et applications

• Vendredi 18 avril : 14 h30 : C. Braunstein, University of Bremen - SAT-based fault localization in a Abstraction Refinement Framework

• Vendredi 11 avril : F. Bimbard, ENSIIE - Dimensionnement Temporel de Systèmes Embarqués : Application à OSEK

• Vendredi 11 avril : F. Ghaffari, ETIS ENSAE – Partionnement  en ligne d’applications flot de données pour des architectures temps-réel auto-adaptatives

• Vendredi 4 avril : L. Cucu, INPL Ecole des Mines de Nancy  -  Idées fausses et solutions dans les problèmes multiprocesseur temps réel

• Vendredi 28 mars : Y. Tsividis, Université de Columbia - Circuits intégrés analogiques et RF sous 0.5 V de tension d'alimentation

• Vendredi 22 février : H.-P. Charles, PRiSM - Spécialisation et génération de code à l'exécution pour des applications multimédia