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
2402001
Hierarchically performed hazard origin and propagation studies
Y Papadopoulos, JA McDermid
International Conference on Computer Safety, Reliability, and Security, 139-152, 1999
2171999
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
1472001
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
1342011
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
872005
Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook
M Walker, Y Papadopoulos
Control Engineering Practice 17 (10), 1115-1125, 2009
862009
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
842005
Model-based system monitoring and diagnosis of failures using statecharts and fault trees
Y Papadopoulos
Reliability Engineering & System Safety 81 (3), 325-341, 2003
792003
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
752007
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
602005
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
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
571999
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
562013
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
542011
Compositional temporal fault tree analysis
M Walker, L Bottaci, Y Papadopoulos
International Conference on Computer Safety, Reliability, and Security, 106-119, 2007
482007
Automated safety monitoring: A review and classification of methods
Y Papadopoulos, JA McDermid
International journal of COMADEM 4 (4), 14-32, 2001
412001
An outline of an architecture-based method for optimizing dependability attributes of software-intensive systems
L Grunske, P Lindsay, E Bondarev, Y Papadopoulos, D Parker
Architecting dependable systems IV, 188-209, 2007
402007
Integrating model checking with HiP-HOPS in model-based safety analysis
S Sharvia, Y Papadopoulos
Reliability Engineering & System Safety 135, 64-80, 2015
382015
The system can't perform the operation now. Try again later.
Articles 1–20