temp
Home Mis à jour 20 mai 2013 07:02
UNIVERSITÉ D’ORAN ES-SÉNIA
(SITE EN COURS DE CONSTRUCTION)
LABORATOIRE
- LITIO -
INFORMATIQUE ET TECHNOLOGIES DE L’INFORMATION D’ORAN
مخبر الاعلام الالي و تكنولوجيات المعلومات بوهران
Masters domiciliés au LITIO
Master Systèmes Intelligents et Ingénierie des Réseaux
Dépliant : Télécharger le PDF
Master Ingénierie des données et technologie web
Formation doctorale LMD (D : Troisième cycle) - Sciences et Technologies Informatiques (STI)
2012
Journée « Fouille de graphes et Optimisation »
Journée associée au colloque COSI'2012, Tlemcen, Algérie
Ecole Thématique sur l'Informatique et les Technologies de l'Information 2011
RÉSEAUX ET TECHNOLOGIES DE L’INFORMATION (RTI)
AUTOMATIQUE, VISION, ET TRAITEMENT D’IMAGES (AVTI)
CONTRAINTES ET APPLICATIONS (CAP)
1 INTRODUCTION
Le Laboratoire d’Informatique et des Technologies de l’Information d’Oran (LITIO) ambitionne de créer une enceinte au sein de l’université d’Oran Es-Sénia pour développer des thématiques d’actualité en informatique et ses applications.
Les membres sont répartis en quatre équipes. L’équipe Réseaux et Technologies de l’Information aborde de nombreux aspects liés à la modélisation, et au traitement de l’information, ainsi que l’étude et l’amélioration des technologies des réseaux. L’équipe abordera des aspects fondamentaux des bases de données web, pour proposer des méthodes effectives exploitables dans des environnements riches en données comme l’Internet. Dans la thématique des réseaux, l’équipe s’intéressera à quatre domaines d’applications : réseaux sans fil maillés, réseaux de capteurs sans fil, réseaux métropolitains sans fil, et systèmes RFID. Parmi les problèmes importants à appréhender, la sécurité de l’information stockée ou transmise, qui met en jeu toutes les thématiques de l’équipe.
L’équipe Automatique, et l’équipe Vision, et Traitement d’Images (AVTI) traitent des aspects liés à l’automatique, à l’imagerie et à la vision par ordinateur. Les applications de l’imagerie et de la vision sont diverses, à savoir : l’imagerie satellitaire, le contrôle de présence/absence, la construction et correction de cartes géographiques, la surveillance et évaluation de la production agricole, la reconnaissance de l’écriture, la recherche d’images par le contenu, etc. La thématique d’automatique abordera des aspects purement appliqués dans le secteur industriel, à savoir les systèmes automatisés de production, d’acquisition et de restitution de données ainsi que les systèmes embarqués.
L’équipe Contraintes et Appications (CAP) travaille sur la programmation par contraintes et les problèmes d’optimisation qui ont de nombreuses applications dans les sciences de l’ingénieur, parmi lesquelles on peut citer : optimisation de la production, sélection optimale de projets, affectation de personnels, optimisation d'itinéraires, localisation de services, problèmes d’équilibre chimique, contrôle de robots/moteurs, etc. Nous aborderons aussi des applications innovantes comme les problèmes de vérification et de test des programmes informatiques et des protocoles cryptographiques.
L’ensemble des équipes travaille essentiellement dans le domaine informatique intimement lié aux technologies de l’information et de communication. Plusieurs thématiques du laboratoire sont abordées en conjuguant des compétences entre équipes. Par exemple, la conception des réseaux fera appel aux compétences en optimisation pour améliorer ses performances. L’acquisition des données dans les systèmes automatisés fait appel d’une façon triviale au traitement d’images pour améliorer ses performances. Les systèmes automatisés de production font appel intensivement aux techniques d’optimisation pour amélioration la productivité et la gestion des stocks.
En résumé, le laboratoire a fait le choix délibéré de se placer dans des thématiques multidisciplinaires qui trouvent leur intersection dans l’étude et l’exploitation des technologies informatiques.
2 MEMBRES DU LABORATOIRE
2.1 Permanents
Aribi Noureddine, Magistère, MA.
Benaissa Moussa, Doctorat d’état, MCA.
Bouazza Kheireddine, Doctorat, MCB.
Boudjani Ahmed, Doctorat d’état, MCA.
Boudjani Leyla, Magistère, CC.
Dekdouk Abdelkader, Habilitation, MCA.
Fourour Said, Assistant.
Hocine Soraya, Magistère, CC.
Kaddour Mejdi, Doctorat, MCB, Responsable.
Nait Bahloul Safia, Doctorat d’état, MCA, Responsable.
Lebbah Yahia, Doctorat d’état, MCA, Responsable.
Lebbah Fatima Zohra, Magistère, MA (université d'Oran, école préparatoire).
Meziane Hassina, Doctorat, MCB.
Nourine Rachid, Doctorat d’état, MCA, Responsable.
Ouali Mohamed, Doctorat, MCB, Responsable.
Baroudi Rouba, Magistère, MA (université de Mostaganem).
Sayah Mohamed, Magistère, CC.
2.2 Doctorants/Post-graduants
Ali Cherif Moussa, Doctorant
Anissa Mimi, Magistère en cours
Amel Bénabbou, Magistère en cours
Bouchaour Hamza, Magistère en cours
Chaibi Hassan (USTO), Magistère en cours
Djouhara Dad, Magistère en cours
Fatéma Meskine, Magistère en cours
Fellah S., Magistère en cours
Hadj Djelloul Kheira, Magistère en cours
Houari Bendriss, Magistère en cours
Imad Bénaribi, Magistère en cours
Kemmar Amina, Magistère en cours
Kaddour Mohammed, Magistère en cours
Najia Khatir, Magistère en cours
Touati Chahira, Magistère en cours
Zemali Lotfi, Doctorant
3 RÉSEAUX ET TECHNOLOGIES DE L’INFORMATION (RTI)
3.1 Membres
Personnel permanant :
Baroudi Rouba, Magistère, MA (université de Mostaganem).
Dekdouk Abdelkader, Doctorat, MCB.
Fourour Said, Assistant.
Hocine Soraya, Magistère, CC.
Kaddour Mejdi, Doctorat, MCB, (Responsable Equipe "Réseaux et Systèmes Intelligents").
Meziane Hassina, Doctorat, MCB.
Nait Bahloul Safia, Doctorat d’état, MCA, (Responsable Equipe "Ingénierie des Données et Technologies Web").
Doctorants/Post-graduants :
Baroudi Rouba, Doctorant
Najia Khatir, Magistère en cours
Imad Bénaribi, Magistère en cours
Houari Bendriss, Magistère en cours
Fatéma Meskine, Magistère en cours
Anissa Mimi, Magistère en cours
Amel Bénabbou, Magistère en cours
Djouhara Dad, Magistère en cours
S. Fellah, Magistère en cours
3.2 Thématique
L’équipe a pour ambition de s’investir dans deux domaines d’actualité, à savoir les technologies de l’information, et les réseaux.
Technologies de l’Information
L’équipe aborde de nombreux aspects liés à la modélisation, au traitement, et à la représentation des données, tout particulièrement sur le Web. Plus particulièrement, les thèmes étudiés sont décrits ci-dessous.
Bases de Données : L’équipe abordera les aspects fondamentaux des bases de données Web, pour proposer des méthodes effectives exploitables dans des environnements riches en données comme l’Internet. Cet axe a pour objectif d’étudier les nouveaux modèles utilisés pour représenter et interroger efficacement les données du Web à savoir, le modèle objet/relationnel (e.g., SQL3, Date et Darween avec le tutorial D), les modèles semi-structurés (e.g., XML, XSchema) ainsi que les langages d'interrogation associés (e.g., XPATH et XQuery). Nous exploitons les techniques de bases de données dans un cadre plus large, celui du Web, où se posent notamment les problèmes d'intégration de données hétérogènes et dispersées. Nous visons à étudier, découvrir et proposer de nouvelles méthodes, algorithmes et architectures pour interroger de grandes collections de données semi-structurées, hétérogènes et distribuées avec le langage XQuery. Plus particulièrement, nous nous intéressons aux problèmes d'intégration de sources de données hétérogènes, à la génération de mappings dans les systèmes de médiation et à la génération de requêtes de médiation. Dans ce thème, nous étudions particulièrement :
étude des systèmes de types pour les modèles de bases de données,
proposition des extensions ensemblistes aux langages de requêtes du Web,
sémantique dénotationnelle et sémantique opérationnelle pour les modèles hybrides de bases de données,
élaboration des algorithmes de mappings diverses et de classification de données XML.
Web et Fouille du Web : Les principales technologies de développement de Services Web seront d’abord étudiées à savoir : XML, SOAP (Simple Object Access Protocol), WSDL (Web Services Description Language) et UDDI (Universal Description Discovery and Integration). La fouille du Web comprend la fouille du contenu, la fouille de la structure et la fouille d’usage du Web. Les sites Web représentent actuellement une véritable source de production de grands volumes d’informations. Cette croissance a généré de très grandes masses de données relatives aux traces d'usage du Web par les internautes, celles-ci enregistrées dans des fichiers logs Web. Cet axe s’intéresse à la chaîne complète de fouille de données Web (fouille du Web) qui permet d’analyser des formes basées sur des interactions pour extraire des connaissances sur les comportements des utilisateurs dans les sites. Dans ce contexte, nous définissons une session d’utilisateur comme une séquence temporelle des pages qui l’ont intéressée durant son parcours dans le site. Nous élaborons un processus de fouille du web qui extrait des patrons de comportement à partir d'informations sur le site (structure et contenu) et sur les utilisateurs du site (profils). Le thème axe sur :
modélisation et analyse des processus E-Business et certain aspect de test et vérification,
conception de nouvelles méthodes d’acquisition, recueil, pré-traitement, filtrage des données Web,
méthodes de traitements, extraction de connaissances et fouille utilisant différents types de données (fichier Log),
conception des algorithmes de classification (pages Web, visualisation des données d’usage internet, ..),
sécurisation des données extraites du Web dans les différents traitements.
Réseaux et systèmes distribués
Le travail consiste à contribuer dans l’étude, la conception, l’élaboration, et l’évolution des nouvelles technologies des réseaux sans fil. Dans ce cadre, notre travail aborde quatre domaines d’applications : réseaux sans fil maillés (WMN), réseaux de capteurs sans fil (WSN), réseaux métropolitains sans fil (WiMAX), systèmes RFID. Chacun de ces thèmes sera étudié selon les aspects suivants :
Evaluation des performances : L’objectif est de proposer des modèles analytiques avancées, tels que les files d’attente, les modèles markoviens, l’algèbre réseau ou la programmation nonlinéaire, afin de modéliser les protocoles de communication sans fil. Ces modèles permettent de déterminer des paramètres de performance cruciaux dans le déploiement et le dimensionnement de ce type de réseaux, comme le débit, le délai, ou l’équité.
Routage et qualité de service : L’objectif est de proposer de nouveaux protocoles de routage et de qualité de service au niveau des couches MAC et réseau ou d’apporter des améliorations à ceux déjà existants, afin d’optimiser le fonctionnement des réseaux sans fil et d’offrir des services de communication capables de prendre en charge des applicatifs multimédia exigeants.
Mobilité et sécurité : Il est largement admis que les technologies de sécurité actuelles ne répondent pas aux exigences des environnements confinés et mobiles (réseaux personnels, réseaux ad-hoc, réseaux de capteurs) à cause des fortes contraintes en terme de ressources (bande passante, mémoire, batterie, etc.). Dans ce cadre, notre travail consistera à élaborer et modéliser de nouveaux mécanismes de sécurité qui concilieront entre d’un coté des propriétés sécurité comme la confidentialité, l’authentification ou la non-répudiation et de l’autre une gestion efficace des ressources des machines et du réseau. Nous allons nous focaliser notamment sur la sécurisation du routage et l’agrégation de données dans les réseaux de capteurs et l’étude du Mobile Computing
Optimisation des Réseaux : Les problèmes issus de l'optimisation des réseaux font intervenir souvent des contraintes variées et hétérogènes, et ne sont pas toujours faciles à modéliser dans les formalismes de la RO tels que la programmation linéaire en nombre entier (PLNE) ou la théorie des graphes. Cependant, la PLNE s'est avérée performante sur une panoplie de problèmes issus de l'optimisation des réseaux de télécommunication. Néanmoins, au niveau modélisation, le formalisme de la PLNE est très rigide; sa linéarité et la restriction aux domaines entiers sont un handicap pour poser simplement les problèmes issus de l'optimisation des réseaux. Le problème appréhendé est celui de trouver une topologie logique optimale pour une matrice de trafic donnée sur un réseau MPLS à optimiser lors de la phase de planification.
Mots clés : Bases de données avancées, Clustering, Sécurité des données, technologie du Web sémantique, Ingénierie des données et des connaissances, Recherche d’information E-commerce, Vérification formelle des systèmes logiciels, Systèmes mobiles, Systèmes embarqués, Réseaux sans fil maillé, réseaux de capteurs, Evaluation des performances, routage, qualité de service, Réseaux MPLS, Ingénierie de trafic, dimensionnement des réseaux MPLS, optimisation et reconfiguration des layouts MPLS
3.3 Encadrements
3.3.1 Doctorats en cours
1 Encadreur : S. Nait Bahloul
Etudiant : Baroudi Rouba
Un processus de classification multicritère des documents XML homogènes
3.3.2 Magistères en cours
1 Encadreur : S. Nait Bahloul
Etudiant : Najia Khatir
Une Méthode de Classification Non-supervisée pour les log-Query
2 Encadreur : S. Nait Bahloul
Etudiant : Imad Bénaribi
Extension algébrique OWL/RDF aux primitives de la Confidentialité
3 Encadreur : S. Nait Bahloul
Etudiant : Houari Bendriss
Pocessus de Reidentification dans les Log-Query
4 Encadreur : S. Nait Bahloul
Etudiant : Fatéma Meskine
Protection des Items dans l’Algorithme Cluster K-means
5 Encadreur : S. Nait Bahloul
Etudiant : Anissa Mimi
Conception d’une politique de protection des Données dans les Log Query
6 Encadreur : S. Nait Bahloul
Etudiant : Amel Bénabbou
Sémantique notationnelle et opérationelle d’un système de type dans le modèle Objet/Relationnel
7 Encadreur : M. Kaddour
Etudiant : S. Fellah
Protocoles de routage multicast multicritère dans les réseaux sans fil maillés
8 Encadreur : M. Kaddour
Etudiant : A. Kemmar
Vérification des protocoles cryptographiques complexes avec les techniques de planification et de satisfaisabilité
9 Encadreur : M. Kaddour
Etudiant : D. Dad
Résolution de la congestion dans les réseaux par reconfiguration des graphes
4 AUTOMATIQUE, VISION, ET TRAITEMENT D’IMAGES (AVTI)
4.1 Membres
Personnel permanent :
Bouazza Kheireddine, Doctorat, MCB.
Boudjani Ahmed, Doctorat d’état, MCA.
Boudjani Leyla, Magistère, CC.
Nourine Rachid, Doctorat d’état, MCA, (Responsable Equipe "Vision et Automatique").
Ouali Mohamed, Doctorat, MCB, (Responsable Equipe "Informatique Industrielle et Embarquée").
Doctorants/Post-graduants :
Ali Cherif Moussa, Doctorant
Bouchaour Hamza, Magistère en cours
Chaibi Hassan (USTO), Magistère en cours
Hadj Djelloul Kheira, Magistère en cours
Kaddour Mohammed, Magistère en cours
4.2 Thématique
L’action de notre équipe est orientée vers deux thématiques : la perception visuelle et l’automatique. Dans le cadre de la vision et du traitement, l’équipe est orientée scientifiquement vers des fondements clés, tels que le traitement, l’analyse et l’interprétation d'images. Elle touche alors à des problèmes de modélisation, de méthodologies et d'applications. Ses activités s’articulent actuellement autour des thématiques suivantes :
- Recherche d’Information Multimédia dans le Web : Nous nous intéressons spécialement ici aux caractéristiques perceptuelles des images pour la représentation et la recherche. On se place dans le cas de la recherche d'images texturées, ou il faudra caractériser les mesures de similarité et la recherche et classification d'images dans le web. Pour cela, nous proposons d’élaborer un algorithme permettant de mesurer l’existence de texture dans une image donnée.
- Systèmes d’aide à la conduite de véhicule basés par vision : Dans le vaste domaine de recherche sur les véhicules intelligents, nous nous intéressons aux systèmes d’aide à la conduite de véhicule basés sur la vision. Cet intérêt est limité pour l’instant au développement et à l’amélioration d’algorithmes d’extraction de primitives (bords de routes, marquages de routes, panneaux de signalisation) pouvant être exploité dans la conduite de véhicule.
- Techniques de traitement et d’analyse d’images médicales : Dans le cadre d’une nouvelle coopération avec le PET Instrumentation and Neuroscience Laboratory, nous nous intéressons d’une part à la proposition de nouvelles approches de segmentation en imagerie fonctionnelle PET et d’autres part au problème de correction d'atténuation pour les images IRM.
- Etudier les méthodes et systèmes d’acquisition sur PC
- Etudier les méthodes d’analyse de données par la recherche opérationnelle
- Appliquer ces méthodes et systèmes à des processus industriels ou de laboratoire
- Optimiser ces systèmes et en faciliter la maintenance ainsi que le diagnostic
- Optimisation des commandes
- Etudier le concept d’ateliers flexibles
- Optimiser les modèles proposés et en faciliter la maintenance
- Appliquer ces modèles à des cas réels
- Amélioration des performances de la sécurité des systèmes mobiles et des systèmes embarqués
Mots clés : Vision par ordinateur, Traitement d’images, indexation d’images, Imagerie médicale, Automatique, Optimisation, Systèmes embarqués.
4.3 Encadrements en cours
4.3.1 Magistères en cours
- Encadreur : Ouali Mohamed
Etudiant : DAD, Djouhra
Résolution de la congestion dans les réseaux par la reconfiguration des graphes
- Encadreur : Ouali Mohamed
Etudiant : Bouchaour Hamza
Abstraction fonctionnelle des circuits par le partitionnement et l’isomorphisme de graphes
- Encadreur : Ouali Mohamed
Etudiant : Hadj Djelloul Kheira
Evaluation des algorithmes d'appariements stereoscopiques
- Encadreur : Ouali Mohamed
Etudiant : Kaddour Mohammed
Commande à travers l’internet en utilisant la synchronisation GPS
- Encadreur : Nourine Rachid
Etudiant : Chaibi Hassan (USTO)
Segmentation d’images médicale
4.3.2 Doctorats en cours
- Encadreur : Ouali Mohamed
Etudiant : Boudjani Leyla
Caractérisation des systèmes d’acquisition d’images
- Encadreur : Ouali Mohamed
Etudiant : Trache Nadjia
Rétro-ingénierie des designs microélectroniques par abstraction fonctionnelle
- Encadreur : Nourine Rachid
Etudiant : Ali Cherif Moussa
Segmentation des images PET oncologiques
5 CONTRAINTES ET APPLICATIONS (CAP)
5.1 Membres
Personnel permanent :
Aribi Noureddine, Magistère, MA.
Benaissa Moussa, Magistère, CC.
Lebbah Yahia, Doctorat d’état, MCA, (Responsable Equipe "Programmation par Contraintes et Optimisation").
Sayah Mohamed, Magistère, CC.
Doctorants/Post-graduants :
Kemmar Amina, Magistère en cours
Lebbah Fatima Zohra, Magistère, MA, Doctorant
Touati Chahira, Magistère en cours
Zemali Lotfi, Doctorant
5.2 Thématique
La Programmation Par Contraintes (PPC) est le thème fondateur de notre équipe. Le domaine de la PPC est né d’un rapprochement de la programmation logique, de la recherche opérationnelle, et des techniques de propagation de contraintes issues de l’intelligence artificielle. Ce style de programmation vise à ramener la tâche de la programmation à celle de la spécification ; la programmation par contraintes consiste à programmer avec des variables mathématiques et des relations ou contraintes entre ces variables qui modélisent le problème à résoudre sur machine. Nous menons au sein de notre équipe plusieurs recherches sur les fondements algorithmiques de la PPC et ses applications. Au niveau des fondements, nous travaillons activement sur l’amélioration des programmes de résolution de contraintes et de problèmes d’optimisation.
Dans la démarche PPC, le problème doit tout d’abord être modélisé sous forme d’un système de contraintes avec un critère ou des critères à optimiser. Par la suite, au niveau algorithmique, la résolution se fait avec le schéma : recherche + filtrage. Le niveau « recherche » est celui de l’algorithme d’énumération si le problème est un problème de satisfaction, ou de séparation/évaluation si le problème est un problème d’optimisation. Le niveau « filtrage » permet d’alimenter le niveau « recherche » avec des algorithmes pour réduire l’espace de recherche. Ces deux niveaux sont fortement paramétrables. Toute contribution au niveau fondamental doit suivre ces schémas algorithmiques connus. Les problèmes abordés dans notre équipe sont de la classe NP, et doivent donc être appréhendés avec un effort considérable au niveau expérimental. C’est pour cette raison que nous avons diversifié nos champs d’applications qui vont nous permettre de mettre à l’œuvre nos propositions algorithmiques au niveau pratique pour tenter d’apporter de nouvelles idées au niveau algorithmique de la PPC, ou de montrer un succès potentiel de la PPC pour appréhender des applications jusque là non connues par la communauté de la PPC. Nous décrivons ci-dessous nos différentes thématiques :
- Optimisation mixte et amélioration du solveur ICOS (Lebbah, Rueher, Michel) : Nous continuons à maintenir le solveur ICOS (ylebbah.googlepages.com/icos) qui est une plateforme contenant les algorithmes nécessaires pour résoudre globalement des problèmes d’optimisation continue. Nous avons étendu récemment cette plateforme pour appréhender les problèmes mixtes, c’est-à-dire contenant à la fois des variables continues et des variables entières. Nous envisageons d’améliorer théoriquement les étapes d’évaluation inférieure et d’évaluation supérieure contenues dans notre solveur.
- Méthodes de recherche locale appliquées à des problèmes de vérification des programmes informatiques (Sayah, Lebbah) : M. Sayah s’est investi dans les méthodes de recherche locale pour détecter les cas de débordement dans des programmes informatiques. Nous envisageons d’explorer d’autres problèmes de vérification de programmes. Nous prospectons aussi d’exploiter ses travaux dans l’amélioration de l’étape d’évaluation supérieure du solveur ICOS.
- Vérification et interrogation des ontologies (Benaissa, Lebbah) : Nous envisageons de continuer à s’investir dans la vérification et l’interrogation des ontologies. En ce qui concerne la vérification, nous avons pu obtenir un nombre de résultats qui sont en cours de finalisation. Nous prospectons de développer des moteurs d’inférence à base de programmation par contraintes pour interroger des bases d’ontologies.
- Vérification des protocoles cryptographiques complexes (Kemmar, Lebbah, Kaddour, Aribi) : Les travaux du magistère soutenu de Aribi, ont débouché sur un environnement conceptuel puissant pour modéliser les protocoles cryptographiques avec les langages de planification, et les solveurs SAT. Nous envisageons de continuer sur ce sujet, mais cette fois ci en considérant des protocoles cryptographiques non vérifiés et utilisés dans des applications informatiques. Ce thème sera réalisé en collaboration avec Mejdi Kaddour, spécialiste dans les réseaux informatiques, et membre du laboratoire.
- Commande optimale (Touati, Lebbah, Bouazza) : Nous envisageons un sujet ambitieux, celui de l’extension du solveur ICOS pour appréhender des problèmes de commande optimale dont le système de contraintes comprend des équations différentielles. Ce thème est une collaboration avec Kheireddine Bouazza spécialiste en automatique au sein du laboratoire.
- Analyse des réseaux avec les techniques de programmation par contraintes (Fourour, Lebbah) : Nous envisageons de travailler sur les problèmes de conception et d'analyse de réseaux avec les techniques de programmation par contraintes.
- Programmation par contraintes appliquée à des problèmes issus des finances (Lebbah F/Z, Lebbah Y.) : Nous envisageons d’attaquer des problèmes issus des finances en exploitant la programmation par contraintes et les techniques de la programmation en nombres entiers.
- Test logiciel pour la programmation par contraintes (Lebbah, Lazaar, Gotlieb) : Nous avons une collaboration étroite avec Arnaud Gotlieb et Lazaar Nadjib de l’IRISA/INRIA de Rennes. Nous prospectons d’approfondir la théorie que nous sommes entrain de mettre en œuvre sur le test des programmes à base de contraintes.
Mots clés : Programmation par contraintes, optimisation combinatoire, programmation nonlinéaire, théorie des graphes, ontologies et web-sémantique, analyse des programmes, analyse des protocoles cryptographiques, automatique/robotique.
5.3 Encadrements
5.3.1 Doctorats en cours
1 Encadreur : Lebbah Yahia
Etudiant : Sayah Mohamed
Détection des erreurs de débordement dans les programmes de calcul flottant
2 Encadreur : Lebbah Yahia
Etudiant : Aribi Noureddine
Multicritère et programmation par contraintes …
3 Encadreur : Lebbah Yahia
Etudiant : Lebbah F. Zohra
Méthodes de programmation par contraintes appliquées à des problèmes économiques
4 Etudiant : Benaissa Moussa en collaboration avec Lebbah Yahia
Application de la programmation par contraintes aux ontologies
5.3.2 Magistères en cours
1 Encadreur : Lebbah Yahia (co-encadrement avec Mejdi Kadour)
Etudiant : Kemmar Amina
Vérification des protocoles cryptographiques complexes avec les techniques de planification et de satisfaisabilité
2 Encadreur : Lebbah Yahia (co-encadrement avec Bouaza Kheireddine)
Etudiant : Touati Chahira
Contribution à la résolution des problèmes d'automatique/robotique avec l'optimisation globale et la programmation par contraintes
3 Encadreur : Lebbah Yahia (co-encadrement avec Ouali Mohamed)
Etudiant : Bouchaour Hamza
Abstraction fonctionnelle des circuits par le partitionnement et isomorphismes des graphes
4 Encadreur : Lebbah Yahia
Etudiant : Fourour Said
Techniques d’optimisation et de programmation par contraintes pour résoudre les problèmes de conception et d’exploitation des réseaux
5.4 Soutenances
1 Encadreur : Lebbah Yahia
Etudiant : Derkaoui Orkia, Magistère
(Dpt. Informatique - Faculté des Sciences - Université d’Oran), 2005
Une intégration rigoureuse des programmes semidéfinis en optimisation globale
2 Encadreur : Lebbah Yahia
Etudiant : Zemali Lotfi, Magistère
(Dpt. Informatique - Faculté des Sciences - Université d’Oran), 2006
Une approche de résolution par programmation par contraintes du problème de coloration de graphes
3 Encadreur : Lebbah Yahia
Etudiant : Aribi Noureddine, Magistère
(Dpt. Informatique - Faculté des Sciences - Université d’Oran), 2008
Titre : Vérification formelle des protocoles cryptographiques avec les techniques de programmation par contraintes
4 Encadreur : Lebbah Yahia
Etudiant : Fellah Khadidja, Magistère
(Dpt. Informatique - Faculté des Sciences - Université d’Oran), 2008
Titre : Techniques d’optimisation pour l’économie d’énergie dans les réseaux de capteurs sans fil. En collaboration avec Kechar BouabdAllah
Activités récentes sur le site|Signaler un abus|Imprimer la page|Supprimer l'accès|Avec la technologie de Google Sites