Samir Chouali

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