+213 48 749 452
COVID-19
+213 48 749 452
COVID-19

ALLAL Lamia

Maître de conférences B

Structure de rattachement

  • ESI SBA - Ecole Supérieure en Informatique de Sidi Bel Abbès

Axes de recherche

  • Systèmes parallèles, systèmes distribués

Equipe de recherche

Enseignements

  • Algorithmique (1CPI)
  • Systèmes répartis (4SC)
  • Analyse numérique, (ESG2E-Oran), TD, 2014-2017

Publications

Publications Internationales (Revues, Journaux& Livres)

  • L. Allal, G. Belalem, P. Dhaussy, and C. Teodorov. A parallel algorithm for the state space
    exploration. Scalable Computing : Practice and Experience, 17(2) :129_142, 2016.
  • L Allal, G Belalem, P Dhaussy, and C Teodorov. Sequential and parallel algorithms for the
    state space exploration. Cybernetics and Information Technologies, 16(1) :3_18, (2016).

Publications Nationales (Revues, Journaux& Livres)

Communications Internationales

  • L Allal, G Belalem, P Dhaussy, and C Teodorov. Using parallel and distributed reachability in model checking. In 2nd International Conference on Computer, Communication and Computational Sciences (RACCCS-2017), volume 628. Aryabhatta College of Engineering & Research Center, Ajmer, India., 2017.

  • L Allal, G Belalem, and P Dhaussy. Towards distributed solution to the state explosion
    problem. In Satapathy S., Mandal J., Udgata S., Bhateja V. (eds) Information Systems
    Design and Intelligent Applications., volume 433. Springer, New Delhi, 2016.

Communications nationales

Responsabilités

  • /

Parcours

PARCOURS ACADÉMIQUE:

  • Doctorat en sciences, spécialité Systèmes Informatiques Répartis. Université Oran 1 Ahmed Ben Bella, Oran. 2018
  • Magister en informatique, option : Systèmes Informatiques Répartis (SIR), Université Oran 1 Ahmed Ben Bella, Oran. 2013
  • Ingénieur d’état en informatique, Université Oran 1 Ahmed Ben Bella, Oran. 2009
  • Baccalauréat série sciences exactes, Lycée Lotfi, Oran. 2004

PARCOURS PROFESSIONNEL:

  • Recrutement à l’Ecole Supérieure en Informatique 8 Mai 1945, Sidi-Bel-Abbès. 2017
  • Enseignante à l’école supérieure en génie électrique et énergétique, Oran. 2014-2017