Martin Walker
Martin Walker
Dymodian Systems
Zweryfikowany adres z dymodiansystems.com - Strona główna
TytułCytowane przezRok
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
1392011
Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook
M Walker, Y Papadopoulos
Control Engineering Practice 17 (10), 1115-1125, 2009
882009
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
592013
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
572010
Compositional temporal fault tree analysis
M Walker, L Bottaci, Y Papadopoulos
International Conference on Computer Safety, Reliability, and Security, 106-119, 2007
512007
Assisted assignment of automotive safety requirements
L da Silva Azevedo, D Parker, M Walker, Y Papadopoulos, RE Araujo
IEEE software 31 (1), 62-68, 2013
402013
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
382016
Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm
D Parker, M Walker, LS Azevedo, Y Papadopoulos, RE Araújo
Recent Trends in Applied Artificial Intelligence, 449-459, 2013
292013
Pandora: a logic for the qualitative analysis of temporal fault trees
MD Walker
The University of Hull, 2009
292009
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
262011
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
262011
Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search
LS Azevedo, D Parker, M Walker, Y Papadopoulos, RE Araujo
SAFECOMP 2013-Workshop CARS (2nd Workshop on Critical Automotive …, 2013
252013
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
232018
A translation of state machines to temporal fault trees
N Mahmud, Y Papadopoulos, M Walker
2010 International Conference on Dependable Systems and Networks Workshops …, 2010
232010
Pandora: The time of priority-AND gates
M Walker, Y Papadopoulos
IFAC Proceedings Volumes 39 (3), 237-242, 2006
232006
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
222014
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
222013
Compositional synthesis of temporal fault trees from state machines
N Mahmud, M Walker, Y Papadopoulos
ACM SIGMETRICS Performance Evaluation Review 39 (4), 79-88, 2012
212012
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
202016
Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets
S Kabir, M Walker, Y Papadopoulos
IFAC-PapersOnLine 48 (21), 458-463, 2015
202015
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20