Research Theme : Communicating systems

Research teams

Legend :

• Research-teams recognized as project-teams by INRIA

Theme Com A : Distributed systems and software architecture

• ACES - Ambient computing and embedded systems
• ADAM - Adaptive Distributed Applications and Middleware
• ADEPT - Algorithms for Dynamic Dependable Systems
• ARLES - Software architectures and distributed systems
• ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
• CEPAGE - Chercher et Essaimer dans les Plates-formes A Grande Echelle
• OASIS - Active objects, semantics, Internet and security
• OBASCO - Objects, aspects and components
• PHOENIX - Programming Language Technology For Communication Services
• POPS - System and Networking for Portable Objects Proved to be Safe
• REGAL - Large-Scale Distributed Systems and Applications
• RMOD - Analyses and Languages Constructs for Object-Oriented Application Evolution
• SARDES - System architecture for reflective distributed computing environments
• TRISKELL - Reliable and efficient component based software engineering

Theme Com B : Networks and telecoms

• DISTRIBCOM - Distributed and Iterative Algorithms in Management and Signal Processing for Telecommunications
• GANG - Networks, Graphs and Algorithms
• HIPERCOM - High performance communication
• LOGNET - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems
• MADYNES - Management of dynamic networks and services
• MAESTRO - Models for the performance analysis and the control of networks
• MASCOTTE - Algorithms, simulation, combinatorics and optimization for telecommunications
• PLANETE - Protocols and applications for the Internet
• RAP - Networks, Algorithms and Probabilities
• TREC - Theory of networks and communications

Theme Com C : Embedded systems and mobility

• AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
• COMETE - Concurrency, Mobility and Transactions
• DART - Contributions of the Data Parallelism to Real Time
• ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
• MIMOSA - Migration and mobility : semantics and applications
• MOSCOVA - Mobililty, security, concurrence, verification and analysis
• POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
• S4 - System synthesis and supervision, scenarios
• TRIO - Real time and interoperability
• VASY - System validation - Research and applications
• VERTECS - Verification models and techniques applied to testing and control of reactive systems

Theme Com D : Architecture and compiling

• ALCHEMY - Architectures, Languages and Compilers to Harness the End of Moore Years
• CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources
• CAPS - Compilation, parallel architectures and system
• COMPSYS - Compilation and embedded computing systems