Abdelhay Haqiq

According to our database, Abdelhay Haqiq authored at least 5 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

BECAMEDA: A Customizable Method to Specify and Verify the Behavior of Multi-agent Systems.

Abdelhay Haqiq, Bouchaib Bounabat

Proceedings of the Innovations in Smart Cities and Applications, 2017

Using BECAMEDA method to specify and verify a smart home system.

Abdelhay Haqiq, Bouchaib Bounabat

Proceedings of the 2017 International Conference on Smart Digital Environment, 2017

2015

An extended approach for the behavioral and temporal constraints specification of reactive agent.

Abdelhay Haqiq, Bouchaib Bounabat

Proceedings of the 15th International Conference on Intelligent Systems Design and Applications, 2015

Towards an approach for behavioral specification of reactive multi-agent system.

Abdelhay Haqiq, Bouchaib Bounabat

Proceedings of the 5th International Conference on Information & Communication Technology and Accessibility, 2015

2013

Verification of multi decisional reactive agent using SMV model checker.

Abdelhay Haqiq, Bouchaib Bounabat

Proceedings of the 8th International Design and Test Symposium, 2013