Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. - Françoise Bellegarde; Samir Chouali; Jacques Julliand (ZB, 2002)

Refinemant verification of fair transition systems can contribute to PLTL model checking. - Françoise Bellegarde; Samir Chouali; Jacques Julliand (MEMOCODE, 2005)

Verifying the compatibility of component interfaces using the B formal method. - Jeanine Souquières; Samir Chouali (Software Engineering Research and Practice, 2005)

Proving Component Interoperability with B Refinement. - Samir Chouali; Maritta Heisel; Jeanine Souquières (FACS, 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)

An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. - Samir Chouali; Hassan Mountassir; Sebti Mouelhi (FESCA@ETAPS, 2008)

Refinement of Interface Automata Strengthened by Action Semantics. - Sebti Mouelhi; Samir Chouali; Hassan Mountassir (FESCA@ETAPS, 2009)

Assembly of components based on interface automata and UML component model. - Samir Chouali; Sebti Mouelhi; Hassan Mountassir (CAL, 2010)

Adapting Component Behaviours Using Interface Automata. - Samir Chouali; Sebti Mouelhi; Hassan Mountassir (EUROMICRO-SEAA, 2010)

Formal verification of components assembly based on SysML and interface automata. - Samir Chouali; Ahmed Hammad (Innov. Syst. Softw. Eng., 2011)

Assembling Components using SysML with Non-Functional Requirements. - Samir Chouali; Ahmed Hammad; Hassan Mountassir (FESCA, 2012)

Formalizing and verifying compatibility and consistency of SysML blocks. - Oscar Carrillo; Samir Chouali; Hassan Mountassir (ACM SIGSOFT Softw. Eng. Notes, 2012)

Adaptation sémantique des protocoles des composants par les automates d'interface. - Samir Chouali; Sebti Mouelhi; Hassan Mountassir (Tech. Sci. Informatiques, 2012)

An approach combining SysML and modelica for modelling and validate wireless sensor networks. - Ahmed Hammad; Hassan Mountassir; Samir Chouali (SESoS, 2013)

Specifying System Architecture from SysML Requirements and Component Interfaces. - Samir Chouali; Oscar Carrillo; Hassan Mountassir (ECSA, 2013)

Incremental Modeling of System Architecture Satisfying SysML Functional Requirements. - Oscar Carrillo; Samir Chouali; Hassan Mountassir (FACS, 2013)

Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption. - Ahmed Hammad; Hassan Mountassir; Samir Chouali (MODELSWARD, 2013)

Exploitation de la Hiérarchie pour la Vérification de la Compatibilité des Blocs SysML. - Hamida Bouaziz; Samir Chouali; Ahmed Hammad; Hassan Mountassir (CAL, 2015)

Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems. - Sebti Mouelhi; Khalid Agrou; Samir Chouali; Hassan Mountassir (CBSE, 2015)

SysML Blocks Adaptation. - Hamida Bouaziz; Samir Chouali; Ahmed Hammad; Hassan Mountassir (ICFEM, 2015)

A Model-Driven Approach to Adapt SysML Blocks. - Hamida Bouaziz; Samir Chouali; Ahmed Hammad; Hassan Mountassir (ICIST, 2016)

Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers. - Djamila Dahmani; Mohand Cherif Boukala; Hassan Mountassir; Samir Chouali (PNSE @ Petri Nets, 2017)

Distributed Collision-Free Data Aggregation Approach for Wireless Sensor Networks. - Mohammed Amine Merzoug; Ahmed Mostefaoui; Samir Chouali (DCOSS, 2017)

Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles. - Samir Chouali; Azzedine Boukerche; Ahmed Mostefaoui (MobiWac, 2017)

Ensuring the Reliability of an Autonomous Vehicle: A Formal Approach based on Component Interaction Protocols. - Samir Chouali; Azzedine Boukerche; Ahmed Mostefaoui (MSWiM, 2017)

Component Design and Adaptation Based on Behavioral Contracts. - Samir Chouali; Sebti Mouelhi; Hassan Mountassir (MEDI Workshops, 2018)

Compiling Protocols to Promela and Verifying their LTL Properties. - Benjamin Lion; Samir Chouali; Farhad Arbab (MoDELS (Workshops), 2018)

Fall Detection Application for the Elderly in the Family Heroes System. - Moustafa Fayad; Ahmed Mostefaoui; Samir Chouali; Salima Benbernou (MobiWac, 2019)

SysML model-driven approach to verify blocks compatibility. - Hamida Bouaziz; Samir Chouali; Ahmed Hammad; Hassan Mountassir (Int. J. Comput. Aided Eng. Technol., 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)

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)

Model-Oriented Methodology for Developing a Social Based Healthcare System. - Moustafa Fayad; Ahmed Mostefaoui; Samir Chouali; Salima Benbernou (Q2SWinet, 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)

Elderly Fall Detection: A Lightweight Kinect Based Deep Learning Approach. - Moustafa Fayad; Mohamed-Yacine Hachani; Ahmed Mostefaoui; Samir Chouali; Réda Yahiaoui (MobiWac, 2022)

Model Driven Approach to Design an Automotive CPS with SysReo Language. - Perla Tannoury; Samir Chouali; Ahmed Hammad (MobiWac, 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)

Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components. - Perla Tannoury; Samir Chouali; Ahmed Hammad (FACS, 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)

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., 2023)