Akram Seghiri

Akram Seghiri

Université de Constantine 2 - Constantine / Algeria
Engineering & Technology / Computer Science
AD Scientific Index ID: 5036421
جامعة قسنطينة 2 عبد الحميد مهري
person_outline Akram Seghiri's MOST POPULAR ARTICLES
1-) A maude based specification for sos architecture A Seghiri, F Belala, Z Benzadri, N Hameurlain 2018 13th Annual Conference on System of Systems Engineering (SoSE), 45-52, 2018 62018
2-) A formal language for modelling and verifying systems-of-systems software architecturesA Seghiri, F Belala, N HameurlainInternational journal of systems and service-oriented engineering (IJSSOE …, 202242022
3-) Modeling the dynamic reconfiguration in smart crisis response systemsF Belala, N Hameurlain, A Seghiri17th International Conference on Evaluation of Novel Approaches to Software …, 202232022
4-) Towards software architectural description for systems of systems: Case of a maritime transport SoSA Seghiri, F Belala, AA TeniouProceedings of the 2018 1st International Conference on Internet and e …, 201822018
5-) Towards a Formal Modeling Approach for Cyber-Physical Systems RequirementsR Helal, A Seghiri, F Belala, N HameurlainProceedings of the 2024 13th International Conference on Software and …, 202412024