Follow
Muhammad Naeem
Title
Cited by
Cited by
Year
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
Modelling and analysis of a sigfox based IoT network using uppaal SMC
M Naeem, M Albano, KG Larsen, B Nielsen, A Høedholt, CØ Laursen
IEEE Sensors Journal, 2023
52023
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
52021
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
Modeling and Analysis of Cooperative Packet Recovery Protocol
M Naeem, M Atif, A Ali, M Gulzar, IR Hasrat
IEEE Access, 2024
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
The system can't perform the operation now. Try again later.
Articles 1–9