Show Menu
Hide Menu
Le LIP6
À propos
Rayonnement Scientifique
Organigrammes
Organisation
Comité de Direction
Direction Administrative et Financière
Direction de l’Ingénierie Numérique
Conseil scientifique
Conseil de laboratoire
Conseil des doctorants
Médiation Scientifique
Enseignements
Localisation & Contact
Recherche
Axes & Équipes
Publications
Projets
Projets ERC
Projets Européens
France 2030
Projets ANR
Rapports d’activité
Valorisation
Nos compétences
Collaborer avec nous
Logiciels
Brevets
Start-ups
Offres d’emploi
Annuaire
Colloquium
🔒
📫
🇫🇷
🇫🇷
🇬🇧
-
Laboratoire d’informatique
Sorbonne Universté
Centre National de la Recherche Scientifique
Actualités
Archives
Archive
ALSOC
2017
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?
2016
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)
2013
15/03/2013:
Feature Localization in Hardware Designs
2012
15/11/2012:
Journée "Méthodes, Outils et Architectures pour les Mémoires" (GDR SOCSIP)
2010
22/03/2010:
Matinée Vérification et sécurité
2009
13/11/2009:
Méthodes Formelles pour les Systèmes Logiciels et Matériels