Laboratoire d'Informatique REpartie - LIRE

Intitulé de l'équipe: Architectures des Systèmes
Thématique de recherche:

- Le groupe architectures dédiées s'intéresse aux méthodes et outils de générations d'architectures dédiées (aux systèmes embarqués) à partir de spécifications systèmes. Ces tec... Lire la suite

Chef d'équipe: Benmohammed Mohamed

Intitulé de l'équipe: Génie Logiciel et Intelligence Artificielle
Thématique de recherche:

- Systèmes multiagents : Les systèmes multi-agents (SMA) s'intéressent à l'étude de systèmes répartis composés d'entités autonomes (ou agents) en interaction les unes avec les autres. Le fonctionnement glo... Lire la suite

Chef d'équipe: Maamri Ramdane

Intitulé de l'équipe: Génie Logiciel et Systèmes Distribués
Thématique de recherche:

- Spécification et vérification formelles des systèmes répartis. Plusieurs études sont menées pour découvrir les avantages et les limites de chacun des modèles largement répandus dans le domaine des sp&eac... Lire la suite

Chef d'équipe: Belala Faiza

Intitulé de l'équipe: Systèmes d'Information et Bases de Connaissances
Thématique de recherche:

- Interopérabilité et intégration des systèmes: vise la proposition d’un ensemble d’outils conceptuels et technologiques permettant de gérer l’intégration et l’interopérabilité des applica... Lire la suite

Chef d'équipe: Boufaida Mahmoud