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 | 6 | 2023 |
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 | 6 | 2022 |
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 | 6 | 2021 |
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 | 1 | 2016 |
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 |