Get started
Author

Kai Höfig

Observed names: Höfig Kai, Höfig, K., Höfig, Kai, K Höfig, Kai Hofig
ORCID: 0000-0001-9613-4801
Observed ORCID: 0000-0001-9613-4801
OpenAlex ID: A5012004953
Integration of Component Fault Trees into the UML
2011 · Rasmus Adler, Dominik Domis, et al. · Lecture notes in computer science · 39
Integration of Component Fault Trees into the UML
2010 · Adler, R., Domis, D., et al. · 29
Advances in component fault trees
2018 · Bernhard Kaiser, Daniel Schneider, et al. · CRC Press eBooks · 27
ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures
2015 · Kai Hofig, Marc Zeller, et al. · Euromicro Conference on Software Engineering and Advanced Applications (SEAA) · 16
PDF
Automated compositional safety analysis using component fault trees
2015 · Felix Mohrle, Marc Zeller, et al. · IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) · 14
A Controlled Experiment on Component Fault Trees
2013 · Jessica Jung, Andreas Jedlitschka, et al. · Lecture notes in computer science · 11
Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis
2012 · Kai Höfig · Lecture notes in computer science · 11
Challenges in the Engineering of Adaptable and Flexible Industrial Factories.
2018 · Birthe Böhm, Marc Zeller, et al. · OpenHSU · 7
PDF
DEIS: Dependability Engineering Innovation for Industrial CPS
2017 · Eric Armengaud, Georg Macher, et al. · Lecture notes in mobility · 7
PDF
A Consistency Check Algorithm for Component-Based Refinements of Fault Trees
2010 · Dominik Domis, Kai Hofig, et al. · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · 7
A formal approach for automating compositional safety analysis using flow type annotations in component fault trees
2017 · Felix Möhrle, Kai Bizik, et al. · European Safety and Reliability Conference (ESREL) · 6
KI-Net: AI-Based Optimization in Industrial Manufacturing—A Project Overview
2022 · Bernhard Freudenthaler, Jorge Martinez-Gil, et al. · Lecture notes in computer science · 5
Automated Failure Propagation using Inner Port Dependency Traces
2015 · Kai Höfig, Marc Zeller, et al. · International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA) · 5
metaFMEA-A Framework for Reusable FMEAs
2014 · Kai Höfig, Marc Zeller, et al. · Lecture notes in computer science · 5
Modeling Quality Aspects: Safety
2012 · Kai Höfig, Mario Trapp, et al. · Springer eBooks · 4
Failure-dependent execution time analysis
2011 · Kai Höfig, Dominik Domis · 3
Fault Trees vs. Component Fault Trees: An Empirical Study
2018 · Tim Gonschorek, Marc Zeller, et al. · Lecture notes in computer science · 2
ArChes — Automatic generation of component fault trees from continuous function charts
2017 · Marc Zeller, Kai Hofig, et al. · IEEE International Conference on Industrial Informatics (INDIN) · 2
PDF
Evolution of fault trees from hardware safety analysis to integrated analysis of software-intensive control systems
2017 · R Adler, D Schneider, et al. · European Safety and Reliability Conference (ESREL) · 2
CONFeTTI—Component fault tree-based testing
2015 · Marc Zeller, Kai Hofig · CRC Press eBooks · 2
Stepwise Sample Generation
2022 · Florian Bayeff-Filloff, Dominik Stecher, et al. · Lecture notes in computer science · 1
SEnSE – An Architecture for a Safe and Secure Integration of Safety-Critical Embedded Systems
2018 · Kai Hofig, Amir Klug · International Conference on Software, Telecommunications and Computer Networks (SoftCOM) · 1
Timing Overhead Analysis for Fault Tolerance Mechanisms.
2011 · Kai Höfig · 1
Pattern-based Safety Engineering: Semantic Enrichment of System-Architecture Models for Semi-Automated Safety Analysis
2010 · Kai Höfig, Dominik Domis, et al. · Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft) · 1
AI-Driven Data Management Framework for Quality Assurance in Additive Manufacturing: A Case Study on the TRUMPF TruPrint 1000
2025 · Faiza Waheed, Kai Höfig, et al. · Lecture notes in computer science
Works count: 31
Citation count: 208
H-index: 7
I10-index: 7
Year
Topic
Type