@misc{HoefigZeller2016, author = {H{\"o}fig, Kai and Zeller, Marc}, title = {Automated Qualification of a Safety Critical System}, year = {2016}, abstract = {A method for automated qualification of a safety critical system including a plurality of components is provided. A functional safety behavior of each component is represented by an associated component fault tree element. The method includes automatically performing a failure port mapping of output failure modes to input failure modes of component fault tree elements based on a predetermined generic fault type data model stored in a database.}, language = {en} } @misc{Hoefig2016, author = {H{\"o}fig, Kai}, title = {Automated Recertification of a Safety Critical System}, year = {2016}, abstract = {A method for automated recertification of a safety critical system with at least one altered functionality is provided. The method includes providing a failure propagation model of the safety critical system. The method also includes updating the failure propagation model of the safety critical system according to the at least one altered functionality using inner port dependency traces between inports and outports of a failure propagation model element representing the at least one altered functionality. The method includes calculating top events of the updated failure propagation model, and comparing the calculated top events with predetermined system requirements to recertify the safety critical system.}, language = {en} } @misc{GuoHoefig2015, author = {Guo, Zhensheng and H{\"o}fig, Kai}, title = {Integrated Model-Based Safety Analysis}, year = {2015}, abstract = {A method for integrated model-based safety analysis includes integrating a safety analysis model into a system development model of a safety-critical system. The system development model includes model components. The safety analysis model models a failure logic separately for each of the model components. The method includes representing dependencies among the model components with a design structure matrix. The design structure matrix represents each of the model components with a row and a column and shows dependencies between model components with corresponding entries. The method also includes sequencing the design structure matrix, and identifying at least one dependency loop and loop components in the sequenced design structure matrix. The loop components are part of the at least one dependency loop.}, language = {en} } @misc{Botzum2013, author = {Botzum, Edeltraud}, title = {Development and retention of youth workers / Expansion of youth workers activity fields.}, series = {Lecture, Pr{\"a}fektur Shimane, Matsue, Japan, Februar 2013.}, journal = {Lecture, Pr{\"a}fektur Shimane, Matsue, Japan, Februar 2013.}, year = {2013}, language = {en} } @misc{Botzum2012, author = {Botzum, Edeltraud}, title = {Konzept des formellen Mentorings}, series = {Vortrag im Rahmen des Mentoringprogramms "Karrieref{\"o}rderung f{\"u}r Wissenschaftlerinnen" an der Universit{\"a}t Trier, Mai 2012.}, journal = {Vortrag im Rahmen des Mentoringprogramms "Karrieref{\"o}rderung f{\"u}r Wissenschaftlerinnen" an der Universit{\"a}t Trier, Mai 2012.}, year = {2012}, language = {de} } @misc{Botzum2011, author = {Botzum, Edeltraud}, title = {Barrieredeterminanten und Handlungsimplikationen bezogen auf die Pr{\"a}senz von Frauen in Positionen der oberen F{\"u}hrungsebene in Organisationen der Sozialen Arbeit.}, series = {Vortrag im Forschungskolloquium der Hochschule Koblenz, Dezember 2011.}, journal = {Vortrag im Forschungskolloquium der Hochschule Koblenz, Dezember 2011.}, year = {2011}, language = {de} } @misc{Botzum2010, author = {Botzum, Edeltraud}, title = {Weibliche F{\"u}hrungs- und Leitungsminorit{\"a}t in sozialen Unternehmen. Potentiale der Praxisforschung zur Analyse von Barrieredeterminanten und Handlungsimplikationen.}, series = {Vortrag im Rahmen des Forschungskollegs Betriebsp{\"a}dagogik, Landau (Pfalz), Juni 2010.}, journal = {Vortrag im Rahmen des Forschungskollegs Betriebsp{\"a}dagogik, Landau (Pfalz), Juni 2010.}, year = {2010}, language = {de} } @misc{Botzum2011, author = {Botzum, Edeltraud}, title = {Rezension vom 21.09.2011 zu: Rolf Arnold: Ver{\"a}nderung durch Selbstver{\"a}nderung. Impulse f{\"u}r das Changemanagement.}, series = {socialnet Rezensionen}, journal = {socialnet Rezensionen}, publisher = {Schneider Verlag Hohengehren}, address = {Baltmannsweiler}, year = {2011}, language = {de} } @misc{PfauTichelmann2004, author = {Pfau, Jochen and Tichelmann, Karsten}, title = {Merkblatt „{\"U}bereinstimmungsnachweise im Trockenbau"}, series = {Merkbl{\"a}tter der RAL G{\"u}tegemeinschaft Trockenbau e. V. und der Versuchsanstalt f{\"u}r Holz- und Trockenbau (Hrsg.)}, journal = {Merkbl{\"a}tter der RAL G{\"u}tegemeinschaft Trockenbau e. V. und der Versuchsanstalt f{\"u}r Holz- und Trockenbau (Hrsg.)}, number = {Merkblatt 1/2004}, year = {2004}, language = {de} } @misc{Schlosser, author = {Schloßer, Philipp}, title = {Gesetzeskommentierung: SGB V \S\S 95 - 98}, editor = {Jurion, Wolters Kluwer Deutschland Information Services GmbH,}, language = {de} }