--- _id: '1814' author: - first_name: Zahra full_name: Derakhshandeh, Zahra last_name: Derakhshandeh - first_name: Robert full_name: Gmyr, Robert last_name: Gmyr - first_name: Andrea full_name: W. Richa, Andrea last_name: W. Richa - first_name: Christian full_name: Scheideler, Christian id: '20792' last_name: Scheideler - first_name: Thim Frederik full_name: Strothmann, Thim Frederik id: '11319' last_name: Strothmann citation: ama: Derakhshandeh Z, Gmyr R, W. Richa A, Scheideler C, Strothmann TF. Universal coating for programmable matter. Theor Comput Sci. 2017:56--68. doi:10.1016/j.tcs.2016.02.039 apa: Derakhshandeh, Z., Gmyr, R., W. Richa, A., Scheideler, C., & Strothmann, T. F. (2017). Universal coating for programmable matter. Theor. Comput. Sci., 56--68. https://doi.org/10.1016/j.tcs.2016.02.039 bibtex: '@article{Derakhshandeh_Gmyr_W. Richa_Scheideler_Strothmann_2017, title={Universal coating for programmable matter}, DOI={10.1016/j.tcs.2016.02.039}, journal={Theor. Comput. Sci.}, author={Derakhshandeh, Zahra and Gmyr, Robert and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}, year={2017}, pages={56--68} }' chicago: Derakhshandeh, Zahra, Robert Gmyr, Andrea W. Richa, Christian Scheideler, and Thim Frederik Strothmann. “Universal Coating for Programmable Matter.” Theor. Comput. Sci., 2017, 56--68. https://doi.org/10.1016/j.tcs.2016.02.039. ieee: Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, and T. F. Strothmann, “Universal coating for programmable matter,” Theor. Comput. Sci., pp. 56--68, 2017. mla: Derakhshandeh, Zahra, et al. “Universal Coating for Programmable Matter.” Theor. Comput. Sci., 2017, pp. 56--68, doi:10.1016/j.tcs.2016.02.039. short: Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, Theor. Comput. Sci. (2017) 56--68. date_created: 2018-03-27T11:24:57Z date_updated: 2022-01-06T06:53:26Z department: - _id: '79' doi: 10.1016/j.tcs.2016.02.039 language: - iso: eng page: 56--68 publication: Theor. Comput. Sci. status: public title: Universal coating for programmable matter type: journal_article user_id: '15504' year: '2017' ... --- _id: '1815' author: - first_name: Joshua full_name: J. Daymude, Joshua last_name: J. Daymude - first_name: Robert full_name: Gmyr, Robert last_name: Gmyr - first_name: Andrea full_name: W. Richa, Andrea last_name: W. Richa - first_name: Christian full_name: Scheideler, Christian id: '20792' last_name: Scheideler - first_name: Thim Frederik full_name: Strothmann, Thim Frederik id: '11319' last_name: Strothmann citation: ama: 'J. Daymude J, Gmyr R, W. Richa A, Scheideler C, Strothmann TF. Improved Leader Election for Self-organizing Programmable Matter. In: 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. ; 2017:127--140. doi:10.1007/978-3-319-72751-6_10' apa: J. Daymude, J., Gmyr, R., W. Richa, A., Scheideler, C., & Strothmann, T. F. (2017). Improved Leader Election for Self-organizing Programmable Matter. In 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 (pp. 127--140). https://doi.org/10.1007/978-3-319-72751-6_10 bibtex: '@inproceedings{J. Daymude_Gmyr_W. Richa_Scheideler_Strothmann_2017, title={Improved Leader Election for Self-organizing Programmable Matter}, DOI={10.1007/978-3-319-72751-6_10}, 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}, author={J. Daymude, Joshua and Gmyr, Robert and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}, year={2017}, pages={127--140} }' chicago: J. Daymude, Joshua, Robert Gmyr, Andrea W. Richa, Christian Scheideler, and Thim Frederik Strothmann. “Improved Leader Election for Self-Organizing Programmable Matter.” In 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, 127--140, 2017. https://doi.org/10.1007/978-3-319-72751-6_10. ieee: J. J. Daymude, R. Gmyr, A. W. Richa, C. Scheideler, and T. F. Strothmann, “Improved Leader Election for Self-organizing Programmable Matter,” in 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, 2017, pp. 127--140. mla: J. Daymude, Joshua, et al. “Improved Leader Election for Self-Organizing Programmable Matter.” 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, 2017, pp. 127--140, doi:10.1007/978-3-319-72751-6_10. short: 'J. J. Daymude, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, in: 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, 2017, pp. 127--140.' date_created: 2018-03-27T11:25:58Z date_updated: 2022-01-06T06:53:26Z department: - _id: '79' doi: 10.1007/978-3-319-72751-6_10 language: - iso: eng page: 127--140 publication: 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 status: public title: Improved Leader Election for Self-organizing Programmable Matter type: conference user_id: '15504' year: '2017' ... --- _id: '1820' citation: ama: Scheideler C, Taghi Hajiaghayi M, eds. Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017.; 2017. doi:10.1145/3087556 apa: Scheideler, C., & Taghi Hajiaghayi, M. (Eds.). (2017). Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017. https://doi.org/10.1145/3087556 bibtex: '@book{Scheideler_Taghi Hajiaghayi_2017, 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} }' chicago: Scheideler, Christian, and Mohammad Taghi Hajiaghayi, eds. Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017, 2017. https://doi.org/10.1145/3087556. ieee: C. Scheideler and M. Taghi Hajiaghayi, Eds., Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017. 2017. mla: Scheideler, Christian, and Mohammad Taghi Hajiaghayi, editors. Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017. 2017, doi:10.1145/3087556. short: C. Scheideler, M. Taghi Hajiaghayi, eds., Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017, 2017. date_created: 2018-03-27T11:29:10Z date_updated: 2022-01-06T06:53:27Z department: - _id: '79' doi: 10.1145/3087556 editor: - first_name: Christian full_name: Scheideler, Christian id: '20792' last_name: Scheideler - first_name: Mohammad full_name: Taghi Hajiaghayi, Mohammad last_name: Taghi Hajiaghayi publication_identifier: isbn: - 978-1-4503-4593-4 status: public title: Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017 type: conference_editor user_id: '15504' year: '2017' ... --- _id: '22811' author: - first_name: Daniel full_name: Röltgen, Daniel last_name: Röltgen - first_name: Fabio full_name: Wortmann, Fabio last_name: Wortmann - first_name: Harald full_name: Anacker, Harald last_name: Anacker - first_name: Roman full_name: Dumitrescu, Roman id: '16190' last_name: Dumitrescu citation: ama: 'Röltgen D, Wortmann F, Anacker H, Dumitrescu R. Identifikation von Potentialen für Augmented-Reality-basierte Produkt-Service-Systeme. In: Gausemeier J, Heinz Nixdorf Institut, Paderborn, eds. 13. Symposium Für Vorausschau Und Technologieplanung, Band 374 , Berlin , 23. - 24. Nov. 2017. Vol 374. ; 2017.' apa: Röltgen, D., Wortmann, F., Anacker, H., & Dumitrescu, R. (2017). Identifikation von Potentialen für Augmented-Reality-basierte Produkt-Service-Systeme. In J. Gausemeier & Heinz Nixdorf Institut, Paderborn (Eds.), 13. Symposium für Vorausschau und Technologieplanung, Band 374 , Berlin , 23. - 24. Nov. 2017 (Vol. 374). bibtex: '@inproceedings{Röltgen_Wortmann_Anacker_Dumitrescu_2017, title={Identifikation von Potentialen für Augmented-Reality-basierte Produkt-Service-Systeme}, volume={374}, booktitle={13. Symposium für Vorausschau und Technologieplanung, Band 374 , Berlin , 23. - 24. Nov. 2017}, author={Röltgen, Daniel and Wortmann, Fabio and Anacker, Harald and Dumitrescu, Roman}, editor={Gausemeier, Jürgen and Heinz Nixdorf Institut, PaderbornEditors}, year={2017} }' chicago: Röltgen, Daniel, Fabio Wortmann, Harald Anacker, and Roman Dumitrescu. “Identifikation von Potentialen Für Augmented-Reality-Basierte Produkt-Service-Systeme.” In 13. Symposium Für Vorausschau Und Technologieplanung, Band 374 , Berlin , 23. - 24. Nov. 2017, edited by Jürgen Gausemeier and Heinz Nixdorf Institut, Paderborn, Vol. 374, 2017. ieee: D. Röltgen, F. Wortmann, H. Anacker, and R. Dumitrescu, “Identifikation von Potentialen für Augmented-Reality-basierte Produkt-Service-Systeme,” in 13. Symposium für Vorausschau und Technologieplanung, Band 374 , Berlin , 23. - 24. Nov. 2017, 2017, vol. 374. mla: Röltgen, Daniel, et al. “Identifikation von Potentialen Für Augmented-Reality-Basierte Produkt-Service-Systeme.” 13. Symposium Für Vorausschau Und Technologieplanung, Band 374 , Berlin , 23. - 24. Nov. 2017, edited by Jürgen Gausemeier and Heinz Nixdorf Institut, Paderborn, vol. 374, 2017. short: 'D. Röltgen, F. Wortmann, H. Anacker, R. Dumitrescu, in: J. Gausemeier, Heinz Nixdorf Institut, Paderborn (Eds.), 13. Symposium Für Vorausschau Und Technologieplanung, Band 374 , Berlin , 23. - 24. Nov. 2017, 2017.' conference: end_date: 2017-11-24 start_date: 2017-11-23 corporate_editor: - ' Heinz Nixdorf Institut, Paderborn' date_created: 2021-07-26T09:55:31Z date_updated: 2022-01-06T06:55:42Z department: - _id: '563' editor: - first_name: Jürgen full_name: Gausemeier, Jürgen last_name: Gausemeier intvolume: ' 374' language: - iso: eng publication: 13. Symposium für Vorausschau und Technologieplanung, Band 374 , Berlin , 23. - 24. Nov. 2017 status: public title: Identifikation von Potentialen für Augmented-Reality-basierte Produkt-Service-Systeme type: conference user_id: '21240' volume: 374 year: '2017' ... --- _id: '22813' author: - first_name: Alexander full_name: Albers, Alexander last_name: Albers - first_name: Arno full_name: Kühn, Arno last_name: Kühn - first_name: Roman full_name: Dumitrescu, Roman id: '16190' last_name: Dumitrescu citation: ama: 'Albers A, Kühn A, Dumitrescu R. Modellbasierte Entscheidungsunterstützung in der Produktgenerationenplanung. In: Proceedings of: Tag Des Systems Engineering (TdSE), 8. - 10. Nov. 2017. ; 2017.' apa: 'Albers, A., Kühn, A., & Dumitrescu, R. (2017). Modellbasierte Entscheidungsunterstützung in der Produktgenerationenplanung. In Proceedings of: Tag des Systems Engineering (TdSE), 8. - 10. Nov. 2017.' bibtex: '@inproceedings{Albers_Kühn_Dumitrescu_2017, title={Modellbasierte Entscheidungsunterstützung in der Produktgenerationenplanung}, booktitle={Proceedings of: Tag des Systems Engineering (TdSE), 8. - 10. Nov. 2017}, author={Albers, Alexander and Kühn, Arno and Dumitrescu, Roman}, year={2017} }' chicago: 'Albers, Alexander, Arno Kühn, and Roman Dumitrescu. “Modellbasierte Entscheidungsunterstützung in Der Produktgenerationenplanung.” In Proceedings of: Tag Des Systems Engineering (TdSE), 8. - 10. Nov. 2017, 2017.' ieee: 'A. Albers, A. Kühn, and R. Dumitrescu, “Modellbasierte Entscheidungsunterstützung in der Produktgenerationenplanung,” in Proceedings of: Tag des Systems Engineering (TdSE), 8. - 10. Nov. 2017, 2017.' mla: 'Albers, Alexander, et al. “Modellbasierte Entscheidungsunterstützung in Der Produktgenerationenplanung.” Proceedings of: Tag Des Systems Engineering (TdSE), 8. - 10. Nov. 2017, 2017.' short: 'A. Albers, A. Kühn, R. Dumitrescu, in: Proceedings of: Tag Des Systems Engineering (TdSE), 8. - 10. Nov. 2017, 2017.' date_created: 2021-07-26T12:35:49Z date_updated: 2022-01-06T06:55:42Z department: - _id: '563' language: - iso: eng publication: 'Proceedings of: Tag des Systems Engineering (TdSE), 8. - 10. Nov. 2017' status: public title: Modellbasierte Entscheidungsunterstützung in der Produktgenerationenplanung type: conference user_id: '21240' year: '2017' ... --- _id: '22861' author: - first_name: Andre full_name: Lipsmeier, Andre last_name: Lipsmeier - first_name: Thorsten full_name: Westermann, Thorsten last_name: Westermann - first_name: Harald full_name: Anacker, Harald last_name: Anacker - first_name: Roman full_name: Dumitrescu, Roman id: '16190' last_name: Dumitrescu citation: ama: 'Lipsmeier A, Westermann T, Anacker H, Dumitrescu R. Mechatronic Modularization of Intelligent Technical Systems. In: 21th International Conference on Engineering and Design (ICED17), 21. - 25. Aug. 2017. ; 2017.' apa: Lipsmeier, A., Westermann, T., Anacker, H., & Dumitrescu, R. (2017). Mechatronic Modularization of Intelligent Technical Systems. In 21th International Conference on Engineering and Design (ICED17), 21. - 25. Aug. 2017. bibtex: '@inproceedings{Lipsmeier_Westermann_Anacker_Dumitrescu_2017, title={Mechatronic Modularization of Intelligent Technical Systems}, booktitle={21th International Conference on Engineering and Design (ICED17), 21. - 25. Aug. 2017}, author={Lipsmeier, Andre and Westermann, Thorsten and Anacker, Harald and Dumitrescu, Roman}, year={2017} }' chicago: Lipsmeier, Andre, Thorsten Westermann, Harald Anacker, and Roman Dumitrescu. “Mechatronic Modularization of Intelligent Technical Systems.” In 21th International Conference on Engineering and Design (ICED17), 21. - 25. Aug. 2017, 2017. ieee: A. Lipsmeier, T. Westermann, H. Anacker, and R. Dumitrescu, “Mechatronic Modularization of Intelligent Technical Systems,” in 21th International Conference on Engineering and Design (ICED17), 21. - 25. Aug. 2017, 2017. mla: Lipsmeier, Andre, et al. “Mechatronic Modularization of Intelligent Technical Systems.” 21th International Conference on Engineering and Design (ICED17), 21. - 25. Aug. 2017, 2017. short: 'A. Lipsmeier, T. Westermann, H. Anacker, R. Dumitrescu, in: 21th International Conference on Engineering and Design (ICED17), 21. - 25. Aug. 2017, 2017.' date_created: 2021-07-28T08:56:18Z date_updated: 2022-01-06T06:55:42Z department: - _id: '563' language: - iso: eng publication: 21th International Conference on Engineering and Design (ICED17), 21. - 25. Aug. 2017 status: public title: Mechatronic Modularization of Intelligent Technical Systems type: conference user_id: '21240' year: '2017' ... --- _id: '22863' author: - first_name: Andre full_name: Lipsmeier, Andre last_name: Lipsmeier - first_name: Harald full_name: Anacker, Harald last_name: Anacker - first_name: Roman full_name: Dumitrescu, Roman id: '16190' last_name: Dumitrescu - first_name: Arno full_name: Kühn, Arno last_name: Kühn citation: ama: 'Lipsmeier A, Anacker H, Dumitrescu R, Kühn A. Kundenorientierte Entwicklung von Intelligenten Technischen Systemen im Maschinenbau. In: Stuttgarter Symposium Für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017. ; 2017.' apa: Lipsmeier, A., Anacker, H., Dumitrescu, R., & Kühn, A. (2017). Kundenorientierte Entwicklung von Intelligenten Technischen Systemen im Maschinenbau. In Stuttgarter Symposium für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017. bibtex: '@inproceedings{Lipsmeier_Anacker_Dumitrescu_Kühn_2017, title={Kundenorientierte Entwicklung von Intelligenten Technischen Systemen im Maschinenbau}, booktitle={Stuttgarter Symposium für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017}, author={Lipsmeier, Andre and Anacker, Harald and Dumitrescu, Roman and Kühn, Arno}, year={2017} }' chicago: Lipsmeier, Andre, Harald Anacker, Roman Dumitrescu, and Arno Kühn. “Kundenorientierte Entwicklung von Intelligenten Technischen Systemen Im Maschinenbau.” In Stuttgarter Symposium Für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017, 2017. ieee: A. Lipsmeier, H. Anacker, R. Dumitrescu, and A. Kühn, “Kundenorientierte Entwicklung von Intelligenten Technischen Systemen im Maschinenbau,” in Stuttgarter Symposium für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017, 2017. mla: Lipsmeier, Andre, et al. “Kundenorientierte Entwicklung von Intelligenten Technischen Systemen Im Maschinenbau.” Stuttgarter Symposium Für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017, 2017. short: 'A. Lipsmeier, H. Anacker, R. Dumitrescu, A. Kühn, in: Stuttgarter Symposium Für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017, 2017.' date_created: 2021-07-28T08:58:37Z date_updated: 2022-01-06T06:55:42Z department: - _id: '563' language: - iso: eng publication: Stuttgarter Symposium für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017 status: public title: Kundenorientierte Entwicklung von Intelligenten Technischen Systemen im Maschinenbau type: conference user_id: '21240' year: '2017' ... --- _id: '22864' author: - first_name: Christian full_name: Fechtelpeter, Christian last_name: Fechtelpeter - first_name: Arno full_name: Kühn, Arno last_name: Kühn - first_name: Roman full_name: Dumitrescu, Roman id: '16190' last_name: Dumitrescu - first_name: Peter full_name: Ebbesmeyer, Peter last_name: Ebbesmeyer citation: ama: 'Fechtelpeter C, Kühn A, Dumitrescu R, Ebbesmeyer P. Integrated technology transfer concept for fostering innovation in SMEs. In: Hörlesberger M, Hribernik B, eds. Proceedings of the 26th International Association for Management of Technology Conference , 14. - 18. Mai 2017, IAMOT. ; 2017.' apa: Fechtelpeter, C., Kühn, A., Dumitrescu, R., & Ebbesmeyer, P. (2017). Integrated technology transfer concept for fostering innovation in SMEs. In M. Hörlesberger & B. Hribernik (Eds.), Proceedings of the 26th International Association for Management of Technology Conference , 14. - 18. Mai 2017, IAMOT. bibtex: '@inproceedings{Fechtelpeter_Kühn_Dumitrescu_Ebbesmeyer_2017, title={Integrated technology transfer concept for fostering innovation in SMEs}, booktitle={Proceedings of the 26th International Association for Management of Technology Conference , 14. - 18. Mai 2017, IAMOT}, author={Fechtelpeter, Christian and Kühn, Arno and Dumitrescu, Roman and Ebbesmeyer, Peter}, editor={Hörlesberger, M. and Hribernik, B.Editors}, year={2017} }' chicago: Fechtelpeter, Christian, Arno Kühn, Roman Dumitrescu, and Peter Ebbesmeyer. “Integrated Technology Transfer Concept for Fostering Innovation in SMEs.” In Proceedings of the 26th International Association for Management of Technology Conference , 14. - 18. Mai 2017, IAMOT, edited by M. Hörlesberger and B. Hribernik, 2017. ieee: C. Fechtelpeter, A. Kühn, R. Dumitrescu, and P. Ebbesmeyer, “Integrated technology transfer concept for fostering innovation in SMEs,” in Proceedings of the 26th International Association for Management of Technology Conference , 14. - 18. Mai 2017, IAMOT, 2017. mla: Fechtelpeter, Christian, et al. “Integrated Technology Transfer Concept for Fostering Innovation in SMEs.” Proceedings of the 26th International Association for Management of Technology Conference , 14. - 18. Mai 2017, IAMOT, edited by M. Hörlesberger and B. Hribernik, 2017. short: 'C. Fechtelpeter, A. Kühn, R. Dumitrescu, P. Ebbesmeyer, in: M. Hörlesberger, B. Hribernik (Eds.), Proceedings of the 26th International Association for Management of Technology Conference , 14. - 18. Mai 2017, IAMOT, 2017.' date_created: 2021-07-28T09:03:05Z date_updated: 2022-01-06T06:55:42Z department: - _id: '563' editor: - first_name: M. full_name: Hörlesberger, M. last_name: Hörlesberger - first_name: B. full_name: Hribernik, B. last_name: Hribernik language: - iso: eng publication: Proceedings of the 26th International Association for Management of Technology Conference , 14. - 18. Mai 2017, IAMOT status: public title: Integrated technology transfer concept for fostering innovation in SMEs type: conference user_id: '21240' year: '2017' ... --- _id: '22865' author: - first_name: Marvin full_name: Drewel, Marvin last_name: Drewel - first_name: Jürgen full_name: Gausemeier, Jürgen last_name: Gausemeier - first_name: Andre full_name: Kluge, Andre last_name: Kluge - first_name: Christoph full_name: Pierenkemper, Christoph last_name: Pierenkemper citation: ama: 'Drewel M, Gausemeier J, Kluge A, Pierenkemper C. Erfolgsgarant digitale Plattform – Vorreiter Landwirtschaft. In: Bodden E, Dressler F, Dumitrescu R, et al., eds. Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band 369. Vol 369. ; 2017:53-66.' apa: Drewel, M., Gausemeier, J., Kluge, A., & Pierenkemper, C. (2017). Erfolgsgarant digitale Plattform – Vorreiter Landwirtschaft. In E. Bodden, F. Dressler, R. Dumitrescu, J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, … Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Eds.), Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band 369 (Vol. 369, pp. 53–66). bibtex: '@inproceedings{Drewel_Gausemeier_Kluge_Pierenkemper_2017, title={Erfolgsgarant digitale Plattform – Vorreiter Landwirtschaft}, volume={369}, booktitle={Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band 369}, author={Drewel, Marvin and Gausemeier, Jürgen and Kluge, Andre and Pierenkemper, Christoph}, 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 and Verlagsschriftenreihe des Heinz Nixdorf Instituts, PaderbornEditors}, year={2017}, pages={53–66} }' chicago: Drewel, Marvin, Jürgen Gausemeier, Andre Kluge, and Christoph Pierenkemper. “Erfolgsgarant digitale Plattform – Vorreiter Landwirtschaft.” In Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band 369, edited by Eric Bodden, Falko Dressler, Roman Dumitrescu, Jürgen Gausemeier, Friedhelm Meyer auf der Heide, Christoph Scheytt, Ansgar Trächtler, and Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 369:53–66, 2017. ieee: M. Drewel, J. Gausemeier, A. Kluge, and C. Pierenkemper, “Erfolgsgarant digitale Plattform – Vorreiter Landwirtschaft,” in Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band 369, 2017, vol. 369, pp. 53–66. mla: Drewel, Marvin, et al. “Erfolgsgarant digitale Plattform – Vorreiter Landwirtschaft.” Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band 369, edited by Eric Bodden et al., vol. 369, 2017, pp. 53–66. short: 'M. Drewel, J. Gausemeier, A. Kluge, C. Pierenkemper, in: E. Bodden, F. Dressler, R. Dumitrescu, J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, A. Trächtler, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Eds.), Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band 369, 2017, pp. 53–66.' corporate_editor: - Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn date_created: 2021-07-28T09:07:51Z date_updated: 2022-01-06T06:55:42Z department: - _id: '563' editor: - first_name: Eric full_name: Bodden, Eric last_name: Bodden - first_name: Falko full_name: Dressler, Falko last_name: Dressler - first_name: Roman full_name: Dumitrescu, Roman last_name: Dumitrescu - first_name: Jürgen full_name: Gausemeier, Jürgen last_name: Gausemeier - first_name: Friedhelm full_name: Meyer auf der Heide, Friedhelm last_name: Meyer auf der Heide - first_name: Christoph full_name: Scheytt, Christoph last_name: Scheytt - first_name: Ansgar full_name: Trächtler, Ansgar last_name: Trächtler intvolume: ' 369' language: - iso: ger page: 53-66 publication: Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band 369 status: public title: Erfolgsgarant digitale Plattform – Vorreiter Landwirtschaft type: conference user_id: '21240' volume: 369 year: '2017' ... --- _id: '22866' author: - first_name: Christian full_name: Fechtelpeter, Christian last_name: Fechtelpeter - first_name: Michael full_name: Bansmann, Michael last_name: Bansmann - first_name: Roman full_name: Dumitrescu, Roman id: '16190' last_name: Dumitrescu - first_name: Harald full_name: Anacker, Harald last_name: Anacker citation: ama: 'Fechtelpeter C, Bansmann M, Dumitrescu R, Anacker H. Implementation planning and transfer of technology induced scenarios of digitized work. In: Presentation and Proceedings, Technology Transfer Society (T2S) Annual Conference, 2017. ; 2017.' apa: Fechtelpeter, C., Bansmann, M., Dumitrescu, R., & Anacker, H. (2017). Implementation planning and transfer of technology induced scenarios of digitized work. In Presentation and proceedings, Technology Transfer Society (T2S) Annual Conference, 2017. bibtex: '@inproceedings{Fechtelpeter_Bansmann_Dumitrescu_Anacker_2017, title={Implementation planning and transfer of technology induced scenarios of digitized work}, booktitle={Presentation and proceedings, Technology Transfer Society (T2S) Annual Conference, 2017}, author={Fechtelpeter, Christian and Bansmann, Michael and Dumitrescu, Roman and Anacker, Harald}, year={2017} }' chicago: Fechtelpeter, Christian, Michael Bansmann, Roman Dumitrescu, and Harald Anacker. “Implementation Planning and Transfer of Technology Induced Scenarios of Digitized Work.” In Presentation and Proceedings, Technology Transfer Society (T2S) Annual Conference, 2017, 2017. ieee: C. Fechtelpeter, M. Bansmann, R. Dumitrescu, and H. Anacker, “Implementation planning and transfer of technology induced scenarios of digitized work,” in Presentation and proceedings, Technology Transfer Society (T2S) Annual Conference, 2017, 2017. mla: Fechtelpeter, Christian, et al. “Implementation Planning and Transfer of Technology Induced Scenarios of Digitized Work.” Presentation and Proceedings, Technology Transfer Society (T2S) Annual Conference, 2017, 2017. short: 'C. Fechtelpeter, M. Bansmann, R. Dumitrescu, H. Anacker, in: Presentation and Proceedings, Technology Transfer Society (T2S) Annual Conference, 2017, 2017.' date_created: 2021-07-28T09:12:33Z date_updated: 2022-01-06T06:55:42Z department: - _id: '563' language: - iso: eng publication: Presentation and proceedings, Technology Transfer Society (T2S) Annual Conference, 2017 status: public title: Implementation planning and transfer of technology induced scenarios of digitized work type: conference user_id: '21240' year: '2017' ... --- _id: '22867' author: - first_name: Thorsten full_name: Westermann, Thorsten last_name: Westermann - first_name: Harald full_name: Anacker, Harald last_name: Anacker - first_name: Roman full_name: Dumitrescu, Roman last_name: Dumitrescu citation: ama: 'Westermann T, Anacker H, Dumitrescu R. Reifegradmodell für die Planung von Cyber-Physical Systems. In: Bodden E, Dressler F, Dumitrescu R, et al., eds. Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369. ; 2017.' apa: Westermann, T., Anacker, H., & Dumitrescu, R. (2017). Reifegradmodell für die Planung von Cyber-Physical Systems. In E. Bodden, F. Dressler, R. Dumitrescu, J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, … Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Eds.), Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369. bibtex: '@inproceedings{Westermann_Anacker_Dumitrescu_2017, title={Reifegradmodell für die Planung von Cyber-Physical Systems}, booktitle={Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369}, author={Westermann, Thorsten and Anacker, Harald and Dumitrescu, Roman}, 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 and Verlagsschriftenreihe des Heinz Nixdorf Instituts, PaderbornEditors}, year={2017} }' chicago: Westermann, Thorsten, Harald Anacker, and Roman Dumitrescu. “Reifegradmodell für die Planung von Cyber-Physical Systems.” In Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369, edited by Eric Bodden, Falko Dressler, Roman Dumitrescu, Jürgen Gausemeier, Friedhelm Meyer auf der Heide, Christoph Scheytt, Ansgar Trächtler, and Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2017. ieee: T. Westermann, H. Anacker, and R. Dumitrescu, “Reifegradmodell für die Planung von Cyber-Physical Systems,” in Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369, 2017. mla: Westermann, Thorsten, et al. “Reifegradmodell für die Planung von Cyber-Physical Systems.” Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369, edited by Eric Bodden et al., 2017. short: 'T. Westermann, H. Anacker, R. Dumitrescu, in: E. Bodden, F. Dressler, R. Dumitrescu, J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, A. Trächtler, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Eds.), Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369, 2017.' corporate_editor: - Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn date_created: 2021-07-28T09:16:58Z date_updated: 2022-01-06T06:55:42Z department: - _id: '563' editor: - first_name: Eric full_name: Bodden, Eric last_name: Bodden - first_name: Falko full_name: Dressler, Falko last_name: Dressler - first_name: Roman full_name: Dumitrescu, Roman last_name: Dumitrescu - first_name: Jürgen full_name: Gausemeier, Jürgen last_name: Gausemeier - first_name: Friedhelm full_name: Meyer auf der Heide, Friedhelm last_name: Meyer auf der Heide - first_name: Christoph full_name: Scheytt, Christoph last_name: Scheytt - first_name: Ansgar full_name: Trächtler, Ansgar last_name: Trächtler language: - iso: ger publication: Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369 status: public title: Reifegradmodell für die Planung von Cyber-Physical Systems type: conference user_id: '21240' year: '2017' ... --- _id: '22868' author: - first_name: Felix full_name: Reinhart, Felix last_name: Reinhart - first_name: Arno full_name: Kühn, Arno last_name: Kühn - first_name: Roman full_name: Dumitrescu, Roman last_name: Dumitrescu citation: ama: 'Reinhart F, Kühn A, Dumitrescu R. Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau. In: Wissenschaftsforum Intelligente Technische Systeme (WInTeSys),. Heinz Nixdorf MuseumsForum; 2017:321-334.' apa: Reinhart, F., Kühn, A., & Dumitrescu, R. (2017). Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau. In Wissenschaftsforum Intelligente Technische Systeme (WInTeSys), (pp. 321–334). Heinz Nixdorf MuseumsForum. bibtex: '@inproceedings{Reinhart_Kühn_Dumitrescu_2017, title={Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau}, booktitle={Wissenschaftsforum Intelligente Technische Systeme (WInTeSys),}, publisher={Heinz Nixdorf MuseumsForum}, author={Reinhart, Felix and Kühn, Arno and Dumitrescu, Roman}, year={2017}, pages={321–334} }' chicago: Reinhart, Felix, Arno Kühn, and Roman Dumitrescu. “Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau.” In Wissenschaftsforum Intelligente Technische Systeme (WInTeSys), 321–34. Heinz Nixdorf MuseumsForum, 2017. ieee: F. Reinhart, A. Kühn, and R. Dumitrescu, “Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau,” in Wissenschaftsforum Intelligente Technische Systeme (WInTeSys), 2017, pp. 321–334. mla: Reinhart, Felix, et al. “Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau.” Wissenschaftsforum Intelligente Technische Systeme (WInTeSys), Heinz Nixdorf MuseumsForum, 2017, pp. 321–34. short: 'F. Reinhart, A. Kühn, R. Dumitrescu, in: Wissenschaftsforum Intelligente Technische Systeme (WInTeSys), Heinz Nixdorf MuseumsForum, 2017, pp. 321–334.' date_created: 2021-07-28T09:20:19Z date_updated: 2022-01-06T06:55:42Z department: - _id: '563' language: - iso: ger page: 321-334 publication: Wissenschaftsforum Intelligente Technische Systeme (WInTeSys), publisher: Heinz Nixdorf MuseumsForum status: public title: Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau type: conference user_id: '21240' year: '2017' ... --- _id: '22869' author: - first_name: Jürgen full_name: Roßmann, Jürgen last_name: Roßmann - first_name: Michael full_name: Schluse, Michael last_name: Schluse - first_name: Malte full_name: Rast, Malte last_name: Rast - first_name: Martin full_name: Hoppen, Martin last_name: Hoppen - first_name: Linus full_name: Atorf, Linus last_name: Atorf - first_name: Roman full_name: Dumitrescu, Roman id: '16190' last_name: Dumitrescu - first_name: Christian full_name: Bremer, Christian last_name: Bremer - first_name: Michael full_name: Hillebrand, Michael id: '83856' last_name: Hillebrand - first_name: Oliver full_name: Stern, Oliver last_name: Stern - first_name: Peter full_name: Schmitter, Peter last_name: Schmitter citation: ama: 'Roßmann J, Schluse M, Rast M, et al. Integrierte Entwicklung komplexer Systeme mit modellbasierter Systemspezifikation und -simulation - Eine Fallstudie zur Sensorauslegung in der Raumfahrt. In: Wissenschaftsforum Intelligente Technische Systeme (WinTeSys). Paderborn; 2017.' apa: Roßmann, J., Schluse, M., Rast, M., Hoppen, M., Atorf, L., Dumitrescu, R., … Schmitter, P. (2017). Integrierte Entwicklung komplexer Systeme mit modellbasierter Systemspezifikation und -simulation - Eine Fallstudie zur Sensorauslegung in der Raumfahrt. In Wissenschaftsforum Intelligente Technische Systeme (WinTeSys). Paderborn. bibtex: '@inproceedings{Roßmann_Schluse_Rast_Hoppen_Atorf_Dumitrescu_Bremer_Hillebrand_Stern_Schmitter_2017, place={Paderborn}, title={ Integrierte Entwicklung komplexer Systeme mit modellbasierter Systemspezifikation und -simulation - Eine Fallstudie zur Sensorauslegung in der Raumfahrt}, booktitle={Wissenschaftsforum Intelligente Technische Systeme (WinTeSys)}, 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}, year={2017} }' chicago: Roßmann, Jürgen, Michael Schluse, Malte Rast, Martin Hoppen, Linus Atorf, Roman Dumitrescu, Christian Bremer, Michael Hillebrand, Oliver Stern, and Peter Schmitter. “ Integrierte Entwicklung Komplexer Systeme Mit Modellbasierter Systemspezifikation Und -Simulation - Eine Fallstudie Zur Sensorauslegung in Der Raumfahrt.” In Wissenschaftsforum Intelligente Technische Systeme (WinTeSys). Paderborn, 2017. ieee: J. Roßmann et al., “ Integrierte Entwicklung komplexer Systeme mit modellbasierter Systemspezifikation und -simulation - Eine Fallstudie zur Sensorauslegung in der Raumfahrt,” in Wissenschaftsforum Intelligente Technische Systeme (WinTeSys), 2017. mla: Roßmann, Jürgen, et al. “ Integrierte Entwicklung Komplexer Systeme Mit Modellbasierter Systemspezifikation Und -Simulation - Eine Fallstudie Zur Sensorauslegung in Der Raumfahrt.” Wissenschaftsforum Intelligente Technische Systeme (WinTeSys), 2017. short: 'J. Roßmann, M. Schluse, M. Rast, M. Hoppen, L. Atorf, R. Dumitrescu, C. Bremer, M. Hillebrand, O. Stern, P. Schmitter, in: Wissenschaftsforum Intelligente Technische Systeme (WinTeSys), Paderborn, 2017.' date_created: 2021-07-28T09:27:52Z date_updated: 2022-01-06T06:55:42Z department: - _id: '563' language: - iso: eng place: Paderborn publication: Wissenschaftsforum Intelligente Technische Systeme (WinTeSys) status: public title: ' Integrierte Entwicklung komplexer Systeme mit modellbasierter Systemspezifikation und -simulation - Eine Fallstudie zur Sensorauslegung in der Raumfahrt' type: conference user_id: '21240' year: '2017' ... --- _id: '21938' article_number: '094104' author: - first_name: Feliks full_name: Nüske, Feliks id: '81513' last_name: Nüske orcid: 0000-0003-2444-7889 - first_name: Hao full_name: Wu, Hao last_name: Wu - first_name: Jan-Hendrik full_name: Prinz, Jan-Hendrik last_name: Prinz - first_name: Christoph full_name: Wehmeyer, Christoph last_name: Wehmeyer - first_name: Cecilia full_name: Clementi, Cecilia last_name: Clementi - first_name: Frank full_name: Noé, Frank last_name: Noé citation: ama: Nüske F, Wu H, Prinz J-H, Wehmeyer C, Clementi C, Noé F. Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias. The Journal of Chemical Physics. 2017. doi:10.1063/1.4976518 apa: Nüske, F., Wu, H., Prinz, J.-H., Wehmeyer, C., Clementi, C., & Noé, F. (2017). Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias. The Journal of Chemical Physics. https://doi.org/10.1063/1.4976518 bibtex: '@article{Nüske_Wu_Prinz_Wehmeyer_Clementi_Noé_2017, title={Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias}, DOI={10.1063/1.4976518}, number={094104}, journal={The Journal of Chemical Physics}, author={Nüske, Feliks and Wu, Hao and Prinz, Jan-Hendrik and Wehmeyer, Christoph and Clementi, Cecilia and Noé, Frank}, year={2017} }' chicago: Nüske, Feliks, Hao Wu, Jan-Hendrik Prinz, Christoph Wehmeyer, Cecilia Clementi, and Frank Noé. “Markov State Models from Short Non-Equilibrium Simulations—Analysis and Correction of Estimation Bias.” The Journal of Chemical Physics, 2017. https://doi.org/10.1063/1.4976518. ieee: F. Nüske, H. Wu, J.-H. Prinz, C. Wehmeyer, C. Clementi, and F. Noé, “Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias,” The Journal of Chemical Physics, 2017. mla: Nüske, Feliks, et al. “Markov State Models from Short Non-Equilibrium Simulations—Analysis and Correction of Estimation Bias.” The Journal of Chemical Physics, 094104, 2017, doi:10.1063/1.4976518. short: F. Nüske, H. Wu, J.-H. Prinz, C. Wehmeyer, C. Clementi, F. Noé, The Journal of Chemical Physics (2017). date_created: 2021-04-30T16:55:31Z date_updated: 2022-01-06T06:55:20Z department: - _id: '101' doi: 10.1063/1.4976518 extern: '1' language: - iso: eng publication: The Journal of Chemical Physics publication_identifier: issn: - 0021-9606 - 1089-7690 publication_status: published status: public title: Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias type: journal_article user_id: '81513' year: '2017' ... --- _id: '21939' article_number: '154104' author: - first_name: Hao full_name: Wu, Hao last_name: Wu - first_name: Feliks full_name: Nüske, Feliks id: '81513' last_name: Nüske orcid: 0000-0003-2444-7889 - first_name: Fabian full_name: Paul, Fabian last_name: Paul - first_name: Stefan full_name: Klus, Stefan last_name: Klus - first_name: Péter full_name: Koltai, Péter last_name: Koltai - first_name: Frank full_name: Noé, Frank last_name: Noé citation: ama: 'Wu H, Nüske F, Paul F, Klus S, Koltai P, Noé F. Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations. The Journal of Chemical Physics. 2017. doi:10.1063/1.4979344' apa: 'Wu, H., Nüske, F., Paul, F., Klus, S., Koltai, P., & Noé, F. (2017). Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations. The Journal of Chemical Physics. https://doi.org/10.1063/1.4979344' bibtex: '@article{Wu_Nüske_Paul_Klus_Koltai_Noé_2017, title={Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations}, DOI={10.1063/1.4979344}, number={154104}, journal={The Journal of Chemical Physics}, author={Wu, Hao and Nüske, Feliks and Paul, Fabian and Klus, Stefan and Koltai, Péter and Noé, Frank}, year={2017} }' chicago: 'Wu, Hao, Feliks Nüske, Fabian Paul, Stefan Klus, Péter Koltai, and Frank Noé. “Variational Koopman Models: Slow Collective Variables and Molecular Kinetics from Short off-Equilibrium Simulations.” The Journal of Chemical Physics, 2017. https://doi.org/10.1063/1.4979344.' ieee: 'H. Wu, F. Nüske, F. Paul, S. Klus, P. Koltai, and F. Noé, “Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations,” The Journal of Chemical Physics, 2017.' mla: 'Wu, Hao, et al. “Variational Koopman Models: Slow Collective Variables and Molecular Kinetics from Short off-Equilibrium Simulations.” The Journal of Chemical Physics, 154104, 2017, doi:10.1063/1.4979344.' short: H. Wu, F. Nüske, F. Paul, S. Klus, P. Koltai, F. Noé, The Journal of Chemical Physics (2017). date_created: 2021-04-30T16:57:21Z date_updated: 2022-01-06T06:55:20Z department: - _id: '101' doi: 10.1063/1.4979344 extern: '1' language: - iso: eng publication: The Journal of Chemical Physics publication_identifier: issn: - 0021-9606 - 1089-7690 publication_status: published status: public title: 'Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations' type: journal_article user_id: '81513' year: '2017' ... --- _id: '90' abstract: - lang: eng text: 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: - first_name: Tobias full_name: Isenberg, Tobias last_name: Isenberg citation: ama: Isenberg T. Incremental Inductive Verification of Parameterized Timed Systems. ACM Transactions on Embedded Computing Systems. 2017;(2):47:1-47:24. doi:10.1145/2984640 apa: Isenberg, T. (2017). Incremental Inductive Verification of Parameterized Timed Systems. ACM Transactions on Embedded Computing Systems, (2), 47:1-47:24. https://doi.org/10.1145/2984640 bibtex: '@article{Isenberg_2017, title={Incremental Inductive Verification of Parameterized Timed Systems}, DOI={10.1145/2984640}, number={2}, journal={ACM Transactions on Embedded Computing Systems}, publisher={ACM}, author={Isenberg, Tobias}, year={2017}, pages={47:1-47:24} }' chicago: 'Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” ACM Transactions on Embedded Computing Systems, no. 2 (2017): 47:1-47:24. https://doi.org/10.1145/2984640.' ieee: T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” ACM Transactions on Embedded Computing Systems, no. 2, pp. 47:1-47:24, 2017. mla: Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” ACM Transactions on Embedded Computing Systems, no. 2, ACM, 2017, pp. 47:1-47:24, doi:10.1145/2984640. short: T. Isenberg, ACM Transactions on Embedded Computing Systems (2017) 47:1-47:24. date_created: 2017-10-17T12:41:09Z date_updated: 2022-01-06T07:04:06Z ddc: - '040' department: - _id: '77' doi: 10.1145/2984640 file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-21T13:13:04Z date_updated: 2018-03-21T13:13:04Z file_id: '1572' file_name: 90-a47-isenberg.pdf file_size: 584870 relation: main_file success: 1 file_date_updated: 2018-03-21T13:13:04Z has_accepted_license: '1' issue: '2' language: - iso: eng page: 47:1-47:24 project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subprojekt B4 - _id: '3' name: SFB 901 - Project Area B publication: ACM Transactions on Embedded Computing Systems publisher: ACM status: public title: Incremental Inductive Verification of Parameterized Timed Systems type: journal_article user_id: '477' year: '2017' ... --- _id: '7749' citation: ama: Carmona J, Engels G, Kumar A, 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. apa: Carmona , J., Engels, G., & Kumar, A. (Eds.). (2017). Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science (Vol. 10445). Springer. bibtex: '@book{Carmona _Engels_Kumar_2017, title={Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science}, volume={10445}, publisher={Springer}, year={2017} }' chicago: Carmona , Josep , Gregor Engels, and Akhil 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. ieee: 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. mla: Carmona , Josep, et al., editors. Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science. Vol. 10445, Springer, 2017. short: J. Carmona , G. Engels, A. Kumar, eds., Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science, Springer, 2017. date_created: 2019-02-18T14:18:26Z date_updated: 2022-01-06T07:03:45Z department: - _id: '66' editor: - first_name: 'Josep ' full_name: 'Carmona , Josep ' last_name: 'Carmona ' - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: 'Akhil ' full_name: 'Kumar, Akhil ' last_name: Kumar intvolume: ' 10445' language: - iso: eng publisher: Springer status: public title: Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science type: conference_editor user_id: '52534' volume: 10445 year: '2017' ... --- _id: '7750' citation: ama: Carmona J, Engels G, Kumar A, 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. apa: Carmona , J., Engels, G., & Kumar, A. (Eds.). (2017). Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297 (Vol. 297). Springer. bibtex: '@book{Carmona _Engels_Kumar_2017, title={Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297}, volume={297}, publisher={Springer}, year={2017} }' chicago: Carmona , Josep , Gregor Engels, and Akhil 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. ieee: 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. mla: Carmona , Josep, et al., editors. 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. short: J. Carmona , G. Engels, A. Kumar, eds., Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297, Springer, 2017. date_created: 2019-02-18T14:26:32Z date_updated: 2022-01-06T07:03:45Z department: - _id: '66' editor: - first_name: 'Josep ' full_name: 'Carmona , Josep ' last_name: 'Carmona ' - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: 'Akhil ' full_name: 'Kumar, Akhil ' last_name: Kumar intvolume: ' 297' language: - iso: eng publisher: Springer status: public title: Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297 type: conference_editor user_id: '52534' volume: 297 year: '2017' ... --- _id: '7751' citation: ama: Spalazzese R, Christin Platenius M, Becker S, Persson P, Engels G, eds. Message from the IoT-ASAP Chairs.; 2017. doi:10.1109/ICSAW.2017.67 apa: Spalazzese, R., Christin Platenius, M., Becker, S., Persson, P., & Engels, G. (Eds.). (2017). Message from the IoT-ASAP Chairs. https://doi.org/10.1109/ICSAW.2017.67 bibtex: '@book{Spalazzese_Christin Platenius_Becker_Persson_Engels_2017, title={Message from the IoT-ASAP Chairs}, DOI={10.1109/ICSAW.2017.67}, year={2017} }' chicago: Spalazzese, Romina, Marie Christin Platenius, Steffen Becker, Per Persson, and Gregor Engels, eds. Message from the IoT-ASAP Chairs, 2017. https://doi.org/10.1109/ICSAW.2017.67. ieee: R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, and G. Engels, Eds., Message from the IoT-ASAP Chairs. 2017. mla: Spalazzese, Romina, et al., editors. Message from the IoT-ASAP Chairs. 2017, doi:10.1109/ICSAW.2017.67. short: R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, G. Engels, eds., Message from the IoT-ASAP Chairs, 2017. date_created: 2019-02-18T14:27:25Z date_updated: 2022-01-06T07:03:45Z department: - _id: '66' doi: 10.1109/ICSAW.2017.67 editor: - first_name: Romina full_name: Spalazzese, Romina last_name: Spalazzese - first_name: Marie full_name: Christin Platenius, Marie last_name: Christin Platenius - first_name: Steffen full_name: Becker, Steffen last_name: Becker - first_name: Per full_name: Persson, Per last_name: Persson - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels language: - iso: eng status: public title: Message from the IoT-ASAP Chairs type: book_editor user_id: '52534' year: '2017' ... --- _id: '7754' citation: ama: 'Hess S, Fischer HG, eds. Mensch Und Computer 2017 - Usability Professionals. Tagungsband. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V.; 2017.' apa: 'Hess, S., & Fischer, H. G. (Eds.). (2017). Mensch und Computer 2017 - Usability Professionals. Tagungsband. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V.' bibtex: '@book{Hess_Fischer_2017, place={Regensburg}, title={Mensch und Computer 2017 - Usability Professionals. Tagungsband}, publisher={Gesellschaft für Informatik e.V. und German UPA e.V.}, year={2017} }' chicago: 'Hess, Steffen , and Holger Gerhard Fischer, eds. Mensch Und Computer 2017 - Usability Professionals. Tagungsband. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V., 2017.' ieee: '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.' mla: Hess, Steffen, and Holger Gerhard Fischer, editors. Mensch Und Computer 2017 - Usability Professionals. Tagungsband. Gesellschaft für Informatik e.V. und German UPA e.V., 2017. short: S. Hess, H.G. Fischer, eds., Mensch Und Computer 2017 - Usability Professionals. Tagungsband, Gesellschaft für Informatik e.V. und German UPA e.V., Regensburg, 2017. date_created: 2019-02-19T11:44:42Z date_updated: 2022-01-06T07:03:45Z department: - _id: '66' editor: - first_name: 'Steffen ' full_name: 'Hess, Steffen ' last_name: Hess - first_name: Holger Gerhard full_name: Fischer, Holger Gerhard id: '30457' last_name: Fischer language: - iso: eng place: Regensburg publisher: Gesellschaft für Informatik e.V. und German UPA e.V. status: public title: Mensch und Computer 2017 - Usability Professionals. Tagungsband type: conference_editor user_id: '52534' year: '2017' ...