Yiannis Papadopoulos
Yiannis Papadopoulos
Professor of Computer Science, University of Hull
Verified email at hull.ac.uk
Title
Cited by
Cited by
Year
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
2562001
Hierarchically performed hazard origin and propagation studies
Y Papadopoulos, JA McDermid
International Conference on Computer Safety, Reliability, and Security, 139-152, 1999
2511999
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
1602011
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
1562001
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
1002004
Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook
M Walker, Y Papadopoulos
Control Engineering Practice 17 (10), 1115-1125, 2009
922009
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
902005
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
852007
Model-based system monitoring and diagnosis of failures using statecharts and fault trees
Y Papadopoulos
Reliability Engineering & System Safety 81 (3), 325-341, 2003
852003
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
842005
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
672008
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
652005
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
632013
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
611999
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
602010
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
592011
Compositional temporal fault tree analysis
M Walker, L Bottaci, Y Papadopoulos
International Conference on Computer Safety, Reliability, and Security, 106-119, 2007
582007
Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: A review
S Kabir, Y Papadopoulos
Safety science 115, 154-175, 2019
572019
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
522016
Integrating model checking with HiP-HOPS in model-based safety analysis
S Sharvia, Y Papadopoulos
Reliability Engineering & System Safety 135, 64-80, 2015
522015
The system can't perform the operation now. Try again later.
Articles 1–20