@phdthesis{27663,
  author       = {{Hendriks , Sven}},
  title        = {{{Experimentelle Untersuchungen zur Schaumextrusion mit Treibmittelgemischen und Analyse der Wirkzusammhänge mit dimensionslosen Kennzahlen}}},
  year         = {{2017}},
}

@phdthesis{27664,
  author       = {{Tahir, Muhammad}},
  title        = {{{Development of Novel Blends based on Rubber and in-situ Synthesized Polyurethane-urea}}},
  year         = {{2017}},
}

@phdthesis{27665,
  author       = {{Mörl, Michaela}},
  title        = {{{Steigerung der Zähigkeit von isotaktischem Polypropylen durch Kontrolle der Morphologie mittels 1,3,5-Benzoltrisamiden}}},
  year         = {{2017}},
}

@phdthesis{27666,
  author       = {{Budde , Christopher}},
  title        = {{{Evaluierung neuer Fügetechnik für Organoblech-Hybridverbindungen }}},
  year         = {{2017}},
}

@phdthesis{27667,
  author       = {{Goebel , Linda}},
  title        = {{{Beitrag zur Eigenschaftsverbesserung von Polyhydroxybutyrat (PHB)}}},
  year         = {{2017}},
}

@phdthesis{27668,
  author       = {{Abliz , Dilmurat}},
  title        = {{{Functionalyzation of fiber composites with Nanoperticle-Modified resin systems }}},
  year         = {{2017}},
}

@phdthesis{27669,
  author       = {{Böhm, Nils}},
  title        = {{{Beiträge zur Compoundierung von Wood-Plastic-Composites (WPC) }}},
  year         = {{2017}},
}

@phdthesis{27670,
  author       = {{Brockhaus, Sebastian}},
  title        = {{{Theoretische und experimentelle Untersuchungen zum Temperatur- und Durchsatzverhalten von Kautschukextrudern}}},
  year         = {{2017}},
}

@phdthesis{27671,
  author       = {{Jacobkersting, Bianca}},
  title        = {{{Weiterentwicklung Netzwerktheorie basierender Werkzeugauslegung }}},
  year         = {{2017}},
}

@inproceedings{17321,
  author       = {{Budde, Jannica and Neiske, Iris and Oevel, Gudrun}},
  booktitle    = {{INFORMATIK 2017}},
  editor       = {{Eibl, Maximilian and Gaedke, Martin}},
  pages        = {{1745--1756}},
  publisher    = {{Gesellschaft für Informatik}},
  title        = {{{Ausgestaltung einer sozio-technischen Infrastruktur für die Verbreitung und nachhaltige Verankerung digitaler Lehre}}},
  year         = {{2017}},
}

@book{17328,
  editor       = {{Meister, Dorothee M. and Oevel, Gudrun}},
  title        = {{{E-Assessment in der Hochschulpraxis. Empfehlungen zur Verankerung von E-Assessments in NRW}}},
  doi          = {{10.17185/duepublico/44292}},
  year         = {{2017}},
}

@phdthesis{23683,
  author       = {{Eckelt, Daniel}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Systematik zum innovationsorientierten Intellectual Property Management}}},
  volume       = {{373}},
  year         = {{2017}},
}

@inbook{23759,
  author       = {{Menge, Dennis and Josupeit, Stefan and Delfs, Patrick  and Schmid, Hans-Joachim}},
  booktitle    = {{Additive Fertigung von Bauteilen und Strukturen}},
  editor       = {{Richard, Hans Albert and Schramm, Britta and Zipsner, Thomas}},
  isbn         = {{9783658177799}},
  pages        = {{105--120}},
  publisher    = {{Springer Vieweg}},
  title        = {{{Herstellbarkeit und mechanische Charakterisierung von lasergesinterten Gitterstrukturen}}},
  doi          = {{10.1007/978-3-658-17780-5}},
  year         = {{2017}},
}

@article{23904,
  author       = {{Grydin, Olexandr and Andreiev, Anatolii and Briukhanov, Arkadii and Briukhanova, Zoia and Schaper, Mirko}},
  issn         = {{1611-3683}},
  journal      = {{steel research international}},
  title        = {{{Evolution of Microstructure, Properties and Texture of a Two-Phase Low-Carbon Steel at Cold Asymmetric Rolling}}},
  doi          = {{10.1002/srin.201600397}},
  year         = {{2017}},
}

@article{23909,
  author       = {{Lossen, Benjamin and Andreiev, Anatolii and Homberg, Werner and Schaper, Mirko}},
  issn         = {{1877-7058}},
  journal      = {{Procedia Engineering}},
  pages        = {{1749--1754}},
  title        = {{{Friction-Spinning – Possibility of Grain Structure Adjustment}}},
  doi          = {{10.1016/j.proeng.2017.10.933}},
  year         = {{2017}},
}

@inbook{23910,
  author       = {{Andreiev, Anatolii and Grydin, Olexandr and Schaper, Mirko}},
  booktitle    = {{Proceedings of the 3rd Pan American Materials Congress}},
  issn         = {{2367-1181}},
  title        = {{{A Rapid Heating Method for Press Hardening Processing}}},
  doi          = {{10.1007/978-3-319-52132-9_72}},
  year         = {{2017}},
}

