Yiannis Papadopoulos

Orcid: 0000-0001-7007-5153

Affiliations:
  • University of Hull, UK


According to our database1, Yiannis Papadopoulos authored at least 78 papers between 1998 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Andromeda: A model-connected framework for safety assessment and assurance.
J. Syst. Softw., 2025

2024
Explaining Black Boxes With a SMILE: Statistical Model-Agnostic Interpretability With Local Explanations.
IEEE Softw., 2024

SafeLLM: Domain-Specific Safety Monitoring for Large Language Models: A Case Study of Offshore Wind Maintenance.
CoRR, 2024

2022
Aircraft Fuel Distribution System.
Dataset, May, 2022

Online Dynamic Reliability Evaluation of Wind Turbines based on Drone-assisted Monitoring.
CoRR, 2022

A Deep Learning Framework for Wind Turbine Repair Action Prediction Using Alarm Sequences and Long Short Term Memory Algorithms.
Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

Modeling the Variability of System Safety Analysis Using State-Machine Diagrams.
Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities.
Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

2021
DEIS: Dependability Engineering Innovation for Industrial CPS.
CoRR, 2021

Toward Improving Confidence in Autonomous Vehicle Software: A Study on Traffic Sign Recognition Systems.
Computer, 2021

A Novel Approach Based on Stochastic Hybrid Fault Tree to Compare Alternative Flare Gas Recovery Systems.
IEEE Access, 2021

DDI: A novel technology and innovation model for dependable, collaborative and autonomous systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020
Explicit Modelling and Treatment of Repair in Prediction of Dependability.
IEEE Trans. Dependable Secur. Comput., 2020

SafeML: Safety Monitoring of Machine Learning Classifiers through Statistical Difference Measure.
CoRR, 2020

Computational Intelligence for Safety Assurance of Cooperative Systems of Systems.
Computer, 2020

A Hybrid Modular Approach for Dynamic Fault Tree Analysis.
IEEE Access, 2020

Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities.
Proceedings of the Computer Safety, Reliability, and Security, 2020

Failure Mode Reasoning in Model Based Safety Analysis.
Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems.
Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures.
Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

2019
Variability management in safety-critical systems design and dependability analysis.
J. Softw. Evol. Process., 2019

Model transformation for analyzing dependability of AADL model by using HiP-HOPS.
J. Syst. Softw., 2019

PeSOA: penguins search optimisation algorithm for global optimisation problems.
Int. Arab J. Inf. Technol., 2019

Safety + AI: A Novel Approach to Update Safety Models Using Artificial Intelligence.
IEEE Access, 2019

Automated Model-Based Attack Tree Analysis Using HiP-HOPS.
Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

A Runtime Safety Analysis Concept for Open Adaptive Systems.
Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS.
Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

2018
A review of applications of fuzzy sets to safety and reliability engineering.
Int. J. Approx. Reason., 2018

Uncertainty-Aware Dynamic Reliability Analysis Framework for Complex Systems.
IEEE Access, 2018

Variability Management in Safety-Critical Software Product Line Engineering.
Proceedings of the New Opportunities for Software Reuse - 17th International Conference, 2018

2017
Improved Dynamic Dependability Assessment Through Integration With Prognostics.
IEEE Trans. Reliab., 2017

Supporting group maintenance through prognostics-enhanced dynamic dependability prediction.
Reliab. Eng. Syst. Saf., 2017

On Cost-effective Reuse of Components in the Design of Complex Reconfigurable Systems.
Qual. Reliab. Eng. Int., 2017

Model-Connected Safety Cases.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016
EAST-ADL: An Architecture Description Language for Automotive Software-intensive Systems in the Light of Recent use and Research.
Int. J. Syst. Dyn. Appl., 2016

Model-based safety analysis of software product lines.
Int. J. Embed. Syst., 2016

Fuzzy temporal fault tree analysis of dynamic systems.
Int. J. Approx. Reason., 2016

A synthesis of logic and bio-inspired techniques in the design of dependable systems.
Annu. Rev. Control., 2016

2015
Integrating model checking with HiP-HOPS in model-based safety analysis.
Reliab. Eng. Syst. Saf., 2015

WAP: Digital dependability identities.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Supporting the Automated Generation of Modular Product Line Safety Cases.
Proceedings of the Theory and Engineering of Complex Systems and Dependability - Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29, 2015

2014
Assisted Assignment of Automotive Safety Requirements.
IEEE Softw., 2014

A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products.
Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks.
Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels.
Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

Using Simulation to Evaluate Dynamic Systems with Weibull or Lognormal Distributions.
Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30, 2014

2013
Automatic optimisation of system architectures using EAST-ADL.
J. Syst. Softw., 2013

Automatic Optimisation of System Architectures using EAST-ADL.
Proceedings of the SAFECOMP 2013, 2013

Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search.
Proceedings of the SAFECOMP 2013, 2013

Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm.
Proceedings of the Recent Trends in Applied Artificial Intelligence, 2013

2012
Compositional synthesis of temporal fault trees from state machines.
SIGMETRICS Perform. Evaluation Rev., 2012

2011
An approach to optimization of fault tolerant architectures using HiP-HOPS.
Softw. Pract. Exp., 2011

Integrated safety and architecture modeling for automotive embedded systems<sup>*</sup>.
Elektrotech. Informationstechnik, 2011

IACoB-SA: An approach towards integrated safety assessment.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010
Generalizable safety annotations for specification of failure patterns.
Softw. Pract. Exp., 2010

Capture and reuse of composable failure patterns.
Int. J. Crit. Comput. Based Syst., 2010

The CVM Framework - A Prototype Tool for Compositional Variability Management.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

A hierarchical method for the reduction of temporal expressions in Pandora.
Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, 2010

Automatic allocation of safety integrity levels.
Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

A translation of State Machines to temporal fault trees.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28, 2010

2008
Modelling Support for Design of Safety-Critical Automotive Embedded Systems.
Proceedings of the Computer Safety, 2008

A Language for Failure Patterns and Application in Safety Analysis.
Proceedings of the Third International Conference on Dependability of Computer Systems, 2008

2007
Compositional Temporal Fault Tree Analysis.
Proceedings of the Computer Safety, 2007

Optimisation of Networked Control Systems Using Model-based Safety Analysis Techniques.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2007

The EAST-ADL Architecture Description Language for Automotive Embedded Software.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006
An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems.
Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

2005
Evolving car designs using model-based automated safety analysis and optimisation techniques.
J. Syst. Softw., 2005

Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations.
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2004
A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs.
Proceedings of the Safety Critical Systems and Software 2004, 2004

Automating the Failure Modes and Effects Analysis of Safety Critical Systems.
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2003
Model-based system monitoring and diagnosis of failures using statecharts and fault trees.
Reliab. Eng. Syst. Saf., 2003

Techniques and Tools for Automated Safety Analysis & Decision Support for Redundancy Allocation in Automotive Systems.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002
Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model.
Proceedings of the Computer Safety, 2002

2001
Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure.
Reliab. Eng. Syst. Saf., 2001

Model-Based Synthesis of Fault Trees from Matlab-Simulink Models.
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

1999
Hierarchically Performed Hazard Origin and Propagation Studies.
Proceedings of the Computer Safety, 1999

1998
A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries.
Requir. Eng., 1998


  Loading...