Kai Höfig

ORCID

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 22

Top Venues

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

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

Kai Höfig.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kai Höfig