Muhammad Usama Sardar
Title
Cited by
Cited by
Year
IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things
M Mohsin, MU Sardar, O Hasan, Z Anwar
IEEE Access 5, 5494-5505, 2017
312017
Statistical model checking of relief supply location and distribution in natural disaster management
S Iqbal, MU Sardar, FK Lodhi, O Hasan
International journal of disaster risk reduction 31, 1043-1053, 2018
102018
Theorem Proving Based Formal Verification of Distributed Dynamic Thermal Management Schemes
MU Sardar, O Hasan, M Shafique, J Henkel
Journal of Parallel and Distributed Computing 100, 157-171, 2017
82017
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems
MU Sardar, O Hasan
arXiv preprint arXiv:1703.06578, 2017
72017
Probabilistic Formal Verification of the SATS Concept of Operation
MU Sardar, N Afaq, KA Hoque, TT Johnson, O Hasan
NASA Formal Methods Symposium, 191-205, 2016
62016
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems
MU Sardar, C Dubslaff, S Klüppelholz, C Baier, A Kumar
European Workshop on Performance Engineering, 133-147, 2019
22019
Comparative Framework for the Analysis of Thermal and Resource Management Algorithms for Multi-Core Architectures
M Akmal, MS Saeed, MU Sardar, H Shafi, O Hasan, H Khdr, J Henkel
2020 21st International Symposium on Quality Electronic Design (ISQED), 421-425, 2020
2020
Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA)
MU Sardar, N Afaq, O Hasan, KA Hoque
Journal of Automated Reasoning 60 (1), 85-105, 2018
2018
Formal verification of demand response based home energy management systems in smart grids
AY Salik, MU Sardar, O Hasan, SR Hasan, F Awwad
2017 IEEE Innovative Smart Grid Technologies-Asia (ISGT-Asia), 1-6, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–9