Research Teams

  • ADELE - Environnements et outils pour le Génie Logiciel Industriel
  • HADAS - Heterogeneous and Adaptive Distributed dAta management Systems
  • MRIM - Modélisation et Recherche d’Information Multimédia
  • STEAMER - Spatio-TEmporal information Systems
  • SIGMA - Systèmes d’Information - inGénierie et Modélisation Adaptables
  • VASCO - VAlidation of Software Systems, Components and Objects
  • CTSYS - Conception et Test de Systèmes embarqués
  • Synchrone - Languages and tools for the design, simulation and verification of embedded systems
  • PACSS - Proofs and Code analysis for Safety and Security
Projects may be found on the PCARRE web site.