1. Event-b based approach for verifying cloud resource allocation in business process;Boubaker,2015
2. Enhancing formal specification and verification of temporal constraints in business processes;Cheikhrouhou,2014
3. Toward a verification of time-centric business process models;Cheikhrouhou,2014
4. Towards resource-aware business process development in the cloud;Hachicha,2015
5. Formal verification of time-aware cloud resource allocation in business process;Ben Halima,2016