@inbook{2044, author = {{Krimphove, Dieter}}, booktitle = {{Festschrift für Jürgen Keßler }}, editor = {{Fritz, Roland and Herzberg, Anja and Kühnberger, Manfred}}, pages = {{403 – 432}}, publisher = {{Verlag Dr. Kovač}}, title = {{{Kann der internationale, europäische und nationale Gesetzgeber angemessen auf Banken- und Kapitalmarktrisiken reagieren?, }}}, year = {{2015}}, } @article{2045, author = {{Krimphove, Dieter}}, journal = {{Archiv für Rechts- und Sozialphilosophie ARSP}}, number = {{Heft 3}}, pages = {{428 – 441}}, title = {{{Logik im Völkerrecht }}}, volume = {{101}}, year = {{2015}}, } @article{2046, author = {{Krimphove, Dieter and Barth, Sven}}, journal = {{Rivista di Studi Politici Internationali (RSPI)}}, pages = {{399 – 410}}, title = {{{Child Poverty in Fundamental Rights}}}, year = {{2015}}, } @article{2047, author = {{Krimphove, Dieter}}, journal = {{Zeitschrift für das gesamte Kreditwesen, }}, number = {{Heft 22}}, pages = {{1115 – 1123}}, title = {{{Banken- und Wirtschaftskrisen als „Motor“ der Entwicklung des Bank- und Kapitalmarktrechts“}}}, year = {{2015}}, } @article{2048, author = {{Krimphove, Dieter}}, journal = {{Rechtstheorie}}, number = {{46. Bd., Heft 2}}, pages = {{263 – 279}}, publisher = {{Dunker und Humblot}}, title = {{{Die Banalität des Bösen}}}, year = {{2015}}, } @inproceedings{20639, author = {{Reinecke, K and Scheer, V and Heitkamp, CH and Wrenger, M and Reinsberger, C and Baumeister, Jochen}}, number = {{7+8}}, pages = {{187}}, title = {{{Evaluation eines Trainingsprogramms zur Verbesserung der kardiovaskulären Risikofaktoren bei Feuerwehrleuten}}}, volume = {{66}}, year = {{2015}}, } @inproceedings{20643, author = {{Schubert, M and Reinecke, K and Heitkamp, HC and Reinsberger, C and Baumeister, Jochen}}, number = {{7+8}}, pages = {{195}}, title = {{{Kortikale Netzwerkdynamik motorischer Kontrollprozesse - Grundlage zur Unterscuhung zentraler Ermüdung}}}, volume = {{66}}, year = {{2015}}, } @inproceedings{20645, author = {{Flore, Z and Jakobsmeyer, R and Schnittker, R and Baumeister, Jochen and Reinsberger, C}}, number = {{7+8}}, pages = {{189}}, title = {{{Neurophysiologische Biomarker im Leistungsfußball: eine Pilotuntersuchung}}}, volume = {{66}}, year = {{2015}}, } @inproceedings{20646, author = {{Reinecke, K and Krome, M and Schrangs, D and Baumeister, Jochen and Reinsberger, C}}, booktitle = {{Moving Minds - Crossing Boundaries in Sport Science}}, title = {{{Talentdiagnostik im Nachwuchslesitungsfußball: eine retrospektive Analyse zur Ermittlung der Toptalente innerhalb der U19}}}, year = {{2015}}, } @inproceedings{20648, author = {{Schubert, M and Reinsberger, C and Baumeister, Jochen}}, title = {{{Event-related causality in a cortical sensorimotor control network during precise finger force generations}}}, year = {{2015}}, } @techreport{20832, author = {{Schäfer, Wilhelm and Dziwok, Stefan and Pohlmann, Uwe and Bobolz, Jan and Czech, Mike and Dann, Andreas Peter and Geismann, Johannes and Hüwe, Marcus and Krieger, Arthur and Piskachev, Goran and Schubert, David and Wohlrab, Rebekka}}, title = {{{Seminar Theses of the Project Group Cybertron}}}, year = {{2015}}, } @misc{20833, author = {{Geismann, Johannes}}, publisher = {{Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik}}, title = {{{Multi-Core Execution of Safety-Critical Component-Based Software}}}, year = {{2015}}, } @article{2089, author = {{Krimphove, Dieter and Lentner, Gabriel M.}}, journal = {{Jusletter}}, number = {{www.jusletter.it.eu}}, title = {{{Logic as an inherent principle of International Law and its Consequences for International Adjudication}}}, year = {{2015}}, } @inproceedings{20899, abstract = {{The development of software-intensive technical systems (e.g., within the automotive industry) involves several engineering disciplines like mechanical, electrical, control, and software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of discipline-spanning processes and system models. Such a system model provides a common understanding of the system under development and serves as a starting point for the discipline-specific development. An integral part of MBSE is the requirements engineering on the system level. However, for the discipline-specific development to start, these requirements need to be refined, e.g., into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived a systematic transition from MBSE to model-based software requirements engineering, which we present in this paper. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. We illustrate the approach with an example of an automotive embedded system. }}, author = {{Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}}, booktitle = {{Proceedings of the 2015 International Conference on Software and System Process}}, isbn = {{9781450333467}}, title = {{{Integrated systems engineering and software requirements engineering for technical systems}}}, doi = {{10.1145/2785592.2785597}}, year = {{2015}}, } @inproceedings{20902, abstract = {{Die Komplexität moderner Fahrzeuge steigt aufgrund der zunehmenden Anzahl von Funktionen, die durch elektronische Systeme umgesetzt werden. Insbesondere nehmen die Abhängigkeiten zwischen den an der Entwicklung beteiligten Fachdisziplinen und der Softwareanteil massiv zu. Wir haben einen für die Automobilindustrie angepassten, zum Reifegradmodell Automotive SPICE konformen Prozess für die Entwicklung von Steuergeräten konzipiert, der ein fachdisziplinübergreifendes Systems Engineering und einen systematischen Übergang in die Softwareentwicklung unterstützt. Im Kontext dieses Entwicklungsprozess beschreiben wir in diesem Beitrag den Übergang vom UML-basierten Softwareentwurf zum in der Automobilindustrie etablierten AUTOSAR-Standard mit Hilfe einer automatischen Modelltransformation. So werden fehleranfällige und zeitaufwändige manuelle Tätigkeiten reduziert. Wir haben die Generierung von AUTOSAR-Modellen gemeinsam mit dem international tätigen Automobilzulieferer Hella KGaA Hueck & Co. in seriennahen Entwicklungsprojekten praktisch erprobt und Zeit- und Kostenersparnisse festgestellt.}}, author = {{Meyer, Jan and Holtmann, Jörg and Koch, Thorsten and Meyer, Matthias}}, booktitle = {{10. Paderborner Workshop Entwurf mechatronischer Systeme}}, editor = {{Gausemeier, Jürgen and Dumitrescu, Roman and Rammig, Franz-Josef and Schäfer, Wilhelm and Trächtler, Ansgar}}, pages = {{159–172}}, publisher = {{Heinz Nixdorf Institut}}, title = {{{Generierung von AUTOSAR-Modellen aus UML-Spezifikationen}}}, volume = {{343}}, year = {{2015}}, } @misc{18003, author = {{Götte, Thorsten}}, publisher = {{Universität Paderborn}}, title = {{{Covering and Bridging im selbstorganisierenden Partikelsystem Amoebabot}}}, year = {{2015}}, } @misc{18004, author = {{Isenberg, Daniel}}, title = {{{3D-Nesting in der SLM-Technologie}}}, year = {{2015}}, } @misc{18005, author = {{Korfmacher, Christian}}, publisher = {{Universität Paderborn}}, title = {{{Implementierung und Analyse von Cone-DHT}}}, year = {{2015}}, } @misc{18006, author = {{Sundermeier, Jannik}}, publisher = {{Universität Paderborn}}, title = {{{Implementierung eines selbststabilisierenden verteilten Stacks}}}, year = {{2015}}, } @misc{18024, author = {{Knollmann, Till}}, publisher = {{Universität Paderborn}}, title = {{{Implementierung einer selbststabilisierenden Datenstruktur für das längste gemeinsame Präfix}}}, year = {{2015}}, }