Yiannis Papadopoulos
Yiannis Papadopoulos
Professor of Computer Science, University of Hull
Zweryfikowany adres z hull.ac.uk
TytułCytowane przezRok
Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure
Y Papadopoulos, J McDermid, R Sasse, G Heiner
Reliability Engineering & System Safety 71 (3), 229-247, 2001
2462001
Hierarchically performed hazard origin and propagation studies
Y Papadopoulos, JA McDermid
International Conference on Computer Safety, Reliability, and Security, 139-152, 1999
2231999
Model-based synthesis of fault trees from matlab-simulink models
Y Papadopoulos, M Maruhn
2001 International Conference on Dependable Systems and Networks, 77-82, 2001
1492001
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
Model-driven safety evaluation with state-event-based component failure annotations
L Grunske, B Kaiser, Y Papadopoulos
International Symposium on Component-Based Software Engineering, 33-48, 2005
882005
Automating the failure modes and effects analysis of safety critical systems
Y Papadopoulos, D Parker, C Grante
Eighth IEEE International Symposium on High Assurance Systems Engineering …, 2004
862004
Evolving car designs using model-based automated safety analysis and optimisation techniques
Y Papadopoulos, C Grante
Journal of Systems and Software 76 (1), 77-89, 2005
822005
Model-based system monitoring and diagnosis of failures using statecharts and fault trees
Y Papadopoulos
Reliability Engineering & System Safety 81 (3), 325-341, 2003
812003
11 the east-adl architecture description language for automotive embedded software
P Cuenot, P Frey, R Johansson, H Lönn, Y Papadopoulos, MO Reiser, ...
Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems …, 2007
792007
Modelling support for design of safety-critical automotive embedded systems
DJ Chen, R Johansson, H Lönn, Y Papadopoulos, A Sandberg, F Törner, ...
International Conference on Computer Safety, Reliability, and Security, 72-85, 2008
642008
Reliability assessment and sensitivity analysis of software reliability growth modeling based on software module structure
JH Lo, CY Huang, Y Chen, SY Kuo, MR Lyu
Journal of systems and software 76 (1), 3-13, 2005
642005
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
The potential for a generic approach to certification of safety critical systems in the transportation sector
Y Papadopoulos, JA McDermid
Reliability engineering & system safety 63 (1), 47-66, 1999
591999
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
An approach to optimization of fault tolerant architectures using HiP‐HOPS
M Adachi, Y Papadopoulos, S Sharvia, D Parker, T Tohdo
Software: Practice and Experience 41 (11), 1303-1327, 2011
562011
Compositional temporal fault tree analysis
M Walker, L Bottaci, Y Papadopoulos
International Conference on Computer Safety, Reliability, and Security, 106-119, 2007
512007
Integrating model checking with HiP-HOPS in model-based safety analysis
S Sharvia, Y Papadopoulos
Reliability Engineering & System Safety 135, 64-80, 2015
442015
Automated safety monitoring: A review and classification of methods
Y Papadopoulos, JA McDermid
International journal of COMADEM 4 (4), 14-32, 2001
432001
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
402013
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20