Abdelhay Haqiq

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 2

Top Topics

Temporal Constraints

Workflow Specification

Multiagent Systems

Top Venues

Publications

Abdelhay Haqiq, Bouchaib Bounabat
Using BECAMEDA method to specify and verify a smart home system. ICSDE (2017)
Abdelhay Haqiq, Bouchaib Bounabat
BECAMEDA: A Customizable Method to Specify and Verify the Behavior of Multi-agent Systems. SCA (2017)
Abdelhay Haqiq, Bouchaib Bounabat
Towards an approach for behavioral specification of reactive multi-agent system. ICTA (2015)
Abdelhay Haqiq, Bouchaib Bounabat
An extended approach for the behavioral and temporal constraints specification of reactive agent. ISDA (2015)
Abdelhay Haqiq, Bouchaib Bounabat
Verification of multi decisional reactive agent using SMV model checker. IDT (2013)