Get started
Author

Akram Seghiri

Observed name: A. Seghiri
ORCID: 0000-0002-1760-1932
Observed ORCID: 0000-0002-1760-1932
OpenAlex ID: A5060087942
A Maude based Specification for SoS Architecture
2018 · A. Seghiri, F. Belala, et al. · International Conference on System of Systems Engineering · 6
A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures
2022 · Akram Seghiri, Faiza Belala, et al. · International Journal of Systems and Service-Oriented Engineering · 4
PDF
Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems
2022 · Akram Seghiri, Faiza Belala, et al. · International Conference on Evaluation of Novel Approaches to Software Engineering · 3
A Formal Modeling Framework for Time-Aware Cyber–Physical Systems of Systems
2026 · Riad Helal, Faiza Belala, et al. · Systems · 1
Towards Specification and Analysis of Dependable Cyber-Physical Systems
2025 · Riad Helal, Kamel Boukhelfa, et al. · Lecture notes in computer science · 1
PDF
FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems
2024 · Riad Helal, Akram Seghiri, et al. · International Conference on Advanced Aspects of Software Engineering (ICAASE) · 1
PDF
Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements
2024 · Riad Helal, Akram Seghiri, et al. · International Conference on Software and Computer Applications (ICSCA) · 1
PDF
Towards Software Architectural Description for Systems of Systems: Case of a Maritime Transport SoS
2018 · Akram Seghiri, Faiza Belala, et al. · International Conference on Internet and E-Business (ICIEB) · 1
ArchSoS : un langage de description d'architectures avancées des systèmes de systèmes
2022 · Akram Seghiri · theses.fr (ABES)
PDF
Works count: 9
Citation count: 18
H-index: 3
I10-index:
Year
Topic
Type