Samir Chouali

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 18

Top Topics

Interaction Protocols

Wireless Sensor Networks

Top Venues

IEEE Trans. Veh. Technol.

MoDELS (Workshops)

Publications

Hamida Bouaziz, Dalal Bardou, Meryem Berghida, Samir Chouali, Ali Lemouari
A novel hybrid multi-objective algorithm to solve the generalized cubic cell formation problem. Comput. Oper. Res. 150 (2023)
Perla Tannoury, Samir Chouali, Ahmed Hammad
Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components. FACS (2023)
Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui, Mohammed Amine Merzoug
Ensuring the Compatibility of Autonomous Electric Vehicles Components Through a Formal Approach Based on Interaction Protocols. IEEE Trans. Veh. Technol. 72 (2) (2023)
Moustafa Fayad, Mohamed-Yacine Hachani, Ahmed Mostefaoui, Samir Chouali, Réda Yahiaoui
Elderly Fall Detection: A Lightweight Kinect Based Deep Learning Approach. MobiWac (2022)
Perla Tannoury, Samir Chouali, Ahmed Hammad
Model Driven Approach to Design an Automotive CPS with SysReo Language. MobiWac (2022)
Moustafa Fayad, Ahmed Mostefaoui, Samir Chouali, Salima Benbernou
Toward a design model-oriented methodology to ensure QoS of a cyber-physical healthcare system. Computing 104 (7) (2022)
Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui, Mohammed Amine Merzoug
Formal Verification and Performance Analysis of a New Data Exchange Protocol for Connected Vehicles. IEEE Trans. Veh. Technol. 69 (12) (2020)
Moustafa Fayad, Ahmed Mostefaoui, Samir Chouali, Salima Benbernou
Model-Oriented Methodology for Developing a Social Based Healthcare System. Q2SWinet (2020)
Moustafa Fayad, Ahmed Mostefaoui, Samir Chouali, Salima Benbernou
Fall Detection Application for the Elderly in the Family Heroes System. MobiWac (2019)
Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
SysML model-driven approach to verify blocks compatibility. Int. J. Comput. Aided Eng. Technol. 11 (2) (2019)
Mohammed Amine Merzoug, Azzedine Boukerche, Ahmed Mostefaoui, Samir Chouali
Spreading Aggregation: A distributed collision-free approach for data aggregation in large-scale wireless sensor networks. J. Parallel Distributed Comput. 125 (2019)
Samir Chouali, Sebti Mouelhi, Hassan Mountassir
Component Design and Adaptation Based on Behavioral Contracts. MEDI Workshops (2018)
Benjamin Lion, Samir Chouali, Farhad Arbab
Compiling Protocols to Promela and Verifying their LTL Properties. MoDELS (Workshops) (2018)
Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui
Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles. MobiWac (2017)
Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui
Ensuring the Reliability of an Autonomous Vehicle: A Formal Approach based on Component Interaction Protocols. MSWiM (2017)
Mohammed Amine Merzoug, Ahmed Mostefaoui, Samir Chouali
Distributed Collision-Free Data Aggregation Approach for Wireless Sensor Networks. DCOSS (2017)
Djamila Dahmani, Mohand Cherif Boukala, Hassan Mountassir, Samir Chouali
Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers. PNSE @ Petri Nets (2017)
Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
A Model-Driven Approach to Adapt SysML Blocks. ICIST (2016)
Sebti Mouelhi, Khalid Agrou, Samir Chouali, Hassan Mountassir
Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems. CBSE (2015)
Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
SysML Blocks Adaptation. ICFEM (2015)
Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
Exploitation de la Hiérarchie pour la Vérification de la Compatibilité des Blocs SysML. CAL (2015)
Samir Chouali, Ahmed Hammad, Hassan Mountassir
Assembling Components using SysML with Non-Functional Requirements. Electron. Notes Theor. Comput. Sci. 295 (2013)
Ahmed Hammad, Hassan Mountassir, Samir Chouali
An approach combining SysML and modelica for modelling and validate wireless sensor networks. SESoS (2013)
Samir Chouali, Oscar Carrillo, Hassan Mountassir
Specifying System Architecture from SysML Requirements and Component Interfaces. ECSA (2013)
Oscar Carrillo, Samir Chouali, Hassan Mountassir
Incremental Modeling of System Architecture Satisfying SysML Functional Requirements. FACS (2013)
Ahmed Hammad, Hassan Mountassir, Samir Chouali
Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption. MODELSWARD (2013)
Samir Chouali, Sebti Mouelhi, Hassan Mountassir
Adaptation sémantique des protocoles des composants par les automates d'interface. Tech. Sci. Informatiques 31 (6) (2012)
Oscar Carrillo, Samir Chouali, Hassan Mountassir
Formalizing and verifying compatibility and consistency of SysML blocks. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Samir Chouali, Ahmed Hammad
Formal verification of components assembly based on SysML and interface automata. Innov. Syst. Softw. Eng. 7 (4) (2011)
Samir Chouali, Sebti Mouelhi, Hassan Mountassir
Assembly of components based on interface automata and UML component model. CAL (2010)
Samir Chouali, Sebti Mouelhi, Hassan Mountassir
Adapting Component Behaviours Using Interface Automata. EUROMICRO-SEAA (2010)
Samir Chouali, Hassan Mountassir, Sebti Mouelhi
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. Electron. Notes Theor. Comput. Sci. 238 (6) (2010)
Sebti Mouelhi, Samir Chouali, Hassan Mountassir
Refinement of Interface Automata Strengthened by Action Semantics. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Samir Chouali, Maritta Heisel, Jeanine Souquières
Proving Component Interoperability with B Refinement. Electron. Notes Theor. Comput. Sci. 160 (2006)
Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde
PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions CoRR (2006)
Jeanine Souquières, Samir Chouali
Verifying the compatibility of component interfaces using the B formal method. Software Engineering Research and Practice (2005)
Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde
PLTL-partitioned model checking for reactive systems under fairness assumptions. ACM Trans. Embed. Comput. Syst. 4 (2) (2005)
Françoise Bellegarde, Samir Chouali, Jacques Julliand
Refinemant verification of fair transition systems can contribute to PLTL model checking. MEMOCODE (2005)
Françoise Bellegarde, Samir Chouali, Jacques Julliand
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. ZB (2002)