Modèles d'apprentissage automatique pour la génétique et la génomique dans le diagnostic du cancer et la découverte de marqueurs moléculaires

Analyse des Sentiments dans un Contexte Multilingue à l'Aide de Techniques d'Apprentissage Automatique et de Traitement Automatique des Langages

Une approche de transformation des processus métiers BPMN vers les diagrammes d’activités UML basée sur la transformation de graphes

Elaboration d'une approche diagnostic des systèmes opérant dans les environnements des objets connectés

A Formal Approach for Modeling and Verifying SLA-based Cloud Systems

Architectures et protocoles applicatifs dans l'Internet des objets

Plagiarism Detection: A focus on the Intrinsic Approach and the Evaluation in the Arabic Language

Apport de l’Intelligence en Essaim et des Plans d’Expériences aux Protocoles de Routage pour les Réseaux Mobiles Ad-hoc : Application au Routage Géographique Inter-Couche

Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes

Proposition d’algorithmes de distribution des espaces d’états en vue d’une vérification basée model checking : Application aux automates temporisés avec durées d’actions

Une Approche pour la vérification de la cohérence comportementale des diagrammes UML 2.0 basée sur la transformation des diagrammes de séquence UML 2.0 vers les automates de Büchi

Vérification de la composition de services par la transformation de modèles

Contributions à la résolution du problème de routage dans les réseaux mobiles Ad-hoc par les méthodes bio-inspirées

rdTA et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes

Une approche de spécification et de vérification des systèmes logiciels à base d'agents mobiles en utilisant UML et Pi Calcul

Application de nouvelles approches d’optimisation pour la biométrie

Utilisation des méthodes d’optimisation pour trouver une meilleure solution de composition de services Web

Modélisation formelle des systèmes ambiants temps-réel en vue de leur exécution et analyse spatio-temporelles

Vérification Logique des Systèmes Temps Réel dans le Contexte de la Sémantique de Maximalité

نهج متعدد الوكلاء لتصميم أنظمة الذكاء الاصطناعي المحيط: نموذج منهجي مبني على التخطيط والتعلم