Muhammad Usama Sardar

According to our database1, Muhammad Usama Sardar authored at least 12 papers between 2016 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
A sketch is worth a thousand navigational instructions.
Auton. Robots, 2021

Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification.
IEEE Access, 2021

2020
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

Formal Foundations for Intel SGX Data Center Attestation Primitives.
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

2019
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems.
Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019

2018
Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA).
J. Autom. Reason., 2018

2017
Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes.
J. Parallel Distributed Comput., 2017

Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems.
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

2016
Probabilistic Formal Verification of the SATS Concept of Operation.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016


  Loading...