Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata. - Mostefa Belarbi; Jean-Philippe Babau; Jean-Jacques Schwarz (DS-RT, 2004)

Temporal validation of Real Time multitasking applications based on communicating timed automata. - Mostefa Belarbi; Jean-Philippe Babau; Jean-Jacques Schwarz (FDL, 2004)

Formal Modelling of Real-Time Embedded Automotive Architecture. - Mostefa Belarbi (Trans. SDPS, 2009)

Semantic Enrichment of Web Service Architecture. - Aicha Boubekeur; Mimoun Malki; Abdellah Chouarfia; Mostefa Belarbi (Ontology Theory, Management and Design, 2010)

Formal specification and verification of wireless networked self-organized Systems on Chip. - Hayat Daoud; Camel Tanougast; Mostefa Belarbi; Mikael Heil (CoDIT, 2014)

Based Principal Component Analysis of Associated Ionic Liquid Biosensors. - T. Zaoui; Mostefa Belarbi; M. Debdab (ANT/SEIT, 2016)

Multi approach for real-time systems specification: case study of GPU parallel systems. - Imane Zouaneb; Mostefa Belarbi; Abdellah Chouarfia (Int. J. Big Data Intell., 2016)

Formal Test and Simulation Environment of Wireless Body Network. - Khaldia Benahmed; Mostefa Belarbi; Abdelhamid Hariche; Abou El Hassan Benyamina (ICOST, 2017)

Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture. - Hayat Daoud; Camel Tanougast; Mostefa Belarbi; Mikael Heil; Camille Diou (Syst., 2017)

Contribution to the development of a rapid prototyping platform model for reconfigurable nano-biosensors based on nanotechnologies. - Abdelkrim Ghazi; Mostefa Belarbi; Abdallah Chouarfia (ANT/EDI40, 2019)

Converging image processing and data mining for Raman spectroscopy analysis. - Imane Zouaneb; Mostefa Belarbi; Abdellah Chouarfia (Int. J. Commun. Networks Distributed Syst., 2022)

Characterization and Analytical Evaluation Based on the 3- Layer Approach of Smart Buildings. - Mohamdi Hamid; Mostefa Belarbi; Chahrazed Adda; Houari Athmani; Benaissa Trari; Abdelkader Safa (ACTEA, 2023)