Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Faiza Belala
@proceedings{DBLP:conf/rif/2023,
editor = {Fouzia Benchikha and
Faiza Belala and
Zizette Boufa{\"{\i}}da and
Wafa Ghemmaz and
Sahar Smaali},
title = {Proceedings of The 12th Seminary of Computer Science Research at Feminine
{(RIF} 2023) {LIRE} Laboratory, Constantine 2 University- Abdelhamid
Mehri, Constantine, Algeria, March 9, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3616},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3616},
urn = {urn:nbn:de:0074-3616-0},
timestamp = {Thu, 18 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rif/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijoci/DridiBB23,
author = {Charaf Eddine Dridi and
Zakaria Benzadri and
Faiza Belala},
title = {A Unified Architecture Framework Supporting SoS's Development: Case
of the Aircraft Emergency Response System-of-Systems},
journal = {Int. J. Organ. Collect. Intell.},
volume = {13},
number = {1},
pages = {1--30},
year = {2023},
url = {https://doi.org/10.4018/ijoci.322767},
doi = {10.4018/IJOCI.322767},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijoci/DridiBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacc/ChoutriBBK23,
author = {Aicha Choutri and
Angham Boukhari and
Faiza Belala and
Ahmed Hadj Kacem},
editor = {Slim Kallel and
Zakaria Benzadri and
Ahmed Hadj Kacem},
title = {Towards improving the characteristics of deep neural networks: a meta-modeling
approach},
booktitle = {Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing
{(TACC} 2023), Sousse, Tunisia, November 8-10, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3642},
pages = {27--42},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3642/paper3.pdf},
timestamp = {Fri, 01 Mar 2024 16:26:21 +0100},
biburl = {https://dblp.org/rec/conf/tacc/ChoutriBBK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacc/BeninaBBK23,
author = {Feryel Benina and
Nadira Benlahrache and
Faiza Belala and
Ahmed Hadj Kacem},
editor = {Slim Kallel and
Zakaria Benzadri and
Ahmed Hadj Kacem},
title = {Mod{\'{e}}lisation et analyse des syst{\`{e}}mes cyber-physiques
cas du syst{\`{e}}me de surveillance continue du glucose},
booktitle = {Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing
{(TACC} 2023), Sousse, Tunisia, November 8-10, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3642},
pages = {148--158},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3642/paper13.pdf},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacc/BeninaBBK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/DridiHB23,
author = {Charaf Eddine Dridi and
Nabil Hameurlain and
Faiza Belala},
title = {A Maude-Based Formal Approach to Control and Analyze Time-Resource
Aware Missioned Systems-of-Systems},
booktitle = {{IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE} 2023, Paris, France, December
14-16, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/WETICE57085.2023.10477839},
doi = {10.1109/WETICE57085.2023.10477839},
timestamp = {Mon, 08 Apr 2024 17:30:24 +0200},
biburl = {https://dblp.org/rec/conf/wetice/DridiHB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacc/2022,
editor = {Chafia Bouanaka and
Mohammed Nassim Lacheheub and
Meriem Belguidoum and
Faiza Belala and
Mohamed Jmaiel and
Ahmed Hadj Kacem and
Ismael Bouassida Rodriguez and
Slim Kallel},
title = {Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing
{(TACC} 2022) Laboratoire Mixte d'Excellence Scientifique Tuniso-Alg{\'{e}}rien,
Constantine, Algeria, December 13-14, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3333},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3333},
urn = {urn:nbn:de:0074-3333-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacc/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fi/MarirBH22,
author = {Souad Marir and
Faiza Belala and
Nabil Hameurlain},
title = {A Strategy-Based Formal Approach for Fog Systems Analysis},
journal = {Future Internet},
volume = {14},
number = {2},
pages = {52},
year = {2022},
url = {https://doi.org/10.3390/fi14020052},
doi = {10.3390/FI14020052},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fi/MarirBH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijssoe/SeghiriBH22,
author = {Akram Seghiri and
Faiza Belala and
Nabil Hameurlain},
title = {A Formal Language for Modelling and Verifying Systems-of-Systems Software
Architectures},
journal = {Int. J. Syst. Serv. Oriented Eng.},
volume = {12},
number = {1},
pages = {1--17},
year = {2022},
url = {https://doi.org/10.4018/IJSSOE.297137},
doi = {10.4018/IJSSOE.297137},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijssoe/SeghiriBH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/SeghiriBH22,
author = {Akram Seghiri and
Faiza Belala and
Nabil Hameurlain},
editor = {Hermann Kaindl and
Mike Mannion and
Leszek A. Maciaszek},
title = {Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems},
booktitle = {Proceedings of the 17th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2022, Online Streaming,
April 25-26, 2022},
pages = {162--173},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0011069300003176},
doi = {10.5220/0011069300003176},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/SeghiriBH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaase/DridiBB22,
author = {Charaf Eddine Dridi and
Zakaria Benzadri and
Faiza Belala},
title = {Towards a Multi-Viewpoints Approach for the SoS Engineering},
booktitle = {International Conference on Advanced Aspects of Software Engineering,
{ICAASE} 2022, Constantine, Algeria, September 17-18, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICAASE56196.2022.9931580},
doi = {10.1109/ICAASE56196.2022.9931580},
timestamp = {Tue, 15 Nov 2022 21:42:52 +0100},
biburl = {https://dblp.org/rec/conf/icaase/DridiBB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/DridiHB22,
author = {Charaf Eddine Dridi and
Nabil Hameurlain and
Faiza Belala},
editor = {Philippe Fournier{-}Viger and
Ahmed Hassan Yousef and
Ladjel Bellatreche and
Ahmed Awad and
Abderrahim Ait Wakrime and
Yassine Ouhammou and
Idir A{\"{\i}}t{-}Sadoune},
title = {A Maude-Based Rewriting Approach to Model and Control System-of-Systems'
Resources Allocation},
booktitle = {Advances in Model and Data Engineering in the Digitalization Era -
{MEDI} 2022 Short Papers and {DETECT} 2022 Workshop Papers, Cairo,
Egypt, November 21-24, 2022, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1751},
pages = {207--221},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-23119-3\_15},
doi = {10.1007/978-3-031-23119-3\_15},
timestamp = {Fri, 14 Apr 2023 23:05:44 +0200},
biburl = {https://dblp.org/rec/conf/medi/DridiHB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pais/BouheroumBHBLA22,
author = {Ayoub Bouheroum and
Djamel Benmerzoug and
Sofiane Mounine Hemam and
Faiza Belala and
Aya Lehamdi and
Radhia Aouissate},
title = {A Formal Integrated Approach for Cyber Physical Systems},
booktitle = {4th International Conference on Pattern Analysis and Intelligent Systems,
{PAIS} 2022, Oum El Bouaghi, Algeria, October 12-13, 2022},
pages = {1--7},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/PAIS56586.2022.9946900},
doi = {10.1109/PAIS56586.2022.9946900},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pais/BouheroumBHBLA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacc/HelalSB22,
author = {Riad Helal and
Akram Seghiri and
Faiza Belala},
editor = {Chafia Bouanaka and
Mohammed Nassim Lacheheub and
Meriem Belguidoum and
Faiza Belala and
Mohamed Jmaiel and
Ahmed Hadj Kacem and
Ismael Bouassida Rodriguez and
Slim Kallel},
title = {An Integrated Approach to Formal Analyze Cyber Physical Systems},
booktitle = {Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing
{(TACC} 2022) Laboratoire Mixte d'Excellence Scientifique Tuniso-Alg{\'{e}}rien,
Constantine, Algeria, December 13-14, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3333},
pages = {92--97},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3333/Paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/tacc/HelalSB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rif/2022,
editor = {Faiza Belala and
Fouzia Benchikha and
Zizette Boufa{\"{\i}}da and
Sahar Smaali},
title = {Proceedings of The 11th Seminary of Computer Science Research at Feminine
{(RIF} 2022) {LIRE} Laboratory, Constantine 2 University- Abdelhamid
Mehri, Constantine, Algeria, March 10, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3176},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3176},
urn = {urn:nbn:de:0074-3176-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rif/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacc/2021,
editor = {Ahmed Hadj Kacem and
Slim Kallel and
Faiza Belala and
Meriem Belguidoum and
Mohamed Jmaiel and
Ismael Bouassida Rodriguez},
title = {Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing
{(TACC} 2021), Tabarka, Tunisia, December 18-20, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3067},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3067},
urn = {urn:nbn:de:0074-3067-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacc/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijoci/BenzadriBB21,
author = {Zakaria Benzadri and
Ayoub Bouheroum and
Faiza Belala},
title = {A Formal Framework for Secure Fog Architectures: Application to Guarantee
Reliability and Availability},
journal = {Int. J. Organ. Collect. Intell.},
volume = {11},
number = {2},
pages = {51--74},
year = {2021},
url = {https://doi.org/10.4018/IJOCI.2021040103},
doi = {10.4018/IJOCI.2021040103},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijoci/BenzadriBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsca/BenzadriBCBH21,
author = {Zakaria Benzadri and
Takieddine Bouheroum and
Youcef Ouassim Cheloufi and
Faiza Belala and
Mohamed Nadir Hassani},
title = {Towards a Service-Driven Model for Industry-4.0},
booktitle = {{ICSCA} 2021, 10th International Conference on Software and Computer
Applications, Kuala Lumpur, Malaysia, February 23-26, 2021},
pages = {14--21},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3457784.3457787},
doi = {10.1145/3457784.3457787},
timestamp = {Wed, 04 Aug 2021 14:31:23 +0200},
biburl = {https://dblp.org/rec/conf/icsca/BenzadriBCBH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacc/BouheroumBHB21,
author = {Ayoub Bouheroum and
Djamel Benmerzoug and
Sofiane Mounine Hemam and
Faiza Belala},
editor = {Ahmed Hadj Kacem and
Slim Kallel and
Faiza Belala and
Meriem Belguidoum and
Mohamed Jmaiel and
Ismael Bouassida Rodriguez},
title = {From {CA-BRS} to {BPMN:} Formal Approach for Modeling Adaptive Security
in Cyber-Physical Systems},
booktitle = {Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing
{(TACC} 2021), Tabarka, Tunisia, December 18-20, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3067},
pages = {149--163},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3067/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/tacc/BouheroumBHB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cluster/KhebbebHB20,
author = {Khaled Khebbeb and
Nabil Hameurlain and
Faiza Belala},
title = {Formalizing and simulating cross-layer elasticity strategies in Cloud
systems},
journal = {Clust. Comput.},
volume = {23},
number = {3},
pages = {1603--1631},
year = {2020},
url = {https://doi.org/10.1007/s10586-020-03080-8},
doi = {10.1007/S10586-020-03080-8},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cluster/KhebbebHB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jksucis/BelalaM20,
author = {Faiza Belala and
Ramdane Maamri},
title = {Formal modeling and analysis of complex software},
journal = {J. King Saud Univ. Comput. Inf. Sci.},
volume = {32},
number = {4},
pages = {385--386},
year = {2020},
url = {https://doi.org/10.1016/j.jksuci.2020.04.021},
doi = {10.1016/J.JKSUCI.2020.04.021},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jksucis/BelalaM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jksucis/BouanakaMBZ20,
author = {Chafia Bouanaka and
Esma Maatougui and
Faiza Belala and
Nadia Zeghib},
title = {A formal quantitative analysis of elastic cloud systems based on PSMaude},
journal = {J. King Saud Univ. Comput. Inf. Sci.},
volume = {32},
number = {4},
pages = {387--397},
year = {2020},
url = {https://doi.org/10.1016/j.jksuci.2019.11.008},
doi = {10.1016/J.JKSUCI.2019.11.008},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jksucis/BouanakaMBZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jksucis/BoucebsiB20,
author = {Rachida Boucebsi and
Faiza Belala},
title = {A Bigraphical Reactive Systems with Sharing for modeling Wireless
Mesh Networks},
journal = {J. King Saud Univ. Comput. Inf. Sci.},
volume = {32},
number = {9},
pages = {1071--1080},
year = {2020},
url = {https://doi.org/10.1016/j.jksuci.2018.10.016},
doi = {10.1016/J.JKSUCI.2018.10.016},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jksucis/BoucebsiB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/KhebbebHB20,
author = {Khaled Khebbeb and
Nabil Hameurlain and
Faiza Belala},
title = {A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation
and orchestration},
journal = {J. Syst. Archit.},
volume = {110},
pages = {101821},
year = {2020},
url = {https://doi.org/10.1016/j.sysarc.2020.101821},
doi = {10.1016/J.SYSARC.2020.101821},
timestamp = {Fri, 04 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/KhebbebHB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaase/DridiBB20,
author = {Charaf Eddine Dridi and
Zakaria Benzadri and
Fa{\"{\i}}za Belala},
title = {System of Systems Modelling: Recent work Review and a Path Forward},
booktitle = {4th International Conference on Advanced Aspects of Software Engineering,
{ICAASE} 2020, Constantine, Algeria, November 28-30, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICAASE51408.2020.9380125},
doi = {10.1109/ICAASE51408.2020.9380125},
timestamp = {Wed, 14 Apr 2021 11:43:46 +0200},
biburl = {https://dblp.org/rec/conf/icaase/DridiBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaase/SouadFN20,
author = {Souad Marir and
Faiza Belala and
Nabil Hameurlain},
title = {Formal Modeling IoT Systems on the Basis of BiAgents* and Maude},
booktitle = {4th International Conference on Advanced Aspects of Software Engineering,
{ICAASE} 2020, Constantine, Algeria, November 28-30, 2020},
pages = {1--7},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICAASE51408.2020.9380126},
doi = {10.1109/ICAASE51408.2020.9380126},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaase/SouadFN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/DridiBB20,
author = {Charaf Eddine Dridi and
Zakaria Benzadri and
Faiza Belala},
title = {System of Systems Engineering: Meta-Modelling Perspective},
booktitle = {15th {IEEE} International Conference of System of Systems Engineering,
SoSE 2020, Budapest, Hungary, June 2-4, 2020},
pages = {135--144},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SoSE50414.2020.9130465},
doi = {10.1109/SOSE50414.2020.9130465},
timestamp = {Thu, 16 Jul 2020 18:00:36 +0200},
biburl = {https://dblp.org/rec/conf/sysose/DridiBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-sen/KhebbebHBS19,
author = {Khaled Khebbeb and
Nabil Hameurlain and
Faiza Belala and
Hamza Sahli},
title = {Formal modelling and verifying elasticity strategies in cloud systems},
journal = {{IET} Softw.},
volume = {13},
number = {1},
pages = {25--35},
year = {2019},
url = {https://doi.org/10.1049/iet-sen.2018.5030},
doi = {10.1049/IET-SEN.2018.5030},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iet-sen/KhebbebHBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcaet/SmaaliCB19,
author = {Sahar Smaali and
A{\"{\i}}cha Choutri and
Fa{\"{\i}}za Belala},
title = {A formal framework-based K-Maude for modelling scalable software architectures},
journal = {Int. J. Comput. Aided Eng. Technol.},
volume = {11},
number = {3},
pages = {361--390},
year = {2019},
url = {https://doi.org/10.1504/IJCAET.2019.099328},
doi = {10.1504/IJCAET.2019.099328},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcaet/SmaaliCB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/LatrecheB19,
author = {Fateh Latreche and
Faiza Belala},
title = {Timed {CTL} checking of time critical cloud applications using timed
bigraphs},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {9},
number = {4},
pages = {379--406},
year = {2019},
url = {https://doi.org/10.1504/IJCCBS.2019.106818},
doi = {10.1504/IJCCBS.2019.106818},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/LatrecheB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijitsa/DouibiB19,
author = {Halima Douibi and
Faiza Belala},
title = {Design Patterns Formal Composition and Analysis},
journal = {Int. J. Inf. Technol. Syst. Approach},
volume = {12},
number = {2},
pages = {1--21},
year = {2019},
url = {https://doi.org/10.4018/IJITSA.2019070101},
doi = {10.4018/IJITSA.2019070101},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijitsa/DouibiB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cal/BouheroumBB19,
author = {Ayoub Bouheroum and
Zakaria Benzadri and
Faiza Belala},
editor = {Ismael Bouassida Rodriguez and
Abdelhak{-}Djamel Seriai},
title = {Approche bas{\'{e}}e {BRS} pour la Sp{\'{e}}cification et
l'Analyse d'une Architecture S{\'{e}}curis{\'{e}}e du Fog
Computing},
booktitle = {Avanc{\'{e}}es r{\'{e}}centes dans le domaine des Architectures
Logicielles : articles s{\'{e}}lectionn{\'{e}}s et {\'{e}}tendus
de {CAL} 2019, Hammamet, Tunisie, 29-30 octobre 2019},
series = {{RNTI}},
volume = {{L-9}},
pages = {67--90},
publisher = {{\'{E}}ditions {RNTI}},
year = {2019},
url = {http://editions-rnti.fr/?inprocid=1002704},
timestamp = {Tue, 08 Mar 2022 13:33:30 +0100},
biburl = {https://dblp.org/rec/conf/cal/BouheroumBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cal/BenzadriBZB19,
author = {Zakaria Benzadri and
Abdeldjalil Boultifat and
Sami Resslene Zair and
Faiza Belala},
editor = {Ismael Bouassida Rodriguez and
Abdelhak{-}Djamel Seriai},
title = {Architecture de R{\'{e}}f{\'{e}}rence pour le Edge Computing:
Application au Syst{\`{e}}me de Contr{\^{o}}le des Risques dans le
Transport},
booktitle = {Avanc{\'{e}}es r{\'{e}}centes dans le domaine des Architectures
Logicielles : articles s{\'{e}}lectionn{\'{e}}s et {\'{e}}tendus
de {CAL} 2019, Hammamet, Tunisie, 29-30 octobre 2019},
series = {{RNTI}},
volume = {{L-9}},
pages = {121--140},
publisher = {{\'{E}}ditions {RNTI}},
year = {2019},
url = {http://editions-rnti.fr/?inprocid=1002706},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cal/BenzadriBZB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ficloud/BouheroumBB19,
author = {Ayoub Bouheroum and
Zakaria Benzadri and
Faiza Belala},
editor = {Muhammad Younas and
Irfan Awan and
Takahiro Hara},
title = {Towards a Formal Approach Based on Bigraphs for Fog Security: Case
of Oil and Gas Refinery Plant},
booktitle = {7th International Conference on Future Internet of Things and Cloud,
FiCloud 2019, Istanbul, Turkey, August 26-28, 2019},
pages = {64--71},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/FiCloud.2019.00017},
doi = {10.1109/FICLOUD.2019.00017},
timestamp = {Tue, 04 Feb 2020 17:56:36 +0100},
biburl = {https://dblp.org/rec/conf/ficloud/BouheroumBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/KhebbebHB19,
author = {Khaled Khebbeb and
Nabil Hameurlain and
Faiza Belala},
editor = {J. Christian Attiogb{\'{e}} and
Flavio Ferrarotti and
Sofian Maabout},
title = {Formal Modeling and Verification of Cloud Elasticity with Maude and
{LTL}},
booktitle = {New Trends in Model and Data Engineering - {MEDI} 2019 International
Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31,
2019, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1085},
pages = {64--77},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32213-7\_5},
doi = {10.1007/978-3-030-32213-7\_5},
timestamp = {Thu, 14 Oct 2021 10:14:57 +0200},
biburl = {https://dblp.org/rec/conf/medi/KhebbebHB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icaase/2018,
editor = {Ramdane Maamri and
Faiza Belala},
title = {Proceedings of the 3rd International Conference on Advanced Aspects
of Software Engineering, {ICAASE} 2018, Constantine, Algeria, December
1-2, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2326},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2326},
urn = {urn:nbn:de:0074-2326-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaase/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/MoudjariSB18,
author = {Rayene Moudjari and
Za{\"{\i}}di Sahnoun and
Faiza Belala},
title = {Towards a Fuzzy Bigraphical Multi Agent System for Cloud of Clouds
Elasticity Management},
journal = {Int. J. Approx. Reason.},
volume = {102},
pages = {86--107},
year = {2018},
url = {https://doi.org/10.1016/j.ijar.2018.07.012},
doi = {10.1016/J.IJAR.2018.07.012},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/MoudjariSB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcat/DjenouhatBB18,
author = {Manel Amel Djenouhat and
Faiza Belala and
Kamel Barkaoui},
title = {Architectural method to design and control dynamic composite web services},
journal = {Int. J. Comput. Appl. Technol.},
volume = {57},
number = {1},
pages = {59--71},
year = {2018},
url = {https://doi.org/10.1504/IJCAT.2018.10010967},
doi = {10.1504/IJCAT.2018.10010967},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcat/DjenouhatBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaase/BouanakaMBZ18,
author = {Chafia Bouanaka and
Esma Maatougui and
Faiza Belala and
Nadia Zeghib},
editor = {Ramdane Maamri and
Faiza Belala},
title = {A Quality-driven Approach for Analyzing Elastic Cloud Computing},
booktitle = {Proceedings of the 3rd International Conference on Advanced Aspects
of Software Engineering, {ICAASE} 2018, Constantine, Algeria, December
1-2, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2326},
pages = {84--91},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2326/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:44 +0100},
biburl = {https://dblp.org/rec/conf/icaase/BouanakaMBZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaase/SehoutGBB18,
author = {Oussama Nassim Sehout and
Mouad Ghiat and
Zakaria Benzadri and
Faiza Belala},
editor = {Ramdane Maamri and
Faiza Belala},
title = {A Component-based Modeling of Edge Systems Computing},
booktitle = {Proceedings of the 3rd International Conference on Advanced Aspects
of Software Engineering, {ICAASE} 2018, Constantine, Algeria, December
1-2, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2326},
pages = {99--106},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2326/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaase/SehoutGBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/KhebbebHB18,
author = {Khaled Khebbeb and
Nabil Hameurlain and
Faiza Belala},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud
Systems},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {168--183},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_11},
doi = {10.1007/978-3-030-00856-7\_11},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/medi/KhebbebHB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/MarirBH18,
author = {Souad Marir and
Faiza Belala and
Nabil Hameurlain},
editor = {El Hassan Abdelwahed and
Ladjel Bellatreche and
Matteo Golfarelli and
Dominique M{\'{e}}ry and
Carlos Ordonez},
title = {A Formal Model for Interaction Specification and Analysis in IoT Applications},
booktitle = {Model and Data Engineering - 8th International Conference, {MEDI}
2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11163},
pages = {371--384},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00856-7\_25},
doi = {10.1007/978-3-030-00856-7\_25},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/MarirBH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sysose/SeghiriBBH18,
author = {Akram Seghiri and
Fa{\"{\i}}za Belala and
Zakaria Benzadri and
Nabil Hameurlain},
title = {A Maude based Specification for SoS Architecture},
booktitle = {13th Annual Conference on System of Systems Engineering, SoSE 2018,
Paris, France, June 19-22, 2018},
pages = {45--52},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SYSOSE.2018.8428738},
doi = {10.1109/SYSOSE.2018.8428738},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sysose/SeghiriBBH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/LatrecheB17,
author = {Fateh Latreche and
Faiza Belala},
title = {A layered Petri net model to formally analyse time critical web service
composition},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {7},
number = {2},
pages = {119--137},
year = {2017},
url = {https://doi.org/10.1504/IJCCBS.2017.10005898},
doi = {10.1504/IJCCBS.2017.10005898},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/LatrecheB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijguc/BenzadriBB17,
author = {Zakaria Benzadri and
Chafia Bouanaka and
Faiza Belala},
title = {Big-CAF: a bigraphical-generic cloud architecture framework},
journal = {Int. J. Grid Util. Comput.},
volume = {8},
number = {3},
pages = {222--240},
year = {2017},
url = {https://doi.org/10.1504/IJGUC.2017.10008771},
doi = {10.1504/IJGUC.2017.10008771},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijguc/BenzadriBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijismd/BouanakaDBZ17,
author = {Chafia Bouanaka and
Ahmed Amar Debza and
Faiza Belala and
Nadia Zeghib},
title = {A Formal Framework for Scalable Component-Based Systems},
journal = {Int. J. Inf. Syst. Model. Des.},
volume = {8},
number = {1},
pages = {1--23},
year = {2017},
url = {https://doi.org/10.4018/IJISMD.2017010101},
doi = {10.4018/IJISMD.2017010101},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijismd/BouanakaDBZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/paapp/SahliHB17,
author = {Hamza Sahli and
Nabil Hameurlain and
Faiza Belala},
title = {A bigraphical model for specifying cloud-based elastic systems and
their behaviour},
journal = {Int. J. Parallel Emergent Distributed Syst.},
volume = {32},
number = {6},
pages = {593--616},
year = {2017},
url = {https://doi.org/10.1080/17445760.2016.1188927},
doi = {10.1080/17445760.2016.1188927},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/paapp/SahliHB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/KhebbebSHB17,
author = {Khaled Khebbeb and
Hamza Sahli and
Nabil Hameurlain and
Faiza Belala},
editor = {Lars Braubach and
Juan Manuel Murillo and
Nima Kaviani and
Manuel Lama and
Loli Burgue{\~{n}}o and
Naouel Moha and
Marc Oriol},
title = {A {BRS} Based Approach for Modeling Elastic Cloud Systems},
booktitle = {Service-Oriented Computing - {ICSOC} 2017 Workshops - ASOCA, ISyCC,
WESOACS, and Satellite Events, M{\'{a}}laga, Spain, November
13-16, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10797},
pages = {5--17},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-91764-1\_1},
doi = {10.1007/978-3-319-91764-1\_1},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/KhebbebSHB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/MarirKBB17,
author = {Souad Marir and
Roumeissa Kitouni and
Zakaria Benzadri and
Faiza Belala},
editor = {Lars Braubach and
Juan Manuel Murillo and
Nima Kaviani and
Manuel Lama and
Loli Burgue{\~{n}}o and
Naouel Moha and
Marc Oriol},
title = {BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance
System},
booktitle = {Service-Oriented Computing - {ICSOC} 2017 Workshops - ASOCA, ISyCC,
WESOACS, and Satellite Events, M{\'{a}}laga, Spain, November
13-16, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10797},
pages = {111--123},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-91764-1\_9},
doi = {10.1007/978-3-319-91764-1\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/MarirKBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/CherfiaBB16,
author = {Taha Abdelmoutaleb Cherfia and
Fa{\"{\i}}za Belala and
Kamel Barkaoui},
title = {A bigraph-based framework for specification and analysis of context-aware
systems},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {6},
number = {4},
pages = {322--342},
year = {2016},
url = {https://doi.org/10.1504/IJCCBS.2016.081808},
doi = {10.1504/IJCCBS.2016.081808},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/CherfiaBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/SahliBB16,
author = {Hamza Sahli and
Fa{\"{\i}}za Belala and
Chafia Bouanaka},
title = {Formal verification of cloud systems elasticity},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {6},
number = {4},
pages = {364--384},
year = {2016},
url = {https://doi.org/10.1504/IJCCBS.2016.081809},
doi = {10.1504/IJCCBS.2016.081809},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijccbs/SahliBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaase/BenlahracheBYB16,
author = {Nadira Benlahrache and
Faiza Belala and
Randa Ait Younes and
Zoubida Belala},
title = {Translating {AADL} systems to Java programs},
booktitle = {2016 International Conference on Advanced Aspects of Software Engineering,
{ICAASE} 2016, Constantine, Algeria, October 29-30, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICAASE.2016.7843855},
doi = {10.1109/ICAASE.2016.7843855},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icaase/BenlahracheBYB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaase/BenzadriHBB16,
author = {Zakaria Benzadri and
Nabil Hameurlain and
Faiza Belala and
Chafia Bouanaka},
title = {A theoretical approach for modelling Cloud Services Composition},
booktitle = {2016 International Conference on Advanced Aspects of Software Engineering,
{ICAASE} 2016, Constantine, Algeria, October 29-30, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICAASE.2016.7843858},
doi = {10.1109/ICAASE.2016.7843858},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaase/BenzadriHBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaase/BoucebsiB16,
author = {Rachida Boucebsi and
Faiza Belala},
title = {Towards modeling and verifying Wireless Mesh Networks},
booktitle = {2016 International Conference on Advanced Aspects of Software Engineering,
{ICAASE} 2016, Constantine, Algeria, October 29-30, 2016},
pages = {1--7},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICAASE.2016.7843856},
doi = {10.1109/ICAASE.2016.7843856},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaase/BoucebsiB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ciia/BoukhelfaB15,
author = {Kamel Boukhelfa and
Faiza Belala},
editor = {Abdelmalek Amine and
Ladjel Bellatreche and
Zakaria Elberrichi and
Erich J. Neuhold and
Robert Wrembel},
title = {Towards a Formalization of Real-Time Patterns-Based Designs},
booktitle = {Computer Science and Its Applications - 5th {IFIP} {TC} 5 International
Conference, {CIIA} 2015, Saida, Algeria, May 20-21, 2015, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {456},
pages = {624--635},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19578-0\_51},
doi = {10.1007/978-3-319-19578-0\_51},
timestamp = {Wed, 07 Dec 2022 23:14:25 +0100},
biburl = {https://dblp.org/rec/conf/ciia/BoukhelfaB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudforward/SahliBB15,
author = {Hamza Sahli and
Faiza Belala and
Chafia Bouanaka},
editor = {Keith G. Jeffery and
Dimosthenis Kyriazis},
title = {A BRS-Based Approach to Model and Verify Cloud Systems Elasticity},
booktitle = {1st International Conference on Cloud Forward: From Distributed to
Complete Computing, October 6-8, 2015, Pisa, Italy},
series = {Procedia Computer Science},
volume = {68},
pages = {29--41},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.procs.2015.09.221},
doi = {10.1016/J.PROCS.2015.09.221},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/cloudforward/SahliBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/notere/BoucebsiB15,
author = {Rachida Boucebsi and
Fa{\"{\i}}za Belala},
title = {Towards {BRS} based model for Wireless Mesh Networks},
booktitle = {International Conference on Protocol Engineering, {ICPE} 2015, and
International Conference on New Technologies of Distributed Systems,
{NTDS} 2015 {[CFIP} (Colloque francophone sur l'ing{\'{e}}nierie
des protocoles) / {NOTERE} (Nouvelles Technologies de la R{\'{e}}partition)],
Paris, France, July 22-24, 2015},
pages = {1--6},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/NOTERE.2015.7293474},
doi = {10.1109/NOTERE.2015.7293474},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/notere/BoucebsiB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/notere/SmaaliCB15,
author = {Sahar Smaali and
Aicha Choutri and
Faiza Belala},
title = {K-based definition of Real Time Distributed Systems: from a meta-model
to maude modules},
booktitle = {International Conference on Protocol Engineering, {ICPE} 2015, and
International Conference on New Technologies of Distributed Systems,
{NTDS} 2015 {[CFIP} (Colloque francophone sur l'ing{\'{e}}nierie
des protocoles) / {NOTERE} (Nouvelles Technologies de la R{\'{e}}partition)],
Paris, France, July 22-24, 2015},
pages = {1--6},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/NOTERE.2015.7293487},
doi = {10.1109/NOTERE.2015.7293487},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/notere/SmaaliCB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaras/CherfiaB14,
author = {Taha Abdelmoutaleb Cherfia and
Fa{\"{\i}}za Belala},
title = {Bigraphical Reactive Systems Based Approaches for Modeling Context-Aware
Systems},
journal = {Int. J. Adapt. Resilient Auton. Syst.},
volume = {5},
number = {4},
pages = {1--19},
year = {2014},
url = {https://doi.org/10.4018/ijaras.2014100101},
doi = {10.4018/IJARAS.2014100101},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijaras/CherfiaB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/BelguidoumBL14,
author = {Meriem Belguidoum and
Faiza Belala and
Fateh Latreche},
title = {A RT-Maude-based framework for component installation},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {5},
number = {1/2},
pages = {103--126},
year = {2014},
url = {https://doi.org/10.1504/IJCCBS.2014.059590},
doi = {10.1504/IJCCBS.2014.059590},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/BelguidoumBL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/BoufenaraBBB14,
author = {Sabine Boufenara and
Kamel Barkaoui and
Faiza Belala and
Hanifa Boucheneb},
title = {Transactional Petri nets: a semantic framework for {UML2} activities},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {5},
number = {3/4},
pages = {241--267},
year = {2014},
url = {https://doi.org/10.1504/IJCCBS.2014.064663},
doi = {10.1504/IJCCBS.2014.064663},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/BoufenaraBBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijertcs/LatrecheB14,
author = {Fateh Latreche and
Faiza Belala},
title = {{RDTA:} Recursive and Dynamic Timed Automata for Web Services Composition
Analysis},
journal = {Int. J. Embed. Real Time Commun. Syst.},
volume = {5},
number = {3},
pages = {42--67},
year = {2014},
url = {https://doi.org/10.4018/ijertcs.2014070103},
doi = {10.4018/IJERTCS.2014070103},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijertcs/LatrecheB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/DouibiSB14,
author = {Halima Douibi and
Sahar Smaali and
Fa{\"{\i}}za Belala},
title = {A K-based language for Design Patterns},
booktitle = {11th {IEEE/ACS} International Conference on Computer Systems and Applications,
{AICCSA} 2014, Doha, Qatar, November 10-13, 2014},
pages = {614--620},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/AICCSA.2014.7073256},
doi = {10.1109/AICCSA.2014.7073256},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/DouibiSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/SmaaliCB14,
author = {Sahar Smaali and
A{\"{\i}}cha Choutri and
Fa{\"{\i}}za Belala},
editor = {Lionel Seinturier and
Eduardo Santana de Almeida and
Jan Carlson},
title = {Towards a meta-model for dynamic applications},
booktitle = {CBSE'14, Proceedings of the 17th International {ACM} {SIGSOFT} Symposium
on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul,
Lille, France, June 30 - July 4, 2014},
pages = {23--28},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2602458.2602469},
doi = {10.1145/2602458.2602469},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/cbse/SmaaliCB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/BenzadriBB14,
author = {Zakaria Benzadri and
Chafia Bouanaka and
Fa{\"{\i}}za Belala},
editor = {Victor Chang and
Gary B. Wills and
Robert John Walters},
title = {Verifying Cloud Systems using a Bigraphical Maude-based Model Checker},
booktitle = {ESaaSA 2014 - Proceedings of the International Workshop on Emerging
Software as a Service and Analytics, Barcelona, Spain, April 3-5,
2014},
pages = {3--12},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004978800030012},
doi = {10.5220/0004978800030012},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/closer/BenzadriBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/CherfiaBB14,
author = {Taha Abdelmoutaleb Cherfia and
Kamel Barkaoui and
Faiza Belala},
title = {A BRS-Based Modeling Approach for Context-Aware Systems: {A} Case
Study of Smart Car System},
booktitle = {12th {IEEE} International Conference on Embedded and Ubiquitous Computing,
{EUC} 2014, Milano, Italy, August 26-28, 2014},
pages = {310--314},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/EUC.2014.53},
doi = {10.1109/EUC.2014.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euc/CherfiaBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaase/LatrecheB14,
author = {Fateh Latreche and
Faiza Belala},
editor = {Za{\"{\i}}di Sahnoun},
title = {Mop-ECATNets for Formal Modeling Dynamic Web Services},
booktitle = {Proceedings of the 1st International Conference on Advanced Aspects
of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November
2-4, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1294},
pages = {27--34},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1294/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:44 +0100},
biburl = {https://dblp.org/rec/conf/icaase/LatrecheB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaase/SmaaliCB14,
author = {Sahar Smaali and
A{\"{\i}}cha Choutri and
Fa{\"{\i}}za Belala},
editor = {Za{\"{\i}}di Sahnoun},
title = {K-Maude Definition of Dynamic Software Architecture},
booktitle = {Proceedings of the 1st International Conference on Advanced Aspects
of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November
2-4, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1294},
pages = {92--99},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1294/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaase/SmaaliCB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaase/BoucebsiBD14,
author = {Rachida Boucebsi and
Faiza Belala and
Lakhdar Derdouri},
editor = {Za{\"{\i}}di Sahnoun},
title = {Modeling Channel Allocation via {BRS:} Case of WMNs},
booktitle = {Proceedings of the 1st International Conference on Advanced Aspects
of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November
2-4, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1294},
pages = {133--139},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1294/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaase/BoucebsiBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaase/BenzadriBB14,
author = {Zakaria Benzadri and
Chafia Bouanaka and
Faiza Belala},
editor = {Za{\"{\i}}di Sahnoun},
title = {BiCloud-2M: {A} Combined Bigraph Maude-based Tool for Cloud Specification
and Analysis},
booktitle = {Proceedings of the 1st International Conference on Advanced Aspects
of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November
2-4, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1294},
pages = {165--170},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1294/paper19.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaase/BenzadriBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/CherfiaBB14,
author = {Taha Abdelmoutaleb Cherfia and
Faiza Belala and
Kamel Barkaoui},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Towards Formal Modeling and Verification of Context-Aware Systems},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {18--24},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/vecos/CherfiaBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/SahliBB14,
author = {Hamza Sahli and
Faiza Belala and
Chafia Bouanaka},
editor = {Hassane Alla and
Louiza Bouallouche{-}Medjkoune},
title = {Model-Checking Cloud Systems Using BigMC},
booktitle = {Proceedings of the 8th International Workshop on Verification and
Evaluation of Computer and Communication Systems, VECoS 2014, Beja{\"{\i}}a,
Algeria, September 29-30, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1256},
pages = {25--33},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1256/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/SahliBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcnds/BenlahracheB13,
author = {Nadira Benlahrache and
Faiza Belala},
title = {Towards formalising installation and reconfiguration tasks of {AADL}
architecture},
journal = {Int. J. Commun. Networks Distributed Syst.},
volume = {11},
number = {4},
pages = {431--452},
year = {2013},
url = {https://doi.org/10.1504/IJCNDS.2013.057720},
doi = {10.1504/IJCNDS.2013.057720},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcnds/BenlahracheB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/CherfiaB13,
author = {Taha Abdelmoutaleb Cherfia and
Faiza Belala},
editor = {Khalil Drira},
title = {Towards a Bigraph-Based Model for Context-Aware Adaptive Systems},
booktitle = {Software Architecture - 7th European Conference, {ECSA} 2013, Montpellier,
France, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7957},
pages = {340--343},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39031-9\_34},
doi = {10.1007/978-3-642-39031-9\_34},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/CherfiaB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BenzadriBB13,
author = {Zakaria Benzadri and
Faiza Belala and
Chafia Bouanaka},
editor = {Alessio Lomuscio and
Surya Nepal and
Fabio Patrizi and
Boualem Benatallah and
Ivona Brandic},
title = {Towards a Formal Model for Cloud Computing},
booktitle = {Service-Oriented Computing - {ICSOC} 2013 Workshops - CCSA, CSB, PASCEB,
SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8377},
pages = {381--393},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-06859-6\_34},
doi = {10.1007/978-3-319-06859-6\_34},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BenzadriBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/BouanakaBB11,
author = {Chafia Bouanaka and
Faiza Belala and
Kamel Barkaoui},
title = {A tile logic-based semantics for mobile software architectures},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {2},
number = {3/4},
pages = {288--308},
year = {2011},
url = {https://doi.org/10.1504/IJCCBS.2011.042330},
doi = {10.1504/IJCCBS.2011.042330},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijccbs/BouanakaBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/BenammarBB11,
author = {Malika Benammar and
Faiza Belala and
Kamel Barkaoui},
title = {Impl{\'{e}}mentation orient{\'{e}}e objet d'ABAReL en Maude},
journal = {Tech. Sci. Informatiques},
volume = {30},
number = {6},
pages = {741--767},
year = {2011},
url = {https://doi.org/10.3166/tsi.30.741-767},
doi = {10.3166/TSI.30.741-767},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/BenammarBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/notere/BelalaBB11,
author = {Faiza Belala and
Chafia Bouanaka and
Kamel Barkaoui},
editor = {Isabelle M. Demeure and
Thomas Robert and
Ahmed Serhrouchni},
title = {Towards a Tile Based Semantic Model for Reconfigurable Distributed
Systems},
booktitle = {11th Annual International Conference on New Technologies of Distributed
Systems, {NOTERE} 2011, Paris, France, 9-13 May 2011},
pages = {1--8},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/NOTERE.2011.5957975},
doi = {10.1109/NOTERE.2011.5957975},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/notere/BelalaBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/LatrecheB11,
author = {Fateh Latreche and
Faiza Belala},
editor = {Sumitra Reddy and
Samir Tata},
title = {A Novel Semantic Framework for Analyzing Dynamic Web Services},
booktitle = {20th {IEEE} International Workshops on Enabling Technologies: Infrastructures
for Collaborative Enterprises, {WETICE} 2011, Paris, France, 27-29
June 2011, Proceedings},
pages = {67--72},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/WETICE.2011.52},
doi = {10.1109/WETICE.2011.52},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/LatrecheB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsea/BoufenaraBB10,
author = {Sabine Boufenara and
Faiza Belala and
Kamel Barkaoui},
title = {Mapping {UML} 2.0 Activities to Zero-Safe Nets},
journal = {J. Softw. Eng. Appl.},
volume = {3},
number = {5},
pages = {426--435},
year = {2010},
url = {https://doi.org/10.4236/jsea.2010.35048},
doi = {10.4236/JSEA.2010.35048},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsea/BoufenaraBB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsea/ChoutriBB10,
author = {Aicha Choutri and
Faiza Belala and
Kamel Barkaoui},
title = {A Tile Logic Based Approach for Software Architecture Description
Analysis},
journal = {J. Softw. Eng. Appl.},
volume = {3},
number = {11},
pages = {1067--1079},
year = {2010},
url = {https://doi.org/10.4236/jsea.2010.311126},
doi = {10.4236/JSEA.2010.311126},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsea/ChoutriBB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/BoukhelfaBCD10,
author = {Kamel Boukhelfa and
Faiza Belala and
Aicha Choutri and
Halima Douibi},
title = {For more understandable {UML} diagrams},
booktitle = {The 8th {ACS/IEEE} International Conference on Computer Systems and
Applications, {AICCSA} 2010, Hammamet, Tunisia, May 16-19, 2010},
pages = {1--7},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/AICCSA.2010.5586987},
doi = {10.1109/AICCSA.2010.5586987},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/BoukhelfaBCD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cal/BelalaBB10,
author = {Nadira Benlahrache and
Faiza Belala and
Chafia Bouanaka and
Malika Benammar},
editor = {Khalil Drira},
title = {Vers un Mod{\`{e}}le de D{\'{e}}ploiement {\`{a}} base de Bigraphes},
booktitle = {4e Conf{\'{e}}rence francophone sur les Architectures Logicielles,
{CAL} 2010, Pau, France, 9-11 mars 2010},
series = {Revue des Nouvelles Technologies de l'Information},
volume = {{L-5}},
pages = {131--143},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2010},
url = {http://editions-rnti.fr/?inprocid=1000906},
timestamp = {Sun, 24 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cal/BelalaBB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/BoufenaraBB09,
author = {Sabine Boufenara and
Faiza Belala and
Chafia Bouanaka},
editor = {El Mostapha Aboulhamid and
Jos{\'{e}} Luis Sevillano},
title = {A synchronization schema in activity diagrams via zero-safe-nets},
booktitle = {The 7th {IEEE/ACS} International Conference on Computer Systems and
Applications, {AICCSA} 2009, Rabat, Morocco, May 10-13, 2009},
pages = {161--167},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/AICCSA.2009.5069319},
doi = {10.1109/AICCSA.2009.5069319},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/BoufenaraBB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caine/BoufenaraBD09,
author = {Sabine Boufenara and
Faiza Belala and
Narayan C. Debnath},
editor = {Dunren Che},
title = {On Formalizing {UML} 2.0 Activities: Stream and Exception Parameters},
booktitle = {Proceedings of the {ISCA} 22nd International Conference on Computer
Applications in Industry and Engineering, {CAINE} 2009, November 4-6,
2009, Hilton San Francisco Fisherman's Wharf, San Francisco, California,
{USA}},
pages = {219--224},
publisher = {{ISCA}},
year = {2009},
timestamp = {Mon, 08 Mar 2010 17:18:33 +0100},
biburl = {https://dblp.org/rec/conf/caine/BoufenaraBD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cal/BenammarBBB09,
author = {Malika Benammar and
Faiza Belala and
Kamel Barkaoui and
Nadira Benlahrache},
editor = {Olivier Zendra and
Antoine Beugnard},
title = {Extension d'ABAReL par les Propri{\'{e}}t{\'{e}}s d'Ex{\'{e}}cution},
booktitle = {3e Conf{\'{e}}rence francophone sur les Architectures Logicielles,
{CAL} 2009, Nancy, France, 24-25 Mars, 2009},
series = {Revue des Nouvelles Technologies de l'Information},
volume = {{L-4}},
pages = {47--60},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2009},
url = {http://editions-rnti.fr/?inprocid=1000845},
timestamp = {Thu, 22 Jan 2015 10:14:43 +0100},
biburl = {https://dblp.org/rec/conf/cal/BenammarBBB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lmo/BoufenaraBB09,
author = {Sabine Boufenara and
Faiza Belala and
Chafia Bouanaka},
editor = {Bernard Carr{\'{e}} and
Olivier Zendra},
title = {Les Zero-Safe Nets pour la Pr{\'{e}}servation de la {TTC} dans
les Diagrammes d'Activit{\'{e}} d'UML},
booktitle = {Langages et Mod{\`{e}}les {\`{a}} Objets, {LMO} 2009, Nancy, France,
25-27 mars 2009},
series = {{RNTI}},
volume = {{L-3}},
pages = {89--104},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2009},
url = {http://editions-rnti.fr/?inprocid=1000758},
timestamp = {Fri, 25 Apr 2014 17:33:28 +0200},
biburl = {https://dblp.org/rec/conf/lmo/BoufenaraBB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/BouanakaB08,
author = {Chafia Bouanaka and
Faiza Belala},
title = {Towards a mobile architecture description language},
booktitle = {The 6th {ACS/IEEE} International Conference on Computer Systems and
Applications, {AICCSA} 2008, Doha, Qatar, March 31 - April 4, 2008},
pages = {743--748},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/AICCSA.2008.4493610},
doi = {10.1109/AICCSA.2008.4493610},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/BouanakaB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cal/BelalaLB08,
author = {Faiza Belala and
Fateh Latreche and
Malika Benammar},
editor = {Yamine A{\"{\i}}t Ameur},
title = {Vers l'Int{\'{e}}gration des Propri{\'{e}}t{\'{e}}s
non Fonctionnelles dans le Langage {SADL}},
booktitle = {2{\`{e}}me Conf{\'{e}}rence Francophone sur les Architectures
Logicielles {(CAL} 2008), 3-7 Mars 2008, Montr{\'{e}}al, Qu{\'{e}}bec,
Canada},
series = {Revue des Nouvelles Technologies de l'Information},
volume = {{RNTI-L-2}},
pages = {91--105},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2008},
url = {http://editions-rnti.fr/?inprocid=1000651},
timestamp = {Thu, 24 Apr 2014 17:37:26 +0200},
biburl = {https://dblp.org/rec/conf/cal/BelalaLB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/BouanakaB08,
author = {Chafia Bouanaka and
Faiza Belala},
title = {Tile logic as an architectural model for mobility},
booktitle = {Proceedings of the 13th {IEEE} Symposium on Computers and Communications
{(ISCC} 2008), July 6-9, Marrakech, Morocco},
pages = {525--530},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISCC.2008.4625762},
doi = {10.1109/ISCC.2008.4625762},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscc/BouanakaB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/BenammarBL08,
author = {Malika Benammar and
Faiza Belala and
Fateh Latreche},
editor = {Oscar Pastor and
Andr{\'{e}} Flory and
Jean{-}Louis Cavarero},
title = {{AADL} behavioral annex based on generalized rewriting logic},
booktitle = {Proceedings of the {IEEE} International Conference on Research Challenges
in Information Science, {RCIS} 2008, Marrakech, Morocco, June 3-6,
2008},
pages = {1--8},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/RCIS.2008.4632087},
doi = {10.1109/RCIS.2008.4632087},
timestamp = {Mon, 18 Jan 2021 08:56:35 +0100},
biburl = {https://dblp.org/rec/conf/rcis/BenammarBL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/ChoutriBB08,
author = {Aicha Choutri and
Faiza Belala and
Kamel Barkaoui},
editor = {Oscar Pastor and
Andr{\'{e}} Flory and
Jean{-}Louis Cavarero},
title = {Towards a tile based LfP semantics},
booktitle = {Proceedings of the {IEEE} International Conference on Research Challenges
in Information Science, {RCIS} 2008, Marrakech, Morocco, June 3-6,
2008},
pages = {9--16},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/RCIS.2008.4632088},
doi = {10.1109/RCIS.2008.4632088},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rcis/ChoutriBB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/BouanakaCB07,
author = {Chafia Bouanaka and
Aicha Choutri and
Faiza Belala},
editor = {Joaquim Filipe and
Boris Shishkov and
Markus Helfert},
title = {On Generating Tile System for a Software Architecture Case of a Collaborative
Application Session},
booktitle = {{ICSOFT} 2007, Proceedings of the Second International Conference
on Software and Data Technologies, Volume SE, Barcelona, Spain, July
22-25, 2007},
pages = {123--128},
publisher = {{INSTICC} Press},
year = {2007},
timestamp = {Tue, 24 Feb 2009 15:20:59 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/BouanakaCB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/BelalaB06,
author = {Faiza Belala and
A. Boucherit},
title = {A Contribution to the Formal Checking of Multi-Agents Systems},
booktitle = {2006 {IEEE/ACS} International Conference on Computer Systems and Applications
{(AICCSA} 2006), March 8-11, Dubai/Sharjah, {UAE}},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/AICCSA.2006.205061},
doi = {10.1109/AICCSA.2006.205061},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/BelalaB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/BelalaB02,
author = {Faiza Belala and
Mohamed Bettaz},
title = {A Natural Semantic Framework for ECATNets},
journal = {Appl. Categorical Struct.},
volume = {10},
number = {5},
pages = {431--447},
year = {2002},
url = {https://doi.org/10.1023/A:1020581029371},
doi = {10.1023/A:1020581029371},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/BelalaB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BelalaBP00,
author = {Faiza Belala and
Mohamed Bettaz and
Laure Petrucci{-}Dauchy},
title = {Concurrent Systems Analysis Using ECATNets},
journal = {Log. J. {IGPL}},
volume = {8},
number = {2},
pages = {149--164},
year = {2000},
url = {https://doi.org/10.1093/jigpal/8.2.149},
doi = {10.1093/JIGPAL/8.2.149},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BelalaBP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-09 20:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
