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

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

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

WAP: Digital Dependability Identities. - Schneider, Daniel; Trapp, Mario; Papadopoulos, Yiannis; Armengaud, Eric; Zeller, Marc; Höfig, Kai (CoRR, 2021)

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

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

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

ALFRED: a methodology to enable component fault trees for layered architectures. - Höfig, Kai; Zeller, Marc; Heilmann, Reiner (CoRR, 2021)

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

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

Towards the adoption of model-based engineering for the development of safety-critical systems in industrial practice. - Zeller, Marc; Ratiu, Daniel; Höfig, Kai (CoRR, 2021)

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

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

Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings (Springer, 2020)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Modeling Quality Aspects: Safety. - Höfig, Kai; Trapp, Mario; Zimmer, Bastian; Liggesmeyer, Peter (2012)

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

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

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

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