Ahmed Kheldoun

According to our database, Ahmed Kheldoun authored at least 8 papers between 2014 and 2022.

Collaborative distances:

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

2022

A Model Driven Approach for Web Service Composition.

El Bahi Toubal, Abdelkader Belkhir, Ahmed Kheldoun, Messaoud Rahim

Proceedings of the International Conference on Advanced Aspects of Software Engineering, 2022

2017

Formal verification of complex business processes based on high-level Petri nets.

Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen

Inf. Sci., 2017

2016

Modelling and analyzing home care plans using high-level Petri nets.

Kamel Barkaoui, Awatef Hicheur, Ahmed Kheldoun, Ding Liu

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

2015

Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams.

Messaoud Rahim, Ahmed Kheldoun, Malika Boukala-Ioualalen, Ahmed Hammad

IET Softw., 2015

A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems.

Ahmed Kheldoun, Kamel Barkaoui, Jiafeng Zhang, Malika Ioualalen

Proceedings of the Computer Science and Its Applications, 2015

Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach.

Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen

Proceedings of the Business Process Management - 13th International Conference, 2015

2014

Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions.

Ahmed Kheldoun, Malika Ioualalen

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems.

Ahmed Kheldoun, Jiafeng Zhang, Kamel Barkaoui, Malika Ioualalen

Proceedings of the ADECS 2014, 2014