T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” ACM Transactions on Embedded Computing Systems, no. 2, pp. 47:1-47:24, 2017.

D. Szopinski, T. Schoormann, T. John, R. Knackstedt, and D. Kundisch, “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools,” in Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), Boston, USA, 2017.

D. Szopinski, T. Schoormann, T. John, R. Knackstedt, and D. Kundisch, “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools,” in Bosch Business Model Innovation Summit 2017, Renningen, Germany, 2017.

M. Geierhos and F. S. Bäumer, “Guesswork? Resolving Vagueness in User-Generated Software Requirements,” in Partiality and Underspecification in Information, Languages, and Knowledge, 1st ed., H. Christiansen, M. D. Jiménez-López, R. Loukanova, and L. S. Moss, Eds. Newcastle upon Tyne, UK: Cambridge Scholars Publishing, 2017, pp. 65–108.

M. Martens, Geschäftsmodelle elektronischer Handelsplattformen. Universität Paderborn, 2017.

D. Kundisch and T. John, “Geschäftsmodell-Modellierungssprache/Business Model Modeling Language,” in Enzyklopädie der Wirtschaftsinformatik, GITO, 2017.

L. Huang et al., “Volumetric Generation of Optical Vortices with Metasurfaces,” ACS Photonics, pp. 338–346, 2017.

D. Szopinski, B. Jazayeri, G. Engels, and D. Kundisch, “On-The-Fly Computing: Ein Referenzmodell für individualisierte IT-Dienstleistungen in dynamischen Märkten,” in Proceedings of the Workshop Enterprise Architecture Management in Forschung und Praxis, INFORMATIK 2017, Chemnitz, Germany, 2017, pp. 2059–2066.

J. Carmona , G. Engels, and A. Kumar, Eds., Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science, vol. 10445. Springer, 2017.

J. Carmona , G. Engels, and A. Kumar, Eds., Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297, vol. 297. Springer, 2017.

R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, and G. Engels, Eds., Message from the IoT-ASAP Chairs. 2017.

S. Hess and H. G. Fischer, Eds., Mensch und Computer 2017 - Usability Professionals. Tagungsband. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V., 2017.

J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, and S. Sauer, “Towards systematic spreadsheet construction processes,” in 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), 2017.

J. Schumacher, “Sinnkonstruktion beim Erkunden von Mustern und Strukturen,” in Beiträge zum Mathematikunterricht 2017, 2017.

B. Jazayeri and S. Schwichtenberg, “On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture,” in Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop, 2017, pp. 120--127.

A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. Riechers, “Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times,” in Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA), 2017, vol. 10787, pp. 207–222.

M. Grieger, M. Fazal-Baqaie, G. Engels, and M. Klenke, “Concept-Based Engineering of Situation-Specific Migration Methods,” in Software Engineering 2017, 2017, pp. 65–66.

L. Luo, MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained. Universität Paderborn, 2017.

F. N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, and P. Podlipyan, “Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity,” in Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW), 2017, pp. 139–150.

J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, and S. Sauer, “Systematic spreadsheet construction processes,” in Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume, 2017, pp. 123–127.