Energy-Efficient Cyber-Physical Systems: A Model-Based Approach

Research output: PhD thesis

146 Downloads (Pure)

Original language	English
Supervisors	Larsen, Kim Guldstrand, Principal supervisor Nielsen, Brian, Co-supervisor Albano, Michele, Co-supervisor
Publisher	Aalborg University Open Publishing
Electronic ISBNs	978-87-94563-00-0
DOIs	https://doi.org/10.54337/aau695547563
Publication status	Published - 2024

Access to Document

Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink
Naeem, M., Albano, M., Larsen, K. G. & Nielsen, B., 2024, Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Proceedings. Kofroň, J., Margaria, T. & Seceleanu, C. (eds.). Springer Science+Business Media, p. 153-169 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14390 LNCS).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Citation (Scopus)
Modelling and Analysis of a Sigfox based IoT Network using UPPAAL SMC
Naeem, M., Albano, M., Larsen, K. G., Nielsen, B., Høedholt, A. & Laursen, C. Ø., 15 May 2023, In: IEEE Sensors Journal. 23, 10, p. 10577-10587 11 p.
Research output: Contribution to journal › Journal article › Research › peer-review
6 Citations (Scopus)
A Sigfox Module for the Network Simulator 3
Naeem, M., Albano, M., Magrin, D., Nielsen, B. & Larsen, K. G., 22 Jun 2022, Proceedings of the 2022 Workshop on ns-3. Association for Computing Machinery (ACM), p. 81-88 8 p. (ACM International Conference Proceeding Series).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
2 Citations (Scopus)