default search action
Yiannis Papadopoulos
Person information
- affiliation: University of Hull, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j32]Athanasios Retouniotis, Yiannis Papadopoulos
, Ioannis Sorokos
Andromeda: A model-connected framework for safety assessment and assurance. J. Syst. Softw. 220: 112256 (2025) - 2024
- [j31]Koorosh Aslansefat
Explaining Black Boxes With a SMILE: Statistical Model-Agnostic Interpretability With Local Explanations. IEEE Softw. 41(1): 87-97 (2024) - [i10]Connor Walker, Callum Rothon, Koorosh Aslansefat, Yiannis Papadopoulos, Nina Dethlefs:
SafeLLM: Domain-Specific Safety Monitoring for Large Language Models: A Case Study of Offshore Wind Maintenance. CoRR abs/2410.10852 (2024) - 2023
- [i9]Koorosh Aslansefat, Mojgan Hashemian, Martin Walker
Explaining black boxes with a SMILE: Statistical Model-agnostic Interpretability with Local Explanations. CoRR abs/2311.07286 (2023) - 2022
- [c42]Lucas Bressan, André Luíz de Oliveira, Fernanda C. A. Campos, Leonardo Montecchi, Rafael Capilla, David Parker, Koorosh Aslansefat, Yiannis Papadopoulos:
Modeling the Variability of System Safety Analysis Using State-Machine Diagrams. IMBSA 2022: 43-59 - [c41]Connor Walker
A Deep Learning Framework for Wind Turbine Repair Action Prediction Using Alarm Sequences and Long Short Term Memory Algorithms. IMBSA 2022: 189-203 - [c40]Koorosh Aslansefat, Panagiota Nikolaou, Martin Walker
SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities. IMBSA 2022: 252-266 - [d1]Koorosh Aslansefat
Aircraft Fuel Distribution System. IEEE DataPort, 2022 - [i8]Koorosh Aslansefat, Panagiota Nikolaou, Martin Walker
SafeDrones: Real-Time Reliability Evaluation of UAVs using Executable Digital Dependable Identities. CoRR abs/2207.05643 (2022) - [i7]Connor Walker, Callum Rothon, Koorosh Aslansefat, Yiannis Papadopoulos, Nina Dethlefs:
A Deep Learning Framework for Wind Turbine Repair Action Prediction Using Alarm Sequences and Long Short Term Memory Algorithms. CoRR abs/2207.09457 (2022) - [i6]Sohag Kabir, Koorosh Aslansefat, Prosanta Gope, Felician Campean
Online Dynamic Reliability Evaluation of Wind Turbines based on Drone-assisted Monitoring. CoRR abs/2211.13258 (2022) - 2021
- [j30]Soheyl Moheb Khodayee
A Novel Approach Based on Stochastic Hybrid Fault Tree to Compare Alternative Flare Gas Recovery Systems. IEEE Access 9: 51029-51049 (2021) - [j29]Koorosh Aslansefat
Toward Improving Confidence in Autonomous Vehicle Software: A Study on Traffic Sign Recognition Systems. Computer 54(8): 66-76 (2021) - [c39]Eric Armengaud
DDI: A novel technology and innovation model for dependable, collaborative and autonomous systems. DATE 2021: 1626-1631 - [i5]Daniel Schneider, Mario Trapp, Yiannis Papadopoulos, Eric Armengaud, Marc Zeller, Kai Höfig:
WAP: Digital Dependability Identities. CoRR abs/2105.14984 (2021) - [i4]Eric Armengaud, Georg Macher
DEIS: Dependability Engineering Innovation for Industrial CPS. CoRR abs/2106.01729 (2021) - 2020
- [j28]Sohag Kabir
A Hybrid Modular Approach for Dynamic Fault Tree Analysis. IEEE Access 8: 97175-97188 (2020) - [j27]Sohag Kabir
Computational Intelligence for Safety Assurance of Cooperative Systems of Systems. Computer 53(12): 24-34 (2020) - [j26]Jose Ignacio Aizpurua
Explicit Modelling and Treatment of Repair in Prediction of Dependability. IEEE Trans. Dependable Secur. Comput. 17(6): 1147-1162 (2020) - [c38]Hamid Jahanian
Failure Mode Reasoning in Model Based Safety Analysis. IMBSA 2020: 130-145 - [c37]Lucas Bressan, André Luíz de Oliveira, Fernanda Campos, Yiannis Papadopoulos, David Parker:
An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. IMBSA 2020: 179-193 - [c36]Koorosh Aslansefat
SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures. IMBSA 2020: 197-211 - [c35]Jan Reich
Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. SAFECOMP 2020: 3-17 - [i3]Hamid Jahanian, David Parker, Marc Zeller, Annabelle McIver, Yiannis Papadopoulos:
Failure Mode Reasoning in Model Based Safety Analysis. CoRR abs/2005.06279 (2020) - [i2]Koorosh Aslansefat, Ioannis Sorokos, Declan Whiting, Ramin Tavakoli Kolagari, Yiannis Papadopoulos:
SafeML: Safety Monitoring of Machine Learning Classifiers through Statistical Difference Measure. CoRR abs/2005.13166 (2020)
2010 – 2019
- 2019
- [j25]Youcef Gheraibia, Sohag Kabir
Safety + AI: A Novel Approach to Update Safety Models Using Artificial Intelligence. IEEE Access 7: 135855-135869 (2019) - [j24]Youcef Gheraibia, Peng-Yeng Yin, Yiannis Papadopoulos, Abdelouahab Moussaoui, Smaine Mazouzi:
PeSOA: penguins search optimisation algorithm for global optimisation problems. Int. Arab J. Inf. Technol. 16(3): 371-379 (2019) - [j23]Zhibao Mian
Model transformation for analyzing dependability of AADL model by using HiP-HOPS. J. Syst. Softw. 151: 258-282 (2019) - [j22]André Luíz de Oliveira
Variability management in safety-critical systems design and dependability analysis. J. Softw. Evol. Process. 31(8) (2019) - [c34]Sohag Kabir, Koorosh Aslansefat
A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS. IMBSA 2019: 109-124 - [c33]Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan
Automated Model-Based Attack Tree Analysis Using HiP-HOPS. IMBSA 2019: 255-269 - [c32]Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich
A Runtime Safety Analysis Concept for Open Adaptive Systems. IMBSA 2019: 332-346 - [e2]Yiannis Papadopoulos, Koorosh Aslansefat
Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings. Lecture Notes in Computer Science 11842, Springer 2019, ISBN 978-3-030-32871-9 [contents] - 2018
- [j21]Sohag Kabir
Uncertainty-Aware Dynamic Reliability Analysis Framework for Complex Systems. IEEE Access 6: 29499-29515 (2018) - [j20]Sohag Kabir
A review of applications of fuzzy sets to safety and reliability engineering. Int. J. Approx. Reason. 100: 29-55 (2018) - [c31]André Luíz de Oliveira, Rosana T. V. Braga
Variability Management in Safety-Critical Software Product Line Engineering. ICSR 2018: 3-22 - [i1]Youcef Gheraibia, Peng-Yeng Yin, Yiannis Papadopoulos, Abdelouahab Moussaoui, Smaine Mazouzi:
PeSOA: Penguins Search Optimisation Algorithm for Global Optimisation Problems. CoRR abs/1809.09895 (2018) - 2017
- [j19]Jose Ignacio Aizpurua
On Cost-effective Reuse of Components in the Design of Complex Reconfigurable Systems. Qual. Reliab. Eng. Int. 33(7): 1387-1406 (2017) - [j18]Jose Ignacio Aizpurua
Supporting group maintenance through prognostics-enhanced dynamic dependability prediction. Reliab. Eng. Syst. Saf. 168: 171-188 (2017) - [j17]Jose Ignacio Aizpurua
Improved Dynamic Dependability Assessment Through Integration With Prognostics. IEEE Trans. Reliab. 66(3): 893-913 (2017) - [c30]Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker, Nicholas Matragkas, Septavera Sharvia:
Model-Connected Safety Cases. IMBSA 2017: 50-63 - [c29]Sohag Kabir, Yiannis Papadopoulos, Martin Walker
A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies. IMBSA 2017: 163-178 - [e1]Marco Bozzano
Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings. Lecture Notes in Computer Science 10437, Springer 2017, ISBN 978-3-319-64118-8 [contents] - 2016
- [j16]Yiannis Papadopoulos, Martin Walker
A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annu. Rev. Control. 41: 170-182 (2016) - [j15]Sohag Kabir
Fuzzy temporal fault tree analysis of dynamic systems. Int. J. Approx. Reason. 77: 20-37 (2016) - [j14]André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly:
Model-based safety analysis of software product lines. Int. J. Embed. Syst. 8(5/6): 412-426 (2016) - [j13]Hans Blom, De-Jiu Chen, Henrik Kaijser, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, Ramin Tavakoli Kolagari, Sara Tucci Piergiovanni:
EAST-ADL: An Architecture Description Language for Automotive Software-intensive Systems in the Light of Recent use and Research. Int. J. Syst. Dyn. Appl. 5(3): 1-20 (2016) - 2015
- [j12]Septavera Sharvia, Yiannis Papadopoulos:
Integrating model checking with HiP-HOPS in model-based safety analysis. Reliab. Eng. Syst. Saf. 135: 64-80 (2015) - [c28]André Luíz de Oliveira, Rosana T. V. Braga
Supporting the Automated Generation of Modular Product Line Safety Cases. DepCoS-RELCOMEX 2015: 319-330 - [c27]Daniel Schneider, Mario Trapp, Yiannis Papadopoulos, Eric Armengaud
WAP: Digital dependability identities. ISSRE 2015: 324-329 - 2014
- [j11]Luís da Silva Azevedo, David Parker, Martin Walker
Assisted Assignment of Automotive Safety Requirements. IEEE Softw. 31(1): 62-68 (2014) - [c26]Ernest Edifor, Neil A. Gordon
Using Simulation to Evaluate Dynamic Systems with Weibull or Lognormal Distributions. DepCoS-RELCOMEX 2014: 177-187 - [c25]Luís Silva Azevedo, David Parker, Yiannis Papadopoulos, Martin Walker
Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels. IMBSA 2014: 70-81 - [c24]Sohag Kabir, Martin Walker
Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks. IMBSA 2014: 96-109 - [c23]André Luíz de Oliveira, Rosana T. V. Braga
A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products. SBESC 2014: 7-12 - 2013
- [j10]Martin Walker
Automatic optimisation of system architectures using EAST-ADL. J. Syst. Softw. 86(10): 2467-2487 (2013) - [c22]David Parker, Martin Walker
Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm. IEA/AIE 2013: 449-459 - [c21]Luís Silva Azevedo, David Parker, Martin Walker, Yiannis Papadopoulos, Rui Esteves Araujo:
Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search. CARS@SAFECOMP 2013 - [c20]De-Jiu Chen, Henrik Lönn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Luís Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker:
Automatic Optimisation of System Architectures using EAST-ADL. ASCoMS@SAFECOMP 2013 - 2012
- [j9]Nidhal Mahmud
Compositional synthesis of temporal fault trees from state machines. SIGMETRICS Perform. Evaluation Rev. 39(4): 79-88 (2012) - 2011
- [j8]De-Jiu Chen
Integrated safety and architecture modeling for automotive embedded systems*. Elektrotech. Informationstechnik 128(6): 196-202 (2011) - [j7]Masakazu Adachi, Yiannis Papadopoulos
An approach to optimization of fault tolerant architectures using HiP-HOPS. Softw. Pract. Exp. 41(11): 1303-1327 (2011) - [c19]Nidhal Mahmud
Compositional Synthesis of Temporal Fault Trees from State Machines. ARES 2011: 429-435 - [c18]Septavera Sharvia, Yiannis Papadopoulos
IACoB-SA: An approach towards integrated safety assessment. CASE 2011: 220-225 - 2010
- [j6]Ian Philip Wolforth, Martin Walker
Capture and reuse of composable failure patterns. Int. J. Crit. Comput. Based Syst. 1(1/2/3): 128-147 (2010) - [j5]Ian Philip Wolforth, Martin Walker
Generalizable safety annotations for specification of failure patterns. Softw. Pract. Exp. 40(5): 453-483 (2010) - [c17]Nidhal Mahmud
A translation of State Machines to temporal fault trees. DSN Workshops 2010: 45-51 - [c16]Yiannis Papadopoulos
Automatic allocation of safety integrity levels. EDCC-CARS 2010: 7-10 - [c15]Martin Walker
A hierarchical method for the reduction of temporal expressions in Pandora. DYADEM-FTS@EDCC 2010: 7-12 - [c14]Andreas Abele, Yiannis Papadopoulos, David Servat, Martin Törngren, Matthias Weber:
The CVM Framework - A Prototype Tool for Compositional Variability Management. VaMoS 2010: 101-105
2000 – 2009
- 2008
- [c13]Ian Philip Wolforth, Martin Walker
A Language for Failure Patterns and Application in Safety Analysis. DepCoS-RELCOMEX 2008: 47-54 - [c12]De-Jiu Chen
Modelling Support for Design of Safety-Critical Automotive Embedded Systems. SAFECOMP 2008: 72-85 - 2007
- [c11]Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos
The EAST-ADL Architecture Description Language for Automotive Embedded Software. Model-Based Engineering of Embedded Real-Time Systems 2007: 297-307 - [c10]David Parker, Yiannis Papadopoulos
Optimisation of Networked Control Systems Using Model-based Safety Analysis Techniques. ICNSC 2007: 425-430 - [c9]Martin Walker
Compositional Temporal Fault Tree Analysis. SAFECOMP 2007: 106-119 - 2006
- [c8]Lars Grunske
An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. WADS 2006: 188-209 - 2005
- [j4]Yiannis Papadopoulos
Evolving car designs using model-based automated safety analysis and optimisation techniques. J. Syst. Softw. 76(1): 77-89 (2005) - [c7]Lars Grunske
Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations. CBSE 2005: 33-48 - 2004
- [c6]Yiannis Papadopoulos, David Parker, Christian Grante:
Automating the Failure Modes and Effects Analysis of Safety Critical Systems. HASE 2004: 310-311 - [c5]Yiannis Papadopoulos, David Parker, Christian Grante:
A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs. SCS 2004: 89-95 - 2003
- [j3]Yiannis Papadopoulos
Model-based system monitoring and diagnosis of failures using statecharts and fault trees. Reliab. Eng. Syst. Saf. 81(3): 325-341 (2003) - [c4]Yiannis Papadopoulos, Christian Grante:
Techniques and Tools for Automated Safety Analysis & Decision Support for Redundancy Allocation in Automotive Systems. COMPSAC 2003: 105-110 - 2002
- [c3]Yiannis Papadopoulos:
Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model. SAFECOMP 2002: 236-248 - 2001
- [j2]Yiannis Papadopoulos
Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliab. Eng. Syst. Saf. 71(3): 229-247 (2001) - [c2]Yiannis Papadopoulos
Model-Based Synthesis of Fault Trees from Matlab-Simulink Models. DSN 2001: 77-82
1990 – 1999
- 1999
- [c1]Yiannis Papadopoulos, John A. McDermid:
Hierarchically Performed Hazard Origin and Propagation Studies. SAFECOMP 1999: 139-152 - 1998
- [j1]Yiannis Papadopoulos, John A. McDermid:
A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries. Requir. Eng. 3(1): 143-149 (1998)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: