Mohamed Naija

According to our database, Mohamed Naija authored at least 10 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Failsafe Mechanism to Hazard Analysis and Risk Mitigation in Unmanned Aerial Vehicle based on NCES.

Mohamed Naija, Rihab Khemiri, Ernesto Exposito

Proceedings of the 15th International Conference on Software Technologies, 2020

Shared Autonomous Mobility on Demand: A Fuzzy-Based Approach and Its Performance in the Presence of Uncertainty.

Rihab Khemiri, Mohamed Naija, Ernesto Exposito

Proceedings of the Software Technologies - 15th International Conference, 2020

Combining Semi-formal and Formal Methods for Safety Control in Autonomous Mobility-on-Demand Systems.

Mohamed Naija, Rihab Khemiri, Ernesto Exposito

Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020

2019

Safe Design Real-time Embedded Systems with Security Patterns.

Ahmed Ben Mansour, Mohamed Naija, Samir Ben Ahmed

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

A MARTE-Based Design Pattern for Adaptive Real-Time Embedded Systems.

Ahmed Ben Mansour, Mohamed Naija, Samir Ben Ahmed

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018

On the Use of Models for Real-time Reconfigurations of Embedded Systems.

Naima Armaoui, Mohamed Naija, Samir Ben Ahmed

Proceedings of the 13th International Conference on Software Technologies, 2018

2016

Towards a MARTE Extension to Address Adaptation Mechanisms.

Mohamed Naija, Jean-Michel Bruel, Samir Ben Ahmed

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

A New MARTE Extension to Address Adaptation Mechanisms in Scheduling View.

Mohamed Naija, Samir Ben Ahmed

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2016

Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling View.

Mohamed Naija, Samir Ben Ahmed

Proceedings of the ENASE 2016, 2016

2015

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

Proceedings of the ICSOFT-EA 2015, 2015