Search - Université de Pau et des Pays de l'Adour Access content directly

Filter your results

4 Results
Author: personID (integer) : 1082987
Image document

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

Akram Seghiri , Faiza Belala , Nabil Hameurlain
International journal of systems and service-oriented engineering (IJSSOE), 2022, 12 (1), pp.1-17. ⟨10.4018/IJSSOE.297137⟩
Journal articles hal-03658631v1

Towards Software Architectural Description for Systems of Systems

Faiza Belala , A. Aymen Teniou , Akram Seghiri
the 2018 International Conference, Apr 2018, Singapore, Singapore. pp.183-187, ⟨10.1145/3230348.3230367⟩
Conference papers hal-03658626v1

A Maude based Specification for SoS Architecture

Akram Seghiri , F. Belala , Z. Benzadri , Nabil Hameurlain
2018 13th Annual Conference on System of Systems Engineering (SoSE), Jun 2018, Paris, France. pp.45-52, ⟨10.1109/SYSOSE.2018.8428738⟩
Conference papers hal-03025335v1
Image document

Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems

Faiza Belala , Nabil Hameurlain , Akram Seghiri
17th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2022, Online Streaming, Portugal. pp.162-173, ⟨10.5220/0011069300003176⟩
Conference papers hal-03658634v1