Nissaf Fredj

An event-based approach for formally verifying runtime adaptive real-time systems

M. Abid, Nissaf Fredj, Yessine Hadj Kacem, 2020, The Journal of Supercomputing.

AI-based model driven approach for adaptive wireless sensor networks design

O. Kanoun, M. Abid, Sabrine Khriji, 2023, International Journal of Information Technology.

A review on intelligent IoT systems design methodologies

Olfa Kanoun, Mohamed Abid, Yessine Hadj Kacem, 2021, Measurement: Sensors.

Component Ensemble-based UML/MARTE Extensions for the Design of Dynamic Cyber-Physical Systems

Olfa Kanoun, Mohamed Abid, Yessine Hadj Kacem, 2021, ICSOFT.

An event-based approach for formally verifying runtime adaptive real-time systems

Nissaf Fredj, Yessine Hadj Kacem, Mohamed Abid, 2020, The Journal of Supercomputing.

A Model Driven-Based Approach for Managing Unanticipated Runtime Adaptation of RTE Systems

Mohamed Abid, Yessine Hadj Kacem, Nissaf Fredj, 2019, 2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT).