@phdthesis{24751, abstract = {{Das Thema der vorliegenden Dissertation ist die "Prozessqualifizierung zur verlässlichen Herstellung von Produkten im Polymer Lasersinterverfahren". Über eine definierte Qualitätsprozesskette werden sämtliche, auf die Produktqualität relevanten Einflussparameter, bestimmt und berücksichtigt. Unterschiedliche Methoden zur Materialcharakterisierung des pulverförmigen Ausgangsmaterials werden analysiert und bewertet. Rheologische sowie chemische Eigenschaften, aber auch die Partikelgrößenverteilung oder die Schüttdichte werden hinsichtlich Relevanz, Einfluss und Anwenderfreundlichkeit untersucht. Das Ziel ist eine sinnvolle Bestimmung des Ausgangszustandes des Pulvers anhand definierter, relevanter Materialeigenschaften, um reproduzierbare technische Bauteileigenschaften zu gewährleisten. Dazu werden mechanische, dynamisch-mechanische, physikalische, elektrische, thermische sowie chemische Untersuchungen durchgeführt und hinsichtlich wichtiger Einflussparameter evaluiert. Die Bestimmung erfolgt über entwickelte Referenzjobs, in denen die hauptsächlichen Einflussfaktoren auf das Polymer-Lasersinterverfahren entlang der Qualitätsprozesskette berücksichtigt werden. Die charakterisierten Daten dienen zur Auslegung eines fiktiven Produktes aus der Luftfahrtindustrie. Mit Hilfe dieser Methoden lassen sich Materialkennwerte für diverse Simulationstools eindeutig bestimmen um eine realitätsnahe Berechnung zu gewährleisten. }}, author = {{Rüsenberg, Stefan}}, keywords = {{Additive Fertigung, Polymere, Lasersintern, Methode, Qualität, Konstruktion, Eigenschaften, Material, Charakterisierung, Qualifizierung}}, pages = {{242}}, publisher = {{Shaker Verlag GmbH}}, title = {{{Prozessqualifizierung zur verlässlichen Herstellung von Produkten im Polymer Lasersinterverfahren}}}, volume = {{Band, 2}}, year = {{2015}}, } @inproceedings{248, author = {{John, Thomas}}, booktitle = {{AIS SIGPRAG Pre-ICIS Workshop: Practice-based Design and Innovation of Digital Artifacts}}, location = {{Fort Worth, USA}}, title = {{{Supporting Business Model Idea Generation Through Machine-generated Ideas - Towards a Design Theory}}}, year = {{2015}}, } @techreport{249, abstract = {{We analyze the stability of networks when two intermediaries strategically form costly links to customers. We interpret these links as customer relationships that enable trade to sell a product. Equilibrium prices and equilibrium quantities on the output as well as on the input market are determined endogenously for a given network of customer relationships. We investigate in how far the substitutability of the intermediaries' products and the costs of link formation influence the intermediaries' equilibrium profits and thus have an impact on the incentives to strategically form relationships to customers. For networks with three customers we characterize locally stable networks, in particular existence is guaranteed for any degree of substitutability. Moreover for the special cases of perfect complements, independent products and perfect substitutes, local stability coincides with the stronger concept of Nash stability. Additionally, for networks with n customers we analyze stability regions for selected networks and determine their limits when n goes to infinity. It turns out that the shape of the stability regions for those networks does not significantly change compared to a setting with a small number of customers. }}, author = {{Brangewitz, Sonja and Haake, Claus-Jochen and Möhlmeier, Philipp}}, publisher = {{Universität Paderborn}}, title = {{{Strategic Formation of Customer Relationship Networks}}}, volume = {{91}}, year = {{2015}}, } @inproceedings{250, abstract = {{Before execution, users should formally validate the correctness of software received from untrusted providers. To accelerate this validation, in the proof carrying code (PCC) paradigm the provider delivers the software together with a certificate, a formal proof of the software’s correctness. Thus, the user only checks if the attached certificate shows correctness of the delivered software.Recently, we introduced configurable program certification, a generic, PCC based framework supporting various software analyses and safety properties. Evaluation of our framework revealed that validation suffers from certificate reading. In this paper, we present two orthogonal approaches which improve certificate validation, both reducing the impact of certificate reading. The first approach reduces the certificate size, storing information only if it cannot easily be recomputed. The second approach partitions the certificate into independently checkable parts. The trick is to read parts of the certificate while already checking read parts. Our experiments show that validation highly benefits from our improvements.}}, author = {{Jakobs, Marie-Christine}}, booktitle = {{Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)}}, pages = {{159----174}}, title = {{{Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning}}}, doi = {{10.1007/978-3-319-22969-0_12}}, year = {{2015}}, } @inproceedings{25073, abstract = {{In this paper, we introduce an approach for combining embedded systems with Service-oriented Computing techniques based on a concrete application scenario from the robotics domain. Our proposed Service-oriented Architecture allows for incorporating computational expensive functionality as services into a distributed computing environment. Furthermore, our framework facilitates a seamless integration of embedded systems such as robots as service providers into the computing environment. The entire communication is based on so-called recipes, which can be interpreted as autonomous messages that contain all necessary information for executing compositions of services.}}, author = {{Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}}, booktitle = {{Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)}}, publisher = {{Springer-Verlag}}, title = {{{Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study}}}, year = {{2015}}, } @inproceedings{25074, author = {{Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}}, booktitle = {{Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)}}, publisher = {{Springer}}, title = {{{Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems}}}, year = {{2015}}, } @inproceedings{25075, author = {{Stahl, Katharina and Stöcklein, Jörg and Li, Silja}}, booktitle = {{Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015}}, editor = {{Shumaker, Randall and Lackey, Stephanie}}, location = {{Los Angeles, CA, USA, 2. - 7. Aug. 2015}}, pages = {{499--512}}, publisher = {{Springer International Publishing Switzerland}}, title = {{{Evaluation of Autonomous Approaches using Virtual Environments}}}, volume = {{ 9179}}, year = {{2015}}, } @inproceedings{25076, abstract = {{Automated service composition aims at automatically generating software solutions based on services to provide more complex functionality. In this paper, we give an initial overview about why adaptivity becomes increasingly important when aiming for automated composition of service functionality in dynamic and freely accessible environments such as service markets. We systematically derive dependencies among crucial processes such as service composition and service execution in a holistic view. Furthermore, we briefly discuss the influences and effects of changes in the environment according to the derived dependencies, and discuss possible future research directions.}}, author = {{Jungmann, Alexander}}, booktitle = {{Proceedings of the IEEE 11th World Congress on Services (SERVICES)}}, pages = {{329--332}}, publisher = {{IEEE Computer Society}}, title = {{{On Adaptivity for Automated Composition of Service Functionality}}}, year = {{2015}}, } @inproceedings{25080, abstract = {{ervices are self-contained and platform independent software components that aim at maximizing software reuse. The automated composition of services to a target software artifact has been tackled with many AI techniques, but existing approaches make unreasonably strong assumptions such as a predefined data flow, are limited to tiny problem sizes, ignore non-functional properties, or assume offline service repositories. This paper presents an algorithm that automatically composes services without making such assumptions. We employ a backward search algorithm that starts from an empty composition and prepends service calls to already discovered candidates until a solution is found. Available services are determined during the search process. We implemented our algorithm, performed an experimental evaluation, and compared it to other approaches.}}, author = {{Mohr, Felix and Jungmann, Alexander and Kleine Büning, Hans}}, booktitle = {{Proceedings of the 12th IEEE International Conference on Services Computing (SCC)}}, pages = {{57--64}}, publisher = {{ IEEE Computer Society}}, title = {{{Automated Online Service Composition}}}, year = {{2015}}, } @inproceedings{25082, author = {{Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}}, booktitle = {{Proceedings of Electronic System Level Synthesis Conference (ESLsyn)}}, title = {{{Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization}}}, year = {{2015}}, } @inproceedings{25083, author = {{Jatzkowski, Jan and Kleinjohann, Bernd}}, booktitle = {{Mechatronics}}, location = {{Mai 2015}}, publisher = {{Elsevier}}, title = {{{Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems}}}, year = {{2015}}, } @misc{251, author = {{Pfannschmidt, Karlson}}, publisher = {{Universität Paderborn}}, title = {{{Solving the aggregated bandits problem}}}, year = {{2015}}, } @article{25107, abstract = {{On-the-fly composition of service-based software solutions is still a challenging task. Even more challenges emerge when facing automatic service composition in markets of composed services for end users. In this paper, we focus on the functional discrepancy between “what a user wants” specified in terms of a request and “what a user gets” when executing a composed service. To meet the challenge of functional discrepancy, we propose the combination of existing symbolic composition approaches with machine learning techniques. We developed a learning recommendation system that expands the capabilities of existing composition algorithms to facilitate adaptivity and consequently reduces functional discrepancy. As a representative of symbolic techniques, an Artificial Intelligence planning based approach produces solutions that are correct with respect to formal specifications. Our learning recommendation system supports the symbolic approach in decision-making. Reinforcement Learning techniques enable the recommendation system to adjust its recommendation strategy over time based on user ratings. We implemented the proposed functionality in terms of a prototypical composition framework. Preliminary results from experiments conducted in the image processing domain illustrate the benefit of combining both complementary techniques.}}, author = {{Jungmann, Alexander and Mohr, Felix}}, journal = {{Journal of Internet Services and Applications 6(1)}}, pages = {{1--18}}, title = {{{An approach towards adaptive service composition in markets of composed services}}}, year = {{2015}}, } @article{25108, abstract = {{Autonomous adaptation in self-adapting embedded real-time systems introduces novel risks as it may lead to unforeseen system behavior. An anomaly detection framework integrated in a real-time operating system can ease the identification of such suspicious novel behavior and, thereby, offers the potential to enhance the reliability of the considered self-x system. However, anomaly detection is based on knowledge about normal behavior. When dealing with self-reconfiguring applications, normal behavior changes. Hence, knowledge base requires adaptation or even re-construction at runtime. The stringent restrictions of real-time systems considering runtime and memory consumption make this task to a really challenging problem. We present our idea for online construction of application behavior knowledge that does not rely on training phase. The applications' behavior is defined by the application's system call invocations. For the knowledge base, we exploit suffix trees as they offer potentials to represent application behavior patterns and associated information in a compact manner. The online algorithm provided by suffix trees is a basis to construct the knowledge base with low computational effort. Anomaly detection and classification is integrated into the online construction method. New behavioral patterns do not unconditionally update the behavior knowledge base. They are evaluated in a context-related manner inspired by Danger Theory, a special discipline of artificial immune systems. Copyright © 2015 John Wiley & Sons, Ltd.}}, author = {{Rammig, Franz-Josef and Stahl, Katharina}}, journal = {{Concurrency and Computation: Practice and Experience }}, title = {{{Online behavior classification for anomaly detection in self-x real-time systems}}}, year = {{2015}}, } @article{25109, author = {{Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef}}, journal = {{Concurrency and Computation: Practice and Experience }}, title = {{{Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System}}}, year = {{2015}}, } @article{25110, author = {{Joy, M. tech. Mabel Mary and Rammig, Franz-Josef}}, journal = {{Int. J. of Embedded Systems}}, title = {{{A hybrid methodology to detect memory leaks in soft real time embedded systems software}}}, year = {{2015}}, } @article{25111, author = {{Khaluf, Yara and Birattari, Mauro and Rammig, Franz-Josef}}, journal = {{Springer Jounal Soft Computing }}, title = {{{Analysis of long-term swarm performance based on short-term experiments}}}, year = {{2015}}, } @inproceedings{252, abstract = {{Video streaming is in high demand by mobile users. In cellular networks, however, the unreliable wireless channel leads to two major problems. Poor channel states degrade video quality and interrupt the playback when a user cannot sufficiently fill its local playout buffer: buffer underruns occur. In contrast, good channel conditions cause common greedy buffering schemes to buffer too much data. Such over-buffering wastes expensive wireless channel capacity. Assuming that we can anticipate future data rates, we plan the quality and download time of video segments ahead. This anticipatory download scheduling avoids buffer underruns by downloading a large number of segments before a drop in available data rate occurs, without wasting wireless capacity by excessive buffering.We developed a practical anticipatory scheduling algorithm for segmented video streaming protocols (e.g., HLS or MPEG DASH). Simulation results and testbed measurements show that our solution essentially eliminates playback interruptions without significantly decreasing video quality.}}, author = {{Dräxler, Martin and Blobel, Johannes and Dreimann, Philipp and Valentin, Stefan and Karl, Holger}}, booktitle = {{Proceedings of the 2nd International Conference on Networked Systems (NetSys)}}, pages = {{1----8}}, title = {{{SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming}}}, doi = {{10.1109/NetSys.2015.7089073}}, year = {{2015}}, } @inproceedings{253, abstract = {{Group signatures, introduced by Chaum and van Heyst [15], are an important primitive in cryptography. In group signature schemes every group member can anonymously sign messages on behalf of the group. In case of disputes a dedicated opening manager is able to trace signatures - he can extract the identity of the producer of a given signature. A formal model for static group signatures schemes and their security is defined by Bellare, Micciancio, and Warinschi [4], the case of dynamic groups is considered by Bellare, Shi, and Zhang [5]. Both models define group signature schemes with a single opening manager. The main difference between these models is that the number of group members in static schemes is fixed, while in dynamic schemes group members can join the group over time.}}, author = {{Blömer, Johannes and Juhnke, Jakob and Löken, Nils}}, booktitle = {{Proceedings of the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS)}}, pages = {{166--180}}, title = {{{Short Group Signatures with Distributed Traceability}}}, doi = {{10.1007/978-3-319-32859-1_14}}, year = {{2015}}, } @article{25312, author = {{Strube, Oliver I. and Rüdiger, Arne A. and Bremser, Wolfgang}}, issn = {{0143-7496}}, journal = {{International Journal of Adhesion and Adhesives}}, pages = {{9--13}}, title = {{{Buildup of biobased adhesive layers by enzymatically controlled deposition on the example of casein}}}, doi = {{10.1016/j.ijadhadh.2015.08.001}}, year = {{2015}}, } @article{25313, author = {{Strube, Oliver I. and Büngeler, Anne and Bremser, Wolfgang}}, issn = {{1525-7797}}, journal = {{Biomacromolecules}}, pages = {{1608--1613}}, title = {{{Site-Specific In Situ Synthesis of Eumelanin Nanoparticles by an Enzymatic Autodeposition-Like Process}}}, doi = {{10.1021/acs.biomac.5b00187}}, year = {{2015}}, } @article{25314, author = {{Briesenick, Daniel and Bremser, Wolfgang}}, issn = {{0300-9440}}, journal = {{Progress in Organic Coatings}}, pages = {{26--32}}, title = {{{Synthesis of polyamide-imide-montmorillonite-nanocomposites via new approach of in situ polymerization and solvent casting}}}, doi = {{10.1016/j.porgcoat.2015.01.013}}, year = {{2015}}, } @inproceedings{25322, author = {{Kopecki, Lukas}}, title = {{{A Metric for Candidate Selection for a Robust Opportunistic Container Routing in high Complex Distribution Centers}}}, year = {{2015}}, } @inproceedings{25323, author = {{Weber, Jens}}, booktitle = {{Proceedings of the 2015 Winter Simulation Conference}}, editor = {{Yilmaz, L and Chan, K. V and Moon, I and Roeder, T. M. K, T. M. K and Macal, C and Rossetti, M. D}}, title = {{{A Technical Approach of a Simulation-Based Optimization Platform for Setup-Preparation via Virtual Tooling by Testing the Optimization of Zero Point Positions in CNC-Applications}}}, year = {{2015}}, } @inproceedings{25324, abstract = {{Customized planning, engineering and construction of one-of-a-kind products (like wind energy, biogas or power plants) are complex and contain a lot of risks and temporal uncertainties, e.g. of logistics and project schedules. Therefore the management of this kind of projects has to be supported by adequate methods for the estimation of project risks and uncertainties. Based on the results of the joint research project simject of the Universities of Paderborn and Kassel, which aims at the development of a demonstrator for simulation-based and logistic-integrated project planning and scheduling, this paper discusses the usage of different approaches for supporting project management of plant engineering projects. After a short introduction and description of the approaches to be compared a wind energy plant as evaluation model as well as the application of the different methods are presented. Additionally, the usage of the approaches is compared and the advantages and disadvantages are pointed out. }}, author = {{Akbulut, Akin and Laroque, Christoph and Wenzel, Sigrid and Jessen, Ulrich}}, booktitle = {{Proceedings of the 2015 Winter Simulation Conference}}, publisher = {{IEEE Press}}, title = {{{A Comparison of the Usage of Different Approaches for the Management of Plant Engineering Projects}}}, year = {{2015}}, } @inproceedings{25325, author = {{Kopecki, Lukas}}, title = {{{A Deadlock-Free Route Reservation Method for Automatized Decentralized Controlled Transportation in High Complex Distribution Centers}}}, year = {{2015}}, } @inproceedings{254, abstract = {{We empirically investigate how hosts on Airbnb, a popular peer-to-peer website for fee-based sharing of under-utilized space, adjust their prices once their offering gets a visible star rating for the first time. We use data for over 14,000 offerings from Airbnb which we collected for New York City. Our findings indicate that hosts whose offerings achieve star rating visibility significantly increase their prices by an average of 2.69 € more than hosts with comparable offerings who do not experience this rating visibility during the time of observation. Out of all offerings who achieve rating visibility, we identify the upper quartile of hosts to be the main driver of this price increase, whereas the first 75% percent show only a marginal price reaction. These results can serve as a first step towards understanding the motivation of people to provide assets to the sharing economy.}}, author = {{Gutt, Dominik and Herrmann, Philipp}}, booktitle = {{Proceedings of the 23rd European Conference on Information Systems (ECIS), Münster}}, location = {{Münster, Germany}}, title = {{{Sharing Means Caring? Hosts' Price Reactions to Rating Visibility}}}, year = {{2015}}, } @inproceedings{25405, author = {{Kopecki, Lukas}}, pages = {{11--15}}, publisher = {{IEEE}}, title = {{{A Robust Opportunistic Routing for High complex Decentralized controlled Distribution Center}}}, year = {{2015}}, } @inproceedings{25406, author = {{Mue{\ss}, André and Weber, Jens and Reisch, Raphael-Elias and Jurke, Benjamin}}, booktitle = {{Proceedings of the First Conference of Machine Learning for Cyber Physical Systems}}, publisher = {{VDI-Publishers}}, title = {{{Implementation and Comparison of Cluster-Based PSO Extensions in Hybrid Settings with Efficient Approximation}}}, year = {{2015}}, } @inproceedings{25407, author = {{Kopecki, Lukas}}, title = {{{Protocol Structure for Controlling Adaptive Conveyor System in Automatized High Complex Distribution Centers}}}, year = {{2015}}, } @inbook{25408, author = {{Baeumer, Frederik Simon and Geierhos, Michaela and Schulze, Sabine}}, booktitle = {{Information and Software Technologies: 21th International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings}}, isbn = {{978-3-319-24769-4 }}, pages = {{3--15}}, publisher = {{Springer International Publishing}}, title = {{{A System for Uncovering Latent Connectivity of Health Care Providers in Online Reviews}}}, volume = {{538}}, year = {{2015}}, } @inproceedings{25409, author = {{Baeumer, Frederik Simon and Dollmann, Markus and Geierhos, Michaela}}, issn = {{1877-0509}}, pages = {{417--424}}, publisher = {{Elsevier}}, title = {{{Find a Physician by Matching Medical Needs described in your Own Words}}}, volume = {{63}}, year = {{2015}}, } @article{25410, author = {{Kopecki, Lukas}}, journal = {{International Journal of Materials, Mechanics and Manufacturing}}, number = {{3}}, pages = {{208--213}}, title = {{{An approach for deadlock Prevention in decentralized controlled pre-­storage zones with dynamic behavior and time windows}}}, volume = {{4}}, year = {{2015}}, } @inproceedings{25411, author = {{Geierhos, Michaela and Schulze, Sabine and Baeumer, Frederik Simon}}, booktitle = {{Working Papers des KVF NRW}}, title = {{{Der zufriedene Patient 2.0: Analyse anonymer Arztbewertungen im Web 2.0.}}}, volume = {{3}}, year = {{2015}}, } @inproceedings{25412, author = {{Dangelmaier, Wilhelm}}, booktitle = {{Schenk, Michael;Zadek, Hartmut;Müller, Gerhard;Richter, Klaus;Seidel, Holger (Hrsg.): 20. Magdeburger Logistiktage "Sichere und nachhaltige Logistik"}}, editor = {{Schenk, Michael and Zadek, Hartmut and M{\"u}ller, Gerhard and Richter, Klaus and Seidel, Holger}}, pages = {{37--42}}, title = {{{Online-Optimierung zur Festlegung von Bestellzeitpunkten in der Losgr{\"o}{\ss}enfertigung}}}, year = {{2015}}, } @inbook{25413, author = {{Geierhos, Michaela and Baeumer, Frederik Simon and Sabine, Schulze and Valentina, Stu{\ss}}}, booktitle = {{Current Approaches in Applied Artificial Intelligence, Lecture Notes in Computer Science}}, editor = {{Ali, Moonis and Kwon, Young Sig and Lee, Chang-Hwan and Kim, Juntae and Kim, Yongdai}}, isbn = {{978-3-319-19065-5}}, pages = {{305--315}}, publisher = {{Springer International Publishing Switzerland}}, title = {{{Filtering Reviews by Random Individual Error}}}, volume = {{9101}}, year = {{2015}}, } @inproceedings{25414, author = {{Geierhos, Michaela and Baeumer, Frederik Simon and Schulze, Sabine and Stu{\ss}, Valentina}}, booktitle = {{ECIS 2015 Completed Research Papers}}, title = {{{I grade what I get but write what I think." Inconsistency Analysis in Patients‘ Reviews}}}, year = {{2015}}, } @inproceedings{25415, author = {{Kopecki, Lukas}}, title = {{{Hardware in the Loop Framework for decentralized autonomous conveyor in automatic pre-storage zones}}}, year = {{2015}}, } @misc{255, author = {{Trykacz, Matthias}}, publisher = {{Universität Paderborn}}, title = {{{Share Economy - Identifikation von konstituierenden Merkmalen anhand einer vergleichenden Betrachtung von Geschäftsmodellen}}}, year = {{2015}}, } @inproceedings{25581, author = {{Reisch, Raphael-Elias and Weber, Jens and Laroque, Christoph and Schr{\"o}der, Christian}}, booktitle = {{ Proceedings of the 2015 Spring Simulation Multi-Conference}}, editor = {{Tolk, A and Padilla, J.J and Jafer, S}}, isbn = {{978-1-5108-0099-1}}, number = {{47}}, publisher = {{SCS (Society for Modeling & Simulation International)}}, title = {{{Asynchronous Optimization Techniques for Distributed Computing Applications}}}, volume = {{2}}, year = {{2015}}, } @article{25585, author = {{Lauck, Sebastian and Boxnick, Simon and Kopecki, Lukas}}, journal = {{International Journal of Advances in Computer Science & Its Applications - IJCSIA}}, number = {{1}}, pages = {{41--45}}, title = {{{Analyzing Supply Chain Nodes in Heterogeneous Environments Based on Transaction Data with Respect to Independent Item Behavior}}}, volume = {{5}}, year = {{2015}}, } @misc{25586, author = {{Dangelmaier, Wilhelm, Wilhelm}}, title = {{{Online optimization to determine order times}}}, year = {{2015}}, } @inproceedings{25587, author = {{Geierhos, Michaela and Stu{\ss}, Valentina}}, pages = {{239--243}}, title = {{{Identifikation kognitiver Effekte in Online-Bewertungen}}}, year = {{2015}}, } @inproceedings{25588, author = {{Geierhos, Michaela and Baeumer, Frederik Simon}}, pages = {{69--72}}, title = {{{Second-hand experience reports: Findings {\ "about the authorship of doctor reviews in online portals}}}, year = {{2015}}, } @inproceedings{25589, author = {{Geierhos, Michaela and Schulze, Sabine and Baeumer, Frederik Simon}}, booktitle = {{Proceedings of the 7th International Conference on Agents and Artificial Intelligence}}, isbn = {{ 978-989-758-073-4}}, pages = {{277--283}}, title = {{{What did you mean? Facing the Challenges of User-generated Software Requirements}}}, year = {{2015}}, } @phdthesis{25590, author = {{Markwart, Paul}}, publisher = {{publishing series of the Heinz Nixdorf Institute, Paderborn}}, title = {{{Analytical derivation of the sequence rules for the equalization of high-volume job features}}}, volume = {{349}}, year = {{2015}}, } @inbook{25591, author = {{Minhee, Cho and Weber, Jens and Song, Sa-kwang and Jung, Hanmin and Lee, Mikyoung}}, booktitle = {{Computer Science and Its Applications - Ubiquitous Information Technologies}}, editor = {{Park, James J. (Jong Hyuk) and Stojmenovic, Ivan and Jeong, Hwa Young and Yi, Gangman}}, pages = {{1123--1129}}, publisher = {{Springer Berlin/Heidelberg}}, title = {{{Prescriptive Analytics for Planning Research-Performance Strategy}}}, volume = {{330}}, year = {{2015}}, } @inproceedings{25592, author = {{Stotz, Sophia Charlotte and Stu{\ss}, Valentina and Reinert, Matthias and Schrott, Maximilian}}, booktitle = {{Proceedings of the First Conference on Biographical Data in a Digital World}}, editor = {{ter Braake, Serge and Fokkens, Antske and Sluijter, Ronald and Declerck, Thierry and Wandl-Vogt, Eveline}}, title = {{{Interpersonal relations in biographical dictionaries. A case study}}}, volume = {{1399}}, year = {{2015}}, } @article{25593, author = {{Geierhos, Michaela and Schulze, Sabine}}, journal = {{ForschungsForum Paderborn}}, pages = {{14--19}}, title = {{{The satisfied patient 2.0: Analysis of anonymous doctor reviews to generate a patient mood}}}, volume = {{18}}, year = {{2015}}, } @article{25594, author = {{Geierhos, Michaela and Schulze, Sabine}}, journal = {{ForschungsForum Paderborn}}, pages = {{14--19}}, title = {{{The Satisfied Patient 2.0: Analysis of anonymous doctor ratings to gain insight into patient sentimen}}}, volume = {{18}}, year = {{2015}}, } @misc{256, author = {{Zindler, Finn}}, publisher = {{Universität Paderborn}}, title = {{{Selektive Vertriebssysteme am Fallbeispiel der Adidas AG - eine wettbewerbspolitische Beurteilung}}}, year = {{2015}}, } @inbook{19536, author = {{Büker, Petra}}, booktitle = {{Kinderstärken – Kinder stärken. Erziehung und Bildung ressourcenorientiert gestalten. (KinderStärken, Bd. 1)}}, editor = {{Büker, Petra}}, pages = {{11--77}}, publisher = {{Kohlhammer}}, title = {{{Kinderstärken – Kinder stärken: Pädagogische, soziologische und psychologische Zugänge zu einer „starken Idee"}}}, year = {{2015}}, } @inbook{19537, author = {{Kordulla, Agnes and Büker, Petra}}, booktitle = {{Kinderstärken – Kinder stärken. Erziehung und Bildung ressourcenorientiert gestalten. (KinderStärken, Bd. 1)}}, editor = {{Büker, Petra}}, pages = {{135--145}}, publisher = {{Kohlhammer}}, title = {{{KinderStärken beobachten und dokumentieren}}}, year = {{2015}}, } @inbook{19538, author = {{Hüpping, Birgit and Büker, Petra}}, booktitle = {{Kinderstärken – Kinder stärken. Erziehung und Bildung ressourcenorientiert gestalten. (KinderStärken, Bd. 1) }}, editor = {{Büker, Petra}}, pages = {{146--156}}, publisher = {{Kohlhammer}}, title = {{{KinderStärken für das Aufwachsen in multikulturellen Lebenswelten}}}, year = {{2015}}, } @article{19563, author = {{Bührmann, Thorsten and Büker, Petra}}, journal = {{Diskurs Kindheits- und Jugendforschung}}, pages = {{149--165}}, title = {{{Organisationsentwicklung und multiprofessionelle Teamarbeit im Kinderbildungshaus - eine systemische Perspektive}}}, volume = {{10 Jg., H. 2}}, year = {{2015}}, } @inbook{19565, author = {{Kordulla, Agnes and Büker, Petra}}, booktitle = {{Perspektiven und Potentiale in der Schuleingangsstufe}}, editor = {{Müller, Charlotte and Amberg, Lucia and Dütsch, Thomas and Hildebrandt, Elke and Vogt, Franziska and Wannack, Evelyne}}, pages = {{197--209}}, publisher = {{Waxmann}}, title = {{{Perspektiven von Kindern auf die Gestaltung didaktischer Lernarrangements im Übergang Kindergarten-Grundschule}}}, year = {{2015}}, } @inproceedings{19804, abstract = {{November 2015}}, author = {{Büker, Petra and Weiß, Christine}}, title = {{{Inklusion vom Kind aus denken - das Vielfaltstableau für die Aus- und Weiterbildung in multi-professionellen Teams. Workshop im Rahmen der 3. Arbeitstagung der Multiplikatoren für Integration im Projekt ZINT an der Hochschule Görlitz/Zittau}}}, year = {{2015}}, } @inproceedings{19805, abstract = {{September 2015}}, author = {{Büker, Petra and Höke, Julia}}, title = {{{Das Kind als kompetenter Akteur - Interdisziplinäre Anfragen an ein prominentes Paradigma der Früh- und Grundschulpädagogik. Vortrag an der Jahrestagung der Sektion Schulpädagogik der Deutschen Gesellschaft für Erziehungswissenschaft. Georg-August Universität Göttingen}}}, year = {{2015}}, } @inproceedings{19810, abstract = {{September 2015}}, author = {{Büker, Petra and Bethke, Cathleen}}, title = {{{"This is important for us": Quality criterion enunciated by children as experts for their transition process from kindergarten to primary school. Poster presentation at the 25th EECERA conference - European Early Childhood Education Research Association. Barcelona, Spain}}}, year = {{2015}}, } @inproceedings{19811, abstract = {{September 2015}}, author = {{Büker, Petra and Weiß, Christine and Schulze Mengering, Theresia}}, title = {{{Inklusion vom Kind aus denken - eine Lehrerfortbildung mittels des Vielfaltstableaus gestalten: Vortrag im Rahmen des Praxisforums Inklusion des Bildungs- und Integrationszentrum des Kreises Paderborn in Kooperation mit der Universität Paderborn. Universität Paderborn}}}, year = {{2015}}, } @inproceedings{19959, author = {{Wahby, Mostafa and Hamann, Heiko}}, booktitle = {{Applications of Evolutionary Computation (EvoApplications 2015)}}, title = {{{On the Tradeoff between Hardware Protection and Optimization Success: A Case Study in Onboard Evolutionary Robotics for Autonomous Parallel Parking}}}, doi = {{10.1007/978-3-319-16549-3_61}}, year = {{2015}}, } @inproceedings{19960, abstract = {{Besides the life-as-it-could-be driver of artificial life research there is also the concept of extending natural life by creating hybrids or mixed societies that are built from natural and artificial components. In this paper we motivate and present the research program of the project flora robotica. Our objective is to develop and to investigate closely linked symbiotic relationships between robots and natural plants and to explore the potentials of a plant-robot society able to produce architectural artifacts and living spaces. These robot-plant bio-hybrids create synergies that allow for new functions of plants and robots. They also create novel design opportunities for an architecture that fuses the design and construction phase. The bio-hybrid is an example of mixed societies between 'hard' artificial and 'wet' natural life, which enables an interaction between natural and artificial ecologies. They form an embodied, self-organizing, and distributed cognitive system which is supposed to grow and develop over long periods of time resulting in the creation of meaningful architectural structures. A key idea is to assign equal roles to robots and plants in order to create a highly integrated, symbiotic system. Besides the gain of knowledge, this project has the objective to create a bio-hybrid system with a defined function and application -- growing architectural artifacts.}}, author = {{Hamann, Heiko and Wahby, Mostafa and Schmickl, Thomas and Zahadat, Payam and Hofstadler, Daniel and Stoy, Kasper and Risi, Sebastian and Faina, Andres and Veenstra, Frank and Kernbach, Serge and Kuksin, Igor and Kernbach, Olga and Ayres, Phil and Wojtaszek, Przemyslaw}}, booktitle = {{Proceedings of the 2015 IEEE Symposium on Artificial Life (IEEE ALIFE'15)}}, isbn = {{9781479975600}}, title = {{{Flora Robotica - Mixed Societies of Symbiotic Robot-Plant Bio-Hybrids}}}, doi = {{10.1109/ssci.2015.158}}, year = {{2015}}, } @article{19962, abstract = {{Recent approaches in evolutionary robotics (ER) propose to generate behavioral diversity in order to evolve desired behaviors more easily. These approaches require the definition of a behavioral distance, which often includes task-specific features and hence a priori knowledge. Alternative methods, which do not explicitly force selective pressure towards diversity (SPTD) but still generate it, are known from the field of artificial life, such as in artificial ecologies (AEs). In this study, we investigate how SPTD is generated without task-specific behavioral features or other forms of a priori knowledge and detect how methods of generating SPTD can be transferred from the domain of AE to ER. A promising finding is that in both types of systems, in systems from ER that generate behavioral diversity and also in the investigated speciation model, selective pressure is generated towards unpopulated regions of search space. In a simple case study we investigate the practical implications of these findings and point to options for transferring the idea of self-organizing SPTD in AEs to the domain of ER.}}, author = {{Hamann, Heiko}}, issn = {{1064-5462}}, journal = {{Artificial Life}}, pages = {{464--480}}, title = {{{Lessons from Speciation Dynamics: How to Generate Selective Pressure Towards Diversity}}}, doi = {{10.1162/artl_a_00186}}, year = {{2015}}, } @inproceedings{19966, abstract = {{Aggregation is a crucial task in swarm robotics to ensure cooperation. We investigate the task of aggregation on an area specified indirectly by certain environmental features, here it is a light distribution. We extend the original BEECLUST algorithm, that implements an aggregation behavior, to an adaptive variant that automatically adapts to any light conditions. We compare these two control algorithms in a number of swarm robot experiments with different light conditions. The improved, adaptive variant is found to be significantly better in the tested setup.}}, author = {{Wahby, Mostafa and Weinhold, Alexander and Hamann, Heiko}}, booktitle = {{Proceedings of the 9th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)}}, isbn = {{9781631901003}}, title = {{{Revisiting BEECLUST: Aggregation of Swarm Robots with Adaptiveness to Different Light Settings}}}, doi = {{10.4108/eai.3-12-2015.2262877}}, year = {{2015}}, } @inproceedings{19967, author = {{Wahby, Mostafa and Divband Soorati, Mohammad and von Mammen, Sebastian and Hamann, Heiko}}, booktitle = {{Proceedings. 25. Computational Intelligence Workshop}}, title = {{{Evolution of Controllers for Robot-Plant Bio-Hybdrids: A Simple Case Study Using a Model of Plant Growth and Motion}}}, year = {{2015}}, } @inproceedings{19980, abstract = {{Fitness function design is known to be a critical feature of the evolutionary-robotics approach. Potentially, the complexity of evolving a successful controller for a given task can be reduced by integrating a priori knowledge into the fitness function which complicates the comparability of studies in evolutionary robotics. Still, there are only few publications that study the actual effects of different fitness functions on the robot's performance. In this paper, we follow the fitness function classification of Nelson et al. (2009) and investigate a selection of four classes of fitness functions that require different degrees of a priori knowledge. The robot controllers are evolved in simulation using NEAT and we investigate different tasks including obstacle avoidance and (periodic) goal homing. The best evolved controllers were then post-evaluated by examining their potential for adaptation, determining their convergence rates, and using cross-comparisons based on the different fitness function classes. The results confirm that the integration of more a priori knowledge can simplify a task and show that more attention should be paid to fitness function classes when comparing different studies.}}, author = {{Hamann, Heiko and Divband Soorati, Mohammad}}, booktitle = {{Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2015)}}, pages = {{153--160}}, publisher = {{ACM}}, title = {{{The Effect of Fitness Function Design on Performance in Evolutionary Robotics: The Influence of a Priori Knowledge}}}, doi = {{10.1145/2739480.2754676}}, year = {{2015}}, } @inproceedings{19988, author = {{Hamann, Heiko and Schmickl, Thomas and Zahadat, Payam}}, booktitle = {{13th European Conference on Artificial Life (ECAL 2015)}}, pages = {{174}}, publisher = {{MIT Press}}, title = {{{Evolving Collective Behaviors With Diverse But Predictable Sensor States}}}, doi = {{10.7551/978-0-262-33027-5-ch036}}, year = {{2015}}, } @inbook{19989, author = {{Hamann, Heiko and Correll, Nikolaus and Kacprzyk, Janusz and Pedrycz, Witold}}, booktitle = {{Springer Handbook of Computational Intelligence}}, pages = {{1423--1431}}, publisher = {{Springer}}, title = {{{Probabilistic Modeling of Swarming Systems}}}, doi = {{10.1007/978-3-662-43505-2_74}}, year = {{2015}}, } @inproceedings{19990, author = {{Ding, Hongli and Hamann, Heiko}}, booktitle = {{First International Symposium on Swarm Behavior and Bio-Inspired Robotics (SWARM 2015)}}, title = {{{Dependability in Swarm Robotics: Error Detection and Correction}}}, year = {{2015}}, } @inproceedings{19991, author = {{Hamann, Heiko and Schmickl, Thomas and Kengyel, Daniela and Zahadat, Payam and Radspieler, Gerald and Wotawa, Franz}}, booktitle = {{Principles and Practice of Multi-Agent Systems (PRIMA 2015)}}, pages = {{201--217}}, title = {{{Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms}}}, year = {{2015}}, } @article{19992, author = {{Valentini, Gabriele and Hamann, Heiko}}, issn = {{1935-3812}}, journal = {{Swarm Intelligence}}, pages = {{153--176}}, title = {{{Time-variant feedback processes in collective decision-making systems: influence and effect of dynamic neighborhood sizes}}}, doi = {{10.1007/s11721-015-0108-8}}, year = {{2015}}, } @inproceedings{20005, author = {{Dorigo, Marco and Hamann, Heiko and Valentini, Gabriele}}, booktitle = {{Proceedings of the 14th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015)}}, title = {{{Efficient Decision-Making in a Self-Organizing Robot Swarm: On the Speed Versus Accuracy Trade-Off}}}, year = {{2015}}, } @inproceedings{20006, author = {{Dorigo, Marco and Hamann, Heiko and Valentini, Gabriele}}, booktitle = {{AAAI-15 Video Proceedings}}, title = {{{Self-organized collective decisions in a robot swarm}}}, year = {{2015}}, } @inproceedings{20153, author = {{Kaveh, Mahdi and Pourmohammad, Javad and Hassanalian, Mostafa and Nili Ahmadabadi, Mahdi and Otroshi, Mortaza}}, location = {{Aachen, Germany}}, title = {{{Optimized method in sizing of Flapping Wing}}}, year = {{2015}}, } @inproceedings{280, abstract = {{The Collaborative Research Centre "On-The-Fly Computing" works on foundations and principles for the vision of the Future Internet. It proposes the paradigm of On-The-Fly Computing, which tackles emerging worldwide service markets. In these markets, service providers trade software, platform, and infrastructure as a service. Service requesters state requirements on services. To satisfy these requirements, the new role of brokers, who are (human) actors building service compositions on the fly, is introduced. Brokers have to specify service compositions formally and comprehensively using a domain-specific language (DSL), and to use service matching for the discovery of the constituent services available in the market. The broker's choice of the DSL and matching approaches influences her success of building compositions as distinctive properties of different service markets play a significant role. In this paper, we propose a new approach of engineering a situation-specific DSL by customizing a comprehensive, modular DSL and its matching for given service market properties. This enables the broker to create market-specific composition specifications and to perform market-specific service matching. As a result, the broker builds service compositions satisfying the requester's requirements more accurately. We evaluated the presented concepts using case studies in service markets for tourism and university management.}}, author = {{Arifulina, Svetlana and Platenius, Marie Christin and Mohr, Felix and Engels, Gregor and Schäfer, Wilhelm}}, booktitle = {{Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet}}, pages = {{333----340}}, title = {{{Market-Specific Service Compositions: Specification and Matching}}}, doi = {{10.1109/SERVICES.2015.58}}, year = {{2015}}, } @article{28015, abstract = {{Background Understanding changes in dietary intake during puberty could aid the mapping of dietary interventions for primary prevention. The present study describes dietary changes from childhood to adolescence, and their associations with parental education, family income, child education, body mass index (BMI), pubertal onset and screen-time sedentary behaviour. Methods Dietary data (n = 1232) were obtained from food frequency questionnaires at the 10- and 15-year follow-ups of the GINIplus birth cohort study. Intakes of 17 food groups, macronutrients and antioxidant vitamins, were described by a) paired Wilcoxon rank sum tests, comparing average intakes at each time-point, and b) Cohen’s kappa “tracking” coefficients, measuring stability of intakes (maintenance of relative tertile positions across time). Further, associations of changes (tertile position increase or decrease vs. tracking) with parental education, family income, child education, pubertal onset, BMI, and screen-time, were assessed by logistic regression and multinomial logistic regression models stratified by baseline intake tertile. Results Both sexes increased average intakes of water and decreased starchy vegetables, margarine and dairy. Females decreased meat and retinol intakes and increased vegetables, grains, oils and tea. Males decreased fruit and carbohydrates and increased average intakes of meat, caloric drinks, water, protein, fat, polyunsaturated fatty acids (PUFAs), vitamin C and alpha-tocopherol. Both sexes presented mainly “fair” tracking levels [κw = 0.21–0.40]. Females with high (vs. low) parental education were more likely to increase their nut intake [OR = 3.8; 95 % CI = (1.7;8.8)], and less likely to decrease vitamin C intakes [0.2 (0.1;0.5)], while males were less likely to increase egg consumption [0.2 (0.1;0.5)] and n3 PUFAs [0.2 (0.1;0.5)]. Females with a higher (vs. low) family income were more likely to maintain medium wholegrain intakes [0.2 (0.1;0.7) for decrease vs. tracking, and 0.1 (0.0;0.5) for increase vs. tracking], and were less likely to decrease vitamin C intakes [0.2 (0.1;0.6)]. Males with high education were less likely to increase sugar-sweetened foods [0.1 (0.1;0.4)]. Finally, BMI in females was negatively associated with decreasing protein intakes [0.7 (0.6;0.9)]. In males BMI was positively associated with increasing margarine [1.4 (1.1;1.6)] and vitamin C intakes [1.4 (1.1;1.6)], and negatively associated with increasing n3 PUFA. Conclusions Average dietary intakes changed significantly, despite fair tracking levels, suggesting the presence of trends in dietary behaviour during puberty. Family income and parental education predominantly influenced intake changes. Our results support the rationale for dietary interventions targeting children, and suggest that sex-specific subpopulations, e.g. low socio-economic status, should be considered for added impact.}}, author = {{Harris, Carla and Flexeder, Claudia and Thiering, Elisabeth and Buyken, Anette and Berdel, Dietrich and Koletzko, Sibylle and Bauer, Carl-Peter and Brüske, Irene and Koletzko, Berthold and Standl, Marie}}, journal = {{BMC Public Health}}, keywords = {{Puberty, Dietary intake, Dietary changes, Tracking, Determinants, Epidemiology}}, pages = {{841}}, title = {{{Changes in dietary intake during puberty and their determinants: results from the GINIplus birth cohort study}}}, volume = {{15}}, year = {{2015}}, } @article{28033, author = {{Bloh, Thiemo and Bloh, Bea and van Ophuysen, Stefanie}}, journal = {{Empirische Pädagogik}}, number = {{4}}, pages = {{505--520}}, title = {{{Lernpotential durch Lehrerkooperation. Vorstellung eines Analyseansatzes zur Erfassung erfahrungsbezogener Lerngelegenheiten.}}}, volume = {{29}}, year = {{2015}}, } @misc{281, author = {{Rojahn, Tobias}}, publisher = {{Universität Paderborn}}, title = {{{Load Balancing for Range Queries in a Dimension Invariant Peer-to-Peer Network}}}, year = {{2015}}, } @article{2815, author = {{Gries, Thomas and Naudé, Wim and Bilkic, Natascha}}, journal = {{The Quarterly Review of Economics and Finance}}, pages = {{1--17}}, title = {{{Playing the Lottery or Dressing Up? A Model of Firm-Level Heterogeneity and the Decision to Export}}}, doi = {{10.1016/j.qref.2015.02.010}}, volume = {{58}}, year = {{2015}}, } @article{2816, author = {{Gries, Thomas and Feng, Yuanhua and Guo, Zhichao}}, journal = {{China Agricultural Economic Review}}, number = {{2}}, pages = {{262--279}}, title = {{{Changes of China’s agri-food exports to Germany caused by its accession to WTO and the 2008 financial crisis}}}, doi = {{10.1108/CAER-11-2013-0152}}, volume = {{7}}, year = {{2015}}, } @misc{282, author = {{Kirsch, Michelle}}, publisher = {{Universität Paderborn}}, title = {{{Koordinierter Patentschutz in einer globalisierten Welt - Effizienz- und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern}}}, year = {{2015}}, } @article{28210, author = {{Iwanek, Peter and Dumitrescu, Roman and Reinhart, Felix and Brandis, Rinje}}, journal = {{productivITy (4 / 2015)}}, pages = {{57--59}}, title = {{{Expertensystem zur Steigerung der Effizienz im Bereich der Produktion}}}, year = {{2015}}, } @techreport{2822, author = {{Han, K. and Kundisch, Dennis and Weinhardt, C. and Zimmermann, Steffen}}, pages = {{295--297}}, title = {{{Economics and Value of IS}}}, volume = {{57 (5)}}, year = {{2015}}, } @phdthesis{28222, author = {{Bauer, Frank}}, isbn = {{978-3-942647-60-1}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Planungswerkzeug zur wissensbasierten Produktionssystemkonzipierung}}}, volume = {{341}}, year = {{2015}}, } @misc{28223, author = {{Gausemeier, Jürgen and Dumitrescu, Roman and Rammig, Franz-Josef and Schäfer, Wilhelm and Trächtler, Ansgar}}, isbn = {{978-3-942647-62-5}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{10. Paderborner Workshop Entwurf mechatronischer Systeme}}}, volume = {{343}}, year = {{2015}}, } @misc{28224, author = {{Gausemeier, Jürgen}}, isbn = {{978-3-942647-66-3}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Vorausschau und Technologieplanung. 11. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 29. und 30. Oktober 2015}}}, volume = {{347}}, year = {{2015}}, } @inproceedings{283, abstract = {{Today, software verification is an established analysis method which can provide high guarantees for software safety. However, the resources (time and/or memory) for an exhaustive verification are not always available, and analysis then has to resort to other techniques, like testing. Most often, the already achieved partial verification results arediscarded in this case, and testing has to start from scratch.In this paper, we propose a method for combining verification and testing in which testing only needs to check the residual fraction of an uncompleted verification. To this end, the partial results of a verification run are used to construct a residual program (and residual assertions to be checked on it). The residual program can afterwards be fed into standardtesting tools. The proposed technique is sound modulo the soundness of the testing procedure. Experimental results show that this combinedusage of verification and testing can significantly reduce the effort for the subsequent testing.}}, author = {{Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike}}, booktitle = {{Fundamental Approaches to Software Engineering}}, editor = {{Egyed, Alexander and Schaefer, Ina}}, pages = {{100--114}}, title = {{{Just test what you cannot verify!}}}, doi = {{10.1007/978-3-662-46675-9_7}}, year = {{2015}}, } @inproceedings{28301, author = {{Hassan, Bassem and Stöcklein, Jörg and Berssenbrügge, Jan}}, booktitle = {{Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015; LNCS 9179}}, editor = {{Shumaker, Randall and Lackey, Stephanie}}, pages = {{457--469}}, publisher = {{Springer International Publishing Switzerland}}, title = {{{ARTiST - An Augmented Reality Testbed for Intelligent Technical Systems}}}, volume = {{LNCS 9179}}, year = {{2015}}, } @article{28302, author = {{Trächtler, Ansgar and Iwanek, Peter and Scheffels, Gerald}}, journal = {{elektrotechnik - Automatisierung Sonderausgabe}}, pages = {{32--33}}, title = {{{Der Mensch als Vorbild}}}, year = {{2015}}, } @inproceedings{28303, 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 International Conference on Software and Systems Process (ICSSP)}}, pages = {{57--66}}, title = {{{Integrated Systems Engineering and Software Requirements Engineering for Technical Systems}}}, doi = {{http://dx.doi.org/10.1145/2785592.2785597}}, year = {{2015}}, } @article{28304, abstract = {{In this sequel paper, the previously presented framework for the planning and optimisation of functionally graded components Biermann et al. (Production Engineering Research & Development 7(6):657–664, 2013) is applied within a case study. In addition to the application, the implementational infrastructure of the framework is provided and the preliminaries for applying the framework to the respective production system are presented. Hence, the practical realisation of the models and methods is documented. In the context of the case study, each step of the planning process is demonstrated in a visually assisted way. These visualisations are based on the specific steps of the wizard guiding the planner through the framework. As a central contribution, the specification of a non-trivial gradation and the planning of the corresponding process chain by means of the planning framework are demonstrated.}}, author = {{Biermann, Dirk and Gausemeier, Jürgen and Heim, Hans-Peter and Hess, Stefan and Petersen, Marcus and Ries, Angela and Wagner, T.}}, journal = {{Production Engineering Research & Development 9(3)}}, pages = {{405--416}}, title = {{{Planning and Optimisation of Manufacturing Process Chains for Functionally Graded Components – Part 2: Case Study on Self-reinforced Thermoplastic Composites}}}, year = {{2015}}, } @inproceedings{28305, author = {{Berssenbrügge, Jan and Trächtler, Ansgar and Schmidt, Christoph}}, booktitle = {{Proceedings of the ASME 2015 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference}}, title = {{{Visualization of Headlight Illumination for the Virtual Prototyping of Light-Based Driver Assistance Systems}}}, year = {{2015}}, } @inproceedings{28306, author = {{Bremer, Christian and Dumitrescu, Roman and Gausemeier, Jürgen}}, booktitle = {{Stuttgarter Symposium für Produktentwicklung - SSP 2015}}, publisher = {{Fraunhofer IAO}}, title = {{{Zustandsorientierte Modellierung flexibler Produktionssysteme}}}, year = {{2015}}, } @inproceedings{28307, abstract = {{In case of an unplanned machine breakdown, alternative resources have to be found quickly to avoid delays in following process steps. In order to counter this, an automated determination of alternative CNC-machines and a reliable validation is proposed. First, a rough process description is extracted from the NC program. Second, a suitable machine is searched in an ontology based on the rough process description. The ontology contains a description of all needed properties of a machine and rules to derive the resulting capabilities. Third, the NC program is validated on a virtual machine to ensure the absence of errors.}}, author = {{Rehage, Gerald and Gausemeier, Jürgen}}, booktitle = {{15th CIRP Conference on Modelling of Machining Operations (15th CMMO), Band 31}}, pages = {{47--52}}, publisher = {{Elsevier B.V.}}, title = {{{Ontology-based determination of alternative CNC machines for a flexible resource allocation}}}, doi = {{doi:10.1016/j.procir.2015.03.054}}, year = {{2015}}, } @inproceedings{28308, author = {{Eckelt, Daniel and Gausemeier, Jürgen}}, booktitle = {{IP: Kooperation, Wettbewerb, Konfrontation, 37. Kollequium der TU Ilmenau über Patentinformationen, Band 37}}, publisher = {{ Technische Universität Ilmenau | PATON - Landespatentzentrum Thüringen}}, title = {{{Vorsprung durch strategisches IP-Management - Gestiges Eigentum kennen, schützen und nutzen}}}, year = {{2015}}, } @inproceedings{28309, author = {{Rübbelke, René and Söllner, Christoph and Gausemeier, Jürgen}}, booktitle = {{24th International Association for Management of Technology Conference, Nr. 24}}, title = {{{Balancing the Strategic Product Portfolio based on Market and Competence Needs}}}, year = {{2015}}, } @inproceedings{28310, author = {{Placzek, Markus and Eberling, Christian and Gausemeier, Jürgen}}, booktitle = {{24th International Association for Management of Technology Conference Proceedings, Band 24}}, pages = {{1646--1663}}, publisher = {{International Association for Management of Technology (IAMOT)}}, title = {{{Conception of a Knowledge Management System for Technologies}}}, year = {{2015}}, } @inproceedings{28311, author = {{Amshoff, Benjamin and Dülme, Christian and Echterfeld, Julian and Gausemeier, Jürgen}}, title = {{{Tagungsband zum Stuttgarter Symposium für Produktentwicklung (SSP)}}}, year = {{2015}}, } @article{28312, author = {{Amshoff, Benjamin and Dülme, Christian and Echterfeld, Julian and Gausemeier, Jürgen}}, journal = {{International Journal of Innovation Management 19(3)}}, title = {{{BUSINESS MODEL PATTERNS FOR DISRUPTIVE TECHNOLOGIES}}}, year = {{2015}}, } @inproceedings{28314, author = {{Echterfeld, Julian and Amshoff, Benjamin and Gausemeier, Jürgen}}, booktitle = {{International Association for Management of Technology (IAMOT)}}, title = {{{HOW TO USE BUSINESS MODEL PATTERNS FOR EXPLOITING DISRUPTIVE TECHNOLOGIES}}}, year = {{2015}}, }