@article{8113, abstract = {{The ongoing softwarization of networks creates a big need for automated testing solutions to ensure service quality. This becomes even more important if agile environments with short time to market and high demands, in terms of service performance and availability, are considered. In this paper, we introduce a novel testing solution for virtualized, microservice-based network functions and services, which we base on TTCN-3, a well known testing language defined by the European standards institute (ETSI). We use TTCN-3 not only for functional testing but also answer the question whether TTCN-3 can be used for performance profiling tasks as well. Finally, we demonstrate the proposed concepts and solutions in a case study using our open-source prototype to test and profile a chained network service.}}, author = {{Peuster, Manuel and Dröge, Christian and Boos, Clemens and Karl, Holger}}, issn = {{2405-9595}}, journal = {{ICT Express}}, publisher = {{Elsevier BV}}, title = {{{Joint testing and profiling of microservice-based network services using TTCN-3}}}, doi = {{10.1016/j.icte.2019.02.001}}, year = {{2019}}, } @inproceedings{8240, author = {{Dräxler, Sevil and Karl, Holger}}, booktitle = {{5th IEEE International Conference on Network Softwarization (NetSoft) 2019}}, location = {{Paris}}, title = {{{SPRING: Scaling, Placement, and Routing of Heterogeneous Services with Flexible Structures}}}, year = {{2019}}, } @inbook{7430, author = {{Rittmeier, Florian and Engels, Gregor and Teetz, Alexander}}, booktitle = {{Business Process Management Workshops}}, editor = {{Daniel, Florian and Sheng, Quan Z. and Motahari, Hamid}}, isbn = {{9783030116408}}, issn = {{1865-1348}}, pages = {{531--542}}, publisher = {{Springer International Publishing}}, title = {{{Process Weakness Patterns for the Identification of Digitalization Potentials in Business Processes}}}, doi = {{10.1007/978-3-030-11641-5_42}}, volume = {{342}}, year = {{2019}}, } @misc{7623, author = {{Zhang, Shikun}}, pages = {{64}}, publisher = {{Universität Paderborn}}, title = {{{Combining Android Apps for Analysis Purposes}}}, year = {{2019}}, } @misc{7628, author = {{Selbach, Nils}}, publisher = {{Universität Paderborn}}, title = {{{Modeling Crypto API usages in OpenSSL's EVP library}}}, year = {{2019}}, } @inproceedings{7635, author = {{Sharma, Arnab and Wehrheim, Heike}}, booktitle = {{IEEE International Conference on Software Testing, Verification and Validation (ICST)}}, location = {{Xi'an, China, April, 2019}}, pages = {{125----135}}, publisher = {{IEEE}}, title = {{{Testing Machine Learning Algorithms for Balanced Data Usage}}}, year = {{2019}}, } @inproceedings{7636, abstract = {{Self-stabilizing overlay networks have the advantage of being able to recover from illegal states and faults. However, the majority of these networks cannot give any guarantees on their functionality while the recovery process is going on. We are especially interested in searchability, i.e., the functionality that search messages for a specific node are answered successfully if a node exists in the network. In this paper we investigate overlay networks that ensure the maintenance of monotonic searchability while the self-stabilization is going on. More precisely, once a search message from node u to another node v is successfully delivered, all future search messages from u to v succeed as well. We extend the existing research by focusing on skip graphs and present a solution for two scenarios: (i) the goal topology is a super graph of the perfect skip graph and (ii) the goal topology is exactly the perfect skip graph. }}, author = {{Luo, Linghui and Scheideler, Christian and Strothmann, Thim Frederik}}, booktitle = {{Proceedings of the 2019 IEEE 33rd International Parallel and Distributed Processing Symposium (IPDPS '19)}}, location = {{Rio de Janeiro, Brazil}}, title = {{{MultiSkipGraph: A Self-stabilizing Overlay Network that Maintains Monotonic Searchability}}}, year = {{2019}}, } @inproceedings{7668, author = {{Heindorf, Stefan and Scholten, Yan and Engels, Gregor and Potthast, Martin}}, booktitle = {{WWW}}, location = {{San Francisco, USA}}, pages = {{670--680}}, publisher = {{ACM}}, title = {{{Debiasing Vandalism Detection Models at Wikidata}}}, doi = {{10.1145/3308558.3313507}}, year = {{2019}}, } @inproceedings{7669, author = {{Josifovska, Klementina and Yigitbas, Enes and Engels, Gregor}}, booktitle = {{Proceedings of the 21st International Conference on Human-Computer Interaction (HCII 2019)}}, location = {{Orlando, Florida}}, pages = {{398--409}}, publisher = {{Springer, LNCS}}, title = {{{A Digital Twin-Based Multi-Modal UI Adaptation Framework for Assistance Systems in Industry 4.0 }}}, volume = {{11568}}, year = {{2019}}, } @article{7689, author = {{Riebler, Heinrich and Vaz, Gavin Francis and Kenter, Tobias and Plessl, Christian}}, journal = {{ACM Trans. Archit. Code Optim. (TACO)}}, keywords = {{htrop}}, number = {{2}}, pages = {{14:1–14:26}}, publisher = {{ACM}}, title = {{{Transparent Acceleration for Heterogeneous Platforms with Compilation to OpenCL}}}, doi = {{10.1145/3319423}}, volume = {{16}}, year = {{2019}}, } @inproceedings{8495, author = {{Josifovska, Klementina and Yigitbas, Enes and Engels, Gregor}}, booktitle = {{Proceedings of 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS'19)}}, location = {{Montreal, Canada}}, pages = {{25--31}}, publisher = {{IEEE Press}}, title = {{{ Reference Framework for Digital Twins within Cyber-Physical Systems }}}, year = {{2019}}, } @inproceedings{8534, abstract = {{We propose two protocols for distributed priority queues (denoted by 'heap' for simplicity in this paper) called SKEAP and SEAP. SKEAP realizes a distributed heap for a constant amount of priorities and SEAP one for an arbitrary amount. Both protocols build on an overlay, which induces an aggregation tree on which heap operations are aggregated in batches, ensuring that our protocols scale even for a high rate of incoming requests. As part of SEAP we provide a novel distributed protocol for the k-selection problem that runs in time O(log n) w.h.p. SKEAP guarantees sequential consistency for its heap operations, while SEAP guarantees serializability. SKEAP and SEAP provide logarithmic runtimes w.h.p. on all their operations. SKEAP and SEAP provide logarithmic runtimes w.h.p. on all their operations with SEAP having to use only O(log n) bit messages.}}, author = {{Feldmann, Michael and Scheideler, Christian}}, booktitle = {{Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)}}, pages = {{287----296}}, publisher = {{ACM}}, title = {{{Skeap & Seap: Scalable Distributed Priority Queues for Constant and Arbitrary Priorities}}}, doi = {{10.1145/3323165.3323193}}, year = {{2019}}, } @article{8543, abstract = {{Dieser Artikel erörtert, ob in studentischen Kleingruppenprojekten in der Informatik Kreativität und die Erarbeitung kreativer Ideen explizit gefördert werden kann. Dazu wird ein Seminarkonzept detailliert vorgestellt, welches auf zwei Grundkonzepten der Informatikpraxis beruht: agiles Projektvorgehen und Prototyping. Die Teilnehmenden des Seminars wurden gezielt in einen Kreativitätsprozess geleitet, indem sie für gegebene moderne Technologien (Virtual Reality, Augmented Reality, Drohnen, etc.) neuartige Nutzungsszenarien entwickeln sollten. Um zu evaluieren, ob das Lehrkonzept erfolgreich ist, wird sowohl die produktbezogene als auch die prozessbezogene Kreativität betrachtet. Für die produktbezogene Kreativität werden die von den Teilnehmenden erstellten Projektideen inklusive der benutzten Prototypingtechnik vorgestellt und bewertet. Die Teilnehmenden haben nicht nur eine enorme Breite an Ideen entwickelt (in der Summe ca. 40 bei 16 Teilnehmenden), sondern insbesondere auch acht Ideen im Verlaufe des Seminars sehr konkret weiterentwickelt. Hinsichtlich der prozessbezogenen Kreativität wird das Lehrkonzept durch mehrere Fragebögen eruiert. Die Studierenden sind mit dem Seminar, der Herangehensweise und den Ergebnissen sehr zufrieden, was unter anderem durch die äußerst positive studentische Veranstaltungskritik (u.a. 1,0 für den Gesamteindruck sowie Atmosphäre in der Veranstaltung) und die Auswertung der Evaluationsfragebögen unterstrichen wird. Auch von externen Beobachtern werden die erarbeiteten Ergebnisse und der Einsatz von Prototyping als sehr positiv bewertet.}}, author = {{Strothmann, Thim Frederik}}, journal = {{die hochschullehre}}, title = {{{Förderung von Kreativität in studentischen Kleingruppenprojekten in der Informatik – Ein Prototyping-basierter Ansatz}}}, year = {{2019}}, } @article{8638, author = {{Yigitbas, Enes and Schomaker, Gunnar}}, journal = {{International Tube Association (ITAtube) Journal}}, title = {{{WindCORES - Digital Transformation with Renewable Energy }}}, year = {{2019}}, } @inproceedings{8792, abstract = {{5G together with software defined networking (SDN) and network function virtualisation (NFV) will enable a wide variety of vertical use cases. One of them is the smart man- ufacturing case which utilises 5G networks to interconnect production machines, machine parks, and factory sites to enable new possibilities in terms of flexibility, automation, and novel applications (industry 4.0). However, the availability of realistic and practical proof-of-concepts for those smart manufacturing scenarios is still limited. This demo fills this gap by not only showing a real-world smart manufacturing application entirely implemented using NFV concepts, but also a lightweight prototyping framework that simplifies the realisation of vertical NFV proof-of-concepts. Dur- ing the demo, we show how an NFV-based smart manufacturing scenario can be specified, on-boarded, and instantiated before we demonstrate how the presented NFV services simplify machine data collection, aggregation, and analysis.}}, author = {{Peuster, Manuel and Schneider, Stefan Balthasar and Behnke, Daniel and Müller, Marcel and Bök, Patrick-Benjamin and Karl, Holger}}, booktitle = {{5th IEEE International Conference on Network Softwarization (NetSoft 2019)}}, location = {{Paris}}, title = {{{Prototyping and Demonstrating 5G Verticals: The Smart Manufacturing Case}}}, doi = {{10.1109/NETSOFT.2019.8806685}}, year = {{2019}}, } @article{8795, abstract = {{Softwarized networks are the key enabler for elastic, on-demand service deployments of virtualized network functions. They allow to dynamically steer traffic through the network when new network functions are instantiated, or old ones are terminated. These scenarios become in particular challenging when stateful functions are involved, necessitating state management solutions to migrate state between the functions. The problem with existing solutions is that they typically embrace state migration and flow rerouting jointly, imposing a huge set of requirements on the on-boarded virtualized network functions (VNFs), eg, solution-specific state management interfaces. To change this, we introduce the seamless handover protocol (SHarP). An easy-to-use, loss-less, and order-preserving flow rerouting mechanism that is not fixed to a single state management approach. Using SHarP, VNF vendors are empowered to implement or use the state management solution of their choice. SHarP supports these solutions with additional information when flows are migrated. In this paper, we present SHarP's design, its open source prototype implementation, and show how SHarP significantly reduces the buffer usage at a central (SDN) controller, which is a typical bottleneck in state-of-the-art solutions. Our experiments show that SHarP uses a constant amount of controller buffer, irrespective of the time taken to migrate the VNF state.}}, author = {{Peuster, Manuel and Küttner, Hannes and Karl, Holger}}, issn = {{1055-7148}}, journal = {{International Journal of Network Management}}, title = {{{A flow handover protocol to support state migration in softwarized networks}}}, doi = {{10.1002/nem.2067}}, year = {{2019}}, } @inproceedings{8833, author = {{Jovanovikj, Ivan and Yigitbas, Enes and Gerth, Christian and Sauer, Stefan and Engels, Gregor}}, booktitle = {{Information Systems Engineering in Responsible Information Systems - CAiSE Forum 2019, Rome, Italy, June 3-7, 2019, Proceedings}}, editor = {{ Cappiello, Cinzia and Ruiz, Marcela}}, location = {{Rome}}, pages = {{145--157}}, title = {{{Detection and Resolution of Data-Flow Differences in Business Process Models}}}, volume = {{350}}, year = {{2019}}, } @inproceedings{8835, author = {{Jovanovikj, Ivan and Yigitbas, Enes and Grieger, Marvin and Sauer, Stefan and Engels, Gregor}}, booktitle = {{Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,}}, isbn = {{978-989-758-358-2}}, location = {{Prague}}, pages = {{536--543}}, publisher = {{SciTePress}}, title = {{{Modular Construction of Context-Specific Test Case Migration Methods}}}, doi = {{10.5220/0007690205360543}}, year = {{2019}}, } @inproceedings{8861, author = {{Anjorin, Anthony and Yigitbas, Enes and Kaindl, Hermann}}, booktitle = {{Proceedings of the 8th International Workshop on Bidirectional Transformations (Bx 2019)}}, location = {{Philadelphia, PA, USA}}, pages = {{61--65}}, publisher = {{CEUR-WS.org}}, title = {{{Consistent Runtime Adaptation of User Interfaces }}}, volume = {{2355}}, year = {{2019}}, } @inproceedings{8866, author = {{Jansen, Klaus and Maack, Marten and Mäcker, Alexander}}, booktitle = {{Proceedings of the 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS)}}, pages = {{145 -- 154}}, publisher = {{IEEE}}, title = {{{Scheduling on (Un-)Related Machines with Setup Times}}}, year = {{2019}}, }