Mohamed Naija

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 10

Top Topics

Security Patterns

Triangular Fuzzy Numbers

Imprecise Information

Top Venues

ENASE (Selected Papers)

Publications

Rihab Khemiri, Mohamed Naija, Ernesto Exposito
Dispatching and rebalancing for ride-sharing autonomous mobility-on-demand systems based on a fuzzy multi-criteria approach. Soft Comput. 27 (4) (2023)
Mohamed Naija, Rihab Khemiri, Ernesto Exposito
Failsafe Mechanism to Hazard Analysis and Risk Mitigation in Unmanned Aerial Vehicle based on NCES. ICSOFT (2020)
Mohamed Naija, Rihab Khemiri, Ernesto Exposito
Combining Semi-formal and Formal Methods for Safety Control in Autonomous Mobility-on-Demand Systems. ENASE (2020)
Rihab Khemiri, Mohamed Naija, Ernesto Exposito
Shared Autonomous Mobility on Demand: A Fuzzy-Based Approach and Its Performance in the Presence of Uncertainty. ICSOFT (Selected Papers) (2020)
Ahmed Ben Mansour, Mohamed Naija, Samir Ben Ahmed
A MARTE-Based Design Pattern for Adaptive Real-Time Embedded Systems. ENASE (2019)
Ahmed Ben Mansour, Mohamed Naija, Samir Ben Ahmed
Safe Design Real-time Embedded Systems with Security Patterns. ENASE (2019)
Naima Armaoui, Mohamed Naija, Samir Ben Ahmed
On the Use of Models for Real-time Reconfigurations of Embedded Systems. ICSOFT (2018)
Mohamed Naija, Jean-Michel Bruel, Samir Ben Ahmed
Towards a MARTE Extension to Address Adaptation Mechanisms. HASE (2016)
Mohamed Naija, Samir Ben Ahmed
A New MARTE Extension to Address Adaptation Mechanisms in Scheduling View. ENASE (Selected Papers) (2016)
Mohamed Naija, Samir Ben Ahmed
Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling View. ENASE (2016)
Mohamed Naija, Samir Ben Ahmed, Jean-Michel Bruel
New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages. ICSOFT-EA (2015)