Akram Seghiri

According to our database, Akram Seghiri authored at least 5 papers between 2018 and 2022.

Collaborative distances:

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

2022

ArchSoS: un langage de description d'architectures avancées des systèmes de systèmes. (ArchSoS: A description language of advanced systems of systems architectures).

Akram Seghiri

PhD thesis, 2022

A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures.

Akram Seghiri, Faiza Belala, Nabil Hameurlain

Int. J. Syst. Serv. Oriented Eng., 2022

An Integrated Approach to Formal Analyze Cyber Physical Systems.

Riad Helal, Akram Seghiri, Faiza Belala

Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2022) Laboratoire Mixte d'Excellence Scientifique Tuniso-Algérien, 2022

Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems.

Akram Seghiri, Faiza Belala, Nabil Hameurlain

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

2018

A Maude based Specification for SoS Architecture.

Akram Seghiri, Faïza Belala, Zakaria Benzadri, Nabil Hameurlain

Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018