<?xml version="1.0"?>
<dblpperson name="Mostefa Belarbi" pid="95/204" n="14">
<person key="homepages/95/204" mdate="2009-06-08">
<author pid="95/204">Mostefa Belarbi</author>
</person>
<r><article key="journals/kbs/BachaNBSD25" mdate="2026-03-24">
<author pid="401/8975">Soufiane Bacha</author>
<author pid="08/3821">Huansheng Ning</author>
<author pid="95/204">Mostefa Belarbi</author>
<author orcid="0000-0002-3818-6432" pid="380/1965">Doreen Sebastian Sarwatt</author>
<author pid="194/9278">Sahraoui Dhelim</author>
<title>A novel double pruning method for imbalanced data using information entropy and Roulette wheel selection for breast cancer diagnosis.</title>
<pages>114403</pages>
<year>2025</year>
<volume>330</volume>
<journal>Knowl. Based Syst.</journal>
<ee>https://doi.org/10.1016/j.knosys.2025.114403</ee>
<url>db/journals/kbs/kbs330.html#BachaNBSD25</url>
<stream>streams/journals/kbs</stream>
</article>
</r>
<r><article publtype="informal" key="journals/corr/abs-2503-12239" mdate="2025-11-04">
<author pid="401/8975">Soufiane Bacha</author>
<author pid="08/3821">Huansheng Ning</author>
<author pid="95/204">Mostefa Belarbi</author>
<author pid="380/1965">Doreen Sebastian Sarwatt</author>
<author pid="194/9278">Sahraoui Dhelim</author>
<title>A Novel Double Pruning method for Imbalanced Data using Information Entropy and Roulette Wheel Selection for Breast Cancer Diagnosis.</title>
<year>2025</year>
<month>March</month>
<volume>abs/2503.12239</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2503.12239</ee>
<url>db/journals/corr/corr2503.html#abs-2503-12239</url>
<stream>streams/journals/corr</stream>
</article>
</r>
<r><inproceedings key="conf/actea/HamidBAATS23" mdate="2023-08-14">
<author pid="354/1224">Mohamdi Hamid</author>
<author pid="95/204">Mostefa Belarbi</author>
<author pid="354/0820">Chahrazed Adda</author>
<author pid="354/0771">Houari Athmani</author>
<author pid="354/0096">Benaissa Trari</author>
<author pid="354/0626">Abdelkader Safa</author>
<title>Characterization and Analytical Evaluation Based on the 3- Layer Approach of Smart Buildings.</title>
<pages>83-88</pages>
<year>2023</year>
<booktitle>ACTEA</booktitle>
<ee>https://doi.org/10.1109/ACTEA58025.2023.10194127</ee>
<crossref>conf/actea/2023</crossref>
<url>db/conf/actea/actea2023.html#HamidBAATS23</url>
</inproceedings>
</r>
<r><article key="journals/ijcnds/ZouanebBC22" mdate="2022-05-13">
<author pid="182/6148">Imane Zouaneb</author>
<author pid="95/204">Mostefa Belarbi</author>
<author pid="92/8073">Abdellah Chouarfia</author>
<title>Converging image processing and data mining for Raman spectroscopy analysis.</title>
<pages>287-311</pages>
<year>2022</year>
<volume>28</volume>
<journal>Int. J. Commun. Networks Distributed Syst.</journal>
<number>3</number>
<ee>https://doi.org/10.1504/IJCNDS.2022.122176</ee>
<url>db/journals/ijcnds/ijcnds28.html#ZouanebBC22</url>
</article>
</r>
<r><inproceedings key="conf/ant/GhaziBC19" mdate="2025-11-02">
<author pid="250/3628">Abdelkrim Ghazi</author>
<author pid="95/204">Mostefa Belarbi</author>
<author pid="92/8073">Abdallah Chouarfia</author>
<title>Contribution to the development of a rapid prototyping platform model for reconfigurable nano-biosensors based on nanotechnologies.</title>
<pages>891-896</pages>
<year>2019</year>
<booktitle>ANT/EDI40</booktitle>
<ee type="oa">https://doi.org/10.1016/j.procs.2019.04.123</ee>
<crossref>conf/ant/2019</crossref>
<url>db/conf/ant/ant2019.html#GhaziBC19</url>
</inproceedings>
</r>
<r><article key="journals/systems/DaoudTBHD17" mdate="2020-09-08">
<author pid="188/7688">Hayat Daoud</author>
<author orcid="0000-0002-5399-1683" pid="59/6664">Camel Tanougast</author>
<author pid="95/204">Mostefa Belarbi</author>
<author pid="188/7583">Mikael Heil</author>
<author orcid="0000-0002-6887-1895" pid="23/4252">Camille Diou</author>
<title>Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture.</title>
<pages>17</pages>
<year>2017</year>
<volume>5</volume>
<journal>Syst.</journal>
<number>1</number>
<ee type="oa">https://doi.org/10.3390/systems5010017</ee>
<ee>https://www.wikidata.org/entity/Q57831666</ee>
<url>db/journals/systems/systems5.html#DaoudTBHD17</url>
</article>
</r>
<r><inproceedings key="conf/icost/BenahmedBHB17" mdate="2017-08-22">
<author pid="204/7461">Khaldia Benahmed</author>
<author pid="95/204">Mostefa Belarbi</author>
<author pid="204/7413">Abdelhamid Hariche</author>
<author pid="51/9038">Abou El Hassan Benyamina</author>
<title>Formal Test and Simulation Environment of Wireless Body Network.</title>
<pages>240-246</pages>
<year>2017</year>
<booktitle>ICOST</booktitle>
<ee>https://doi.org/10.1007/978-3-319-66188-9_21</ee>
<crossref>conf/icost/2017</crossref>
<url>db/conf/icost/icost2017.html#BenahmedBHB17</url>
</inproceedings>
</r>
<r><article key="journals/ijbdi/ZouanebBC16" mdate="2020-03-25">
<author pid="182/6148">Imane Zouaneb</author>
<author pid="95/204">Mostefa Belarbi</author>
<author pid="92/8073">Abdellah Chouarfia</author>
<title>Multi approach for real-time systems specification: case study of GPU parallel systems.</title>
<pages>122-141</pages>
<year>2016</year>
<volume>3</volume>
<journal>Int. J. Big Data Intell.</journal>
<number>2</number>
<ee>https://doi.org/10.1504/IJBDI.2016.077385</ee>
<url>db/journals/ijbdi/ijbdi3.html#ZouanebBC16</url>
</article>
</r>
<r><inproceedings key="conf/ant/ZaouiBD16" mdate="2023-09-12">
<author pid="179/8566">T. Zaoui</author>
<author pid="95/204">Mostefa Belarbi</author>
<author pid="179/8414">M. Debdab</author>
<title>Based Principal Component Analysis of Associated Ionic Liquid Biosensors.</title>
<pages>1038-1043</pages>
<year>2016</year>
<booktitle>ANT/SEIT</booktitle>
<ee type="oa">https://doi.org/10.1016/j.procs.2016.04.220</ee>
<crossref>conf/ant/2016</crossref>
<url>db/conf/ant/ant2016.html#ZaouiBD16</url>
</inproceedings>
</r>
<r><inproceedings key="conf/codit/DaoudTBH14" mdate="2018-11-14">
<author pid="188/7688">Hayat Daoud</author>
<author orcid="0000-0002-5399-1683" pid="59/6664">Camel Tanougast</author>
<author pid="95/204">Mostefa Belarbi</author>
<author pid="188/7583">Mikael Heil</author>
<title>Formal specification and verification of wireless networked self-organized Systems on Chip.</title>
<pages>730-735</pages>
<year>2014</year>
<booktitle>CoDIT</booktitle>
<ee>https://doi.org/10.1109/CoDIT.2014.6996987</ee>
<ee>https://www.wikidata.org/entity/Q57831752</ee>
<crossref>conf/codit/2014</crossref>
<url>db/conf/codit/codit2014.html#DaoudTBH14</url>
</inproceedings>
</r>
<r><incollection key="books/igi/10/BoubekeurMCB10" mdate="2026-02-25">
<author orcid="0009-0001-0277-1234" pid="154/4285">Aicha Boubekeur</author>
<author orcid="0000-0003-4466-2316" pid="90/3009">Mimoun Malki</author>
<author pid="92/8073">Abdellah Chouarfia</author>
<author pid="95/204">Mostefa Belarbi</author>
<title>Semantic Enrichment of Web Service Architecture.</title>
<pages>303-321</pages>
<year>2010</year>
<booktitle>Ontology Theory, Management and Design</booktitle>
<ee>https://doi.org/10.4018/978-1-61520-859-3.ch014</ee>
<crossref>books/igi/10/GJ2010</crossref>
<url>db/books/collections/GJ2010.html#BoubekeurMCB10</url>
</incollection>
</r>
<r><article key="journals/jid/Belarbi09" mdate="2020-05-14">
<author pid="95/204">Mostefa Belarbi</author>
<title>Formal Modelling of Real-Time Embedded Automotive Architecture.</title>
<pages>1-18</pages>
<year>2009</year>
<volume>13</volume>
<journal>Trans. SDPS</journal>
<number>2</number>
<ee>http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid13-2-01</ee>
<url>db/journals/jid/jid13.html#Belarbi09</url>
</article>
</r>
<r><inproceedings key="conf/dsrt/BelarbiBS04" mdate="2023-03-23">
<author pid="95/204">Mostefa Belarbi</author>
<author pid="99/4747">Jean-Philippe Babau</author>
<author pid="62/3607">Jean-Jacques Schwarz</author>
<title>Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata.</title>
<pages>188-195</pages>
<year>2004</year>
<crossref>conf/dsrt/2004</crossref>
<booktitle>DS-RT</booktitle>
<ee>https://doi.org/10.1109/DS-RT.2004.39</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/DS-RT.2004.39</ee>
<url>db/conf/dsrt/dsrt2004.html#BelarbiBS04</url>
</inproceedings>
</r>
<r><inproceedings key="conf/fdl/BelarbiBS04" mdate="2020-12-03">
<author pid="95/204">Mostefa Belarbi</author>
<author pid="99/4747">Jean-Philippe Babau</author>
<author pid="62/3607">Jean-Jacques Schwarz</author>
<title>Temporal validation of Real Time multitasking applications based on communicating timed automata.</title>
<pages>578-586</pages>
<year>2004</year>
<booktitle>FDL</booktitle>
<ee type="archive">http://www.ecsi-association.org/ecsi/main.asp?l1=library&#38;fn=def&#38;id=616</ee>
<crossref>conf/fdl/2004</crossref>
<url>db/conf/fdl/fdl2004.html#BelarbiBS04</url>
</inproceedings>
</r>
<coauthors n="25" nc="7">
<co c="1"><na f="a/Adda:Chahrazed" pid="354/0820">Chahrazed Adda</na></co>
<co c="1"><na f="a/Athmani:Houari" pid="354/0771">Houari Athmani</na></co>
<co c="6"><na f="b/Babau:Jean=Philippe" pid="99/4747">Jean-Philippe Babau</na></co>
<co c="2"><na f="b/Bacha:Soufiane" pid="401/8975">Soufiane Bacha</na></co>
<co c="4"><na f="b/Benahmed:Khaldia" pid="204/7461">Khaldia Benahmed</na></co>
<co c="4"><na f="b/Benyamina:Abou_El_Hassan" pid="51/9038">Abou El Hassan Benyamina</na></co>
<co c="0"><na f="b/Boubekeur:Aicha" pid="154/4285">Aicha Boubekeur</na></co>
<co c="0" n="2"><na f="c/Chouarfia:Abdallah" pid="92/8073">Abdallah Chouarfia</na><na>Abdellah Chouarfia</na></co>
<co c="3"><na f="d/Daoud:Hayat" pid="188/7688">Hayat Daoud</na></co>
<co c="5"><na f="d/Debdab:M=" pid="179/8414">M. Debdab</na></co>
<co c="2"><na f="d/Dhelim:Sahraoui" pid="194/9278">Sahraoui Dhelim</na></co>
<co c="3"><na f="d/Diou:Camille" pid="23/4252">Camille Diou</na></co>
<co c="0"><na f="g/Ghazi:Abdelkrim" pid="250/3628">Abdelkrim Ghazi</na></co>
<co c="1"><na f="h/Hamid:Mohamdi" pid="354/1224">Mohamdi Hamid</na></co>
<co c="4"><na f="h/Hariche:Abdelhamid" pid="204/7413">Abdelhamid Hariche</na></co>
<co c="3"><na f="h/Heil:Mikael" pid="188/7583">Mikael Heil</na></co>
<co c="0"><na f="m/Malki:Mimoun" pid="90/3009">Mimoun Malki</na></co>
<co c="2"><na f="n/Ning:Huansheng" pid="08/3821">Huansheng Ning</na></co>
<co c="1"><na f="s/Safa:Abdelkader" pid="354/0626">Abdelkader Safa</na></co>
<co c="2"><na f="s/Sarwatt:Doreen_Sebastian" pid="380/1965">Doreen Sebastian Sarwatt</na></co>
<co c="6"><na f="s/Schwarz:Jean=Jacques" pid="62/3607">Jean-Jacques Schwarz</na></co>
<co c="3"><na f="t/Tanougast:Camel" pid="59/6664">Camel Tanougast</na></co>
<co c="1"><na f="t/Trari:Benaissa" pid="354/0096">Benaissa Trari</na></co>
<co c="5"><na f="z/Zaoui:T=" pid="179/8566">T. Zaoui</na></co>
<co c="0"><na f="z/Zouaneb:Imane" pid="182/6148">Imane Zouaneb</na></co>
</coauthors>
</dblpperson>

