Fabian Zimmermann

Learn More
—In this paper, a method is presented that allows to automatically generate test cases for risk-based testing of safety-critical systems. This is done through the systematic construction or refinement of risk-based test models. Our approach works for almost all kinds of model-based testing. In this paper, we use Model-based Statistical Testing as(More)
— In dieser Arbeit stellen wir erste Ideen für ei-ne Methode zur automatischen Ableitung risikoreicher Testfälle vor. Diese Testfälle werden aus Modellen abgelei-tet, die speziell zum Testen erstellt wurden. Das hier vorge-stellte Verfahren ist eine Anpassung des modellbasierten statistischen Testens für risikoreiche Systeme. Dabei ver-wenden wir(More)
One aspect often neglected during the development of autonomous mobile robots is the systematic validation of their overall behavior. Especially large robots applied to real-world scenarios may cause injuries or even human death and must therefore be classified as safety-critical. In this paper, a generic approach to defining and executing purposeful test(More)
Multiple studies report that male scholars cite publications of male authors more often than their female colleagues do—and vice versa. This gender homophily in citations points to a fragmentation of science along gender boundaries. However, it is not yet clear whether it is actually (perceived) gender characteristics or structural conditions related to(More)
Aims Iron deficiency (ID) is associated with adverse outcomes in heart failure (HF) but the underlying mechanisms are incompletely understood. Intracellular iron availability is secured by two mRNA-binding iron-regulatory proteins (IRPs), IRP1 and IRP2. We generated mice with a cardiomyocyte-targeted deletion of Irp1 and Irp2 to explore the functional(More)
  • 1