| 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 | 9 | 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 |
| 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 | 4 | 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 | 2 | 2023 |
| 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 |
| A Service-Oriented Digital Twin Framework for Dynamic and Robust Distributed Systems R Gu, T Seceleanu, N Xiong, M Naeem 2024 IEEE International Conference on Software Services Engineering (SSE), 66-73, 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 |
| Battery Lifetime Estimation And Optimization For An Urban Water System Wireless Sensor Network 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 |
Michele AlbanoAssociate Professor at Aalborg UniversityEmail verificata su cs.aau.dk