2017

• Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision ProcessesBaier, C., Klein, J., Leuschner, L., Parker, D. & Wunderlich, S., 2017, Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Majumdar, R. & Kunčak, V. (eds.). Springer, Berlin [u. a.], p. 160-180, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Entwickeln, Erforschen und Qualifizieren neuer Aluminiumlegierungen für stromführende VerbindungenFuhrmann, T., Schlegel, S., Großmann, S., Kemsies, R., Milkereit, B., Kessler, O., Lentz, M. & 1 others, 2017Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Entwicklung eines Verfahrens zur Aufbereitung von lignocellulosen Reststoffen aus der Altpapieraufbereitung für den Einsatz in faserverstärkten Kunststoffen - Schriftenreihe Holz- und Papiertechnik, Band 21Jornitz, F., 2017, Neuerscheinung ed., Dresden, (Schriftenreihe Holz- und Papiertechnik, Band 21)Research output: Book/Report/Anthology > Monograph
• Entwicklung faserverbundkeramischer Lüfterräder für effizientere ThermoprozesseBehnisch, T., Weck, D., Langkamp, A., Gude, M. & Nauditt, G., 2017Research output: Contribution to conferences > Poster
• Entwicklung und Implementierung einer Heuristik zur Fahrplanerstellung bei zyklischen RoutenzugsystemenReith, K. B., 2017Research output: Contribution to conferences > Presentation slides
• Enzymatic cross-linking of casein facilitates gel structure weakening induced by overacidificationRaak, N., Jaros, D. & Rohm, H., 2017, In: Food Biophysics. 12, p. 261-268, 8 p.Research output: Contribution to journal > Research article
• Erforschung von Grundlagen und Konzepten zur Gestaltung einer automatisch auf sich ändernde Anforderungen, hinsichtlich Produktionsvolumen und Produktmix, reagierende Halbleiterfabrik (Responsive Fab)Däumler, M., Boden, P., Reith, K. B., Siegel, A., Zhakov, A., Zhu, H., Hupfer, R. & 1 others, 2017, Begleitender Tagungsband zum Forum Technische Logistik und Arbeitssysteme. Dresden, p. 77-81, 4 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ErrorSim: A tool for error propagation analysis of Simulink modelsSaraoğlu, M., Morozov, A., Söylemez, M. T. & Janschek, K., 2017, Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. Bitsch, F., Tonetta, S. & Schoitsch, E. (eds.). Springer-Verlag, p. 245-254, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Erschließung neuer Leichtbaupotentiale durch hybride Fügeverbindungen von faserverstärkten, metallischen und polymeren HochleistungswerkstoffenMrotzek, T., Gude, M., Wolf, M. & Behnisch, T., 2017Research output: Contribution to conferences > Paper
• Erweiterte Sensorik- und Monitoringkonzepte zur parameterorientierten Online-ReinigungReiche, M., Grahl, S., Beckmann, M., Kaiser, M. & Spiegel, W., 2017, Dampferzeugerkorrosion 2017: Wechselwirkungen-Diagnosemethoden-Minderungsstrategien-Erfahrungen. Freiberg: SAXONIA Standortentwicklungs- und -verwaltungsgesellschaft mbH, p. 133-144, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report