cs-conference-ranking.org Search 971 venues

Mohamed Naija

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

2

Active years

2015–2020

Best venue rank

B

Where they publish

Papers

9 indexed papers, newest first.

Year	Venue	Title	Authors
2020	ENASE	Combining Semi-formal and Formal Methods for Safety Control in Autonomous Mobility-on-Demand Systems.	Mohamed Naija, Rihab Khemiri, Ernesto Exposito
2020	ICSoft	Shared Autonomous Mobility on Demand: A Fuzzy-Based Approach and Its Performance in the Presence of Uncertainty.	Rihab Khemiri, Mohamed Naija, Ernesto Exposito
2020	ICSoft	Failsafe Mechanism to Hazard Analysis and Risk Mitigation in Unmanned Aerial Vehicle based on NCES.	Mohamed Naija, Rihab Khemiri, Ernesto Exposito
2019	ENASE	A MARTE-Based Design Pattern for Adaptive Real-Time Embedded Systems.	Ahmed Ben Mansour, Mohamed Naija, Samir Ben Ahmed
2019	ENASE	Safe Design Real-time Embedded Systems with Security Patterns.	Ahmed Ben Mansour, Mohamed Naija, Samir Ben Ahmed
2018	ICSoft	On the Use of Models for Real-time Reconfigurations of Embedded Systems.	Naima Armaoui, Mohamed Naija, Samir Ben Ahmed
2016	ENASE	Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling View.	Mohamed Naija, Samir Ben Ahmed
2016	ENASE	A New MARTE Extension to Address Adaptation Mechanisms in Scheduling View.	Mohamed Naija, Samir Ben Ahmed
2015	ICSoft	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