Battery Aware Analysis of Sensor Networks in Uppaal SMC. - Muhammad Naeem 011; Michele Albano; Kim G. Larsen; Brian Nielsen; Anders Høedholt; Christian Ø. Laursen (MECO, 2021)

A Sigfox Module for the Network Simulator 3. - Muhammad Naeem 011; Michele Albano; Davide Magrin; Brian Nielsen; Kim Guldstrand Larsen (WNS3, 2022)

Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. - Muhammad Naeem 011; Michele Albano; Kim Guldstrand Larsen; Brian Nielsen (ECBS, 2023)

Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego. - Muhammad Naeem 011; Rong Gu; Cristina Seceleanu; Kim Guldstrand Larsen; Brian Nielsen; Michele Albano (TASE, 2024)

Modeling and Analysis of Cooperative Packet Recovery Protocol. - Muhammad Naeem 011; Muhammad Atif; Arshad Ali 002; Maryam Gulzar; Imran Riaz Hasrat (IEEE Access, 2024)