Conferences and seminars since 2006
ALSOC
- 11/20/2017: Fault-Attack Aware Microprocessor Extension (FAME): From Concept to Prototype
- 11/20/2017: Should everything that can be done also be done?
- 05/20/2016: Conception d'algorithmes parallèles d'étiquetage et d'analyse en composantes connexes
- 01/15/2016: Application du Model-based Testing dans le projet OpenETCS (Open European train Control System)
- 03/15/2013: Feature Localization in Hardware Designs
- 11/15/2012: Journée "Méthodes, Outils et Architectures pour les Mémoires" (GDR SOCSIP)
- 03/22/2010: Matinée Vérification et sécurité
- 11/13/2009: Méthodes Formelles pour les Systèmes Logiciels et Matériels