A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries. - Yiannis Papadopoulos; John A. McDermid (Requir. Eng., 1998)

Hierarchically Performed Hazard Origin and Propagation Studies. - Yiannis Papadopoulos; John A. McDermid (SAFECOMP, 1999)

Model-Based Synthesis of Fault Trees from Matlab-Simulink Models. - Yiannis Papadopoulos; Matthias Maruhn (DSN, 2001)

Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. - Yiannis Papadopoulos; John A. McDermid; Ralph Sasse; Gunter Heiner (Reliab. Eng. Syst. Saf., 2001)

Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model. - Yiannis Papadopoulos (SAFECOMP, 2002)

Techniques and Tools for Automated Safety Analysis & Decision Support for Redundancy Allocation in Automotive Systems. - Yiannis Papadopoulos; Christian Grante (COMPSAC, 2003)

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

Automating the Failure Modes and Effects Analysis of Safety Critical Systems. - Yiannis Papadopoulos; David Parker 002; Christian Grante (HASE, 2004)

A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs. - Yiannis Papadopoulos; David Parker 002; Christian Grante (SCS, 2004)

Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations. - Lars Grunske; Bernhard Kaiser; Yiannis Papadopoulos (CBSE, 2005)

Evolving car designs using model-based automated safety analysis and optimisation techniques. - Yiannis Papadopoulos; Christian Grante (J. Syst. Softw., 2005)

An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. - Lars Grunske; Peter A. Lindsay; Egor Bondarev; Yiannis Papadopoulos; David Parker 002 (WADS, 2006)

The EAST-ADL Architecture Description Language for Automotive Embedded Software. - Philippe Cuenot; Patrick Frey; Rolf Johansson 002; Henrik Lönn; Yiannis Papadopoulos; Mark-Oliver Reiser; Anders Sandberg; David Servat; Ramin Tavakoli Kolagari; Martin Törngren; Matthias Weber 001 (Model-Based Engineering of Embedded Real-Time Systems, 2007)

Optimisation of Networked Control Systems Using Model-based Safety Analysis Techniques. - David Parker 002; Yiannis Papadopoulos (ICNSC, 2007)

Compositional Temporal Fault Tree Analysis. - Martin Walker; Leonardo Bottaci; Yiannis Papadopoulos (SAFECOMP, 2007)

A Language for Failure Patterns and Application in Safety Analysis. - Ian Philip Wolforth; Martin Walker; Yiannis Papadopoulos (DepCoS-RELCOMEX, 2008)

Modelling Support for Design of Safety-Critical Automotive Embedded Systems. - De-Jiu Chen; Rolf Johansson 002; Henrik Lönn; Yiannis Papadopoulos; Anders Sandberg; Fredrik Törner; Martin Törngren (SAFECOMP, 2008)

A translation of State Machines to temporal fault trees. - Nidhal Mahmud; Yiannis Papadopoulos; Martin Walker (DSN Workshops, 2010)

Automatic allocation of safety integrity levels. - Yiannis Papadopoulos; Martin Walker; Mark-Oliver Reiser; Matthias Weber 001; De-Jiu Chen; Martin Törngren; David Servat; Andreas Abele; Friedhelm Stappert; Henrik Lönn; L. Berntsson; Rolf Johansson 002; et al. (EDCC-CARS, 2010)

A hierarchical method for the reduction of temporal expressions in Pandora. - Martin Walker; Yiannis Papadopoulos (DYADEM-FTS@EDCC, 2010)

The CVM Framework - A Prototype Tool for Compositional Variability Management. - Andreas Abele; Yiannis Papadopoulos; David Servat; Martin Törngren; Matthias Weber 001 (VaMoS, 2010)

Capture and reuse of composable failure patterns. - Ian Philip Wolforth; Martin Walker; Yiannis Papadopoulos; Lars Grunske (Int. J. Crit. Comput. Based Syst., 2010)

Generalizable safety annotations for specification of failure patterns. - Ian Philip Wolforth; Martin Walker; Lars Grunske; Yiannis Papadopoulos (Softw. Pract. Exp., 2010)

IACoB-SA: An approach towards integrated safety assessment. - Septavera Sharvia; Yiannis Papadopoulos (CASE, 2011)

Integrated safety and architecture modeling for automotive embedded systems*. - De-Jiu Chen; Rolf Johansson 002; Henrik Lönn; Hans Blom; Martin Walker; Yiannis Papadopoulos; Sandra Torchiaro; Fulvio Tagliabo; Anders Sandberg (Elektrotech. Informationstechnik, 2011)

