@proceedings{1820, editor = {{Scheideler, Christian and Taghi Hajiaghayi, Mohammad}}, isbn = {{978-1-4503-4593-4}}, title = {{{Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017}}}, doi = {{10.1145/3087556}}, year = {{2017}}, } @inproceedings{22811, author = {{Röltgen, Daniel and Wortmann, Fabio and Anacker, Harald and Dumitrescu, Roman}}, booktitle = {{13. Symposium für Vorausschau und Technologieplanung, Band 374 , Berlin , 23. - 24. Nov. 2017}}, editor = {{Gausemeier, Jürgen}}, title = {{{Identifikation von Potentialen für Augmented-Reality-basierte Produkt-Service-Systeme}}}, volume = {{374}}, year = {{2017}}, } @inproceedings{22813, author = {{Albers, Alexander and Kühn, Arno and Dumitrescu, Roman}}, booktitle = {{Proceedings of: Tag des Systems Engineering (TdSE), 8. - 10. Nov. 2017}}, title = {{{Modellbasierte Entscheidungsunterstützung in der Produktgenerationenplanung}}}, year = {{2017}}, } @inproceedings{22861, author = {{Lipsmeier, Andre and Westermann, Thorsten and Anacker, Harald and Dumitrescu, Roman}}, booktitle = {{21th International Conference on Engineering and Design (ICED17), 21. - 25. Aug. 2017}}, title = {{{Mechatronic Modularization of Intelligent Technical Systems}}}, year = {{2017}}, } @inproceedings{22863, author = {{Lipsmeier, Andre and Anacker, Harald and Dumitrescu, Roman and Kühn, Arno}}, booktitle = {{Stuttgarter Symposium für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017}}, title = {{{Kundenorientierte Entwicklung von Intelligenten Technischen Systemen im Maschinenbau}}}, year = {{2017}}, } @inproceedings{22864, author = {{Fechtelpeter, Christian and Kühn, Arno and Dumitrescu, Roman and Ebbesmeyer, Peter}}, booktitle = {{Proceedings of the 26th International Association for Management of Technology Conference , 14. - 18. Mai 2017, IAMOT}}, editor = {{Hörlesberger, M. and Hribernik, B.}}, title = {{{Integrated technology transfer concept for fostering innovation in SMEs}}}, year = {{2017}}, } @inproceedings{22865, author = {{Drewel, Marvin and Gausemeier, Jürgen and Kluge, Andre and Pierenkemper, Christoph}}, booktitle = {{Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band 369}}, editor = {{Bodden, Eric and Dressler, Falko and Dumitrescu, Roman and Gausemeier, Jürgen and Meyer auf der Heide, Friedhelm and Scheytt, Christoph and Trächtler, Ansgar}}, pages = {{53--66}}, title = {{{Erfolgsgarant digitale Plattform – Vorreiter Landwirtschaft}}}, volume = {{369}}, year = {{2017}}, } @inproceedings{22866, author = {{Fechtelpeter, Christian and Bansmann, Michael and Dumitrescu, Roman and Anacker, Harald}}, booktitle = {{Presentation and proceedings, Technology Transfer Society (T2S) Annual Conference, 2017}}, title = {{{Implementation planning and transfer of technology induced scenarios of digitized work}}}, year = {{2017}}, } @inproceedings{22867, author = {{Westermann, Thorsten and Anacker, Harald and Dumitrescu, Roman}}, booktitle = {{Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369}}, editor = {{Bodden, Eric and Dressler, Falko and Dumitrescu, Roman and Gausemeier, Jürgen and Meyer auf der Heide, Friedhelm and Scheytt, Christoph and Trächtler, Ansgar}}, title = {{{Reifegradmodell für die Planung von Cyber-Physical Systems}}}, year = {{2017}}, } @inproceedings{22868, author = {{Reinhart, Felix and Kühn, Arno and Dumitrescu, Roman}}, booktitle = {{Wissenschaftsforum Intelligente Technische Systeme (WInTeSys),}}, pages = {{321--334}}, publisher = {{Heinz Nixdorf MuseumsForum}}, title = {{{Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau}}}, year = {{2017}}, } @inproceedings{22869, author = {{Roßmann, Jürgen and Schluse, Michael and Rast, Malte and Hoppen, Martin and Atorf, Linus and Dumitrescu, Roman and Bremer, Christian and Hillebrand, Michael and Stern, Oliver and Schmitter, Peter}}, booktitle = {{Wissenschaftsforum Intelligente Technische Systeme (WinTeSys)}}, title = {{{ Integrierte Entwicklung komplexer Systeme mit modellbasierter Systemspezifikation und -simulation - Eine Fallstudie zur Sensorauslegung in der Raumfahrt}}}, year = {{2017}}, } @article{90, abstract = {{We propose and extend an approach for the verification of safety properties for parameterized timed systems modeled as networks of timed automata. For this task, we introduce an incremental workflow that is based on our algorithm IC3 with Zones. It proceeds in a cycle in which single models of the system are verified, and the verification results are employed for the reasoning about the entire system. Starting with the smallest instances, the verification of the safety property is carried out fast and efficient. On successful verification, the algorithm produces an inductive strengthening of the safety property. We reuse this result and try to reason about the entire parameterized timed system. To this end, we extrapolate the inductive strengthening into a candidate for the next-larger model. In case this candidate is a valid inductive strengthening for the next larger model, our main theorem reasons about all models of the parameterized timed system, stating that the safety property holds true for all models. Otherwise, the main cycle starts over with the verification of the next larger model. This workflow is iterated indefinitely, until able to reason about the entire parameterized timed system, until a counterexample trace is found, or until the single models become too large to be handled in the verification. We reuse the intermediate results in a Feedback-loop in order to accelerate the verification runs for the single models. Furthermore, we consider an extended formalism in comparison to our previous publications.}}, author = {{Isenberg, Tobias}}, journal = {{ACM Transactions on Embedded Computing Systems}}, number = {{2}}, pages = {{47:1--47:24}}, publisher = {{ACM}}, title = {{{Incremental Inductive Verification of Parameterized Timed Systems}}}, doi = {{10.1145/2984640}}, year = {{2017}}, } @proceedings{7749, editor = {{Carmona , Josep and Engels, Gregor and Kumar, Akhil }}, publisher = {{Springer}}, title = {{{Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science}}}, volume = {{10445}}, year = {{2017}}, } @proceedings{7750, editor = {{Carmona , Josep and Engels, Gregor and Kumar, Akhil }}, publisher = {{Springer}}, title = {{{Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297}}}, volume = {{297}}, year = {{2017}}, } @book{7751, editor = {{Spalazzese, Romina and Christin Platenius, Marie and Becker, Steffen and Persson, Per and Engels, Gregor}}, title = {{{Message from the IoT-ASAP Chairs}}}, doi = {{10.1109/ICSAW.2017.67}}, year = {{2017}}, } @proceedings{7754, editor = {{Hess, Steffen and Fischer, Holger Gerhard}}, publisher = {{Gesellschaft für Informatik e.V. und German UPA e.V.}}, title = {{{Mensch und Computer 2017 - Usability Professionals. Tagungsband}}}, year = {{2017}}, } @inproceedings{7755, author = {{Mendes, Jorge and Cunha, Jacome and Duarte, Francisco and Engels, Gregor and Saraiva, Joao and Sauer, Stefan}}, booktitle = {{2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)}}, isbn = {{9781538615898}}, publisher = {{IEEE}}, title = {{{Towards systematic spreadsheet construction processes}}}, doi = {{10.1109/icse-c.2017.141}}, year = {{2017}}, } @inproceedings{78, abstract = {{The Internet of Things (IoT) connects the things of our everyday life and supports usin our common activities.Several markets for IoT services have been created. These markets enable IoT users to search and compose services in order to support an IoT activity.However, existing IoT markets like IFTTT (If This Then That) are not convenient for users with respect to service discovery and composition.The objective of On-the-fly (OTF) computing is to configure and provide software markets that fulfill individual users' wishes by the automatic on-the-fly composition of single services.The architecture framework of On-the-fly computing markets helps architects to systematically develop these systems in different domains.In this paper, we use our OTF architectural framework to examine the requirements of a reference architecture for IoT markets.Furthermore, we perform a comparison between the architecture of IFTTT as an existing IoT market with this reference architecture. The results show how existing IoT markets can be improved. In return, the practical knowledge of IFTTT is taken to the reference architecture.This knowledge helps to overcome the limitations of today's IoT markets or creating new markets in the future.}}, author = {{Jazayeri, Bahar and Schwichtenberg, Simon}}, booktitle = {{Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop}}, pages = {{120----127}}, publisher = {{IEEE}}, title = {{{On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture}}}, doi = {{10.1109/ICSAW.2017.59}}, year = {{2017}}, } @inproceedings{79, abstract = {{Consider a problem in which $n$ jobs that are classified into $k$ types arrive over time at their release times and are to be scheduled on a single machine so as to minimize the maximum flow time.The machine requires a setup taking $s$ time units whenever it switches from processing jobs of one type to jobs of a different type.We consider the problem as an online problem where each job is only known to the scheduler as soon as it arrives and where the processing time of a job only becomes known upon its completion (non-clairvoyance).We are interested in the potential of simple ``greedy-like'' algorithms.We analyze a modification of the FIFO strategy and show its competitiveness to be $\Theta(\sqrt{n})$, which is optimal for the considered class of algorithms.For $k=2$ types it achieves a constant competitiveness.Our main insight is obtained by an analysis of the smoothed competitiveness.If processing times $p_j$ are independently perturbed to $\hat p_j = (1+X_j)p_j$, we obtain a competitiveness of $O(\sigma^{-2} \log^2 n)$ when $X_j$ is drawn from a uniform or a (truncated) normal distribution with standard deviation $\sigma$.The result proves that bad instances are fragile and ``practically'' one might expect a much better performance than given by the $\Omega(\sqrt{n})$-bound.}}, author = {{Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and Riechers, Sören}}, booktitle = {{Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)}}, pages = {{207--222}}, publisher = {{Springer}}, title = {{{Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times}}}, doi = {{10.1007/978-3-319-89441-6}}, volume = {{10787}}, year = {{2017}}, } @inproceedings{8073, author = {{Grieger, Marvin and Fazal-Baqaie, Masud and Engels, Gregor and Klenke, Markus}}, booktitle = {{Software Engineering 2017}}, pages = {{65--66}}, title = {{{Concept-Based Engineering of Situation-Specific Migration Methods}}}, year = {{2017}}, }