Verification of multi decisional reactive agent using SMV model checker A Haqiq, B Bounabat 2013 8th IEEE Design and Test Symposium, 1-6, 2013 | 5 | 2013 |
UML profile for modeling multi decisional reactive agent system A Haqiq, B Bounabat Lecture Notes on Software Engineering 1 (3), 224, 2013 | 4 | 2013 |
Chatbots technology and its challenges: An overview H Zerouani, A Haqiq, B Bounabat International Conference on Advanced Intelligent Systems for Sustainable …, 2022 | 3 | 2022 |
Towards integration of fault tolerance in agent-based systems A Haqiq, B Bounabat Procedia Computer Science 127, 264-273, 2018 | 3 | 2018 |
An extended approach for the behavioral and temporal constraints specification of reactive agent A Haqiq, B Bounabat 2015 15th International Conference on Intelligent Systems Design and …, 2015 | 3 | 2015 |
Using BECAMEDA method to specify and verify a smart home system A Haqiq, B Bounabat Proceedings of the 2017 International Conference on Smart Digital …, 2017 | 2 | 2017 |
Chatbots Evolution in Healthcare: A Systematic Literature Review. H Zerouani, A Haqiq, B Bounabat Engineering Letters 32 (4), 2024 | 1 | 2024 |
The convergence of Virtual Reality and Personalized medicine A Belmaqrout, B El Ghali, N Daoudi, A Haqiq 2023 14th International Conference on Intelligent Systems: Theories and …, 2023 | 1 | 2023 |
The Analysis of Apple Orchard from Three-dimensional Point Cloud Data for Precision Agriculture N Haqiq, M Zaim, A Haqiq, M Sbihi, M El Alaoui, L Masmoudi 2024 11th International Conference on Future Internet of Things and Cloud …, 2024 | | 2024 |
Detection of mobile traffic attacks using machine learning techniques M NABIL, I HILAL, N DAOUDI, M HNIDA, A HAQIQ SHARE YOUR WORK PROCEEDINGS, 29, 2023 | | 2023 |
BECAMEDA: A Customizable Method to Specify and Verify the Behavior of Multi-agent Systems A Haqiq, B Bounabat Innovations in Smart Cities and Applications: Proceedings of the 2nd …, 2018 | | 2018 |
Towards an approach for behavioral specification of reactive multi-agent system A Haqiq 2015 5th International Conference on Information & Communication Technology …, 2015 | | 2015 |
HMM: HIPAA Modeling Method for Modeling Security in e-Health A Haqiq, B Bounabat International Journal of Computer and Electrical Engineering 5 (6), 591, 2013 | | 2013 |
Chatbots Evolution in Healthcare: A Systematic H Zerouani, A Haqiq, B Bounabat | | |