Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems.

C. Koo, S. Rothbauer, M. Vorderer, K. Höfig, und M. Zeller. IMBSA, Volume 11842 von Lecture Notes in Computer Science, Seite 222-236. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Univ. -Prof. Dr. -Ing. Kai Hufendiek University of Stuttgart

Kai Waldner University of Stuttgart

Dr. Florian Kaiser University of Stuttgart

Manuel Kaiser University of Stuttgart

Robin Kaißner University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Timing Overhead Analysis for Fault Tolerance Mechanisms.K. Höfig. Software Engineering (Workshops), Volume P-184 von LNI, Seite 89-98. GI, (2011)Failure-dependent execution time analysis.K. Höfig, und D. Domis. QoSA/ISARCS, Seite 115-122. ACM, (2011)WAP: Digital dependability identities.D. Schneider, M. Trapp, Y. Papadopoulos, E. Armengaud, M. Zeller, und K. Höfig. ISSRE, Seite 324-329. IEEE Computer Society, (2015)Automated Failure Propagation using Inner Port Dependency Traces.K. Höfig, M. Zeller, und K. Schorp. QoSA, Seite 123-128. ACM, (2015)Failure-dependent timing analysis - a new methodology for probabilistic worst-case execution time analysis.K. Höfig. University of Kaiserslautern, (2013)Tutorial Summary for Dependability Analysis in the Context of Component-Based System Architectures.K. Höfig. WICSA, Seite 255. IEEE Computer Society, (2016)A Consistency Check Algorithm for Component-Based Refinements of Fault Trees.D. Domis, K. Höfig, und M. Trapp. ISSRE, Seite 171-180. IEEE Computer Society, (2010)Modeling Quality Aspects: Safety.K. Höfig, M. Trapp, B. Zimmer, und P. Liggesmeyer. Model-Based Engineering of Embedded Systems, Springer, (2012)SEnSE - An Architecture for a Safe and Secure Integration of Safety-Critical Embedded Systems.K. Höfig, und A. Klug. SoftCOM, Seite 1-5. IEEE, (2018)Verification of Component Fault Trees Using Error Effect Simulations.S. Reiter, M. Zeller, K. Höfig, A. Viehl, O. Bringmann, und W. Rosenstiel. IMBSA, Volume 10437 von Lecture Notes in Computer Science, Seite 212-226. Springer, (2017)