default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKai Höfig
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[c24]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: 554-561- [c23]Florian Bayeff-Filloff, Dominik Stecher, Kai Höfig:
Stepwise Sample Generation. EUROCAST 2022: 585-593 - 2021
- [i11]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 abs/2105.14817 (2021) - [i10]Daniel Schneider, Mario Trapp, Yiannis Papadopoulos, Eric Armengaud, Marc Zeller, Kai Höfig:
WAP: Digital Dependability Identities. CoRR abs/2105.14984 (2021) - [i9]Marc Zeller, Kai Höfig:
INSiDER: Incorporation of system and safety analysis models using a dedicated reference model. CoRR abs/2105.14992 (2021) - [i8]Marc Zeller, Kai Höfig, Jean-Pascal Schwinn:
ArChes - Automatic generation of component fault trees from continuous function charts. CoRR abs/2105.15002 (2021) - [i7]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 abs/2105.15015 (2021) - [i6]Kai Höfig, Marc Zeller, Reiner Heilmann:
ALFRED: a methodology to enable component fault trees for layered architectures. CoRR abs/2106.00965 (2021) - [i5]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:
DEIS: Dependability Engineering Innovation for Industrial CPS. CoRR abs/2106.01729 (2021) - [i4]Marc Zeller, Kai Höfig, Martin Rothfelder:
Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems. CoRR abs/2106.02140 (2021) - [i3]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 abs/2106.02273 (2021) - [i2]Sebastian Reiter, Marc Zeller, Kai Höfig, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel:
Verification of Component Fault Trees Using Error Effect Simulations. CoRR abs/2106.03368 (2021) - [i1]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 abs/2106.11035 (2021) - 2020
- [e1]Marc Zeller, Kai Höfig:
Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings. Lecture Notes in Computer Science 12297, Springer 2020, ISBN 978-3-030-58919-6 [contents]
2010 – 2019
- 2019
- [c22]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: 1199-1202 - [c21]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: 222-236 - 2018
- [c20]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: 101-110 - [c19]Tim Gonschorek, Marc Zeller, Kai Höfig, Frank Ortmeier:
Fault Trees vs. Component Fault Trees: An Empirical Study. SAFECOMP Workshops 2018: 239-251 - [c18]Kai Höfig, Amir Klug:
SEnSE - An Architecture for a Safe and Secure Integration of Safety-Critical Embedded Systems. SoftCOM 2018: 1-5 - 2017
- [c17]Sebastian Reiter, Marc Zeller, Kai Höfig, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel:
Verification of Component Fault Trees Using Error Effect Simulations. IMBSA 2017: 212-226 - [c16]Marc Zeller, Kai Höfig, Jean-Pascal Schwinn:
ArChes - Automatic generation of component fault trees from continuous function charts. INDIN 2017: 577-582 - 2016
- [c15]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: 322-333 - [c14]Kai Höfig:
Tutorial Summary for Dependability Analysis in the Context of Component-Based System Architectures. WICSA 2016: 255 - 2015
- [c13]Kai Höfig, Marc Zeller, Reiner Heilmann:
ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures. EUROMICRO-SEAA 2015: 167-176 - [c12]Felix Möhrle, Marc Zeller, Kai Höfig, Martin Rothfelder, Peter Liggesmeyer:
Automated compositional safety analysis using component fault trees. ISSRE Workshops 2015: 152-159 - [c11]Daniel Schneider, Mario Trapp, Yiannis Papadopoulos, Eric Armengaud, Marc Zeller, Kai Höfig:
WAP: Digital dependability identities. ISSRE 2015: 324-329 - [c10]Kai Höfig, Marc Zeller, Konstantin Schorp:
Automated Failure Propagation using Inner Port Dependency Traces. QoSA 2015: 123-128 - 2014
- [c9]Kai Höfig, Marc Zeller, Lars Grunske:
metaFMEA-A Framework for Reusable FMEAs. IMBSA 2014: 110-122 - [c8]Marc Zeller, Kai Höfig, Martin Rothfelder:
Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems. SAFECOMP Workshops 2014: 396-400 - 2013
- [b1]Kai Höfig:
Failure-dependent timing analysis - a new methodology for probabilistic worst-case execution time analysis. University of Kaiserslautern, Fraunhofer-Verlag 2013, ISBN 978-3-8396-0553-0, pp. 1-154 - [c7]Jessica Jung, Kai Höfig, Dominik Domis, Andreas Jedlitschka, Martin Hiller:
Experimental Comparison of Two Safety Analysis Methods and Its Replication. ESEM 2013: 223-232 - [c6]Jessica Jung, Andreas Jedlitschka, Kai Höfig, Dominik Domis, Martin Hiller:
A Controlled Experiment on Component Fault Trees. SAFECOMP 2013: 285-292 - 2012
- [c5]Kai Höfig:
Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis. MMB/DFT 2012: 61-75 - [p1]Kai Höfig, Mario Trapp, Bastian Zimmer, Peter Liggesmeyer:
Modeling Quality Aspects: Safety. Model-Based Engineering of Embedded Systems 2012: 107-118 - 2011
- [c4]Kai Höfig, Dominik Domis:
Failure-dependent execution time analysis. QoSA/ISARCS 2011: 115-122 - [c3]Kai Höfig:
Timing Overhead Analysis for Fault Tolerance Mechanisms. Software Engineering (Workshops) 2011: 89-98 - 2010
- [c2]Dominik Domis, Kai Höfig, Mario Trapp:
A Consistency Check Algorithm for Component-Based Refinements of Fault Trees. ISSRE 2010: 171-180 - [c1]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: 312-327
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
