Muhammad Usama Sardar
According to our database1, Muhammad Usama Sardar authored at least 12 papers between 2016 and 2021.
Legend:Book In proceedings Article PhD thesis Other
IEEE Access, 2021
Comparative Framework for the Analysis of Thermal and Resource Management Algorithms for Multi-Core Architectures.
Proceedings of the 21st International Symposium on Quality Electronic Design, 2020
Proceedings of the Formal Methods and Software Engineering, 2020
Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX.
Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020
Trade-off analysis of thermal-constrained scheduling strategies in multi-core systems.
Proceedings of the DEBS '20: The 14th ACM International Conference on Distributed and Event-based Systems, 2020
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems.
Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019
Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA).
J. Autom. Reason., 2018
Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes.
J. Parallel Distributed Comput., 2017
Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017
IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things.
IEEE Access, 2017
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016