Concepedia

Samir Chouali

SC

10

Publications

141

Citations

10

H-Index

2006

Active since

Affiliations

Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies(Current)

Université de franche-comté

University of Ottawa

L'Hôpital Nord Franche-Comté

Samir Chouali is an author at Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies specializing in engineering, formal methods, and formal verification.

ORCID

Top concepts

Publications per year

2006–2023

10

Publications

10

Formal verification of components assembly based on SysML and interface automata

Samir Chouali, Ahmed Hammad · Innovations in Systems and Software Engineering · 2011 · 22 citations

, , +14

Proving Component Interoperability with B Refinement

Samir Chouali, Maritta Heisel, Jeanine Souquières · Electronic Notes in Theoretical Computer Science · 2006 · 21 citations · Full text

, , +22

Spreading Aggregation: A distributed collision-free approach for data aggregation in large-scale wireless sensor networks

Mohammed Amine Merzoug, Azzedine Boukerche, Ahmed Mostefaoui et al. · Journal of Parallel and Distributed Computing · 2018 · 15 citations

, , +6

Formal Verification and Performance Analysis of a New Data Exchange Protocol for Connected Vehicles

Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui et al. · IEEE Transactions on Vehicular Technology · 2020 · 15 citations · Full text

Fall Detection Approaches for Monitoring Elderly HealthCare Using Kinect Technology: A Survey

Moustafa Fayad, Mohamed-Yacine Hachani, Kamal Ghoumid et al. · Applied Sciences · 2023 · 14 citations · Full text

, , +20

Rows per page

1–5 of 10