* SPADES - Sound Programming of Adaptive Dependable Embedded Systems

* CONVECS - Construction of verified concurrent systems

* CORSE - compiler optimization and run-time systems

* TYREX - Foundations of the next generation of data analytics and data-centric programming systems

* ADELE - Environnements et outils pour le Génie Logiciel Industriel

* CAPP - Calculi, Algorithms, Programs and Proofs

* Ctrl-A - Control for Autonomic Computing Systems

* ERODS - Efficient and Robust Distributed 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

* MOHYTOS - MOdular HYbrid and Timed cOmponent-based Systems

* FP - Formal Proofs

* SLS - System Level Synthesis