Akram Seghiri

According to our database, Akram Seghiri authored at least 10 papers between 2018 and 2026.

Collaborative distances:

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

2026

A Formal Modeling Framework for Time-Aware Cyber-Physical Systems of Systems.

Riad Helal, Faiza Belala, Nabil Hameurlain, Akram Seghiri

Syst., 2026

2024

Towards Specification and Analysis of Dependable Cyber-Physical Systems.

Riad Helal, Kamel Boukhelfa, Akram Seghiri, Nabil Hameurlain, Faiza Belala

Proceedings of the Model and Data Engineering - 13th International Conference, 2024

Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements.

Riad Helal, Akram Seghiri, Faiza Belala, Nabil Hameurlain

Proceedings of the 13th International Conference on Software and Computer Applications, 2024

FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems.

Riad Helal, Akram Seghiri, Kamel Boukhelfa, Faiza Belala, Nabil Hameurlain

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

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

Towards Software Architectural Description for Systems of Systems: Case of a Maritime Transport SoS.

Akram Seghiri, Faiza Belala, A. Aymen Teniou

Proceedings of the 2018 International Conference on Internet and e-Business, 2018