@inproceedings{20791,
  abstract     = {{Intelligente technische Systeme, wie autonom fahrende Fahrzeuge, werden in einem hohen Maß durch Software realisiert. Der Weg zum autonomen Fahren führt unweigerlich über eine steigende Vernetzung von Steuergeräten im Fahrzeug und über Fahrzeuggrenzen hinweg. Damit einher geht eine stetig steigende Komplexität der Software. Deshalb liegt es auf der Hand, dass die systematische Qualitätssicherung für derartige technische Systeme sehr früh, also bereits entwicklungsbegleitend, erfolgen muss. Dazu lässt sich das Software-in-the-Loop-Verfahren einsetzen, das auf etablierte Techniken des Hardware-in-the-Loop-Verfahrens zurückgreift. Eine besondere Herausforderung besteht darin, Simulationsmodelle und Testbibliotheken sowie die zugehörigen Visualisierungs- und Testwerkzeuge in beiden Welten synergetisch zu nutzen. Das Ziel ist eine einheitliche X-in-the-Loop (XIL) Basis für beide Verfahren. Der Schlüssel zu einer einheitlichen Basis für durchgängige XIL-Testszenarien ist der Einsatz eines übergeordneten Systemmodells. Es definiert die Systemgrenze und umliegenden Systeme in der Umwelt. Zudem dient das Systemmodell als Ordnungsschema für die Ablage der Artefakte wie Verhaltensmodelle, Testskripte, Parametersätze oder Workflows. Ein zentrales Datenmanagementwerkzeug, welches sämtliche Strukturinformationen, Verhaltensmodelle und Variantenbezüge verknüpft, ermöglicht ein teilautomatisches Umschalten zwischen den Testszenarien. In diesem Beitrag stellen wir eine solche Lösung vor.}},
  author       = {{Schmitz, Joachim and Fockel, Markus}},
  booktitle    = {{ Tag des Systems Engineering 2017}},
  publisher    = {{Gesellschaft f{\"u}r Systems Engineering e.V.}},
  title        = {{{Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien}}},
  year         = {{2017}},
}

@inproceedings{20792,
  author       = {{Schivo, Stefano and Yildiz., Bugra M. and Ruijters, Enno and Gerking, Christopher and Kumar, Rajesh and Dziwok, Stefan and Rensink, Arend and Stoelinga, Mariëlle}},
  booktitle    = {{Dependable Software Engineering, 3rd International Symposium (SETTA 2017)}},
  editor       = {{Larsen, Kim G. and Sokolsky, Oleg and Wang, Ji}},
  number       = {{10606}},
  pages        = {{319--336}},
  publisher    = {{Springer}},
  title        = {{{How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach}}},
  doi          = {{10.1007/978-3-319-69483-2_19}},
  year         = {{2017}},
}

@techreport{20793,
  abstract     = {{Scenario-based requirements engineering addresses the message-based coordination of software-intensive systems and enables, if underpinned with formal languages, automatic requirements validation techniques for improving the quality of a requirements specification. One of such requirements engineering approaches bases on a recent visual Live Sequence Chart variant compliant to the Unified Modeling Language, so-called Modal Sequence Diagrams (MSDs). The usage of patterns is known to be constructive thanks to assembling solutions by means of reusable building blocks that are proven in practice, so that recurring problems do not need to be solved over and over again. Thus, patterns also gained momentum in the area of requirements documentation. In this technical report, we introduce a model- and scenario-based pattern catalog for MSD requirements. Our MSD requirement pattern catalog consolidates and unifies 86 requirement patterns from three well-known, practice-oriented requirement pattern catalogs, each covering different aspects.}},
  author       = {{Fockel, Markus and Holtmann, Jörg and Koch, Thorsten and Schmelter, David}},
  title        = {{{Model-based Requirement Pattern Catalog}}},
  year         = {{2017}},
}

@phdthesis{20794,
  abstract     = {{Cyber-physische Systeme (CPSs) sind die nächste Generation von eingebetteten Systemen, die fortwährend ihre Zusammenarbeit koordinieren, um anspruchsvolle Funktionen zu erfüllen. Die Koordination zwischen ihnen kann in Software mittels asynchroner Nachrichtenkommunikation realisiert werden. Um die funktionale Korrektheit der Software zu gewährleisten, ist aufgrund der Kritikalität dieser Systeme eine formale Verifikation wie z.B. Model Checking notwendig. Die Eingabesprache eines Model Checkers unterstützt jedoch domänenspezifische Aspekte wie asynchrone Kommunikation nicht direkt, wodurch diese vom Softwareingenieur mittels zahlreicher Modellelemente spezifiziert werden müssen. Dies ist hochgradig komplex und somit fehleranfällig. Im Rahmen dieser Arbeit wird eine modellgetriebene Methode zur domänenspezifischen Spezifikation und vollautomatischen Verifikation der nachrichtenbasierten Koordination von CPSs präsentiert. Mit Hilfe dieser Methode kann der Softwareingenieur die Koordination kompakt modellieren und muss nicht länger verstehen, wie seine Spezifikation auf der Ebene des Model Checkers ausgedrückt wird. Insgesamt wird die Komplexität für den Softwareingenieur somit deutlich handhabbarer. Bezüglich der Spezifikation einer solchen Koordination definiert die Arbeit eine domänenspezifische Sprache namens Real-Time Coordination Protocols (RTCPs). Darüber hinaus wird eine domänenspezifische Sprache zur Spezifikation von Verifikationseigenschaften eingeführt und Entwurfsmuster für RTCPs präsentiert, um die Anzahl der Modellierungsfehler zu senken.}},
  author       = {{Dziwok, Stefan}},
  publisher    = {{Paderborn University}},
  title        = {{{Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems}}},
  year         = {{2017}},
}