A Consistency Check Algorithm for Component-Based Refinements of Fault Trees. - Dominik Domis; Kai Höfig; Mario Trapp (ISSRE, 2010)

Integration of Component Fault Trees into the UML. - Rasmus Adler; Dominik Domis; Kai Höfig; Sören Kemmann; Thomas Kuhn 001; Jean-Pascal Schwinn; Mario Trapp (MoDELS (Workshops), 2010)

Failure-dependent execution time analysis. - Kai Höfig; Dominik Domis (QoSA/ISARCS, 2011)

Timing Overhead Analysis for Fault Tolerance Mechanisms. - Kai Höfig (Software Engineering (Workshops), 2011)

Modeling Quality Aspects: Safety. - Kai Höfig; Mario Trapp; Bastian Zimmer; Peter Liggesmeyer (Model-Based Engineering of Embedded Systems, 2012)

Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis. - Kai Höfig (MMB/DFT, 2012)

Experimental Comparison of Two Safety Analysis Methods and Its Replication. - Jessica Jung; Kai Höfig; Dominik Domis; Andreas Jedlitschka; Martin Hiller (ESEM, 2013)

A Controlled Experiment on Component Fault Trees. - Jessica Jung; Andreas Jedlitschka; Kai Höfig; Dominik Domis; Martin Hiller (SAFECOMP, 2013)

Failure-dependent timing analysis - a new methodology for probabilistic worst-case execution time analysis. - Kai Höfig (Fraunhofer-Verlag, 2013)

metaFMEA-A Framework for Reusable FMEAs. - Kai Höfig; Marc Zeller; Lars Grunske (IMBSA, 2014)

Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems. - Marc Zeller; Kai Höfig; Martin Rothfelder (SAFECOMP Workshops, 2014)

ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures. - Kai Höfig; Marc Zeller; Reiner Heilmann (EUROMICRO-SEAA, 2015)

Automated compositional safety analysis using component fault trees. - Felix Möhrle; Marc Zeller; Kai Höfig; Martin Rothfelder; Peter Liggesmeyer (ISSRE Workshops, 2015)

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

Automated Failure Propagation using Inner Port Dependency Traces. - Kai Höfig; Marc Zeller; Konstantin Schorp (QoSA, 2015)

Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice. - Marc Zeller; Daniel Ratiu; Kai Höfig (SAFECOMP Workshops, 2016)

Tutorial Summary for Dependability Analysis in the Context of Component-Based System Architectures. - Kai Höfig (WICSA, 2016)

Verification of Component Fault Trees Using Error Effect Simulations. - Sebastian Reiter 003; Marc Zeller; Kai Höfig; Alexander Viehl; Oliver Bringmann 001; Wolfgang Rosenstiel (IMBSA, 2017)

ArChes - Automatic generation of component fault trees from continuous function charts. - Marc Zeller; Kai Höfig; Jean-Pascal Schwinn (INDIN, 2017)

Challenges in the Engineering of Adaptable and Flexible Industrial Factories. - Birthe Böhm; Marc Zeller; Jan Vollmar; Stefanie Weiß; Kai Höfig; Vincent Malik; Stephan Unverdorben; Constantin Hildebrandt (Modellierung (Workshops), 2018)

Fault Trees vs. Component Fault Trees: An Empirical Study. - Tim Gonschorek; Marc Zeller; Kai Höfig; Frank Ortmeier (SAFECOMP Workshops, 2018)

SEnSE - An Architecture for a Safe and Secure Integration of Safety-Critical Embedded Systems. - Kai Höfig; Amir Klug (SoftCOM, 2018)

A Meta-model for Process Failure Mode and Effects Analysis (PFMEA). - Kai Höfig; Cornel Klein; Stefan Rothbauer; Marc Zeller; Marian Vorderer; Chee Hung Koo (ETFA, 2019)

SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems. - Chee Hung Koo; Stefan Rothbauer; Marian Vorderer; Kai Höfig; Marc Zeller (IMBSA, 2019)

INSiDER: Incorporation of system and safety analysis models using a dedicated reference model. - Marc Zeller; Kai Höfig (CoRR, 2021)

Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees. - Kai Höfig; Andreas Joanni; Marc Zeller; Francesco Montrone; Martin Rothfelder; Rakshith Amarnath; Peter Munk; Arne Nordmann (CoRR, 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)

Stepwise Sample Generation. - Florian Bayeff-Filloff; Dominik Stecher; Kai Höfig (EUROCAST, 2022)

KI-Net: AI-Based Optimization in Industrial Manufacturing - A Project Overview. - Bernhard Freudenthaler; Jorge Martinez-Gil; Anna Fensel; Kai Höfig; Stefan Huber 001; Dirk Jacob (EUROCAST, 2022)