Research Activities

• PhD thesis
Title: Formal verification of distributed algorithms in dynamic networks
• Master's thesis
Title: A semantic description framework for the discovery of linguistic web services.
• Reviewing Activities
I am a reviewer of the following conferences and journal :
• Software X journal 2020
• ICWMC 2020: The 16th International Conference on Wireless and Mobile Communications
• PESARO 2020: The 10th International Conference on Performance, Safety and Robustness in Complex Systems and Applications
• SOFTENG 2020: The 6th International Conference on Advances and Trends in Software Engineering
• PESARO 2019: The 9th International Conference on Performance, Safety and Robustness in Complex Systems and Applications
• SOFTENG 2019: The 5th International Conference on Advances and Trends in Software Engineering
• PESARO 2018: The 8th International Conference on Performance, Safety and Robustness in Complex Systems and Applications
• SOFTENG 2018: The 4th International Conference on Advances and Trends in Software Engineering
• SETIT 2018: The 8th International Conference on Sciences of Electronics, Technologies of Informationand Telecommunications
• PESARO 2017: The 7th International Conference on Performance, Safety and Robustness in Complex Systems and Applications
• Organization of Scientific Manifestations
I participate in the organisation of :
• The weekly seminars of ReDCAD Laboratory, 2019, Sfax, Tunisia.
• ICSOC 2019: The 17th International Conference on Service-Oriented Computing, Toulouse, France.
• ASOCA 2019: The 4th Workshop on Adaptive Service-Orientedand Cloud Applications, Toulouse, France.
• METHODICA 2018: The 15th Workshop on Methods for the AdaptiveDistributed Software, Sousse, Tunisia.