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
- 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.