Verification of multi decisional reactive agent using SMV model checker. - Abdelhay Haqiq; Bouchaib Bounabat (IDT, 2013)

Towards an approach for behavioral specification of reactive multi-agent system. - Abdelhay Haqiq; Bouchaib Bounabat (ICTA, 2015)

An extended approach for the behavioral and temporal constraints specification of reactive agent. - Abdelhay Haqiq; Bouchaib Bounabat (ISDA, 2015)

Using BECAMEDA method to specify and verify a smart home system. - Abdelhay Haqiq; Bouchaib Bounabat (ICSDE, 2017)

BECAMEDA: A Customizable Method to Specify and Verify the Behavior of Multi-agent Systems. - Abdelhay Haqiq; Bouchaib Bounabat (SCA, 2017)

The convergence of Virtual Reality and Personalized medicine. - Ahlam Belmaqrout; Btihal El Ghali; Najima Daoudi; Abdelhay Haqiq (SITA, 2023)

The Analysis of Apple Orchard from Three-dimensional Point Cloud Data for Precision Agriculture. - Nasreddine Haqiq; Mounia Zaim; Abdelhay Haqiq; Mohamed Sbihi; Mustapha El Alaoui; Lhoussaine Masmoudi (FiCloud, 2024)

Advanced Anomaly Detection in Mobile Networks: A Hybrid Approach Based on Statistical and Machine Learning Techniques. - Meriem Nabil; Meriem Hnida; Abdelhay Haqiq; Imane Hilal (Int. J. Interact. Mob. Technol., 2025)