@article{1043, abstract = {{Approximate computing (AC) is an emerging paradigm for energy-efficient computation. The basic idea of AC is to sacrifice high precision for low energy by allowing hardware to carry out “approximately correct” calculations. This provides a major challenge for software quality assurance: programs successfully verified to be correct might be erroneous on approximate hardware. In this letter, we present a novel approach for determining under what conditions a software verification result is valid for approximate hardware. To this end, we compute the allowed tolerances for AC hardware from successful verification runs. More precisely, we derive a set of constraints which—when met by the AC hardware—guarantees the verification result to carry over to AC. On the practical side, we furthermore: 1) show how to extract tolerances from verification runs employing predicate abstraction as verification technology and 2) show how to check such constraints on hardware designs. We have implemented all techniques, and exemplify them on example C programs and a number of recently proposed approximate adders.}}, author = {{Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike}}, issn = {{1943-0663}}, journal = {{IEEE Embedded Systems Letters}}, pages = {{22--25}}, publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, title = {{{Validity of Software Verification Results on Approximate Hardware}}}, doi = {{10.1109/LES.2017.2758200}}, year = {{2018}}, } @misc{1044, author = {{Leer, Richard}}, publisher = {{Universität Paderborn}}, title = {{{Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis}}}, year = {{2018}}, } @misc{1045, author = {{Strüwer, Jan Niclas}}, publisher = {{Universität Paderborn}}, title = {{{Interactive Data Visualization for Exploded Supergraphs}}}, year = {{2018}}, } @inproceedings{1046, author = {{John, Thomas and Szopinski, Daniel}}, booktitle = {{Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany}}, title = {{{Towards explaining the popularity of the Business Model Canvas: A dual coding approach}}}, year = {{2018}}, } @article{1047, author = {{Stummer, Christian and Kundisch, Dennis and Decker, Reinhold}}, journal = {{Business & Information Systems Engineering}}, publisher = {{Springer}}, title = {{{Platform Launch Strategies}}}, year = {{2018}}, } @inproceedings{1060, abstract = {{With a growing number of online reviews, it becomes increasingly important for customers and online review platforms to find groups of reviewers who write useful reviews. Customers who review local offline businesses such as restaurants can identify themselves as locals or travelers and thus implicitly assign themselves to a specific reviewer group. This study investigates the relationship between identifying as a local and the perceived usefulness of their online reviews. Using data from Yelp.com, we empirically test hypotheses derived from attribution theory. Our results suggest that neutral and negative reviews by locals tend to be perceived as more useful than reviews by travelers. Positive reviews by locals, however, are not perceived as more useful. These findings provide significant practical implications for online review platforms and local offline businesses.}}, author = {{Neumann, Jürgen and Gutt, Dominik and Kundisch, Dennis and van Straaten, Dirk}}, booktitle = {{Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany}}, title = {{{When Local Praise Becomes Cheap Talk - Analyzing the Relationship between Reviewer Location and Usefulness of Online Reviews}}}, year = {{2018}}, } @inproceedings{1061, abstract = {{It is well-established that both average online ratings and the number of ratings positively impact product sales. Yet, the economic implications of the information contained in the online review texts is not that well understood. In this study, we contribute to the understanding of online review texts and its economic implications by conducting and validating an unsupervised machine learning algorithm, the latent dirichlet allocation, to identify online reviews that mention product failures. Furthermore, we show that the textual information on product failures are associated with lower product sales. Our results help online review system designers, e.g., amazon, to identify these reviews and to make them easily accessible to potential customers to support the customer’s purchasing decision. Academics can build on our results by applying our validated topic identification strategy and by linking reviews mentioning product failure to a range of different outcomes.}}, author = {{Gutt, Dominik}}, booktitle = {{Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany}}, title = {{{Sorting Out the Lemons - Identifying Product Failures in Online Reviews and their Relationship with Sales}}}, year = {{2018}}, } @article{1063, author = {{Stroh-Maraun, Nadja and Kaimann, Daniel and Cox, Joe}}, journal = {{Entertainment Computing}}, pages = {{26--36}}, publisher = {{Elsevier}}, title = {{{More than skills: A novel matching proposal for multiplayer video games}}}, doi = {{10.1016/j.entcom.2017.12.002}}, volume = {{25}}, year = {{2018}}, } @misc{1064, author = {{Rumert, Luis}}, publisher = {{Universität Paderborn}}, title = {{{Zu den Anreizwirkungen der Kronzeugenregelung - eine wettbewerbspolitische Analyse des Bierkartells}}}, year = {{2018}}, } @misc{1066, author = {{Arfeen, Muhammad Fahad}}, publisher = {{Universität Paderborn}}, title = {{{How effective are leniency programs in cartel deterrence - An overview of the empirical and experimental literature}}}, year = {{2018}}, } @misc{1067, author = {{Kersting, Florian}}, publisher = {{Universität Paderborn}}, title = {{{Die Deutsche Fußball Liga GmbH - ein Syndikat? Die Zentralvermarktung der Live-TV-Übertragungsrechte aus wettbewerbspolitischer Sicht}}}, year = {{2018}}, } @misc{1068, author = {{Beichl, Philipp}}, publisher = {{Universität Paderborn}}, title = {{{Das Zusammenschlussvorhaben der REWE Markt GmbH und Coop eG - eine wettbewerbspolitische Analyse}}}, year = {{2018}}, } @article{107, abstract = {{Consumer ratings play a decisive role in purchases by online shoppers. Although the effect of the average and the number of consumer ratings on future product pricing and demand have been studied with some conclusive results, the effects of the variance of these ratings are less well understood. We develop a model which considers durable goods that are characterized by three types of attributes: search attributes, experience attributes, and transformed attributes the latter are conventional experience attributes that are transformed by consumer ratings into attributes that can be searched. Using informed search attributes to refer to the combination of search attributes and transformed attributes, we consider two sources of variance of consumer ratings: taste differences about informed search attributes and quality differences in the form of product failure representing experience attributes. We find that (i) optimal price increases and demand decreases in variance caused by informed search attributes, (ii) optimal price and demand decrease in variance caused by experience attributes, and (iii) by holding the average rating as well as the total variance constant, for products with low total variance price and demand increase in the relative share of variance caused by informed search attributes. Counter to intuition, we demonstrate that risk averse consumers may prefer a higher priced product with a higher variance in ratings when deciding between two similar products with the same average rating. Finally, our model provides a theoretical explanation for the empirically observed j-shaped distribution of consumer ratings in e-commerce that differs from established explanations.}}, author = {{Zimmermann , Steffen and Herrmann, Philipp and Kundisch, Dennis and Nault, Barry}}, journal = {{Information Systems Research}}, number = {{4}}, pages = {{984--1002}}, publisher = {{INFORMS}}, title = {{{Decomposing the Variance of Consumer Ratings and the Impact on Price and Demand}}}, doi = {{10.1287/isre.2017.0764}}, volume = {{29}}, year = {{2018}}, } @inproceedings{1096, abstract = {{to appear}}, author = {{Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike}}, booktitle = {{Proceedings of the 40th International Conference on Software Engineering (ICSE)}}, location = {{Gothenburg, Sweden}}, pages = {{1182----1193}}, publisher = {{ACM}}, title = {{{Reducer-Based Construction of Conditional Verifiers}}}, year = {{2018}}, } @misc{1097, author = {{Jentzsch, Felix Paul}}, keywords = {{Approximate Computing, Proof-Carrying Hardware, Formal Verification}}, publisher = {{Universität Paderborn}}, title = {{{Enforcing IP Core Connection Properties with Verifiable Security Monitors}}}, year = {{2018}}, } @inbook{1104, abstract = {{Präzision ist kein Zufall. Sie wird vom Menschen herbeigeführt, indem Übereinstimmung mit einem Standard oder einem akzeptierten Wert angestrebt wird oder die Reproduzierbarkeit von Experimenten möglichst hoch sein muss. Was aber tun, wenn Präzision mangels verfügbarer Informationen nicht hergestellt werden kann? Wie gehen Wissenschaft und Kunst dann mit dieser fehlenden Eindeutigkeit um? Die Autorinnen und Autoren dieses Sammelbandes beleuchten aus der Perspektive ihrer jeweiligen Fachdisziplin die Chancen bei der Berücksichtigung von Unschärfe(n) in ihrer Forschung und Kunst. Denn Unschärfe ist Realität. }}, author = {{Geierhos, Michaela}}, booktitle = {{Unschärfe - Der Umgang mit fehlender Eindeutigkeit}}, editor = {{Freitag, Steffen and Geierhos, Michaela and Asmani, Rozbeh and Haug, Judith I.}}, isbn = {{978-3-506-78896-2}}, pages = {{111--128}}, publisher = {{Ferdinand Schöningh}}, title = {{{Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen}}}, year = {{2018}}, } @inproceedings{1171, author = {{Müller, Michelle and Gutt, Dominik and Neumann, Jürgen}}, booktitle = {{Multikonferenz Wirtschaftsinformatik (MKWI) 2018}}, location = {{Lüneburg}}, title = {{{Beschreib mir deine Wohnung und ich sag dir wer du bist - Eine explorative Analyse von Gastgeberpersönlichkeiten auf Airbnb}}}, year = {{2018}}, } @article{1173, author = {{Kaimann, Daniel and Stroh-Maraun, Nadja and Cox, Joe}}, journal = {{Journal of Consumer Behaviour}}, number = {{3}}, pages = {{290 -- 301}}, publisher = {{Wiley Online Library}}, title = {{{A Duration Model Analysis of Consumer Preferences and Determinants of Video Game Consumption}}}, doi = {{10.1002/cb.1711}}, volume = {{17}}, year = {{2018}}, } @inproceedings{1181, abstract = {{The main idea in On-The-Fly Computing is to automatically compose existing software services according to the wishes of end-users. However, since user requirements are often ambiguous, vague and incomplete, the selection and composition of suitable software services is a challanging task. In this paper, we present our current approach to improve requirement descriptions before they are used for software composition. This procedure is fully automated, but also has limitations, for example, if necessary information is missing. In addition, and in response to the limitations, we provide insights into our above-mentioned current work that combines the existing optimization approach with a chatbot solution.}}, author = {{Bäumer, Frederik Simon and Geierhos, Michaela}}, booktitle = {{Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)}}, editor = {{Schmid, Klaus and Spoletini, Paola and Ben Charrada, Eya and Chisik, Yoram and Dalpiaz, Fabiano and Ferrari, Alessio and Forbrig, Peter and Franch, Xavier and Kirikova, Marite and Madhavji, Nazim and Palomares, Cristina and Ralyté, Jolita and Sabetzadeh, Mehrdad and Sawyer, Pete and van der Linden, Dirk and Zamansky, Anna}}, issn = {{1613-0073}}, location = {{Utrecht, The Netherlands}}, publisher = {{CEUR-WS.org}}, title = {{{How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas}}}, volume = {{2075}}, year = {{2018}}, } @inproceedings{1182, abstract = {{Natural language requirement descriptions are often unstructured, contradictory and incomplete and are therefore challenging for automatic processing. Although many of these deficits can be compensated by means of Natural Language Processing, there still remain cases where interaction with end-users is necessary for clarification. In this paper, we present our idea of using chatbot technology to establish end-user communication in order to support the automatic compensation of some deficits in natural language requirement descriptions.}}, author = {{Friesen, Edwin and Bäumer, Frederik Simon and Geierhos, Michaela}}, booktitle = {{Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)}}, editor = {{Schmid, Klaus and Spoletini, Paola and Ben Charrada, Eya and Chisik, Yoram and Dalpiaz, Fabiano and Ferrari, Alessio and Forbrig, Peter and Franch, Xavier and Kirikova, Marite and Madhavji, Nazim and Palomares, Cristina and Ralyté, Jolita and Sabetzadeh, Mehrdad and Sawyer, Pete and van der Linden, Dirk and Zamansky, Anna }}, issn = {{1613-0073}}, location = {{Utrecht, The Netherlands}}, publisher = {{CEUR-WS.org}}, title = {{{CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface}}}, volume = {{2075}}, year = {{2018}}, }