La collection du département Informatique Critique du LAAS comprend les collections suivantes :

• LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
• LAAS-VERTICS - Équipe Verification de Systèmes Temporisés Critiques
• LAAS-ISI - Équipe Ingéniérie Système et Intégration