Akram Seghiri

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 5

Top Topics

Software Architecture

Formal Language

Top Venues

Int. J. Syst. Serv. Oriented Eng.

Publications

Riad Helal, Akram Seghiri, Faiza Belala, Nabil Hameurlain
Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements. ICSCA (2024)
Akram Seghiri, Faiza Belala, Nabil Hameurlain
A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures. Int. J. Syst. Serv. Oriented Eng. 12 (1) (2022)
Akram Seghiri, Faiza Belala, Nabil Hameurlain
Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems. ENASE (2022)
Riad Helal, Akram Seghiri, Faiza Belala
An Integrated Approach to Formal Analyze Cyber Physical Systems. TACC (2022)
Akram Seghiri, Faïza Belala, Zakaria Benzadri, Nabil Hameurlain
A Maude based Specification for SoS Architecture. SoSE (2018)