Project-team SPADES Sound Programming of Adaptive Dependable Embedded Systems The SPADES project-team aims at mastering the complexity and dependability of networked embedded...
Project-team SPIRALS Self-adaptation for distributed services and large software systems Spirals is conducting research activities in the domains of distributed systems and software...
Project-team SYCOMORES Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems The objective of the SYCOMORES project-team is to develop a framework for the design and the...
Project-team TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata is a research group of the INRIA Saclay-Île-de-France researchcenter, joint with the...
Project-team VALSE Finite-time control and estimation for distributed systems The information revolution brings new possibilities related with Internet of Things and Cyber...
Project-team WIDE the World Is Distributed Exploring the tension between scale and coordination As distributed computing systems are being deployed within a growing number of everyday applications...
© Inria / Photo C. Morel Communication - Event The Associate Teams 2025 call for proposals is open! 08/07/2024
Industry of the Future Ayana, an exploratory action to support the future of space exploration 01/07/2024
© Pixabay/ Photo V. Stefanov Modeling and simulation Digital sciences conquer the sky and the stars 20/06/2024
© Inria/Photo G. Scagnelli Environment and planet Towards a more sustainable energy future: the scientific challenges facing the Inria Centre at the University of Bordeaux 07/06/2024