Equipe GLSIA

Chef d'équipe

Biographie

 

      Laid Kahloul received the engineer degree in computer science from Biskra University, Biskra, Algeria, in 2001, the magister degree in computer science (Artificial Intelligence and Images) from the same university, in 2004, the Ph.D. degree, in 2007, and the Habilitation Diploma degree in 2015. He is a teacher in the computer science department since 2004. He was a researcher in computer science with the LISSI laboratory, Paris 12 university, France, from 2008 until 2010. He is a researcher with the LINFI laboratory since 2013. He is the head of a team in the same laboratory since 2017. Dr. Kahloul is a member of many TPC of conferences and acts as a reviewer in several journals. Dr. Kahloul is interested in: Software engineering, Formal methods, Petri nets and High level Petri nets, Model-checking, Internet of Things, Security, Networking and manufacturing systems. 

 

Dr. KAHLOUL Laid

Google scholar

Researchgate

 

 


  

 Description de la thématique de recherche  de l’équipe

 

Nos travaux de recherche seront focalisés sur les thématiques suivantes : 

  1. Spécification et vérification formelle des systèmes  
  • Modélisation et vérification des système distribués;
  • proposition et développement de nouvelles approches formelles et de nouveaux formalisme;
  • Diagnostique formel des systèmes distribués
  • Étudier les différentes approches formelles pour la spécification et la vérification des services Web composites, 
  • La proposition d’une approche pour la spécification, la vérification formelle et la mise en œuvre de services Web composés. La composition peut alors être validée par l’intermédiaire de méthodes formelles et notamment le langage de spécification formelle. 

   2. Composition automatique des services web sémantiques 

  • Etudier les différentes approches existantes dans le domaine de la composition des services Web,
  • Prendre en compte les nouveaux besoins des utilisateurs et des entreprises,
  • Décrire la sémantique des données échangées entre services Web d’une manière interprétable par les machines en utilisant la notion de contexte.
  • La proposition d’une nouvelle architecture basée agent orienté contexte assurant la composition sémantique des services Web.
  • La mise en œuvre et la validation de l’architecture proposée.
  • Proposer des modèles et des techniques relatives aux fondements des services afin de simplifier leurs découverte, recommandation et composition dans l’environnement de l’Internet des objets.
  • Concevoir et développer des architectures orientées services et sensibles aux contextes dans le domaine d'Internet des objets, le cloud computing, etc.

 

 


 

 

 Membres de l'équipe

 

Membres permanents de l'équipe
Mr  KAHLOUL Laid كحلول العيد MCA Informatique U. Biskra Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
Mr  BENNAOUI Hammadi بنوي حمادي MCA Informatique U. Biskra Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
Mr  BENHARZALLAH Saber بن حرز الله صابر MCA Informatique U. Biskra Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
Mr  ABDELLI Belkacem عبدلي بلقاسم MCB Informatique U. Biskra Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
Mme  SAHLI Siham سهلي سهام MAA Informatique U. Biskra Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
Mr  Tigane Samir تيقان سمير MAA Informatique U. Biskra Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
Mr  DJABER Khaled جابر خالد MAA Informatique U. Biskra Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser. 
Mme  Hmidi Zohra حميدي الزهرة MAA Informatique U. Biskra Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
Mme  Mohamedi Amira محمدي أميرة MAA Informatique U. Biskra Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
Mme  Mouaki Benani Manel مواقي بناني منال MAA Informatique U. Biskra Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
Mr  Guerrouf Fayçal قروف فيصل MAA Informatique U. Biskra f.guerouf@gmail,com
Mr  Alloui Ahmed علوي أحمد MAA Informatique U. Biskra Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
Mr  Khelaifa Abdennacer خلايفة عبد الناصر MAA Informatique U. El Oued Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
Mr  Kalfali Toufik كلفالي توفيق MAA Informatique U. Biskra Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
Mr  Djaafar Lakhdar جعفر لخضر MAA Informatique U. El Oued Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
Doctorants membres de l'équipe
Melle Retima Farida فريدة رتيمة Doctorante Informatique U. Biskra  
Melle Houhou Sara حوحو سارة Doctorante Informatique U. Biskra  
Mme Manel Houimli منال هويملي Doctorante Informatique U. Biskra  
Melle Ben Attia Hasiba بن عطية حسيبة Doctorante Informatique U. Biskra  
Melle Zroug Sihem رزوق سهام Doctorante Informatique U. Biskra  
Melle Mancer soumia منصر سمية Doctorante Informatique U. Biskra  
Melle Bari Karima باري كريمة Doctorante Informatique U. Biskra  
Melle Athmane Cherfia عثمان شريفة Doctorante Informatique U. Biskra  
Melle AZIEZ Meriem عزيز مريم Doctorante Informatique U. Biskra  
Melle Ait Aoudia Idir ايت ايدير عودية Doctorante Informatique U. Biskra  
Melle Maroua Maissa مروة ميساء Doctorante Informatique U. Biskra  
Melle Belaiche Leila بلعايش ليلى Doctorante Informatique U. Biskra  
Melle SAHLI Siham سهلي سهام Doctorante Informatique U. Biskra  
Mr Tigane Samir تيقان سمير Doctorant Informatique U. Biskra  
Mr DJABER Khaled جابر خالد Doctorant Informatique U. Biskra  
Mme Hmidi Zohra حميدي الزهرة Doctorante Informatique U. Biskra  
Mme Mohamedi Amira محمدي أميرة Doctorante Informatique U. Biskra  
Mme Mouaki Benani Manel مواقي بناني منال Doctorante Informatique U. Biskra  
Mr Guerrouf Fayçal قروف فيصل Doctorant Informatique U. Biskra  
Mr Alloui Ahmed علوي أحمد Doctorant Informatique U. Biskra  
Mr Khelaifa Abdennacer خلايفة عبد الناصر Doctorant Informatique U. Biskra  
Mr Kalfali Toufik كلفالي توفيق Doctorant Informatique U. Biskra  
Mr Djaafar Lakhdar جعفر لخضر Doctorant Informatique U. Biskra  
Melle Hafidi Yousra يسرى حفيظي Doctorante Informatique U. Biskra  
Mr Ramdani Mohamed رمضاني محمد Doctorant Informatique U. Biskra  
Melle Bettira Roufaida بتيرة روفيدة Doctorante Informatique U. Biskra