@article{1814,
  author       = {{Derakhshandeh, Zahra and Gmyr, Robert and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}},
  journal      = {{Theor. Comput. Sci.}},
  pages        = {{56----68}},
  title        = {{{Universal coating for programmable matter}}},
  doi          = {{10.1016/j.tcs.2016.02.039}},
  year         = {{2017}},
}

@inproceedings{1815,
  author       = {{J. Daymude, Joshua and Gmyr, Robert and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}},
  booktitle    = {{Algorithms for Sensor Systems - 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers}},
  pages        = {{127----140}},
  title        = {{{Improved Leader Election for Self-organizing Programmable Matter}}},
  doi          = {{10.1007/978-3-319-72751-6_10}},
  year         = {{2017}},
}

@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{21938,
  author       = {{Nüske, Feliks and Wu, Hao and Prinz, Jan-Hendrik and Wehmeyer, Christoph and Clementi, Cecilia and Noé, Frank}},
  issn         = {{0021-9606}},
  journal      = {{The Journal of Chemical Physics}},
  title        = {{{Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias}}},
  doi          = {{10.1063/1.4976518}},
  year         = {{2017}},
}

@article{21939,
  author       = {{Wu, Hao and Nüske, Feliks and Paul, Fabian and Klus, Stefan and Koltai, Péter and Noé, Frank}},
  issn         = {{0021-9606}},
  journal      = {{The Journal of Chemical Physics}},
  title        = {{{Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations}}},
  doi          = {{10.1063/1.4979344}},
  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}},
}