Advanced Information Systems and Software Engineering

Research Teams

LIG
  • 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
LCIS
  • CTSYS - Conception et Test de Systèmes embarqués
VERIMAG
  • 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.
Published on  July 12, 2016
Updated on December 2, 2016