An approach to optimization of fault tolerant architectures using HiP-HOPS. - Masakazu Adachi; Yiannis Papadopoulos; Septavera Sharvia; David Parker 002; Tetsuya Tohdo (Softw. Pract. Exp., 2011)

Compositional synthesis of temporal fault trees from state machines. - Nidhal Mahmud; Martin Walker; Yiannis Papadopoulos (SIGMETRICS Perform. Evaluation Rev., 2012)

Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm. - David Parker 002; Martin Walker; Luís Silva Azevedo; Yiannis Papadopoulos; Rui Esteves Araujo (IEA/AIE, 2013)

Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search. - Luís Silva Azevedo; David Parker 002; Martin Walker; Yiannis Papadopoulos; Rui Esteves Araujo (CARS@SAFECOMP, 2013)

Automatic Optimisation of System Architectures using EAST-ADL. - De-Jiu Chen; Henrik Lönn; Chokri Mraidha; Yiannis Papadopoulos; Mark-Oliver Reiser; David Servat; Luís Silva Azevedo; Sara Tucci Piergiovanni; Martin Walker (ASCoMS@SAFECOMP, 2013)

Automatic optimisation of system architectures using EAST-ADL. - Martin Walker; Mark-Oliver Reiser; Sara Tucci Piergiovanni; Yiannis Papadopoulos; Henrik Lönn; Chokri Mraidha; David Parker 002; De-Jiu Chen; David Servat (J. Syst. Softw., 2013)

Using Simulation to Evaluate Dynamic Systems with Weibull or Lognormal Distributions. - Ernest Edifor; Neil A. Gordon; Martin Walker; Yiannis Papadopoulos (DepCoS-RELCOMEX, 2014)

Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels. - Luís Silva Azevedo; David Parker 002; Yiannis Papadopoulos; Martin Walker; Ioannis Sorokos; Rui Esteves Araujo (IMBSA, 2014)

Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks. - Sohag Kabir; Martin Walker; Yiannis Papadopoulos (IMBSA, 2014)

A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products. - André Luíz de Oliveira; Rosana T. V. Braga; Paulo César Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly (SBESC, 2014)

Assisted Assignment of Automotive Safety Requirements. - Luís da Silva Azevedo; David Parker 002; Martin Walker; Yiannis Papadopoulos; Rui Esteves Araujo (IEEE Softw., 2014)

Supporting the Automated Generation of Modular Product Line Safety Cases. - André Luíz de Oliveira; Rosana T. V. Braga; Paulo César Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly (DepCoS-RELCOMEX, 2015)

WAP: Digital dependability identities. - Daniel Schneider 001; Mario Trapp; Yiannis Papadopoulos; Eric Armengaud; Marc Zeller; Kai Höfig (ISSRE, 2015)

Integrating model checking with HiP-HOPS in model-based safety analysis. - Septavera Sharvia; Yiannis Papadopoulos (Reliab. Eng. Syst. Saf., 2015)

A synthesis of logic and bio-inspired techniques in the design of dependable systems. - Yiannis Papadopoulos; Martin Walker; David Parker 002; Septavera Sharvia; Leonardo Bottaci; Sohag Kabir; Luís Silva Azevedo; Ioannis Sorokos (Annu. Rev. Control., 2016)

Fuzzy temporal fault tree analysis of dynamic systems. - Sohag Kabir; Martin Walker; Yiannis Papadopoulos; Erich Rüde; Peter Securius (Int. J. Approx. Reason., 2016)

Model-based safety analysis of software product lines. - André Luíz de Oliveira; Rosana T. V. Braga; Paulo César Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly (Int. J. Embed. Syst., 2016)

EAST-ADL: An Architecture Description Language for Automotive Software-intensive Systems in the Light of Recent use and Research. - Hans Blom; De-Jiu Chen; Henrik Kaijser; Henrik Lönn; Yiannis Papadopoulos; Mark-Oliver Reiser; Ramin Tavakoli Kolagari; Sara Tucci Piergiovanni (Int. J. Syst. Dyn. Appl., 2016)

A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies. - Sohag Kabir; Yiannis Papadopoulos; Martin Walker; David Parker 002; Jose Ignacio Aizpurua; Jörg Lampe; Erich Rüde (IMBSA, 2017)

Model-Connected Safety Cases. - Athanasios Retouniotis; Yiannis Papadopoulos; Ioannis Sorokos; David Parker 002; Nicholas Matragkas; Septavera Sharvia (IMBSA, 2017)

On Cost-effective Reuse of Components in the Design of Complex Reconfigurable Systems. - Jose Ignacio Aizpurua; Yiannis Papadopoulos; Eñaut Muxika; Ferdinando Chiacchio; Gabriele Manno (Qual. Reliab. Eng. Int., 2017)

