• PROFIL ENSEIGNANT

BELALA FAIZA

avatar

BELALA FAIZA

Professeur

Président du comité scientifique (Département TLSI)

Spécialité : Informatique

Faculté : Nouvelles Technologies de l’Information et de la Communication

Département : Technologies Des Logiciels Et Des Systèmes D’information

Coordonnées

COORDONNES :

E-mail : faiza.belala@univ-constantine2.dz

Téléphone :

Site Web :

Taches Pédagogiques

Modules Enseignés

Enseignement en post-graduation

     Département d’informatique

  • Années : 2000 à 2004, Module : Méthodes Formelles dans le génie logiciel  
  • Années : 2004 à 2006,  Module : Méthodes Formelles pour la modélisation des systèmes distribués
  • Années : 2010 à 2012,  Module : Les Langages de Description d’Architecture

     Département sciences de la nature et la vie

  •  Année : 2003 à 2004,  Module : Informatique 1
  • Année : 2005 à 2006,  Module : Informatique 1

Enseignement en graduation

  • Années :1987 à 90, Module : Initiation à l’informatique
  • Années :1990 à 94,  Module : Fichiers et Bases de données
  • Année : 1994 à 95,  Module :  Compilation
  • Années : 1995 à 1999,  Module : Algorithmique     
  • Années : 1999 à 2005,  Module : Types Abstraits de données
  • Années : 2005 à 2006,  Modules :
    •    2ème année Ingénieur : Types Abstraits de données
    •   2ème année LMD G.L. : Modélisation, optimisation et complexité algorithmique
  • Années : 2006 à 2007,  Modules :
    •    2ème année Ingénieur : Types Abstraits de données
    •    2ème année LMD G.L. : Modélisation, optimisation et complexité algorithmique
  • Années : 2007 à 2008,  Modules :
    • 2ème année Ingénieur : Types Abstraits de données
    • 2ème année LMD G.L. : Modélisation, optimisation et complexité algorithmique
    • Master1 LMD GL : Architectures à base de composants
  •  Années : 2008 à 2009,  Modules :
    •   2ème année Ingénieur : Types Abstraits de données
    •   2ème année LMD G.L. : Modélisation, optimisation et  complexité algorithmique
    •   Master1 LMD GL : Architectures à base de composants
    •   Master2 LMD GL : Spécification et vérification des systèmes critiques
  •  Années : 2009 à 2012,  Modules :
    • 2ème année LMD G.L. : Structures de données Avancées
    • Master1 LMD GL : Architectures à base de composants
    • Master2 LMD GL Acad: Spécification et vérification des systèmes  critiques
    • Master2 LMD GL  Prof: Méthodes Formelles pour le GL
  • Années : 2012 à 2013,  Module :
    •  2ème année LMD G.L. : Structures de données Avancées
    • Master1 LMD GL : Architectures à base de composants
    • Master2 LMD GL  Architectures Logicielles
  • Années : 2014 à 2015,  Module :
    • 2ème année LMD: Algorithmes et Structures de données

Encadrements

Encadrement Thèse de Doctorat en Sciences

soutenues

  • Les réseaux de Petri Transactionnels (TPNs), un cadre sémantique des activités dans UML2, Boufennara Sabine (2005/06), 20 octobre 2010
  • Conception d’un Langage de Description d’Architectures pour les Applications Distribuées et Mobiles Basé Logique de Réécriture, Bouanaka Chafia, (2005/06). 20 octobre 2010
  • Une Approche Basée Architecture pour la Spécification Formelle des Systèmes Embarqués. Benammar Malika, (2004/05), Janvier 2011
  • Un Cadre Formel Basé Logique de Tuiles pour les ADL Choutri Aicha, (2004/05) 25 Octobre 2011
  • Définition d’un modèle de déploiement d’une Architecture  Logicielle à Base de BRS. Benlahreche Nadira, 2007/08. Juin 2014
  • Contributions à la Spécification et l’Analyse Formelles des Services Web Dynamiques. Latreche Fateh, 2010/2011, Octobre 2015

 en cours : Doctorat en science

  • TL-DEPAL: Un langage à base des tuiles pour la modélisation des patrons de conception dédiés aux applications temps réel, Kamel Boukhalfa, 2008/09
  • Une approche formelle de composition des patrons architecturaux, Douibi Halima, 2008/09

en cours : Doctorat LMD

  • Un modèle pour l’intégration des composants hétérogènes, 2011/2012 Cherfia Taha AbdelMoutaleb.
  • Vers un cadre formel unificateur des langages de description des Web services, 2011/2012 Djenouhat Manel.
  • Un cadre Formel basé K-Maude pour la définition des langages de description d’architectures évolutives, 2012/2013, Smaali Saher
  • Les bigraphes pour la gestion et l’analyse formelle des réseaux mesh, 2012/2013, Boucebsi Rachida.
  • Un modèle formel pour la spécification et le déploiement d’applications Cloud Computing, 2012/2013, Benzadri Zakaria.
  • La sécurité dans les applications orientées services, 2013/14, Sahli Hamza
  • Etude de la fiabilité de la reconfiguration dynamique dans les systèmes à base de composants, 2014/15, Boulcina Abdelkrim
  • Eve-SFAC: Un Environnement pour la Spécification et le déploiement Formels des Applications Cloud, 2015/16, Khebbeb Khaled

