关注
Muhammad Naeem
Muhammad Naeem
在 cs.aau.dk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Modelling and analysis of a sigfox-based iot network using uppaalsmc
M Naeem, M Albano, KG Larsen, B Nielsen, A Høedholt, CØ Laursen
IEEE Sensors Journal 23 (10), 10577-10587, 2023
62023
A sigfox module for the network simulator 3
M Naeem, M Albano, D Magrin, B Nielsen, K Guldstrand
Proceedings of the 2022 Workshop on ns-3, 81-88, 2022
62022
Battery aware analysis of sensor networks in uppaal SMC
M Naeem, M Albano, KG Larsen, B Nielsen, A Høedholt, CØ Laursen
2021 10th Mediterranean Conference on Embedded Computing (MECO), 1-6, 2021
62021
Comparative assessment of performance for home energy management controller in smart grid
MH Rahim, N Javaid, MB Janjua, M Naeem, ZA Khan, U Qasim
2016 International Conference on Intelligent Networking and Collaborative …, 2016
12016
Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal  Stratego
M Naeem, R Gu, C Seceleanu, K Guldstrand Larsen, B Nielsen, M Albano
International Symposium on Theoretical Aspects of Software Engineering, 356-373, 2024
2024
Modeling and Analysis of Cooperative Packet Recovery Protocol
M Naeem, M Atif, A Ali, M Gulzar, IR Hasrat
IEEE Access, 2024
2024
Energy-Efficient Cyber-Physical Systems: A Model-Based Approach
M Naeem
2024
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink
M Naeem, M Albano, KG Larsen, B Nielsen
8th International Conference on Engineering of Computer-based Systems (ECBS …, 2023
2023
Battery Lifetime Estimation And Optimization For a WSN
B Nielsen, M Albano, M Naeem, T Pedersen, A Hødholdt, CØ Laursen
2021
Formal Analysis and Verification of Packet Recovery Protocols for Multicast Video
M Atif, N Mushtaq, MS Mahmood, M Naeem, A Riaz
IJCSNS 18 (3), 110, 2018
2018
Formal Specification and Analysis of Termination Detection by Weight-throwing Protocol
IR Hasrat, M Atif, M Naeem
International Journal of Advanced Computer Science and Applications 9 (4), 2018
2018
系统目前无法执行此操作,请稍后再试。
文章 1–11