Supporting group maintenance through prognostics-enhanced dynamic dependability prediction. - Jose Ignacio Aizpurua; Victoria M. Catterson; Yiannis Papadopoulos; Ferdinando Chiacchio; Diego D'Urso (Reliab. Eng. Syst. Saf., 2017)

Improved Dynamic Dependability Assessment Through Integration With Prognostics. - Jose Ignacio Aizpurua; Victoria M. Catterson; Yiannis Papadopoulos; Ferdinando Chiacchio; Gabriele Manno (IEEE Trans. Reliab., 2017)

Variability Management in Safety-Critical Software Product Line Engineering. - André Luíz de Oliveira; Rosana T. V. Braga; Paulo César Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly (ICSR, 2018)

Uncertainty-Aware Dynamic Reliability Analysis Framework for Complex Systems. - Sohag Kabir; Mohammad Yazdi; Jose Ignacio Aizpurua; Yiannis Papadopoulos (IEEE Access, 2018)

A review of applications of fuzzy sets to safety and reliability engineering. - Sohag Kabir; Yiannis Papadopoulos (Int. J. Approx. Reason., 2018)

A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS. - Sohag Kabir; Koorosh Aslansefat; Ioannis Sorokos; Yiannis Papadopoulos; Youcef Gheraibia (IMBSA, 2019)

A Runtime Safety Analysis Concept for Open Adaptive Systems. - Sohag Kabir; Ioannis Sorokos; Koorosh Aslansefat; Yiannis Papadopoulos; Youcef Gheraibia; Jan Reich; Merve Saimler; Ran Wei (IMBSA, 2019)

Automated Model-Based Attack Tree Analysis Using HiP-HOPS. - Declan Whiting; Ioannis Sorokos; Yiannis Papadopoulos; Gilbert Regan; Eoin O'Carroll (IMBSA, 2019)

Safety + AI: A Novel Approach to Update Safety Models Using Artificial Intelligence. - Youcef Gheraibia; Sohag Kabir; Koorosh Aslansefat; Ioannis Sorokos; Yiannis Papadopoulos (IEEE Access, 2019)

PeSOA: penguins search optimisation algorithm for global optimisation problems. - Youcef Gheraibia; Peng-Yeng Yin; Yiannis Papadopoulos; Abdelouahab Moussaoui; Smaine Mazouzi (Int. Arab J. Inf. Technol., 2019)

Model transformation for analyzing dependability of AADL model by using HiP-HOPS. - Zhibao Mian; Leonardo Bottaci; Yiannis Papadopoulos; Nidhal Mahmud (J. Syst. Softw., 2019)

Variability management in safety-critical systems design and dependability analysis. - André Luíz de Oliveira; Rosana T. V. Braga; Paulo César Masiero; David Parker 002; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly (J. Softw. Evol. Process., 2019)

SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures. - Koorosh Aslansefat; Ioannis Sorokos; Declan Whiting; Ramin Tavakoli Kolagari; Yiannis Papadopoulos (IMBSA, 2020)

An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. - Lucas Bressan; André Luíz de Oliveira; Fernanda Campos; Yiannis Papadopoulos; David Parker 002 (IMBSA, 2020)

Failure Mode Reasoning in Model Based Safety Analysis. - Hamid Jahanian; David Parker 002; Marc Zeller; Annabelle McIver; Yiannis Papadopoulos (IMBSA, 2020)

Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. - Jan Reich; Daniel Schneider 001; Ioannis Sorokos; Yiannis Papadopoulos; Tim Kelly; Ran Wei; Eric Armengaud; Cem Kaypmaz (SAFECOMP, 2020)

A Hybrid Modular Approach for Dynamic Fault Tree Analysis. - Sohag Kabir; Koorosh Aslansefat; Ioannis Sorokos; Yiannis Papadopoulos; Savas Konur (IEEE Access, 2020)

Computational Intelligence for Safety Assurance of Cooperative Systems of Systems. - Sohag Kabir; Yiannis Papadopoulos (Computer, 2020)

SafeML: Safety Monitoring of Machine Learning Classifiers through Statistical Difference Measure. - Koorosh Aslansefat; Ioannis Sorokos; Declan Whiting; Ramin Tavakoli Kolagari; Yiannis Papadopoulos (CoRR, 2020)

Explicit Modelling and Treatment of Repair in Prediction of Dependability. - Jose Ignacio Aizpurua; Yiannis Papadopoulos; Guillaume Merle (IEEE Trans. Dependable Secur. Comput., 2020)

