Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
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, and M. Zeller. IMBSA, volume 11842 of Lecture Notes in Computer Science, page 222-236. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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

Benedikt Kaiser University of Stuttgart

Other publications of authors with the same name

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