Encadrement Magister

  • Etude critique des langages de description de ressources dans le cadre du Web sémantique. Chellali Nadia (année 2004/05) soutenu 12/2007.
  • Analyse des SMAs via le model checker LTL de Maude. Boucherit Ammar (année 2004/05) soutenu 12/2007
  • Intégration du langage XML dans le cadre de la logique de réécriture. Douibi Halima. (année 2004/05) soutenu 12/2007
  • Conception d’un serveur de politiques (QoS) via le système MAUDE. Zemmouchi Fares. (année 2005) soutenu 2006
  • Expression et vérification des contraintes non fonctionnelles d’une architecture en SADL. Latreche Fateh. (année 2006) soutenu 12/2007

Encadrement Ingénieurs

Année 1990/91

  • Implémentation des procédures de base d’un environnement de spécification algébrique ACT-ONE sur PC.
  • Etude et implémentation de l’algorithme de Knuth-Bendix.

Année 1991/92

  • Spécification algébrique de la bibliothèque de l’environnement ACT-ONE
  • Conception et réalisation d’une interface amicale.
  • Conception et réalisation d’un système de réécriture pour l’environnement ACT-ONE.

Année 1993/94

  • Conception et réalisation de la gestion de l’évaluation de l’activité médicale du C.H.U. de Constantine.

Année 1995/96

  • Gestion du service de personnel à Institut de formation des cadres religieux (Teleghma).
  • Gestion automatisée de la Post-graduation au niveau de l’Institut de physique, Université de Constantine.

Année 1996/97

  • La décomposition des réseaux de Petri pour l’analyse parallèle.

Année 1999/2000

  • Evaluation  temporelle des scénarios de réseaux de Petri utilisant la logique linéaire.
  • Automatisation du service statistique du département marketing de la SAA de Constantine.

Année 2000/2001

  • Conception et réalisation d’un SI  pour le suivi des impôts immobiliers, Hôtel des finances, W. de Constantine.
  • Conception et réalisation d’un système de gestion des ressources humaines au sein de l’entreprise CCLS M’sila.
  • Automatisation de la taxe foncière et de la taxe d’assainissement à l’inspection, Grande poste W. de Jijel.

Année 2001/2002

  • Application de la méthode orientée objet et événement dans la gestion du bureau de l’état civil (Commune de Tadjenanet W. de Mila)
  • Réseaux de Petri dynamiques et Logique de réécriture.
  • Gestion des clients dans ACTEL.

Année 2002/2003

  • Spécification algébrique d’un langage de traitement d’images.

Année 2003/2004

  • Formalisation d’une interface vidéoconférence.

Année 2006/2007

  • Un système de reviewage d’une conférence : étude de cas pour exploiter le langage et l’environnement ACME.

Année 2009/2010

  • Développement de Services Web Sous Dot Net

Encadrement Etudiants LMD Option G.L.

Année 2006/2007

  • Conception et réalisation d’un site Web dynamique pour le Laboratoire LIRE du département d’Informatique.

Année 2007/2008

  • Gestion répartie d’un annuaire pour le laboratoire LIRE

Année 2008/2009

  • Traduction des diagrammes UML en Maude (Master G.L.)

Année 2009/2010

  • Le langage Maude pour les ADLs (Master G.L.)
  • Analyse de consistance des diagrammes UML (Master G.L.)

Année 2010/2011

  • Implémentation des bigraphes via le système Maude Zentout&Lamamri (Master G.L.)

Année 2011/2012

  • Analyse des diagrammes UML via Maude, Zeghdoud&Nehal (Master G.L.)
  • Reconfiguration des Architectures Logicielles dans AADL, Kahlouche&Maarouf (Master G.L.)
  • Les réseaux Maillés sans Fil : Modélisation et Simulation, Benslama&Bouraoui (Master G.L.)
  • Implémentation des architecture logiciel en Maude : Expérimentation de AADL2Maude, Achour  (Master G.L.)

Année 2012/2013

  • Un outil de translation des bigraphes en Maude, Alliouche & Laggoune, (Master G.L.)
  • Edition et manipulation des Mop-ECATNets, Khenchoul & Hadji, (Master G.L.)

Année 2013/2014

  • Intégration des Mop-ECATNet dans Maude : Une approche basée MDA, Bahri & Aouiche, (Master G.L.)
  • Optimisation de la sélection de services Web par le calcul du degré de similarité entre leurs interfaces WSDL, Boukraa & Hanoune, (Master G.L.).

