Конференции и семинары с 2006г.
ALSOC
- 20.11.2017: Fault-Attack Aware Microprocessor Extension (FAME): From Concept to Prototype
- 20.11.2017: Should everything that can be done also be done?
- 20.05.2016: Conception d'algorithmes parallèles d'étiquetage et d'analyse en composantes connexes
- 15.01.2016: Application du Model-based Testing dans le projet OpenETCS (Open European train Control System)
- 15.03.2013: Feature Localization in Hardware Designs
- 15.11.2012: Journée "Méthodes, Outils et Architectures pour les Mémoires" (GDR SOCSIP)
- 22.03.2010: Matinée Vérification et sécurité
- 13.11.2009: Méthodes Formelles pour les Systèmes Logiciels et Matériels