Samir Chouali

According to our database, Samir Chouali authored at least 39 papers between 2002 and 2023.

Collaborative distances:

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

2023

Ensuring the Compatibility of Autonomous Electric Vehicles Components Through a Formal Approach Based on Interaction Protocols.

Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui, Mohammed Amine Merzoug

IEEE Trans. Veh. Technol., February, 2023

A novel hybrid multi-objective algorithm to solve the generalized cubic cell formation problem.

Hamida Bouaziz, Dalal Bardou, Meryem Berghida, Samir Chouali, Ali Lemouari

Comput. Oper. Res., 2023

Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components.

Perla Tannoury, Samir Chouali, Ahmed Hammad

Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023

2022

Toward a design model-oriented methodology to ensure QoS of a cyber-physical healthcare system.

Moustafa Fayad, Ahmed Mostefaoui, Samir Chouali, Salima Benbernou

Computing, 2022

Model Driven Approach to Design an Automotive CPS with SysReo Language.

Perla Tannoury, Samir Chouali, Ahmed Hammad

Proceedings of the 20th ACM International Symposium on Mobility Management and Wireless Access on 20th ACM International Symposium on Mobility Management and Wireless Access, 2022

Elderly Fall Detection: A Lightweight Kinect Based Deep Learning Approach.

Moustafa Fayad, Mohamed-Yacine Hachani, Ahmed Mostefaoui, Samir Chouali, Réda Yahiaoui

Proceedings of the 20th ACM International Symposium on Mobility Management and Wireless Access on 20th ACM International Symposium on Mobility Management and Wireless Access, 2022

2020

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

Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui, Mohammed Amine Merzoug

IEEE Trans. Veh. Technol., 2020

Model-Oriented Methodology for Developing a Social Based Healthcare System.

Moustafa Fayad, Ahmed Mostefaoui, Samir Chouali, Salima Benbernou

Proceedings of the Q2SWinet '20: Proceedings of the 16th ACM Symposium on QoS and Security for Wireless and Mobile Networks, 2020

Contributions à la conception rigoureuse des systèmes à base de composants exploitant des modèles SysML et des approches formelles. (Contributions to the rigorous design of component-based systems using SysML models and formal approaches).

Samir Chouali

, 2020

2019

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

Mohammed Amine Merzoug, Azzedine Boukerche, Ahmed Mostefaoui, Samir Chouali

J. Parallel Distributed Comput., 2019

SysML model-driven approach to verify blocks compatibility.

Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir

Int. J. Comput. Aided Eng. Technol., 2019

Fall Detection Application for the Elderly in the Family Heroes System.

Moustafa Fayad, Ahmed Mostefaoui, Samir Chouali, Salima Benbernou

Proceedings of the 17th ACM International Symposium on Mobility Management and Wireless Access, 2019

2018

Compiling Protocols to Promela and Verifying their LTL Properties.

Benjamin Lion, Samir Chouali, Farhad Arbab

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Component Design and Adaptation Based on Behavioral Contracts.

Samir Chouali, Sebti Mouelhi, Hassan Mountassir

Proceedings of the New Trends in Model and Data Engineering, 2018

2017

Ensuring the Reliability of an Autonomous Vehicle: A Formal Approach based on Component Interaction Protocols.

Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui

Proceedings of the 20th ACM International Conference on Modelling, 2017

Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles.

Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui

Proceedings of the 15th ACM International Symposium on Mobility Management and Wireless Access, 2017

Distributed Collision-Free Data Aggregation Approach for Wireless Sensor Networks.

Mohammed Amine Merzoug, Ahmed Mostefaoui, Samir Chouali

Proceedings of the 13th International Conference on Distributed Computing in Sensor Systems, 2017

Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers.

Djamila Dahmani, Mohand Cherif Boukala, Hassan Mountassir, Samir Chouali

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

2016

A Model-Driven Approach to Adapt SysML Blocks.

Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir

Proceedings of the Information and Software Technologies - 22nd International Conference, 2016

2015

SysML Blocks Adaptation.

Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir

Proceedings of the Formal Methods and Software Engineering, 2015

Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems.

Sebti Mouelhi, Khalid Agrou, Samir Chouali, Hassan Mountassir

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

Exploitation de la Hiérarchie pour la Vérification de la Compatibilité des Blocs SysML.

Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir

Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, 2015

2013

Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption.

Ahmed Hammad, Hassan Mountassir, Samir Chouali

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Incremental Modeling of System Architecture Satisfying SysML Functional Requirements.

Oscar Carrillo, Samir Chouali, Hassan Mountassir

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Specifying System Architecture from SysML Requirements and Component Interfaces.

Samir Chouali, Oscar Carrillo, Hassan Mountassir

Proceedings of the Software Architecture - 7th European Conference, 2013

An approach combining SysML and modelica for modelling and validate wireless sensor networks.

Ahmed Hammad, Hassan Mountassir, Samir Chouali

Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems, 2013

2012

Adaptation sémantique des protocoles des composants par les automates d'interface.

Samir Chouali, Sebti Mouelhi, Hassan Mountassir

Tech. Sci. Informatiques, 2012

Formalizing and verifying compatibility and consistency of SysML blocks.

Oscar Carrillo, Samir Chouali, Hassan Mountassir

ACM SIGSOFT Softw. Eng. Notes, 2012

Assembling Components using SysML with Non-Functional Requirements.

Samir Chouali, Ahmed Hammad, Hassan Mountassir

Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

2011

Formal verification of components assembly based on SysML and interface automata.

Samir Chouali, Ahmed Hammad

Innov. Syst. Softw. Eng., 2011

2010

Adapting Component Behaviours Using Interface Automata.

Samir Chouali, Sebti Mouelhi, Hassan Mountassir

Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

Assembly of components based on interface automata and UML component model.

Samir Chouali, Sebti Mouelhi, Hassan Mountassir

Proceedings of the 4e Conférence francophone sur les Architectures Logicielles, 2010

2009

Refinement of Interface Automata Strengthened by Action Semantics.

Sebti Mouelhi, Samir Chouali, Hassan Mountassir

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

2008

An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car.

Samir Chouali, Hassan Mountassir, Sebti Mouelhi

Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008

2005

PLTL-partitioned model checking for reactive systems under fairness assumptions.

Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde

ACM Trans. Embed. Comput. Syst., 2005

Proving Component Interoperability with B Refinement.

Samir Chouali, Maritta Heisel, Jeanine Souquières

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Verifying the compatibility of component interfaces using the B formal method.

Jeanine Souquières, Samir Chouali

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Refinemant verification of fair transition systems can contribute to PLTL model checking.

Françoise Bellegarde, Samir Chouali, Jacques Julliand

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

2002

Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.

Françoise Bellegarde, Samir Chouali, Jacques Julliand

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002