Muhammad Usama Sardar
Cited by
Cited by
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
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
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
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems
MU Sardar, O Hasan
arXiv preprint arXiv:1703.06578, 2017
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
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
Formal Foundations for Intel SGX Data Center Attestation Primitives
MU Sardar, R Faqeh, C Fetzer
International Conference on Formal Engineering Methods (ICFEM), 2021
Doctoral Symposium: Trade-off analysis of thermal-constrained scheduling strategies in multi-core systems
MU Sardar
Proceedings of the 14th ACM International Conference on Distributed and …, 2020
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
PhD Symposium: Formal Foundations for Intel SGX Data Center Attestation Primitives
MU Sardar, C Fetzer
International Conference on Service Oriented Computing (ICSOC 2020), 2020
Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX
MU Sardar, DL Quoc, C Fetzer
Euromicro Conference on Digital System Design, 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
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
The system can't perform the operation now. Try again later.
Articles 1–13