Skip to content

Sohag Kabir

Lecturer in Computer Science

Faculty/Dept/School Department of Computer Science
(Faculty of Engineering and Informatics)
Telephone +441274 2322112


I am a Lecturer in the Department of Computer Science, University of Bradford. I am also an Associate Fellow of the HEA. I received my PhD in Computer Science and MSc in Embedded Systems from the University of Hull in 2016 and 2012, respectively. I obtained my BSc degree in Computer Science and Engineering from Bangladesh University of Professionals. Prior to joining the University of Bradford, I was a Research Associate in the Dependable Intelligent Systems (DEIS) Research Group at the University of Hull. In 2011, I worked as a Lecturer in the Department of Computer Science and Engineering at the Asian University of Bangladesh.

My research primarily focuses on safety, reliability, and security assurance and certification of cyber physical autonomous systems. I also have interests in model-based safety analysis, probabilistic risk assessment, dynamic reliability analysis, and stochastic modelling and analysis. I have published over 30 papers in these areas. I have contributed to EU projects on safety, including MAENAD and DEIS, working with Siemens, General Motors, Volvo, Continental, and DNV-GL, among others. In 2018, I received the research excellence award from the University of Hull. 

More information about my teaching and research activities can be found on my personal website @  


Model-based Software and System Engineering
Safety assurance of cyber physical system
Dependability analysis of autonomous systems 
System safety and security analysis
Probabilistic safety and reliability analysis
Bayesian networks
Fault diagnosis
Decision making under uncertainty
Internet of Things


Peer Reviewed Journal
TitleSafety + AI: A Novel Approach to Update Safety Models Using Artificial Intelligence (2019)
AuthorsYoucef Gheraibia; Sohag Kabir; Koorosh Aslansefat; Ioannis Sorokos; Yiannis Papadopoulos
JournalIeee Access
TitleAn enhanced secure delegation-based anonymous authentication protocol for PCSs (2019)
AuthorsGope P.;Ghayvat H.;Cheng Y.;Kabir S.
JournalInternational Journal of Communication Systems
TitleDynamic reliability assessment of flare systems by combining fault tree analysis and Bayesian networks (2019)
AuthorsKabir, Sohag; Taleb-Berrouane, M.; Papadopoulos, Y.
JournalEnergy Sources, Part A: Recovery, Utilization and Environmental Effects
TitlePerformance evaluation and design for variable threshold alarm systems through semi-Markov process. (2019)
AuthorsAslansefat K;Bahar Gogani M;Kabir S;Shoorehdeli MA;Yari M;
JournalISA Transactions
TitleOptimised cost considering Huffman code for biological data compression (2018)
AuthorsGheraibia Y.;Kabir S.;Moussaoui A.;Mazouzi S.
JournalInternational Journal of Information and Communication Technology
TitleFuzzy evidence theory and Bayesian networks for process systems risk analysis (2018)
AuthorsYazdi M.;Kabir S.
JournalHuman and Ecological Risk Assessment (HERA)
TitleModel-based assessment of energy-efficiency, dependability, and cost-effectiveness of waste heat recovery systems onboard ship (2018)
AuthorsLampe J.;Rüde E.;Papadopoulos Y.;Kabir S.
JournalOcean Engineering
TitleA review of applications of fuzzy sets to safety and reliability engineering (2018)
AuthorsKabir S.;Papadopoulos Y.
JournalInternational Journal of Approximate Reasoning
TitleDynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks (2018)
AuthorsKabir S.;Walker M.;Papadopoulos Y.
JournalSafety Science
TitleAn Overview of the Approaches for Automotive Safety Integrity Levels Allocation (2018)
AuthorsGheraibia Y.;Kabir S.;Djafri K.;Krimou H.
JournalJournal of Failure Analysis and Prevention
TitleUncertainty-Aware Dynamic Reliability Analysis Framework for Complex Systems (2018)
AuthorsKabir S.;Yazdi M.;Aizpurua J.;Papadopoulos Y.
JournalIeee Access
TitleA fuzzy Bayesian network approach for risk analysis in process industries (2017)
AuthorsYazdi M.;Kabir S.
JournalProcess Safety and Environmental Protection: Transactions of the Institution of Chemical Engineers, Part B
TitlePenguins search optimisation algorithm for association rules mining (2016)
AuthorsGheraibia Y.;Moussaoui A.;Djenouri Y.;Kabir S.;Yin P.
JournalJournal of Computing and Information Technology
TitleA synthesis of logic and bio-inspired techniques in the design of dependable systems (2016)
AuthorsPapadopoulos Y.;Walker M.;Parker D.;Sharvia S.;Bottaci L.;Kabir S.;Azevedo L.;Sorokos I.
JournalAnnual Reviews in Control
TitleFuzzy temporal fault tree analysis of dynamic systems (2016)
AuthorsKabir S.;Walker M.;Papadopoulos Y.;Rüde E.;Securius P.
JournalInternational Journal of Approximate Reasoning
Book Chapter
TitleModel-based dependability analysis: State-of-the-art, challenges, and future outlook. State-of-the-art, challenges, and future outlook. (2015)
AuthorsSharvia S.;Kabir S.;Walker M.;Papadopoulos Y.
JournalSoftware Quality Assurance: In Large Scale and Complex Software-intensive Systems
Other Publication
Other typeReviews
TitleUncertainty handling in fault tree based risk assessment: State of the art and future perspectives (2019)
AuthorsYazdi M.;Kabir S.;Walker M.
JournalProcess Safety and Environmental Protection: Transactions of the Institution of Chemical Engineers, Part B
Other typeReviews
TitleApplications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: A review (2019)
AuthorsKabir S.;Papadopoulos Y.
JournalSafety Science
Other typeReviews
TitleAn overview of fault tree analysis and its application in model based dependability analysis (2017)
AuthorsKabir S.
JournalExpert Systems with Applications
Title Author(s)
A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS (2019)Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia
A Runtime Safety Analysis Concept for Open Adaptive Systems (2019)Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler, Ran Wei
A model-based extension to HiP-HOPS for dynamic fault propagation studies (2017)Kabir S.;Papadopoulos Y.;Walker M.;Parker D.;Aizpurua J.;Lampe J.;Rüde E.
Switching optimisation in huffman code for power efficient data transmission (2017)Kabir S.;Gheraibia Y.;Azad T.
Switching optimisation in huffman code for power efficient data transmission (2017)Kabir S.;Gheraibia Y.;Azad T.
Reliability analysis of automated pond oxygen management system (2016)Kabir S.;Azad T.;Walker M.;Gheraibia Y.
Quantitative evaluation of Pandora temporal fault trees via Petri Nets (2015)Kabir S.;Walker M.;Papadopoulos Y.
Freeman chain code with digits of unequal cost (2014)Kabir S.;Azad T.;Alam A.
Quantification of temporal fault trees based on fuzzy set theory (2014)Kabir S.;Edifor E.;Walker M.;Gordon N.
Effects of unequal bit costs on classical Huffman codes (2003)Kabir S.;Azad T.;Alam A.;Kaykobad M.