Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Waqar Ahmed
Researcher
PaperTowards the Formal Reliability Analysis of Oil and Gas PipelinesAuthorship / preprint / 2014PaperTowards Formal Fault Tree Analysis using Theorem ProvingAuthorship / preprint / 2015PaperFormal Dependability Modeling and Analysis: A SurveyAuthorship / preprint / 2016PaperFormal Availability Analysis using Theorem ProvingAuthorship / preprint / 2016PaperFormalization of Fault Trees in Higher-order Logic: A Deep Embedding ApproachAuthorship / preprint / 2016PaperReliability Modeling and Analysis of Communication NetworksAuthorship / preprint / 2016PaperUsing Bayesian Modelling to Predict Software IncidentsAuthorship / preprint / 2021