Waqar Ahmad

Employment

Employment history is unavailable.

Education

• National University of Science and Technology PhD
  2012 - Present

Projects & Funding

Projects & funding information is unavailable.

Publications (4)

• Towards the formal performance analysis of multistate coherent systems using HOL theorem proving
  Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability 2023 DOI: 10.1177/1748006X221074441
  +Save
• Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving
  IEEE Systems Journal 2020 DOI: 10.1109/JSYST.2020.2970107
  +Save
• Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation
  Formal Aspects of Computing 2020 DOI: 10.1007/s00165-019-00503-1
  +Save
• Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking
  2018 DOI: 10.1007/978-3-319-77935-5_10
  +Save