Loading
Loading
| Title | Authors | Title of the Journal/Book |
| Front Matter | Marc Zeller, Kai Höfig | Safety and Reliability – Theory and Applications |
| Model-based Reliability and Safety: Reducing the complexity of safety analyses using component fault trees | Kai Höfig, Marc Zeller | 2018 Annual Reliability and Maintainability Symposium (RAMS) |
| A Conceptual Safety Supervisor Denition and Evaluation Framework for Autonomous Systems | Patrik Feth, Daniel Schneider, Rasmus Adler | International Conference on Computer Safety, Reliability and Security (SafeComp) |
| Model-Connected Safety Cases | Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker, Nicholas Matragkas, Septavera Sharvia | 5th International Symposium on Model-Based Safety and Assessment (IMBSA) |
| A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies | Sohag Kabir, Yiannis Papadopoulos,Martin Walker, David Parker, Jose Ignacio Aizpurua, Jörg Lampe, Erich Rüde | 5th International Symposium on Model-Based Safety and Assessment (IMBSA) |
| Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks | Sohag Kabir, Martin Walker, Yiannis Papadopoulos | Safety Science |
| A review of applications of fuzzy sets to safety and reliability engineering | Sohag Kabir, Yiannis Papadopoulos | International Journal of Approximate Reasoning |
| Uncertainty-Aware Dynamic Reliability Analysis Framework for Complex Systems | Sohag Kabir, Mohammad Yazdi, Jose Ignacio Aizpurua, Yiannis Papadopoulos | IEEE Access |
| Towards Automatic Generation of UML Profile Graphical Editors for Papyrus | Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige | |
| 3D SPAD camera for Advanced Driver Assistance | F. Villa, R. Lussana, D. Bronzi, F. Zappa, A. Giudice | 2017 International Conference of Electrical and Electronic Technologies for Automotive |
| Combination of Component Fault Trees and Markov Chains to Analyze Complex, Software-Controlled Systems | Marc Zeller, Francesco Montrone | 2018 3rd International Conference on System Reliability and Safety (ICSRS) |
| Fault Trees vs. Component Fault Trees: An Empirical Study | Tim Gonschorek, Marc Zeller, Frank Ortmeier, Kai Höfig | |
| Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities | Jan Reich, Marc Zeller, Daniel Schneider | International Conference on Computer Safety, Reliability and Security - SafeComp |
| Evaluation of a Dependability Mechanism for Cyber Physical Systems | Gilbert Regan, Fergal McCaffery, Jan Reich, Eric Armengaud, Cem Kaypmaz, Joe Zhensheng Guo, Simone Longo, Eoin O. Carroll | Systems, Software and Services Process Improvement - 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings |
| Towards Standardizing the Generation of Component Fault Trees through the Engineering Life Cycle | Axel Berres, Tim Bittner, Marc Zeller | European Safety and Reliability Conference (ESREL) |
| Iterative and Incremental Development of Reliable Systems | Marc Zeller, Sebastian Klabes | European Safety and Reliability Conference (ESREL) |
| Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines | Christof Kaukewitsch, Henrik Papist, Marc Zeller, Martin Rothfelder | Reliability & Maintainability Symposium (RAMS) |
| DPN – Dependability Priority Numbers | Joe Guo, Marc Zeller | International Symposium on Model-Based Safety and Assessment (IMBSA) |
| Enabling Smart Safe Behaviour through Cooperative Risk Management | Rasmus Adler (Fraunhofer IESE) and Patrik Feth (SICK AG) | ERCIM News 119 |
| On the Transition from Design Time to Runtime Model-Based Assurance Cases | Wei, Ran; Reich, Jan; Kelly, Tim; Gerasimou, Simos | Proceedings of 13th International Workshop on Models@run.time at 21st International Conference on Model Driven Engineering Languages and Systems (MODELS) |
| Safety in Cooperative Automated Systems | Daniel Schneider, Rasmus Adler, Patrik Feth, Jan Reich, Tobias Braun | Proceedings of the Embedded World Conference 2019. |
| Towards (Semi-)Automated Synthesis of Runtime Safety Models: A Safety-Oriented Design Approach for Service Architectures of Cooperative Autonomous Systems | Jan Reich, Daniel Schneider | Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings |
| Systematic Identification of Functional Deficiencies by means of Component Fault Trees | Dr. Rasmus Adler und Dr. Daniel Schneider | safetronic |
| Predictive Runtime Simulation for Building Trust in Cooperative Autonomous Systems | Emilia Cioroaica, Daniel Schneider, Hanna AlZughbi, Jan Reich, Rasmus Adler, Tobias Braun | 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W) |
| Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities | Jan Reich, Marc Zeller, Daniel Schneider | Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings |
| 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 | Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings |
| Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: A review | Sohag Kabir, Yiannis Papadopoulos | Safety Science |
| Safety + AI: A Novel Approach to Update Safety Models Using Artificial Intelligence | Youcef Gheraibia, Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos | IEEE Access |
| Automated Model-Based Attack Tree Analysis Using HiP-HOPS | Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan, Eoin O’Carroll | Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings |
| A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS | Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia | Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings |
| Model transformation for analyzing dependability of AADL model by using HiP-HOPS | Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud | Journal of Systems and Software |
| Explicit Modelling and Treatment of Repair in Prediction of Dependability | Jose Ignacio Aizpurua Unanue, Yiannis Papadopoulos, Guillaume Merle | IEEE Transactions on Dependable and Secure Computing |
| A Method for Temporal Fault Tree Analysis Using Intuitionistic Fuzzy Set and Expert Elicitation | Sohag Kabir, Tan Kim Geok, Mohit Kumar, Mohammad Yazdi, Ferdous Hossain | IEEE Access |
| Fuzzy evidence theory and Bayesian networks for process systems risk analysis | Mohammad Yazdi, Sohag Kabir | Human and Ecological Risk Assessment: An International Journal |
| Remote PhotoPlethysmoGraphy Using SPAD Camera for Automotive Health Monitoring Application | Marco Paracchini, Lorenzo Marchesi, Klaus Pasquinelli, Marco Marcon, Giulio Fontana, Alessandro Gabrielli, Federica Villa | 2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive (AEIT AUTOMOTIVE) |
| Analysis of Attacks and Security Requirements for Wireless Body Area Networks - A Systematic Literature Review | Pangkaj Chandra Paul, John Loane, Gilbert Regan, Fergal McCaffery | Systems, Software and Services Process Improvement - 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings |
| A Serverless Architecture for Wireless Body Area Network Applications | Pangkaj Chandra Paul, John Loane, Fergal McCaffery, Gilbert Regan | Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings |
| Deep skin detection on low resolution grayscale images | Marco Paracchini, Marco Marcon, Federica Villa, Stefano Tubaro | Pattern Recognition Letters |
| Model based system assurance using the structured assurance case metamodel | Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins | Journal of Systems and Software |
| Model-Connected Safety Cases | Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker, Nicholas Matragkas, Septavera Sharvia | Model-Based Safety and Assessment |
| Uncertainty-Aware Dynamic Reliability Analysis Framework for Complex Systems | Sohag Kabir, Mohammad Yazdi, Jose Ignacio Aizpurua, Yiannis Papadopoulos | IEEE Access |
| B-space: dynamic management and assurance of open systems of systems | Daniel Schneider, Mario Trapp | Journal of Internet Services and Applications |
| Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees | Kai Hofig, Andreas Joanni, Marc Zeller, Francesco Montrone, Martin Rothfelder, Rakshith Amarnath, Peter Munk, Arne Nordmann | 2018 Annual Reliability and Maintainability Symposium (RAMS) |
| A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies | Sohag Kabir, Yiannis Papadopoulos, Martin Walker, David Parker, Jose Ignacio Aizpurua, Jörg Lampe, Erich Rüde | Model-Based Safety and Assessment |
