Kai Höfig

According to our database, Kai Höfig authored at least 29 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

KI-Net: AI-Based Optimization in Industrial Manufacturing - A Project Overview.

Bernhard Freudenthaler, Jorge Martínez Gil, Anna Fensel, Kai Höfig, Stefan Huber, Dirk Jacob

Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

Stepwise Sample Generation.

Florian Bayeff-Filloff, Dominik Stecher, Kai Höfig

Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

2021

DEIS: Dependability Engineering Innovation for Industrial CPS.

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

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

INSiDER: Incorporation of system and safety analysis models using a dedicated reference model.

Marc Zeller, Kai Höfig

CoRR, 2021

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

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

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

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018

SEnSE - An Architecture for a Safe and Secure Integration of Safety-Critical Embedded Systems.

Kai Höfig, Amir Klug

Proceedings of the 26th International Conference on Software, 2018

Fault Trees vs. Component Fault Trees: An Empirical Study.

Tim Gonschorek, Marc Zeller, Kai Höfig, Frank Ortmeier

Proceedings of the Computer Safety, Reliability, and Security, 2018

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

Proceedings of the Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, 2018

2017

ArChes - Automatic generation of component fault trees from continuous function charts.

Marc Zeller, Kai Höfig, Jean-Pascal Schwinn

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Verification of Component Fault Trees Using Error Effect Simulations.

Sebastian Reiter, Marc Zeller, Kai Höfig, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016

Tutorial Summary for Dependability Analysis in the Context of Component-Based System Architectures.

Kai Höfig

Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice.

Marc Zeller, Daniel Ratiu, Kai Höfig

Proceedings of the Computer Safety, Reliability, and Security, 2016

2015

Automated Failure Propagation using Inner Port Dependency Traces.

Kai Höfig, Marc Zeller, Konstantin Schorp

Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, 2015

WAP: Digital dependability identities.

Daniel Schneider, Mario Trapp, Yiannis Papadopoulos, Eric Armengaud, Marc Zeller, Kai Höfig

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Automated compositional safety analysis using component fault trees.

Felix Möhrle, Marc Zeller, Kai Höfig, Martin Rothfelder, Peter Liggesmeyer

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures.

Kai Höfig, Marc Zeller, Reiner Heilmann

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014

Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems.

Marc Zeller, Kai Höfig, Martin Rothfelder

Proceedings of the Computer Safety, Reliability, and Security, 2014

metaFMEA-A Framework for Reusable FMEAs.

Kai Höfig, Marc Zeller, Lars Grunske

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

2013

Failure-dependent timing analysis - a new methodology for probabilistic worst-case execution time analysis.

Kai Höfig

PhD thesis, 2013

A Controlled Experiment on Component Fault Trees.

Jessica Jung, Andreas Jedlitschka, Kai Höfig, Dominik Domis, Martin Hiller

Proceedings of the Computer Safety, Reliability, and Security, 2013

Experimental Comparison of Two Safety Analysis Methods and Its Replication.

Jessica Jung, Kai Höfig, Dominik Domis, Andreas Jedlitschka, Martin Hiller

Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013

2012

Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis.

Kai Höfig

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

Modeling Quality Aspects: Safety.

Kai Höfig, Mario Trapp, Bastian Zimmer, Peter Liggesmeyer

Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

2011

Timing Overhead Analysis for Fault Tolerance Mechanisms.

Kai Höfig

Proceedings of the Software Engineering 2011, 2011

Failure-dependent execution time analysis.

Kai Höfig, Dominik Domis

Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

2010

Integration of Component Fault Trees into the UML.

Rasmus Adler, Dominik Domis, Kai Höfig, Sören Kemmann, Thomas Kuhn, Jean-Pascal Schwinn, Mario Trapp

Proceedings of the Models in Software Engineering, 2010

A Consistency Check Algorithm for Component-Based Refinements of Fault Trees.

Dominik Domis, Kai Höfig, Mario Trapp

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010