Yiannis Papadopoulos
Yiannis Papadopoulos
Professor of Computer Science, University of Hull
Verified email at hull.ac.uk
TitleCited byYear
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
2452001
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
632005
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
552011
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
The system can't perform the operation now. Try again later.
Articles 1–20