Charaf Eddine Dridi
Orcid: 0000-0001-5724-8187
According to our database1,
Charaf Eddine Dridi
authored at least 8 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
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).
PhD thesis, 2024
2023
A Unified Architecture Framework Supporting SoS's Development: Case of the Aircraft Emergency Response System-of-Systems.
Int. J. Organ. Collect. Intell., 2023
A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems.
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.
Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2022
Proceedings of the International Conference on Advanced Aspects of Software Engineering, 2022
2020
Proceedings of the 15th IEEE International Conference of System of Systems Engineering, 2020
Proceedings of the 4th International Conference on Advanced Aspects of Software Engineering, 2020