Mostefa Belarbi

According to our database, Mostefa Belarbi authored at least 12 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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

Proceedings of the Fifth International Conference on Advances in Computational Tools for Engineering Applications, 2023

2022

Converging image processing and data mining for Raman spectroscopy analysis.

Imane Zouaneb, Mostefa Belarbi, Abdellah Chouarfia

Int. J. Commun. Networks Distributed Syst., 2022

2019

Contribution to the development of a rapid prototyping platform model for reconfigurable nano-biosensors based on nanotechnologies.

Abdelkrim Ghazi, Mostefa Belarbi, Abdallah Chouarfia

Proceedings of the 10th International Conference on Ambient Systems, Networks and Technologies (ANT 2019) / The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40 2019) / Affiliated Workshops, April 29, 2019

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

Formal Test and Simulation Environment of Wireless Body Network.

Khaldia Benahmed, Mostefa Belarbi, Abdelhamid Hariche, Abou El Hassan Benyamina

Proceedings of the Enhanced Quality of Life and Smart Living, 2017

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

Based Principal Component Analysis of Associated Ionic Liquid Biosensors.

T. Zaoui, Mostefa Belarbi, M. Debdab

Proceedings of the 7th International Conference on Ambient Systems, 2016

2014

Formal specification and verification of wireless networked self-organized Systems on Chip.

Hayat Daoud, Camel Tanougast, Mostefa Belarbi, Mikael Heil

Proceedings of the International Conference on Control, 2014

2010

Semantic Enrichment of Web Service Architecture.

Aicha Boubekeur, Mimoun Malki, Abdellah Chouarfia, Mostefa Belarbi

Proceedings of the Ontology Theory, Management and Design - Advanced Tools and Models., 2010

2009

Formal Modelling of Real-Time Embedded Automotive Architecture.

Mostefa Belarbi

Trans. SDPS, 2009

2004

Temporal validation of Real Time multitasking applications based on communicating timed automata.

Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz

Proceedings of the Forum on specification and Design Languages, 2004

Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata.

Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz

Proceedings of the 8th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2004), 2004