Kai Höfig

40 papers A 3B 1C 3Misc 1Journal 11Unranked 18
YearRankTypeTitle / Venue / Authors
2025 — conf
AI-Driven Data Management Framework for Quality Assurance in Additive Manufacturing: A Case Study on the TRUMPF TruPrint 1000.
IMBSA
Faiza Waheed, Kai Höfig, Fabian Riß
2025 — conf
AI4Green: A Framework for AI-Based Resource Optimizations for Reliable Applications.
IMBSA
Kai Höfig, Mario Döller, Faiza Waheed, Fabian Riß, Michael Scholz, Joerg Bauer, Hannes Waclawek, Georg Schäfer, Stefan Huber, Bernhard Heinzl, Michael Hellwig, Steffen Finck
2022 — conf
KI-Net: AI-Based Optimization in Industrial Manufacturing - A Project Overview.
EUROCAST
Bernhard Freudenthaler, Jorge Martinez-Gil, Anna Fensel, Kai Höfig, Stefan Huber, Dirk Jacob
2022 — conf
Stepwise Sample Generation.
EUROCAST
Florian Bayeff-Filloff, Dominik Stecher, Kai Höfig
2021 J jnl
A Meta-model for Process Failure Mode and Effects Analysis (PFMEA).
CoRR
Kai Höfig, Cornel Klein, Stefan Rothbauer, Marc Zeller, Marian Vorderer, Chee Hung Koo
2021 J jnl
ALFRED: a methodology to enable component fault trees for layered architectures.
CoRR
Kai Höfig, Marc Zeller, Reiner Heilmann
2021 J jnl
ArChes - Automatic generation of component fault trees from continuous function charts.
CoRR
Marc Zeller, Kai Höfig, Jean-Pascal Schwinn
2021 J jnl
DEIS: Dependability Engineering Innovation for Industrial CPS.
CoRR
Eric Armengaud, Georg Macher, Alexander Massoner, Sebastian Frager, Rasmus Adler, Daniel Schneider, Simone Longo, Massimiliano Melis, Riccardo Groppo, Federica A. Villa, Pádraig O'Leary, Kevin Bambury, Anita Finnegan, Marc Zeller, Kai Höfig, Yiannis Papadopoulos, Richard Hawkins, Tim Kelly
2021 J jnl
INSiDER: Incorporation of system and safety analysis models using a dedicated reference model.
CoRR
Marc Zeller, Kai Höfig
2021 J jnl
Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees.
CoRR
Kai Höfig, Andreas Joanni, Marc Zeller, Francesco Montrone, Martin Rothfelder, Rakshith Amarnath, Peter Munk, Arne Nordmann
2021 J jnl
SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems.
CoRR
Chee Hung Koo, Stefan Rothbauer, Marian Vorderer, Kai Höfig, Marc Zeller
2021 J jnl
Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems.
CoRR
Marc Zeller, Kai Höfig, Martin Rothfelder
2021 J jnl
Towards the adoption of model-based engineering for the development of safety-critical systems in industrial practice.
CoRR
Marc Zeller, Daniel Ratiu, Kai Höfig
2021 J jnl
Verification of Component Fault Trees Using Error Effect Simulations.
CoRR
Sebastian Reiter, Marc Zeller, Kai Höfig, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel
2021 J jnl
WAP: Digital Dependability Identities.
CoRR
Daniel Schneider, Mario Trapp, Yiannis Papadopoulos, Eric Armengaud, Marc Zeller, Kai Höfig
2020 — ed.
Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings
IMBSA
Marc Zeller, Kai Höfig
2019 C conf
A Meta-model for Process Failure Mode and Effects Analysis (PFMEA).
ETFA
Kai Höfig, Cornel Klein, Stefan Rothbauer, Marc Zeller, Marian Vorderer, Chee Hung Koo
2019 — conf
SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems.
IMBSA
Chee Hung Koo, Stefan Rothbauer, Marian Vorderer, Kai Höfig, Marc Zeller
2018 — conf
Challenges in the Engineering of Adaptable and Flexible Industrial Factories.
Modellierung (Workshops)
Birthe Böhm, Marc Zeller, Jan Vollmar, Stefanie Weiß, Kai Höfig, Vincent Malik, Stephan Unverdorben, Constantin Hildebrandt
2018 — conf
Fault Trees vs. Component Fault Trees: An Empirical Study.
SAFECOMP Workshops
Tim Gonschorek, Marc Zeller, Kai Höfig, Frank Ortmeier
2018 Misc conf
SEnSE - An Architecture for a Safe and Secure Integration of Safety-Critical Embedded Systems.
SoftCOM
Kai Höfig, Amir Klug
2017 C conf
ArChes - Automatic generation of component fault trees from continuous function charts.
INDIN
Marc Zeller, Kai Höfig, Jean-Pascal Schwinn
2017 — conf
Verification of Component Fault Trees Using Error Effect Simulations.
IMBSA
Sebastian Reiter, Marc Zeller, Kai Höfig, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel
2016 — conf
Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice.
SAFECOMP Workshops
Marc Zeller, Daniel Ratiu, Kai Höfig
2016 — conf
Tutorial Summary for Dependability Analysis in the Context of Component-Based System Architectures.
WICSA
Kai Höfig
2015 — conf
ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures.
EUROMICRO-SEAA
Kai Höfig, Marc Zeller, Reiner Heilmann
2015 — conf
Automated Failure Propagation using Inner Port Dependency Traces.
QoSA
Kai Höfig, Marc Zeller, Konstantin Schorp
2015 — conf
Automated compositional safety analysis using component fault trees.
ISSRE Workshops
Felix Möhrle, Marc Zeller, Kai Höfig, Martin Rothfelder, Peter Liggesmeyer
2015 A conf
WAP: Digital dependability identities.
ISSRE
Daniel Schneider, Mario Trapp, Yiannis Papadopoulos, Eric Armengaud, Marc Zeller, Kai Höfig
2014 — conf
Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems.
SAFECOMP Workshops
Marc Zeller, Kai Höfig, Martin Rothfelder
2014 — conf
metaFMEA-A Framework for Reusable FMEAs.
IMBSA
Kai Höfig, Marc Zeller, Lars Grunske
2013 B conf
A Controlled Experiment on Component Fault Trees.
SAFECOMP
Jessica Jung, Andreas Jedlitschka, Kai Höfig, Dominik Domis, Martin Hiller
2013 A conf
Experimental Comparison of Two Safety Analysis Methods and Its Replication.
ESEM
Jessica Jung, Kai Höfig, Dominik Domis, Andreas Jedlitschka, Martin Hiller
2013 — —
Failure-dependent timing analysis - a new methodology for probabilistic worst-case execution time analysis.
Kai Höfig
2012 — conf
Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis.
MMB/DFT
Kai Höfig
2012 — ch.
Modeling Quality Aspects: Safety.
Model-Based Engineering of Embedded Systems
Kai Höfig, Mario Trapp, Bastian Zimmer, Peter Liggesmeyer
2011 — conf
Failure-dependent execution time analysis.
QoSA/ISARCS
Kai Höfig, Dominik Domis
2011 C conf
Timing Overhead Analysis for Fault Tolerance Mechanisms.
Software Engineering (Workshops)
Kai Höfig
2010 A conf
A Consistency Check Algorithm for Component-Based Refinements of Fault Trees.
ISSRE
Dominik Domis, Kai Höfig, Mario Trapp
2010 — conf
Integration of Component Fault Trees into the UML.
MoDELS (Workshops)
Rasmus Adler, Dominik Domis, Kai Höfig, Sören Kemmann, Thomas Kuhn, Jean-Pascal Schwinn, Mario Trapp