DDI: A novel technology and innovation model for dependable, collaborative and autonomous systems. - Eric Armengaud; Daniel Schneider 001; Jan Reich; Ioannis Sorokos; Yiannis Papadopoulos; Marc Zeller; Gilbert Regan; Georg Macher; Omar Veledar; Stefan Thalmann; Sohag Kabir (DATE, 2021)

A Novel Approach Based on Stochastic Hybrid Fault Tree to Compare Alternative Flare Gas Recovery Systems. - Soheyl Moheb Khodayee; Ferdinando Chiacchio; Yiannis Papadopoulos (IEEE Access, 2021)

Toward Improving Confidence in Autonomous Vehicle Software: A Study on Traffic Sign Recognition Systems. - Koorosh Aslansefat; Sohag Kabir; Amr Abdullatif; Vinod Vasudevan; Yiannis Papadopoulos (Computer, 2021)

DEIS: Dependability Engineering Innovation for Industrial CPS. - Eric Armengaud; Georg Macher; Alexander Massoner; Sebastian Frager; Rasmus Adler; Daniel Schneider 001; Simone Longo; Massimiliano Melis; Riccardo Groppo; Federica A. Villa; Pádraig O'Leary; Kevin Bambury; et al. (CoRR, 2021)

SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities. - Koorosh Aslansefat; Panagiota Nikolaou; Martin Walker; Mohammed Naveed Akram; Ioannis Sorokos; Jan Reich; Panayiotis Kolios; Maria K. Michael; Theocharis Theocharides; Georgios Ellinas; Daniel Schneider 001; Yiannis Papadopoulos (IMBSA, 2022)

Modeling the Variability of System Safety Analysis Using State-Machine Diagrams. - Lucas Bressan; André Luíz de Oliveira; Fernanda C. A. Campos; Leonardo Montecchi; Rafael Capilla; David Parker 002; Koorosh Aslansefat; Yiannis Papadopoulos (IMBSA, 2022)

A Deep Learning Framework for Wind Turbine Repair Action Prediction Using Alarm Sequences and Long Short Term Memory Algorithms. - Connor Walker; Callum Rothon; Koorosh Aslansefat; Yiannis Papadopoulos; Nina Dethlefs (IMBSA, 2022)

Online Dynamic Reliability Evaluation of Wind Turbines based on Drone-assisted Monitoring. - Sohag Kabir; Koorosh Aslansefat; Prosanta Gope 001; Felician Campean; Yiannis Papadopoulos (CoRR, 2022)

Aircraft Fuel Distribution System. - Koorosh Aslansefat; Youcef Gheraibia; Sohag Kabir; Ioannis Sorokos; Yiannis Papadopoulos (IEEE DataPort, 2022)

SafeLLM: Domain-Specific Safety Monitoring for Large Language Models: A Case Study of Offshore Wind Maintenance. - Connor Walker; Callum Rothon; Koorosh Aslansefat; Yiannis Papadopoulos; Nina Dethlefs (CoRR, 2024)

Measuring AI Fairness in a Continuum Maintaining Nuances: A Robustness Case Study. - Kuniko Paxton; Koorosh Aslansefat; Dhavalkumar Thakker; Yiannis Papadopoulos (IEEE Internet Comput., 2024)

Explaining Black Boxes With a SMILE: Statistical Model-Agnostic Interpretability With Local Explanations. - Koorosh Aslansefat; Mojgan Hashemian; Martin Walker; Mohammed Naveed Akram; Ioannis Sorokos; Yiannis Papadopoulos (IEEE Softw., 2024)

Multi-Partner Project: Safe, Secure and Dependable Multi-UAV Systems for Search and Rescue Operations. - Panagiota Nikolaou; Antonis Savva; Ioannis Sorokos; Koorosh Aslansefat; Sondess Missaoui; Mohammed Naveed Akram; Daniel Hillen; Marc Lorenz; Martin D. Walker; Manos Papoutsakis; Simos Gerasimou; Panayiotis Kolios; et al. (DATE, 2025)

Andromeda: A model-connected framework for safety assessment and assurance. - Athanasios Retouniotis; Yiannis Papadopoulos; Ioannis Sorokos (J. Syst. Softw., 2025)

Incorporating Failure of Machine Learning in Dynamic Probabilistic Safety Assurance. - Razieh Arshadizadeh; Mahmoud Asgari; Zeinab Khosravi; Yiannis Papadopoulos; Koorosh Aslansefat (CoRR, 2025)

Evaluating Fairness and Mitigating Bias in Machine Learning: A Novel Technique using Tensor Data and Bayesian Regression. - Kuniko Paxton; Koorosh Aslansefat; Dhavalkumar Thakker; Yiannis Papadopoulos (CoRR, 2025)