- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j6 |      | Chafia Bouanaka, Faiza Belala, Kamel Barkaoui: A tile logic-based semantics for mobile software architectures. IJCCBS 2(3/4): 288-308 (2011) |
| j5 | | Malika Benammar, Faiza Belala, Kamel Barkaoui: Implémentation orientée objet d'ABAReL en Maude. Technique et Science Informatiques 30(6): 741-767 (2011) |
| c11 | | Fateh Latreche, Faiza Belala: A Novel Semantic Framework for Analyzing Dynamic Web Services. WETICE 2011: 67-72 |
| 2010 | ||
| j4 | | Sabine Boufenara, Faiza Belala, Kamel Barkaoui: Mapping UML 2.0 Activities to Zero-Safe Nets. JSEA 3(5): 426-435 (2010) |
| j3 | | Aicha Choutri, Faiza Belala, Kamel Barkaoui: A Tile Logic Based Approach for Software Architecture Description Analysis. JSEA 3(11): 1067-1079 (2010) |
| c10 | | Kamel Boukhelfa, Faiza Belala, Aicha Choutri, Halima Douibi: For more understandable UML diagrams. AICCSA 2010: 1-7 |
| 2009 | ||
| c9 | | Sabine Boufenara, Faiza Belala, Chafia Bouanaka: A synchronization schema in activity diagrams via zero-safe-nets. AICCSA 2009: 161-167 |
| c8 |  | Sabine Boufenara, Faiza Belala, Narayan C. Debnath: On Formalizing UML 2.0 Activities: Stream and Exception Parameters. CAINE 2009: 219-224 |
| 2008 | ||
| c7 | | Chafia Bouanaka, Faiza Belala: Towards a mobile architecture description language. AICCSA 2008: 743-748 |
| c6 | | Faiza Belala, Fateh Latreche, Malika Benammar: Vers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL. CAL 2008: 91-105 |
| c5 | | Chafia Bouanaka, Faiza Belala: Tile logic as an architectural model for mobility. ISCC 2008: 525-530 |
| c4 | | Malika Benammar, Faiza Belala, Fateh Latreche: AADL behavioral annex based on generalized rewriting logic. RCIS 2008: 1-8 |
| c3 | | |
| 2007 | ||
| c2 | | Chafia Bouanaka, Aicha Choutri, Faiza Belala: On Generating Tile System for a Software Architecture Case of a Collaborative Application Session. ICSOFT (SE) 2007: 123-128 |
| 2006 | ||
| c1 | | Faiza Belala, A. Boucherit: A Contribution to the Formal Checking of Multi-Agents Systems. AICCSA 2006: 9-16 |
| 2002 | ||
| j2 | | Faiza Belala, Mohamed Bettaz: A Natural Semantic Framework for ECATNets. Applied Categorical Structures 10(5): 431-447 (2002) |
| 2000 | ||
| j1 | | Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauchy: Concurrent Systems Analysis Using ECATNets. Logic Journal of the IGPL 8(2): 149-164 (2000) |
Data released under the ODC-BY 1.0 license — See also our legal information page