Charaf Eddine Dridi

According to our database, Charaf Eddine Dridi authored at least 11 papers between 2020 and 2025.

Collaborative distances:

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

2025

Modular soundness checking of feature model evolution plans.

Crystal Chang Din, Charaf Eddine Dridi, Ida Sandberg Motzfeldt, Violet Ka I Pun, Volker Stolz, Ingrid Chieh Yu

Theor. Comput. Sci., 2025

Resource Contracts for Active Objects.

Charaf Eddine Dridi, Violet Ka I Pun, Volker Stolz

Proceedings of the Formal Methods: Foundations and Applications - 28th Brazilian Symposium, 2025

Maude Strategies-Based SoSs Workflow Modeling.

Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala

Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, 2025

2024

Formal Modeling and Analysis of Time-Resource Aware Systems-of-Systems. (Modélisation formelle et analyse des systèmes de systèmes intégrant le temps et les ressources).

Charaf Eddine Dridi

PhD thesis, 2024

2023

A Unified Architecture Framework Supporting SoS's Development: Case of the Aircraft Emergency Response System-of-Systems.

Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala

Int. J. Organ. Collect. Intell., 2023

A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems.

Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala

Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023

2022

A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation.

Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2022

Towards a Multi-Viewpoints Approach for the SoS Engineering.

Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala

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

2020

Automatic Correction of Free Format MCQ Tests.

Muaaz Habeek, Charaf Eddine Dridi, Mohamed Badeche

Int. J. Softw. Innov., 2020

System of Systems Engineering: Meta-Modelling Perspective.

Charaf Eddine Dridi, Zakaria Benzadri, Faiza Belala

Proceedings of the 15th IEEE International Conference of System of Systems Engineering, 2020

System of Systems Modelling: Recent work Review and a Path Forward.

Charaf Eddine Dridi, Zakaria Benzadri, Faïza Belala

Proceedings of the 4th International Conference on Advanced Aspects of Software Engineering, 2020