Boudjadar Abdeldjalil   Statut : Doctorant   Service / Equipe :  Assistance à la Certification des Applications DIstribuées et Embarquées   Contact : Abdeldjalil.Boudjadar@irit.fr   Localisation : IRIT2 / Niveau 4, Pièce: 471   Téléphone : 05 61 55 6356

 

Recherche

 Thèmes de recherche

• Méthodes formelles.
• Transformation de modèles.
• Réseaux de Petri.
• Sémantique de Maximalité.
• Communications sans fil.
• Réseaux ad hoc.

 

 Recherches actuelles

• Vérification formelle.
• Transformation de modèles.
• Ingénierie de modèles.

 

 Parcours de recherche

• Assistant à la recherche au sein de l'équipe Acadie, IRIT.2009
• Stage de fin d'étude Master2R sciences de l'Information et de la Communication:
  • Option: Sécurité de communications.
  • Thème:Une nouvelle approche distribuée pour la sécurité de communication dans les réseaux ad hoc.
  • Equipe PI2C, Laboratoire Xlim.
  • Université de Limoges.2008
• Stage de fin d'étude Ingénieur d'état en Informatique fondamentale:
  • Option:systèmes parallèles distribués.
  • Thème: Définition d'une sémantique opérationnelle structurée de Maximalité pour les RdP.
  • Laboratoire de l'Informatique REpartie LIRE.
  • Université de Constantine.2007

 

 Participations et Séjours

• Présentation de projet de recherche. Journée de collaboration, 23 décembre 2009. UMC Constantine.
• Ecole de Jeunes Chercheurs en Programation EJCP 2010, 19-28 mai 2010. Rennes .

 

 

 

Publications

1. A.Boudjadar, B.Ouchenne, D.Saïdouni, M.Bouneb, N.Belala. "USING MAXIMALITY-BASED LABELED TRANSITION SYSTEM AS A MODEL FOR PETRI NETS". The International Arabe Conference on Information Technology, ACIT'2008. Tunisia, December 2008.