| 2023 | CoDIT | An Optimal Method for Testing Jobs' Execution in MapReduce Based Systems. | Oussama Maakoul, Salma Azzouzi, Moulay El Hassan Charaf |
| 2022 | CoDIT | An Optimal Approach for Testing Control in The Distributed Cloud. | Fatima-Zahra Moutai, Mohammed Amine Tajioue, Salma Azzouzi, My El Hassan Charaf |
| 2020 | CoDIT | Testing Access Control List Policies in a Hadoop Environment. | Oussama Maakoul, Mohammed Amine Tajioue, Sara Hsaini, Salma Azzouzi, My El Hassan Charaf |
| 2020 | CoDIT | Towards Overcoming Issues of Testing Probabilistic Distributed systems. | Mohammed Amine Tajioue, Oussama Maakoul, Sara Hsaini, Salma Azzouzi, My El Hassan Charaf |
| 2019 | CoDIT | FSM Modeling of Testing Security Policies for MapReduce Frameworks. | Sara Hsaini, Salma Azzouzi, My El Hassan Charaf |
| 2019 | MEDI | A Temporal Approach for Testing Distributed Systems-A MapReduce Case Study. | Sara Hsaini, Salma Azzouzi, My El Hassan Charaf |
| 2017 | CoDIT | A colored Petri-net model for control execution of distributed systems. | My El Hassan Charaf, Salma Azzouzi |