Equipe Modélisation et Vérification des Systèmes Parallèles (MOVES)

Domaines d’intérêt :

Vérification des systèmes, Évaluation des performances, Tolérance aux fautes, Quantum Computing, Cloud Computing.

Axes de Recherche

  1. Vérification des systèmes et évaluation des performances
  2. Tolérance aux fautes et résilience
  3. MCDM
  4. Sécurité
  5. Architectures IoT
  6. Routage intelligent
  7. Architectures logicielles reconfigurables
  8. Web Services
  9. Quantum Computing

Projets

IntituléResponsableDates
PRFURoutage optimisé pour la découverte de services pour une architecture IoT sécurisée et tolérante aux fautesAbdelli2022-2025
PRFUIntégration du Cloud dans l’Internet des ObjetsAbdelli2018-2021
PRFUAnalyse formelle de la sureté de fonctionnement des systèmes cyber-physiques distribués et auto-adaptatifsHammal2022-2025
PRFUModélisation, Vérification et Développement des Systèmes logiciels Complexes Auto-adaptatifsHammal2018-2021

Statistiques

20182019202020212022Total
Publications1143312
Communication4532923
Soutenance Doctorat000112
PFE Master7777735

Equipe Mobilité

Domaines d’intérêt

Systèmes distribués-Réseaux mobiles-Réseaux de capteurs (et d’actionneurs/Robots( et de drones))-Réseaux p2p mobiles-(Sécurité DANS)-Les réseaux mobiles AD HOC- Criminalistique numérique.

Axes de Recherche

1- Distributed Systems, SDNs

2- Wireless Sensor (and Actuator) Networks (WSAN), Wireless Sensor, Robot and Drone networks, Ad hoc Networks, Wireless Multimedia Sensor Networks, NEMO: Mobility, Deployment, Redeployment Coverage Topology Control, Coordination, Event Detection Communication, Medium Access Control, Scheduling Exploration, Search and rescue, Target Tracking, Routing QoS, Time Synchronization Localization, planning, structural Health Monitoring, Energy Conservation.

3- Body Area Networks: Health monitoring, Human Behavior Recognition.

4- Mobile peer-to-peer Networks: p2p Computing Resource Search Content Distribution, Resource Availability, Incentive Mechanisms.

5- Security: Broadcast Authentication Sybil Attacks, Digital Forensics, Malware Forensics.

6- Social Networks: Community Detection

Projets

IntituléResponsableDates
PRFUL’internet des objets au service de la recherche et le secoursBenchaiba2022-2025
PRFULes réseaux de capteurs et de robots sans fil: Application à la recherche et le secoursBenchaiba2018-2021
CNEPRUSystème sécurisé de surveillance de patients utilisant les réseaux de capteurs sans filBadache2013-2015
CNEPRULes Réseaux pairs à pairs nomades: Application à la communauté universitaireBenchaiba2013-2015
CNEPRULes réseaux de capteurs sans fil: Application à l’agriculture de précisionBadache2010-2012
CNEPRURéseaux mobiles Ad hoc pour la télécommunication dans les risques majeursBadache2006-2009
CNEPRUMise en oeuvre d’applications sur les réseaux mobilesBadache2002-2005
CNEPRUApplications réparties en environnements mobilesBadache1998-2000
CNEPRUSystèmes d’exploitation distribués: outils et développementBadache1992-1994
CNEPRUEtudes des systèmes d’exploitation répartiesBadache1990-1992

Coopération

  • Domaine des réseaux de capteurs sans fil et leur utilisation en agriculture laboratoire SIR de l’école polytechnique fédérale de Lausanne (EPFL) Suisse Achevé
  • Projet CMEP n° 00 MDU492 Coopération Algéro-Française- l’université de technologie de Compiègne France Achevé
  • Coopération avec l’université de Rennes-France-Equipe ADP du prof. Michel Raynal Achevé

Statistiques

20182019202020212022Total
Publications4652522
Communications6155320
Chapitres de livres211004
Soutenance Doctorat321017
PFE Master121279444

Equipe Ingénierie des Systèmes d’Information (ISI)

Domaines d’intérêt:

Modélisation des procédés logiciels et métaheuristiques pour les procédés.

