Faiza Belala

Laboratoire: LIRE (AlgÃ©rie)

Publications

[DBB18] M. Djenouhat, F. Belala, K. Barkaoui. "Architectural method to design and control dynamic composite web services", International Journal of Computer Applications in Technology (IJCAT), vol. 57(1), pp. 1-12, 2018, (doi:10.1504/IJCAT.2018.090032)

[CBB16a] T. Cherfia, F. Belala, K. Barkaoui. "A bigraph-based framework for specification and analysis of context-aware systems Multiple Input Multiple Output Link", Int. J. of Critical Computer-Based Systems (IJCCBS), vol. 6(4), pp. 322 - 342, 2016

[SBB14] B. S, K. Barkaoui, F. Belala, H. Boucheneb. "Transactional Petri nets: a semantic framework for UML2 activities", International Journal of Critical Computer-Based Systems, vol. 5(No 3/4), pp. 241-267, 2014

[DB14] M. Djenouhat, F. Belala. "Defining and Executing Bigraphical Model in Maude", The 5th International Conference on Communications, Computers and Applications -MIC-CCA 2012, October 2014, pp.101-106, Istanbul, Turkey,
[DBB14] M. Djenouhat, F. Belala, K. Barkaoui. "Une Approche BasÃ©e K pour la Description de Services Web", ICAIIT2014 - ConfÃ©rence internationale sur l'intelligence artificielle et les technologies de lâ€™information , March 2014, pp.12-20,

[BBB13] S. Boufenara, K. Barkaoui, F. Belala, H. Boucheneb. "Transactional Petri Nets : A Semantic Framework for UML2 Activities", International Journal of Critical Computer-Based Systems (IJCCBS), pp. 1-6, 2013

[BBBb11] K. Barkaoui, C. Bouanaka, F. Belala. "A tile logic-based semantics for mobile software architectures", International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience Publishers, vol. 2(3/4), pp. 288-308, 2011
[BBBa11] M. Benammar, F. Belala, K. Barkaoui. "ImplÃ©mentation OrientÃ©e Objet d'ABAReL en Maude", Technique et Science Informatiques, vol. 30, pp. 741-767, 2011

[BBBd11] K. Barkaoui, F. Belala, C. Bouanaka. "Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems ", NOTERE 2011, 11th annual International Conference on New Technologies of Distributed Systems, May 2011, pp.1-8, Paris, France,

[BBB11] N. Benlahrache, F. Belala, K. Barkaoui. "Description formelle du DÃ©ploiement d'Architectures AADL basÃ©e sur les SystÃ¨mes RÃ©actifs Bigraphiques ", CAL'2011, 5Ã¨me ConfÃ©rence Francophone sur les Architectures Logicielles, June 2011, pp.15-29, Lille, France,
[BBBc11] N. Benlahrache, F. Belala, K. Barkaoui. "Description formelle du DÃ©ploiement d'Architectures AADL basÃ©e sur les SystÃ¨mes RÃ©actifs Bigraphiques ", CAL'2011, 5Ã¨me ConfÃ©rence Francophone sur les Architectures Logicielles, June 2011, , June 2011, pp.15-29,

[BBB10] S. Boufenara, F. Belala, K. Barkaoui. "Mapping UML 2.0 Activities to Zero-Safe Nets", Journal of Software Engineering and Applications, vol. 3(5), pp. 426-435, 2010
[BBBb10] S. Boufennara, F. Belala, K. Barkaoui. "Mapping UML2.0 Activities to Zero-Safe Nets", Journal of Software Engineering and Applications (JSEA), vol. 3(5), pp. 426Â—435, 2010
[CBB10] A. Choutri, F. Belala, K. Barkaoui. "A Tile Logic Based Approach for Software Architecture Description Analysis", Journal of Software Engineering and Applications (JSEA), vol. 3(11), pp. 1067-1079, 2010

[BBBa10] C. Bouanaka, F. Belala, K. Barkaoui. "A Tile Logic Based Semantics for Mobile Software Architecture", VECoS'10, 4th International Workshop on Verification and Evaluation of Computer and Communication Systems, Paris, France, 1 - 2 July 2010, January 2010, pp.35-47, Series The eWiC Series (ISSN 1477-9358),

[BBB09] M. Benammar, F. Belala, K. Barkaoui, N. Benlahrache. " Extension d'ABAReL par les PropriÃ©tÃ©s d'ExÃ©cution.", CAL'09, 3iÃ¨me ConfÃ©rence sur les Architectures Logicielles, Nancy, France, January 2009, pp.28-41, Series CAL 2009,

[CBB08] A. Choutri, F. Belala, K. Barkaoui. "Towards a Tile Based LfP Semantics", RCIS'08, 2nd IEEE International Conference on Research Challenges in Information Science, Marrakech, Morocco, January 2008, pp.9-16, Series IEEE,

[SBB03] H. Sebih, K. Barkaoui, M. Bettaz, F. Belala, Z. Sahnoun. "Towards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets", 1st Int'l Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taiwan,, January 2003,