Année 2014/2015

  • Une approche intégrée à base des Bigraphes et les Agents pour la spécification des Systèmes Cloud, Khebbab Khaled & Seghir Billel (Master GL)
  • Vérification des systèmes sous X-MAN, Fadla Sara & Laziri Meryem (Master GL)
  • Le déploiement dans le modèle X-MAN, Abdelli Soraya & Henniche Iméne (Master GL)
  • Contrats d’architecture dans les systèmes à base de composants, Rebie Soraya & Benaouida Hadjer (Master GL)

Production pédagogiques

Activités administratives

  • 2006-2009:Responsable/Coordinateur du  Master Génie Logiciel et Répartition
  • 2009-2013: Responsable de l’équipe de spécialité de l’offre Master Génie Logiciel
  • 2003-2005: Membre du Comité scientifique du département d’Informatique
  • 2013 : Présidente du comité scientifique du département TL-SI
  • 2013: Membre du Conseil scientifique de la faculté des NTIC
  • 2015: Responsable de formation doctorale SAIR (Systèmes et Applications Informatiques Répartis)

 

Activités de recherche

Publications et Communications

Revues Internationales

  1. Fateh Latreche and Faiza Belala, RDTA: Recursive and Dynamic Timed Automata for Web Services Composition Analysis,  International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Volume: 5, Issue: 3, Pages: 42-67, July-September 2014, DOI: 10.4018/IJERTCS,ISSN: 1947-3176, EISSN: 1947-3184.
  2. T. A. Cherfia, F. Belala “Bigraphical Reactive Systems Based Approaches for Modeling Context-Aware Systems” International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS), (2014), vol. 5, issue 4.  DOI: 10.4018/ijaras.2014100101.
  3. S. Boufennara, K. Barkaoui, F. Belala and H. Bouchenab, “Transactional Petri Nets: A Semantic Framework for UML2 Activities”,  Int. J. Critical Computer-Based Systems, Inderscience Publishers, Special Issue on Verification and Evaluation of Computer and Communication Systems (part II), Vol. 5, Nos. 1/2, 2014, pp .
  4. M. Belguidoum, F. Belala and F. Latreche , “A RT-Maude Based     Framework for Component Installation, Int. J. Critical Computer-Based Systems, Inderscience Publishers, Special Issue on Verification and Evaluation of Computer and Communication Systems (part I), Vol. 5, Nos. 1/2, 2014, pp103-126.
  5. Nadira Benlahrache, Faiza Belala, ‘Towards Formalizing Installation and Reconfiguration Tasks of AADL Architecture”, in International Journal of Communication Network and Distributed Systems IJCNSD, vol. 11, N°04, pp. 431-452, Inderscience Publishers, Indexed by Compendex [formerlyEi] (Elsevier), AcademicOneFile (Gale), ACM Digital Library, DBLP Computer Science Bibliography, Electronics& Communications Abstracts (CSA), ExpandedAcademic ASAP (Gale), Google Scholar, Inspec (Institution of Engineering and Technology), Scirus (Elsevier)
  6. Faiza  Belala, Malika  Benammar, Kamel Barkaoui, Awatef Hicheur,’Formal Modeling and Analysis of AADL Threads in Real Time Maude’, Journal of Software Engineering and Applications (JSEA), 2012, 5, 187-192 doi:10.4236/jsea.2012.512b036. Published Online December 2012 (http://www.scirp.org/journal/jsea) Copyright © 2012 SciRes, Indexed by DBLP, Inspec, Google Scholar, Universe Digital Library (UDL), Academic Journals Database, Bibliographies of Scientific Literature, CBBIB, CiteSeerX, etc.
  7. Nadira Benlahrache, Faiza Belala, T.A. Cherfia,’ ‘Model Checking BRS based AADL Specification’, International Journal of Computer Applications, Volume 52– No.21, August 2012, pp 43-52,  Published by Foundation of Computer Science (New York), ISSN : 0975 – 8887
  8. Malika Benammar, Faiza Belala, Kamel Barkaoui,  « Implémentation Orientée Objet d’ABAReL en Maude », Journal TSI (Technique et science informatiques RSTI série TSI) Lavoisier, numéro spécial : Composition d’objets, de composants et de services, Volume 30 N°6/Juin-Juillet 2011, pp 741-767, Edition Hermès, ISSN : 0752-4072. http://tsi.revuesonline.com/resnum.jsp, Indexed by  DBLP.uni-trier.de
  9. Chafia Bouanaka, Faiza Belala, Kamel Barkaoui, “A Tile Logic Based Semantics for Mobile Software Architectures”, Int. J. Critical Computer-Based Systems, Special Issue on Verification and Evaluation of Computer and Communication Systems – Part I Vol. 2, Nos. 3/4, 2011, pp 288-308, DOI: 10.1504/IJCCBS.2011.042330, Inderscience Publishers, ISSN (Online): 1757-8787  –  ISSN (Print): 1757-8779. http://www.inderscience.com/browse/index.php?journalID=325&year=2011&vol=2&issue=3/4, Indexed by AcademicOneFile (Gale), ACM Digital Library, DBLP Computer Science Bibliography , Google Scholar, Inspec (Institution of Engineering and Technology), Scirus (Elsevier), Listed in Cabell’s Directory of Publishing Opportunities, Excellence in Research for Australia (ERA) 
  10. M. Benammar, F. Belala,  “How to Make AADL Specification More Precise” International Journal of Computer Applications (IJCA), Volume 8– No.10, October 2010, ), pp 16-23,    ISSN 0975 – 8887, Edited by Foundation of Computer Science.
  11. Aïcha Choutri, Faiza Belala, Kamel Barkaoui, “A Tile Logic Based Approach for Software Architecture Description Analysis”,  J. Software Engineering & Applications (JSEA),vol 3, N°11, 1067-1079 doi:10.4236/jsea.2010.311126 Published Online November 2010 (http://www.SciRP.org/journal/jsea), Indexed by DBLP, Inspec, Google Scholar, Universe Digital Library (UDL), Academic Journals Database, Bibliographies of Scientific Literature, CBBIB, CiteSeerX, etc.
  12. Fateh Latreche, Faiza Belala, “A Semantic Framework for Analyzing Web Services Composition”, International Journal of Computer Applications (IJCA), 5(4), pp 47-53,  ISSN 0975 – 8887, August 2010, Edited by Foundation of Computer Science.
  13. Sabine Boufennara, Faiza Belala, Kamel Barkaoui , “Mapping UML2.0 Activities to Zero-Safe Nets “,Journal of Software Engineering and Applications (JSEA) Vol 3 N° 4, May 2010 pp.426—435, Indexed by DBLP, Inspec, Google Scholar, Universe Digital Library (UDL), Academic Journals Database, Bibliographies of Scientific Literature, CBBIB, CiteSeerX, etc.
  14. Chafia Bouanaka, Faiza Belala, “MoSAL: A Tile Logic Based Architecture Description Language for Mobile Software Applications” International Review on Computers and Software (IRECOS) ISSN:      1828-6003, Praise Worthy Prize. November 2008, pp 672-680.
  15. Faiza Belala, Mohamed Bettaz, Laure Petrucci, “  Concurrent Analysis Systems Using ECATNets”, Logic  Journal  of  the IGPL, Oxford University press, ISSN 1367-0751, Vol.8, Issue 2, Mars 2000, pp 149-165.
  16. Faiza Belala, Mohamed Bettaz, “A Natural Semantic Framework for ECATNets”,  In Applied Categorical Structures Journal, ISSN 0927-2852, Kluwer Academic  Publishers, Vol 10, N° 5, Oct. 2002, pp. 431-447.

Conférences

  1.  Hamza Sahli, Faiza Belala and Chafia Bouanaka, A BRS-Based Approach to Model and Verify Cloud Systems, ElasticityCLOUD FORWARD CONFERENCE 2015, OCTOBER 6th-8th, PISA, SCUOLA NORMALE SUPERIORE, Available online at www.sciencedirect.com. doi:10.1016/S1877-0509(15)03150-6
  2. Kamel Boukhelfa and Faiza Belala, ‘Towards a Formalization of Real Time Design Patterns: From UML-MARTE Profile To MAUDE Specification’, In proceeding of CAL2015, 9ème Conférence Francophone sur les Architectures Logicielles, 14 et 15 Mai, 2015 – Hammamet, Tunisie.
  3. Kamel BoukhelfaFaiza Belala, Towards a Formalization of Real-Time Patterns-Based designs,  Computer Science and Its Applications, IFIP Advances in Information and Communication Technology. A. Amine et al. (Eds.): CIIA 2015, Volume 456, 2015, pp 624-635
  4. Rachida Boucebsi et Belala Faiza, Towards a Channels Allocation Scheme Model for WMNs based on SBRS with Sharing, In proceeding of MeMo2015, 2nd International Workshop on Meta Models for Process Languages, Part of DisCoTec 2015, 5 June 2015, Grenoble, France.
  5. Rachida Boucebsi et Belala Faiza, ‘Towards BRS based Model for Wireless mesh Networks’, In proceedings of NOTERE 2015, 21-24 July , Paris, France.
  6. Smaali Sahar, Choutri Aïcha et Belala Faiza, ‘K-Based definition of Real Time Distributed Systems: From a Meta-Model to Maude Modules’ In proceedings of NOTERE 2015, 21-24 July, Paris, France.
  7. Zakaria Benzadri, Chafia Bouanaka and Faiza Belala, “BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis”, accepted to appear in proceeding of  International Conference on Advanced Aspects of Software Engineering (ICAASE’14), 02-04 November 2014, Constantine, Algeria. http://ceur-ws.org/Vol-1294/
  8. Sahar Smaali, Aïcha Choutri, Faïza Belala, “K-Maude Definition of Dynamic Software Architecture”, accepted to appear in proceeding of  International Conference on Advanced Aspects of Software Engineering (ICAASE’14), 02-04 November 2014, Constantine, Algeria. http://ceur-ws.org/Vol-1294/
  9. Boucebsi Rachida, Belala Faiza, Derdouri Lakhdar, “Modeling Channel Allocation via BRS: Case of WMNs”, accepted to appear in proceeding of  International Conference on Advanced Aspects of Software Engineering (ICAASE’14), 02-04 November 2014, Constantine, Algeria. http://ceur-ws.org/Vol-1294/
  10. Latreche Fateh, Belala Faiza, “Mop-ECATNets for Dynamic Web Services Formal Modeling”, accepted to appear in proceeding of  International Conference on Advanced Aspects of Software Engineering (ICAASE’14), 02-04 November 2014, Constantine, Algeria http://ceur-ws.org/Vol-1294/.
  11. Sahar Smaali, Aicha Choutri, Faïza Belala, Towards a Meta-Model for Dynamic Applications, CBSE’14,  The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering Proceedings
  12. M. Belguidoum,  F. Belala, “Toward a formal meta-transformation of a Parameterized Component Model, The 2nd Word Conference on Complex Systems (WCCS 14), Du 10 au 12 /11/2014  Aghadir
  13. Djenouhat M., Belala F., Barkaoui K., “A K-Based Specification of Web Services”, In proceeding of the 8ème édition de la Conférence francophone sur les Architectures Logicielles CAL 2014, du 10 au 13 juin 2014, CNAM-Paris
  14. T. A. Cherfia, K. Barkaoui, F. Belala “A BRS-Based Modeling Approach for Context-Aware Systems A Case Study of Smart Car System” 12th IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2014, pp. 310-314. Milan, Italy, August 26-28, 2014. IEEE (2014)
  15. Hamza Sahli, Faiza Belala, Chafia Bouanaka, “Model-Checking Cloud Systems Using BigMC”, In proceeding of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014.
  16. T.A.Cherfia, F. Belala, K. Barkaoui “Towards Formal Modeling and Verification of Context-Aware Systems”, 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014. VECoS (2014)
  17. Zakaria Benzadri, Chafia Bouanaka, Faiza Belala, “ Verifying Cloud System using a Bigraphical Maude-based Model-Checker”, In Proc.  Emerging Software as a Service and Analytics (ESaaSA 2014), avril 2014, Barcelona, Spain.
  18. Zakaria Benzadri, Faiza Belala, Chafia Bouanaka : Towards a Formal Model for Cloud Computing.in Proc.  ICSOC Workshops 2013: 381-393. Lecture Notes in Computer Science,  Volume 83772014.
  19. Z. Benzadri, F. Belala, C. Bouanaka, “Towards a Formal Model for Cloud Computing”, accepted to appear in proceeding of the1st International Workshop on Analytics Services on the Cloud (ASC 2013), December 2, 2013, Berlin, Germany.
  20. Smaili Sahar, Choutri Aïcha and Belala Faiza, “A K Semantics for Dynamic Software Architectures”, accepted to appear in proceeding of ACIT’13 (The International Arab Conference on Information and Technology), 17-19, Décembre 2013, Soudan.
  21. Z. Benzadri, C. Bouanaka, F. Belala, ”On Specifying and Verifying Cloud Systems”, In proceeding of VECOS’13 (Verification and Evaluation of Computer and Communication Systems), pp XX, November 2013, Venice, Italy.
  22. Taha A. Cherfia and Faiza Belala,’ Towards a Bigraph-Based Model for Context-Aware Adaptive Systems’, In K. Drira (Ed.), ECSA 2013, LNCS 7957, pp. 340–343, 2013, Springer-Verlag Berlin Heidelberg 2013.
  23. Latreche Fateh, SEBIH Hacene and Belala Faiza,’Automatic Web Services Composition Using Maude Strategies’, In proceeding of ICMSAO’13, Hammamet Tunisia, 28-30 Avril 2013.
  24. Kamel Boukhelfa and Faiza Belala, ‘A Model-Transformation Approach for the Formalization of the Design Patterns’, In Proceeding of  CTAACS2012, 25-26 November 2012, Skikda, Algeria.
  25. Rima Boudida, Faiza Belala, Chafia Bouanaka, ‘Context-Aware Reconfiguration of Software Systems’, In Proceeding of ACIT2012, December 10-13, 2012, Jordan
  26. F. Belala, M. Benammar, K. Barkaoui, A. Hicheur, ‘Formal Modeling and Analysis of AADL Threads in Real Time Maude’, In Proceeding of CSSE 2012, 29-31 December 2012, China.
  27. Taha A. Cherfia, Faiza Belala, Nadira Benlahreche, “Modeling of Architectural Reconfiguration Case Study: Automated Teller Machine”, Proceeding of the  2nd IEEE International Workshop on Advanced Information Systems for Enterprises – IWAISE’12, November 10-11, 2012, Constantine, Algeria.
  28. Manel Djenouhat, Taha Abdelmoutaleb Cherfia,  Faïza Belala, ’Defining and Executing Bigraphical Model in Maude’, In proceeding of the 5th International Conference on Communications, Computers and Applications (MIC-CCA2012), 12-14 October, 2012, Istanbul, Turkey
  29. Halima Douibi, Faiza Belala, Kamel Boukhelfa, “Vers la Formalisation de la Composition des Patrons de Conception”, in Actes of Conférence en IngénieriE du Logiciel (CIEL 2012), June 19-21, Rennes, France
  30. Fateh Latreche, Hacene Sebih, Faiza Belala, “Analyzing Web Service Interaction Using Open ECATNets”, In Proceeding of ACIT2011 International Conference on Information and Technology, pp 400-409, December 11-14, 2011, Riyadh, Saudi Arabia.
  31. S. Boufennara, K. Barkaoui, F. Belala and H. Bouchenab,  « On Formalizing UML2 Activities Using TPNets: Case Studies”. In Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS’11), 15-16 September 2011, Tunis, Tunisia.
  32. M. Belguidoum, F. Belala and F. Latreche , Toward a rewriting logic framework for safe and distributed component installation. In Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS’11), 15-16 September 2011, Tunis, Tunisia.
  33. Halima Douibi, Kamel Boukhelfa, Faiza Belala, «A Rewriting-Logic based Meta-Model for Design Patterns Formalization » in proceeding of PATTERNS 2011, The Third International Conferences on Pervasive Patterns and Applications, September 25-30, 2011, Rome, Italy, pp 84-89.
  34. Fateh Latreche, Faiza Belala , “A Novel Semantic Framework for Analyzing Dynamic Web Services”, In proceeding of 20th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, track: AROSA 2011, 27-29 June 2011, Paris France, pp 67-72, 1524-4547/11 IEEE, DOI 10.1109/WETICE.2011.52.
  35. Faiza Belala, Chafia Bouanaka, Kamel Barkaoui,  « Vers un Modèle Sémantique à Base des Tuiles pour la Reconfiguration des Systèmes Répartis,  publié dans les actes de la 11ieme Conférence Internationnale sur les NOUvelles Technologies de la REpartition (Notere), 9 – 13 May 2011, Paris, France, pp 3-10.
  36. Nadira Benlahrache, Faiza Belala, Kamel Barkaoui  « Description Formelle du Déploiement d’Architectures AADL basée sur les Systèmes Réactifs Bigraphiques (BRS)», Revue des Nouvelles Technologies de l’Information RNTI-L-3, Cépaduès éditions, CAL’11 Conference (5ème conférence francophone sur les architectures logicielles), Juin Lilles France, pp  65-74 .
  37. Chafia Bouanaka, Faiza Belala, Kamel Barkaoui, « A Tile Logic Based Semantics for Mobile Software Architecture”, Proceeding of VECOS 2010, 1-2 Juillet 2010 Paris.  France.
  38. Nadira Benlahrache, Faiza Belala,  Chafia Bouanaka, Malika Benammar, « Vers un Modèle de Déploiement à base de Bigraphes », Revue des Nouvelles Technologies de l’Information RNTI-L-3, Cépaduès éditions, CAL’10 Conference (conférence francophone sur les architectures logicielles), 24-25 march 2010, Pau, pp45-57.
  39. Kamel BOUKHELFA, Faiza BELALA, Aicha CHOUTRI, Halima DOUIBI, “For more understandable UML Diagram”, In  proceeding of the 7th ACS/IEEE international Conference on Computer Systems and Applications AICCSA ’10 Conference, Hammamet, Tunisia, May 16-19, 2010
  40. Sabine Boufenara, Faiza Belala, “On Formalizing UML 2.0 Activities: Stream and Exception Parameters”, In the proceeding of the International Conference on Computer Applications in Industry and Engineering  Caine 2009 November, 2009, San Francisco, California .
  41. Sabine Boufenara, Faiza Belala, Chafia Bouanaka, “A Synchronization Schema in Activity Diagrams via Zero-Safe-Nets” ,  proceeding of the 6th ACS/IEEE international Conference on Computer Systems and Applications AICCSA ’09 Conference, Rabat, Morrocco,  May 09.
  42. Malika BenammarFaiza Belala, Nadira Benlahreche, « Extension d’ABAReL par les Propriétés d’Exécution », Revue des Nouvelles Technologies de l’Information RNTI-L-3, Cépaduès éditions, CAL’09 Conference (conférence francophone sur les architectures logicielles), 24-25 march 2009, Nancy, pp45-57.
  43. Sabine Boufenara, Faiza Belala, Chafia Bouanaka, « Les Zero-Safe nets pour la préservation de la TTC  dans les activités d’UML», Revue des Nouvelles Technologies de l’Information RNTI-L-3, Cépaduès éditions,  LMO’09 conference (conférence sur les Langages et Modèles à Objets), 25-27 march 2009, Nancy pp. 91-106.
  44. Faiza Belala, Sabine Boufenara, « Towards a Collaboration Diagrams Formalization via Zero-Safe nets », accepted to appear in the proceeding of the International Conference on Modeling, Simulation and Applied Optimization (ICMSAO’09), Sharjah, UAE, January 20-22 2009.
  45. Chafia Bouanaka, Faiza Belala, “Tile Logic as an Architectural Model for Mobility”, Proceeding of the International Symposium on Computers and Communications (ISCC-2008), Marrakech, Morocco, July 6-9, 2008.
  46. Aicha  Choutri, Faiza Belala, Kamel Barkaoui, « Towards a Tile Based LfP Semantics », IEEE Symposium on Computers and Communications RCIS Juin 2008, Marrakech Morocco, pp15-21.
  47. M. BenammarF. Belala, F. Latreche, « AADL Behavioral Annex Based on Generalized Rewriting Logic », IEEE Symposium on Computers and Communications RCIS Juin 2008 Marrakech Morocco, pp7-13.
  48. Malika Benammar, Faiza Belala, « ABAReL : Une Annexe Comportementale pour AADL »  Séminaire sur les systèmes numériques embarqués, SSNE 2008, Bordj El Bahri, ALGER, Avril 2008.
  49. C. Bouanaka,  F. Belala « Towards a Mobile Architecture Description Language», Proceeding of the 6th ACS/IEEE international Conference on Computer Systems and Applications (AICCSA’08), 1-4 Avril 2008, Doha, Qatar, pp743-748.
  50. Faiza BELALA, Fateh LATRECHE, Malika BENAMMAR « Vers l’Intégration des Propriétés non Fonctionnelles dans le Langage SADL », Revue des Nouvelles Technologies de l’Information RNTI-L-3, Cépaduès éditions, 2ème Conférence Francophone sur les Architectures Logicielles, 5-6 Mars 2008, Montréal, Canada, pp91-102.
  51. C. Bouanaka, A. Choutri, F. Belala, “A Tile Logic Based Model  for a Collaborative Session Application ”, Proceeding de la conf.: IEEE-GCC’07, Bahrain, 11-14 Novembre 2007.
  52. F. BELALA, F. LATRECHE, M. BENAMMAR, A Formal Semantic Framework for SADL Language, ACIT’07, Lattakia, Syrie 2007.
  53. Bouanaka C., A. Choutri, F. Belala, On Generating Tile System for a Software Architecture: Case of A Collaborative Application Session,  ICSOFT: SE, pp123-126, (2007).
  54. F. Belala, H. Douibi, A Semantic Support for XML, In CSIT’06 proceeding, the 4th International Multiconference on Computer Science and Information Technology. Amman, Jordan.
  55. F. Belala, Bouanaka Chafia, On adding some Mobility Primitives to an Architecture Description language,  In CSIT’06 proceeding, the 4th International Multiconference on Computer Science and Information Technology. Amman, Jordan.
  56. F. Belala, A. Boucherit, Towards a videoconference Interface Formalisation, In CSIT’06 proceeding, the 4th International Multiconference on Computer Science and Information Technology. Amman, Jordan.
  57. F. Belala, A. Boucherit, “A Contribution to the Formal Checking of  Multi-Agents Systems”, In AICCSA’06 proceeding, the 4th ACS/IEEE International Conference on Computer Systems and Applications (8-11 march 2006) Dubai/sharjah.
  58. F. Belala, “Dynamic ECATNets to Model Multi-Agent Systems”, Poster Paper In AICCSA’05, the 3rd ACS/IEEE International Conference on Computer Systems and Applications (3-6 january 2005) Cairo, Egypt.
  59. F. Belala, S. Meshoul, «Le traitement d’images en logiques de réécriture, Proceeding of The International Conference on Complex Systems, CISC’04 (6-8 Sept. 2004), Jijel, Algeria.
  60. H. Sebih, K. Barkaoui, M. Bettaz, F. Belala, Z. Sahnoun, « Towards a     Temporal Logic tLTL for the Verification of Rewriting Theories denoting ECATNets »,  In proceedings of 1st Workshop on Automated Technology for Verification and Analysis ATVA’2003 Taipei (Taiwan) 10-13 December 2003.
  61. H. Sebih, K. Barkaoui, F. Belala, « Vers une Logique Temporelle tLTL pour la vérification des Théories de Réécriture dénotant les ECATNets »,  In proceedings of Majecstic’03 Marseille (France) 29-31Octobre 2003.
  62. F. Belala, M. Bettaz, «Sémantique des ECATNets en termes de CPNets : application à un exemple de Production », Proceeding of the Francophone Conference on Modelisation and Simulation of Production Systems and Logistics MOSIM’97 (5-6 June 97), Rouen, France, Ed. Hubert.
  63. F. Belala, M. Bettaz « Une Méthode d’analyse des réseaux de Petri Algébriques de haut niveau », Proceeding of the National Seminary of Computer Science, SNITO’96 (11-13 Nov. 96) Tizi Ouzou, Algeria.
  64. F. Belala, M. Bettaz,”Spécification Algébrique d’un éditeur de texte”, Proceeding of the first Maghrebin Symposium on Systems and Programing (21-23 Oct. 91), Algiers, Algeria.