Axes de Recherche:

1- Modélisation des procédés logiciels

2- Méthodologies de développement d’architectures logicielles à base de composants

3- Intelligence computationnelle

4- Approches bio inspirées pour la bioinformatique et les protocoles de routage

Projets

IntituléResponsableDates
PRFUTechniques d’optimisation approchées à la bio-informatique et à la sécuritéA.Boukra2022-2025
PRFUDéveloppement de méthodes de résolution approchées pour des problèmes difficiles (Routage, Sécurité dans les réseaux et Cloud)A.Boukra2018-2021
CNEPRUApproches de résolution de problèmes difficiles par les métaheuristiquesA.Boukra2014-2016
CNEPRUModèles de réutilisation, d’assistance et d’évolution de procédés à base d’architectures logiciellesM.Ahmed Nacer2014-2016
CNEPRUIngénierie des architectures logicielles: Développement de modèles de conception et d’évolution d’architectures logiciellesM.Ahmed Nacer2010-2013
CNEPRUModèle de développement de logiciels à base de composants et bases de données XMLM.Ahmed Nacer2006-2009
CNEPRUVers un modèle d’assistance au développement de logiciels: Modèle d’intégration de versions de modèles de procédés logicielsM.Ahmed Nacer2002-2005
CNEPRUEtudes et Modélisation de l’évolution des procédés logiciels, de leur support muli-bases et problèmes de l’intégritéM.Ahmed Nacer1998-2001
PNRMOPAL: Plateforme de modélisation de procédés logiciels à base d’architectures logiciellesM.Ahmed Nacer2010-2013

Coopération

  • Inter-Labo-IRIT-Toulouse (2012- en cours)
  • Inter-Labo-LINA-Nantes (2009- en cours)
  • Inter-Labo-CNAM-Paris (2008- en cours)
  • CMEP N° 8 MDU 734-LINA-Nantes (2009-2013)

Statistiques

20182019202020212022Total
Publications050304060220
Communications030002000106
Soutenances Doctorat000100000001
PFE Master060707090837

Equipe Génie Logiciel (GL)

Domaines d’intérêt:

Modélisation des procédés logiciels et métaheuristiques pour les procédés.

Axes de Recherche:

1- Modélisation des procédés logiciels

2- Méthodologies de développement d’architectures logicielles à base de composants

3- Intelligence computationnelle

4- Approches bio inspirées pour la bioinformatique et les protocoles de routage

Projets

IntituléResponsableDates
PRFUTechniques d’optimisation approchées à la bio-informatique et à la sécuritéA.Boukra2022-2025
PRFUDéveloppement de méthodes de résolution approchées pour des problèmes difficiles (Routage, Sécurité dans les réseaux et Cloud)A.Boukra2018-2021
CNEPRUApproches de résolution de problèmes difficiles par les métaheuristiquesA.Boukra2014-2016
CNEPRUModèles de réutilisation, d’assistance et d’évolution de procédés à base d’architectures logiciellesM.Ahmed Nacer2014-2016
CNEPRUIngénierie des architectures logicielles: Développement de modèles de conception et d’évolution d’architectures logiciellesM.Ahmed Nacer2010-2013
CNEPRUModèle de développement de logiciels à base de composants et bases de données XMLM.Ahmed Nacer2006-2009
CNEPRUVers un modèle d’assistance au développement de logiciels: Modèle d’intégration de versions de modèles de procédés logicielsM.Ahmed Nacer2002-2005
CNEPRUEtudes et Modélisation de l’évolution des procédés logiciels, de leur support muli-bases et problèmes de l’intégritéM.Ahmed Nacer1998-2001
PNRMOPAL: Plateforme de modélisation de procédés logiciels à base d’architectures logiciellesM.Ahmed Nacer2010-2013

Coopération

  • Inter-Labo-IRIT-Toulouse (2012- en cours)
  • Inter-Labo-LINA-Nantes (2009- en cours)
  • Inter-Labo-CNAM-Paris (2008- en cours)
  • CMEP N° 8 MDU 734-LINA-Nantes (2009-2013)

Statistiques

20182019202020212022Total
Publications050304060220
Communications030002000106
Soutenances Doctorat000100000001
PFE Master060707090837