팔로우
Abdelhay HAQIQ
Abdelhay HAQIQ
ITQAN Team, LyRICA Laboratory, ESI, Rabat, Morocco
esi.ac.ma의 이메일 확인됨
제목
인용
인용
연도
Verification of multi decisional reactive agent using SMV model checker
A Haqiq, B Bounabat
2013 8th IEEE Design and Test Symposium, 1-6, 2013
52013
UML profile for modeling multi decisional reactive agent system
A Haqiq, B Bounabat
Lecture Notes on Software Engineering 1 (3), 224, 2013
42013
Chatbots technology and its challenges: An overview
H Zerouani, A Haqiq, B Bounabat
International Conference on Advanced Intelligent Systems for Sustainable …, 2022
32022
Towards integration of fault tolerance in agent-based systems
A Haqiq, B Bounabat
Procedia Computer Science 127, 264-273, 2018
32018
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
32015
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
22017
Chatbots Evolution in Healthcare: A Systematic Literature Review.
H Zerouani, A Haqiq, B Bounabat
Engineering Letters 32 (4), 2024
12024
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
12023
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–14