Chapitre de livre (Book Chapter)

  •  BENZADRI, Z., BOUANAKA, C. & BELALA, F. 2015. A Formal Framework for Cloud Systems. Delivery and Adoption of Cloud Computing Services in Contemporary Organizations, 245 (Chapter book)

Participation aux conférences

Nationales

  • Membre du comité de lecture de SNIB’06, Biskra 2006.
  • Membre du comité de lecture de SNIB’04, Biskra 2004.
  • Membre du comité de lecture de SNIB’10, Biskra 2010.
  • Membre du comité de lecture de CISC’04 the International Conference on Complex Systems,   Jijel 2004
  • Membre du comité de lecture de CISC’011 the International Conference on Complex Systems,   Jijel 2011

Internationales

  • Membre du comité de sélection des tutorials ICTAC’06, Tunis 2006.
  • Membre du comité de lecture de ACIT’04 Arab Conference on Information and technology, Constantine 2004
  • Membre du comité de lecture de ACIT’05 Arab Conference on Information and technology, Amman Jordanie, 2005.
  • Membre du comité de lecture de ACIT’07 Arab Conference on Information and technology, Lattakia, Syrie, 2007.
  • Membre du comité de lecture de ACIT’08 Arab Conference on Information and technology, Sousse, Tunisia.
  • Membre du comité de lecture de ACIT’09 Sanaa, Yemmen.
  • Membre du comité de lecture de ACIT’11 Riyadh, Arabie Saoudite.
  • Membre du comité de lecture de ACIT’12 Zarqa University, Jordan
  • Membre du comité de lecture de ACIT’13, Soudan
  • Membre du comité de programme de VECoS 07 (1st International Workshop on Verification and Evaluation of Computer and Communication Systems)  Algiers, Algeria.
  • Membre du comité de programme de VECoS 08 (2nd International Workshop on Verification and Evaluation of Computer and Communication Systems) Leeds, UK
  • Membre du comité de programme de VECoS 2010 ( International Workshop on Verification and Evaluation of Computer and Communication Systems) Paris France
  • Membre du comité de programme de VECoS 2011 ( International Workshop on Verification and Evaluation of Computer and Communication Systems) Tunis Tunisia
  • Membre du comité de programme de VECoS 2013 ( International Workshop on Verification and Evaluation of Computer and Communication Systems) Venise, Italy.
  • Membre du comité de programme de VECoS 2014 ( International Workshop on Verification and Evaluation of Computer and Communication Systems) Béjaia, Algeria.
  • Membre du comité de lecture de WMSCI 2010  (The 14th World Multi-Conference on  Systemics, Cybernetics and Informatics) , Orlando Florida, USA
  • Membre du comité de Programme  CAL’08, Montréal 2008.
  • Membre du comité de programme  CAL’09, Nancy France.
  • Membre du comité de Programme  CAL’10, Pau France.
  • Membre du comité de lecture de ICTA 2011 (International Conference on  Information and Communication Technologies and Applications) November 29th – December 2nd, 2011 – Orlando, Florida, USA
  • Membre du comité de lecture de « International Journal of Computer Applications »

