@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}},
}

@inbook{18059,
  author       = {{Kröger, S. and Meister, Dorothee M.}},
  booktitle    = {{Entgrenztes Heranwachsen}},
  editor       = {{Becker, U. and Friedrichs, H. and v. Gross, F. and Kaiser, S.}},
  pages        = {{201 -- 216}},
  publisher    = {{Springer}},
  title        = {{{Kinder, Kommerzialisierung und (Online-)Werbung. Rück- und Ausblicke auf ein brisantes Forschungsfeld}}},
  year         = {{2015}},
}

@book{18060,
  author       = {{Gross, D. and Meister, Dorothee M. and Sander, U.}},
  publisher    = {{Beltz Juventa}},
  title        = {{{Medienpädagogik - ein Überblick}}},
  year         = {{2015}},
}

@book{18061,
  editor       = {{von Gross, D. and Meister, Dorothee M. and Sander, U.}},
  publisher    = {{Beltz Juventa}},
  title        = {{{Die Geschichte der Medienpädagogik in Deutschland}}},
  year         = {{2015}},
}

@book{18062,
  editor       = {{Aßmann, S. and Meister, Dorothee M. and Pielsticker, A.}},
  publisher    = {{kopaed}},
  title        = {{{School’s out? Informelle und formelle Medienbildung}}},
  year         = {{2015}},
}

@inbook{18070,
  author       = {{Kamin, A.-M. and Meister, Dorothee M.}},
  booktitle    = {{Die Geschichte der Medienpädagogik}},
  editor       = {{von Gross, F. and Meister, Dorothee M. and Sander, U.}},
  pages        = {{156 -- 181}},
  publisher    = {{Beltz Juventa}},
  title        = {{{Lehren und Lernen mit digitalen Medien in der Erwachsenen- und Weiterbildung}}},
  year         = {{2015}},
}

@inbook{18072,
  author       = {{Friedrichs, H. and Meister, Dorothee M.}},
  booktitle    = {{Medienpädagogik – ein Überblick}},
  editor       = {{von Gross, F. and Meister, Dorothee M. and Sander, U.}},
  publisher    = {{Beltz Juventa}},
  title        = {{{Medienerziehung in der Kindertagesstätte}}},
  year         = {{2015}},
}

@inbook{18074,
  author       = {{von Gross, F. and Meister, Dorothee M. and Sander, U.}},
  booktitle    = {{Die Geschichte der Medienpädagogik}},
  editor       = {{von Gross, F. and Meister, Dorothee M. and Sander, U.}},
  pages        = {{7 -- 11}},
  publisher    = {{Beltz Juventa}},
  title        = {{{Einleitung}}},
  year         = {{2015}},
}

@inbook{18075,
  author       = {{von Gross, F. and Sander, U. and Meister, Dorothee M.}},
  booktitle    = {{Medienpädagogik - Ein Überblick}},
  editor       = {{Meister, Dorothee M. and  von Gross, F. and Sander, U.}},
  pages        = {{7 -- 13}},
  publisher    = {{Beltz Juventa}},
  title        = {{{Vorwort}}},
  year         = {{2015}},
}

@inproceedings{1850,
  author       = {{Derakhshandeh, Zahra and Gmyr, Robert and Strothmann, Thim Frederik and A. Bazzi, Rida and W. Richa, Andrea and Scheideler, Christian}},
  booktitle    = {{DNA Computing and Molecular Programming - 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings}},
  isbn         = {{978-3-319-21998-1}},
  pages        = {{117----132}},
  title        = {{{Leader Election and Shape Formation with Self-organizing Programmable Matter}}},
  doi          = {{10.1007/978-3-319-21999-8_8}},
  volume       = {{9211}},
  year         = {{2015}},
}

@inproceedings{1851,
  author       = {{Derakhshandeh, Zahra and Gmyr, Robert and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}},
  booktitle    = {{Proceedings of the Second Annual International Conference on Nanoscale Computing and Communication, NANOCOM' 15, Boston, MA, USA, September 21-22, 2015}},
  isbn         = {{978-1-4503-3674-1}},
  pages        = {{21:1----21:2}},
  publisher    = {{ACM}},
  title        = {{{An Algorithmic Framework for Shape Formation Problems in Self-Organizing Particle Systems}}},
  doi          = {{10.1145/2800795.2800829}},
  year         = {{2015}},
}

@inproceedings{1852,
  author       = {{Derakhshandeh, Zahra and Gmyr, Robert and Strothmann, Thim Frederik and A. Bazzi, Rida and W. Richa, Andrea and Scheideler, Christian}},
  booktitle    = {{Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebasti{\'{a}}n, Spain, July 21 - 23, 2015}},
  isbn         = {{978-1-4503-3617-8}},
  pages        = {{67----69}},
  publisher    = {{ACM}},
  title        = {{{Brief Announcement: On the Feasibility of Leader Election and Shape Formation with Self-Organizing Programmable Matter}}},
  doi          = {{10.1145/2767386.2767451}},
  year         = {{2015}},
}