Mostefa Belarbi

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 6

Top Topics

Data Analysis Tasks

Simulation Environment

Top Venues

Publications

Mohamdi Hamid, Mostefa Belarbi, Chahrazed Adda, Houari Athmani, Benaissa Trari, Abdelkader Safa
Characterization and Analytical Evaluation Based on the 3- Layer Approach of Smart Buildings. ACTEA (2023)
Imane Zouaneb, Mostefa Belarbi, Abdellah Chouarfia
Converging image processing and data mining for Raman spectroscopy analysis. Int. J. Commun. Networks Distributed Syst. 28 (3) (2022)
Abdelkrim Ghazi, Mostefa Belarbi, Abdallah Chouarfia
Contribution to the development of a rapid prototyping platform model for reconfigurable nano-biosensors based on nanotechnologies. ANT/EDI40 (2019)
Khaldia Benahmed, Mostefa Belarbi, Abdelhamid Hariche, Abou El Hassan Benyamina
Formal Test and Simulation Environment of Wireless Body Network. ICOST (2017)
Hayat Daoud, Camel Tanougast, Mostefa Belarbi, Mikael Heil, Camille Diou
Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture. Syst. 5 (1) (2017)
Imane Zouaneb, Mostefa Belarbi, Abdellah Chouarfia
Multi approach for real-time systems specification: case study of GPU parallel systems. Int. J. Big Data Intell. 3 (2) (2016)
Hayat Daoud, Camel Tanougast, Mostefa Belarbi, Mikael Heil
Formal specification and verification of wireless networked self-organized Systems on Chip. CoDIT (2014)
Mostefa Belarbi
Formal Modelling of Real-Time Embedded Automotive Architecture. Trans. SDPS 13 (2) (2009)
Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz
Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata. DS-RT (2004)
Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz
Temporal validation of Real Time multitasking applications based on communicating timed automata. FDL (2004)