Engineering failure analysis and design optimisation with HiP-HOPS Y Papadopoulos, M Walker, D Parker, E Rüde, R Hamann, A Uhlig, ... Engineering Failure Analysis 18 (2), 590-608, 2011 | 201 | 2011 |
Uncertainty handling in fault tree based risk assessment: State of the art and future perspectives M Yazdi, S Kabir, M Walker Process Safety and Environmental Protection 131, 89-104, 2019 | 175 | 2019 |
Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook M Walker, Y Papadopoulos Control Engineering Practice 17 (10), 1115-1125, 2009 | 119 | 2009 |
Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks S Kabir, M Walker, Y Papadopoulos Safety Science 105, 55-70, 2018 | 111 | 2018 |
Fuzzy temporal fault tree analysis of dynamic systems S Kabir, M Walker, Y Papadopoulos, E Rüde, P Securius International Journal of Approximate Reasoning 77, 20-37, 2016 | 105 | 2016 |
Compositional temporal fault tree analysis M Walker, L Bottaci, Y Papadopoulos International Conference on Computer Safety, Reliability, and Security, 106-119, 2007 | 81 | 2007 |
Automatic optimisation of system architectures using EAST-ADL M Walker, MO Reiser, S Tucci-Piergiovanni, Y Papadopoulos, H Lönn, ... Journal of Systems and Software 86 (10), 2467-2487, 2013 | 73 | 2013 |
Automatic allocation of safety integrity levels Y Papadopoulos, M Walker, MO Reiser, M Weber, D Chen, M Törngren, ... Proceedings of the 1st workshop on critical automotive applications …, 2010 | 62 | 2010 |
Pandora: a logic for the qualitative analysis of temporal fault trees MD Walker The University of Hull, 2009 | 58 | 2009 |
Model-based dependability analysis: State-of-the-art, challenges, and future outlook S Sharvia, S Kabir, M Walker, Y Papadopoulos Software Quality Assurance, 251-278, 2016 | 57 | 2016 |
Assisted assignment of automotive safety requirements L da Silva Azevedo, D Parker, M Walker, Y Papadopoulos, RE Araújo IEEE software 31 (1), 62-68, 2013 | 47 | 2013 |
Assisted assignment of automotive safety requirements L da Silva Azevedo, D Parker, M Walker, Y Papadopoulos, RE Araújo IEEE software 31 (1), 62-68, 2013 | 47 | 2013 |
A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies S Kabir, Y Papadopoulos, M Walker, D Parker, JI Aizpurua, J Lampe, ... International Symposium on Model-Based Safety and Assessment, 163-178, 2017 | 40 | 2017 |
Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks S Kabir, M Walker, Y Papadopoulos International Symposium on Model-Based Safety and Assessmemt, 96-109, 2014 | 39 | 2014 |
Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets S Kabir, M Walker, Y Papadopoulos IFAC-PapersOnLine 48 (21), 458-463, 2015 | 38 | 2015 |
Systems Modeling with EAST-ADL for Fault Tree Analysis through HiP-HOPS DJ Chen, N Mahmud, M Walker, L Feng, H Lönn, Y Papadopoulos IFAC Proceedings Volumes 46 (22), 91-96, 2013 | 38 | 2013 |
Integrated safety and architecture modeling for automotive embedded systems* D Chen, R Johansson, H Lönn, H Blom, M Walker, Y Papadopoulos, ... e & i Elektrotechnik und Informationstechnik 128 (6), 196-202, 2011 | 35 | 2011 |
Integrated safety and architecture modeling for automotive embedded systems* D Chen, R Johansson, H Lönn, H Blom, M Walker, Y Papadopoulos, ... e & i Elektrotechnik und Informationstechnik 128 (6), 196-202, 2011 | 35 | 2011 |
A synthesis of logic and bio-inspired techniques in the design of dependable systems Y Papadopoulos, M Walker, D Parker, S Sharvia, L Bottaci, S Kabir, ... Annual Reviews in Control 41, 170-182, 2016 | 32 | 2016 |
A synthesis of logic and bio-inspired techniques in the design of dependable systems Y Papadopoulos, M Walker, D Parker, S Sharvia, L Bottaci, S Kabir, ... Annual Reviews in Control 41, 170-182, 2016 | 32 | 2016 |