Projets de recherche

  • 1990/2010   Membre de l’équipe «  Génie logiciel et Systèmes Informatiques    Répartis », Laboratoire LIRE, Université de Constantine.
  • 2010/2013  Responsable de l’équipe «  Génie logiciel et Systèmes Informatiques    Répartis », Laboratoire LIRE, Université de Constantine.
  • A partir de 2007 responsable du projet de recherche  CNEPRU « TL-ADLI : Un Cadre Formel, basé Logique des Tuiles, pour l’Intégration des Langages de Descriptions d’Architectures Hétérogènes » Code B*00920060098
  • A partir de 2008 responsable du projet accord programme CMEP-TASSILI « Spécification Orientée Architecture, Vérification et Evaluation de Systèmes Distribués  (SOAVES)» Code : 08MDU744.
  • A partir de 2011 responsable du projet CNEPRU  « MODA2OS : Modélisation du Processus de Développement et d’Analyse des Architectures Orientées Service » 2011 Code B*00920100004
  • A partir de 2011 membre du projet PNR, agrée en Mai 2011, intitulé : « Spécification Formelle et Analyse de Performance : Application aux Protocoles de Réseaux de la nouvelle génération »
  • A partir de 2014 responsable du projet accord programme CMEP-TASSILI « Spécification Formelle et Analyse des Environnements du Cloud Computing  (SFAC)» Code : 15MDU945
  • A partir de 2015 responsable du projet CNEPRU  « Spécification Formelle et Analyse des Environnements du Cloud Computing»  Code B*07120140025

Thèses :

CV-Publications

Scroll Up