KI-Net: AI-Based Optimization in Industrial Manufacturing - A Project Overview - Bernhard Freudenthaler; Jorge Martinez-Gil; Anna Fensel; Kai Höfig; Stefan Huber; Dirk Jacob (Computer Aided Systems Theory - EUROCAST 2022 - 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers, 2022)

Stepwise Sample Generation - Florian Bayeff-Filloff; Dominik Stecher; Kai Höfig (Computer Aided Systems Theory - EUROCAST 2022 - 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers, 2022)

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 (CoRR, 2021)

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

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

ArChes - Automatic generation of component fault trees from continuous function charts - Marc Zeller; Kai Höfig; Jean-Pascal Schwinn (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)

ALFRED: a methodology to enable component fault trees for layered architectures - Kai Höfig; Marc Zeller; Reiner Heilmann (CoRR, 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; et al. (CoRR, 2021)

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

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

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

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 (CoRR, 2021)

Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings - Marc Zeller; Kai Höfig (Springer, 2020)

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 (24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, 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 (Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, 2019)

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 (Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018, 2018)

Fault Trees vs. Component Fault Trees: An Empirical Study - Tim Gonschorek; Marc Zeller; Kai Höfig; Frank Ortmeier (Computer Safety, Reliability, and Security - SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings, 2018)

SEnSE - An Architecture for a Safe and Secure Integration of Safety-Critical Embedded Systems - Kai Höfig; Amir Klug (26th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2018, Split, Croatia, September 13-15, 2018, 2018)

Verification of Component Fault Trees Using Error Effect Simulations - Sebastian Reiter; Marc Zeller; Kai Höfig; Alexander Viehl; Oliver Bringmann; Wolfgang Rosenstiel (Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, 2017)

ArChes - Automatic generation of component fault trees from continuous function charts - Marc Zeller; Kai Höfig; Jean-Pascal Schwinn (15th IEEE International Conference on Industrial Informatics, INDIN 2017, Emden, Germany, July 24-26, 2017, 2017)

Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice - Marc Zeller; Daniel Ratiu; Kai Höfig (Computer Safety, Reliability, and Security - SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings, 2016)

Tutorial Summary for Dependability Analysis in the Context of Component-Based System Architectures - Kai Höfig (13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016, Venice, Italy, April 5-8, 2016, 2016)

ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures - Kai Höfig; Marc Zeller; Reiner Heilmann (41st Euromicro Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2015, Madeira, Portugal, August 26-28, 2015, 2015)

Automated compositional safety analysis using component fault trees - Felix Möhrle; Marc Zeller; Kai Höfig; Martin Rothfelder; Peter Liggesmeyer (2015 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Gaithersburg, MD, USA, November 2-5, 2015, 2015)

WAP: Digital dependability identities - Daniel Schneider; Mario Trapp; Yiannis Papadopoulos; Eric Armengaud; Marc Zeller; Kai Höfig (26th IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, Gaithersbury, MD, USA, November 2-5, 2015, 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, QoSA'15 (part of CompArch 2015), Montreal, QC, Canada, May 4-8, 2015, 2015)

metaFMEA-A Framework for Reusable FMEAs - Kai Höfig; Marc Zeller; Lars Grunske (Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, 2014)

Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems - Marc Zeller; Kai Höfig; Martin Rothfelder (Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings, 2014)

Failure-dependent timing analysis - a new methodology for probabilistic worst-case execution time analysis - Kai Höfig (University of Kaiserslautern, 2013)

Experimental Comparison of Two Safety Analysis Methods and Its Replication - Jessica Jung; Kai Höfig; Dominik Domis; Andreas Jedlitschka; Martin Hiller (2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, Baltimore, Maryland, USA, October 10-11, 2013, 2013)

A Controlled Experiment on Component Fault Trees - Jessica Jung; Andreas Jedlitschka; Kai Höfig; Dominik Domis; Martin Hiller (Computer Safety, Reliability, and Security - 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings, 2013)

Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis - Kai Höfig (Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance - 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings, 2012)

Modeling Quality Aspects: Safety - Kai Höfig; Mario Trapp; Bastian Zimmer; Peter Liggesmeyer (Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012)

Failure-dependent execution time analysis - Kai Höfig; Dominik Domis (7th International Conference on the Quality of Software Architectures, QoSA 2011 and 2nd International Symposium on Architecting Critical Systems, ISARCS 2011. Boulder, CO, USA, June 20-24, 2011, Proceedings, 2011)

Timing Overhead Analysis for Fault Tolerance Mechanisms - Kai Höfig (Software Engineering 2011 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25.02.2011, Karlsruhe, 2011)

A Consistency Check Algorithm for Component-Based Refinements of Fault Trees - Dominik Domis; Kai Höfig; Mario Trapp (IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1-4 November 2010, 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 (Models in Software Engineering - Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers, 2010)