New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages. - Mohamed Naija; Samir Ben Ahmed; Jean-Michel Bruel (ICSOFT-EA, 2015)

Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling View. - Mohamed Naija; Samir Ben Ahmed (ENASE, 2016)

A New MARTE Extension to Address Adaptation Mechanisms in Scheduling View. - Mohamed Naija; Samir Ben Ahmed (ENASE (Selected Papers), 2016)

Towards a MARTE Extension to Address Adaptation Mechanisms. - Mohamed Naija; Jean-Michel Bruel; Samir Ben Ahmed (HASE, 2016)

On the Use of Models for Real-time Reconfigurations of Embedded Systems. - Naima Armaoui; Mohamed Naija; Samir Ben Ahmed (ICSOFT, 2018)

A MARTE-Based Design Pattern for Adaptive Real-Time Embedded Systems. - Ahmed Ben Mansour; Mohamed Naija; Samir Ben Ahmed (ENASE, 2019)

Safe Design Real-time Embedded Systems with Security Patterns. - Ahmed Ben Mansour; Mohamed Naija; Samir Ben Ahmed (ENASE, 2019)

Combining Semi-formal and Formal Methods for Safety Control in Autonomous Mobility-on-Demand Systems. - Mohamed Naija; Rihab Khemiri; Ernesto Exposito (ENASE, 2020)

Shared Autonomous Mobility on Demand: A Fuzzy-Based Approach and Its Performance in the Presence of Uncertainty. - Rihab Khemiri; Mohamed Naija; Ernesto Exposito (ICSOFT (Selected Papers), 2020)

Failsafe Mechanism to Hazard Analysis and Risk Mitigation in Unmanned Aerial Vehicle based on NCES. - Mohamed Naija; Rihab Khemiri; Ernesto Exposito (ICSOFT, 2020)