[{"_id":"22867","language":[{"iso":"ger"}],"editor":[{"last_name":"Bodden","first_name":"Eric","full_name":"Bodden, Eric"},{"full_name":"Dressler, Falko","last_name":"Dressler","first_name":"Falko"},{"first_name":"Roman","last_name":"Dumitrescu","full_name":"Dumitrescu, Roman"},{"last_name":"Gausemeier","first_name":"Jürgen","full_name":"Gausemeier, Jürgen"},{"first_name":"Friedhelm","last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm"},{"full_name":"Scheytt, Christoph","first_name":"Christoph","last_name":"Scheytt"},{"last_name":"Trächtler","first_name":"Ansgar","full_name":"Trächtler, Ansgar"}],"user_id":"21240","corporate_editor":["Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn"],"author":[{"first_name":"Thorsten","last_name":"Westermann","full_name":"Westermann, Thorsten"},{"full_name":"Anacker, Harald","last_name":"Anacker","first_name":"Harald"},{"last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman"}],"year":"2017","title":"Reifegradmodell für die Planung von Cyber-Physical Systems","status":"public","date_updated":"2022-01-06T06:55:42Z","date_created":"2021-07-28T09:16:58Z","department":[{"_id":"563"}],"type":"conference","citation":{"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 <i>Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369</i>, 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.","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. <i>Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369</i>. ; 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.","ieee":"T. Westermann, H. Anacker, and R. Dumitrescu, “Reifegradmodell für die Planung von Cyber-Physical Systems,” in <i>Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369</i>, 2017.","apa":"Westermann, T., Anacker, H., &#38; 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.), <i>Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369</i>.","mla":"Westermann, Thorsten, et al. “Reifegradmodell für die Planung von Cyber-Physical Systems.” <i>Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369</i>, edited by Eric Bodden et al., 2017."},"publication":"Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369"},{"publication":"Wissenschaftsforum Intelligente Technische Systeme (WInTeSys),","citation":{"short":"F. Reinhart, A. Kühn, R. Dumitrescu, in: Wissenschaftsforum Intelligente Technische Systeme (WInTeSys), Heinz Nixdorf MuseumsForum, 2017, pp. 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 <i>Wissenschaftsforum Intelligente Technische Systeme (WInTeSys),</i> 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 <i>Wissenschaftsforum Intelligente Technische Systeme (WInTeSys),</i> 2017, pp. 321–334.","apa":"Reinhart, F., Kühn, A., &#38; Dumitrescu, R. (2017). Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau. In <i>Wissenschaftsforum Intelligente Technische Systeme (WInTeSys),</i> (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} }","ama":"Reinhart F, Kühn A, Dumitrescu R. Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau. In: <i>Wissenschaftsforum Intelligente Technische Systeme (WInTeSys),</i>. Heinz Nixdorf MuseumsForum; 2017:321-334.","mla":"Reinhart, Felix, et al. “Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau.” <i>Wissenschaftsforum Intelligente Technische Systeme (WInTeSys),</i> Heinz Nixdorf MuseumsForum, 2017, pp. 321–34."},"type":"conference","department":[{"_id":"563"}],"date_created":"2021-07-28T09:20:19Z","date_updated":"2022-01-06T06:55:42Z","status":"public","title":"Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau","year":"2017","author":[{"full_name":"Reinhart, Felix","last_name":"Reinhart","first_name":"Felix"},{"full_name":"Kühn, Arno","first_name":"Arno","last_name":"Kühn"},{"full_name":"Dumitrescu, Roman","last_name":"Dumitrescu","first_name":"Roman"}],"user_id":"21240","page":"321-334","_id":"22868","publisher":"Heinz Nixdorf MuseumsForum","language":[{"iso":"ger"}]},{"date_created":"2021-07-28T09:27:52Z","place":"Paderborn","type":"conference","department":[{"_id":"563"}],"publication":"Wissenschaftsforum Intelligente Technische Systeme (WinTeSys)","citation":{"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 <i>Wissenschaftsforum Intelligente Technische Systeme (WinTeSys)</i>. Paderborn, 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.","ieee":"J. Roßmann <i>et al.</i>, “ Integrierte Entwicklung komplexer Systeme mit modellbasierter Systemspezifikation und -simulation - Eine Fallstudie zur Sensorauslegung in der Raumfahrt,” in <i>Wissenschaftsforum Intelligente Technische Systeme (WinTeSys)</i>, 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 <i>Wissenschaftsforum Intelligente Technische Systeme (WinTeSys)</i>. 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} }","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: <i>Wissenschaftsforum Intelligente Technische Systeme (WinTeSys)</i>. Paderborn; 2017.","mla":"Roßmann, Jürgen, et al. “ Integrierte Entwicklung Komplexer Systeme Mit Modellbasierter Systemspezifikation Und -Simulation - Eine Fallstudie Zur Sensorauslegung in Der Raumfahrt.” <i>Wissenschaftsforum Intelligente Technische Systeme (WinTeSys)</i>, 2017."},"language":[{"iso":"eng"}],"_id":"22869","user_id":"21240","title":" Integrierte Entwicklung komplexer Systeme mit modellbasierter Systemspezifikation und -simulation - Eine Fallstudie zur Sensorauslegung in der Raumfahrt","status":"public","year":"2017","author":[{"full_name":"Roßmann, Jürgen","last_name":"Roßmann","first_name":"Jürgen"},{"full_name":"Schluse, Michael","first_name":"Michael","last_name":"Schluse"},{"full_name":"Rast, Malte","last_name":"Rast","first_name":"Malte"},{"first_name":"Martin","last_name":"Hoppen","full_name":"Hoppen, Martin"},{"full_name":"Atorf, Linus","first_name":"Linus","last_name":"Atorf"},{"id":"16190","full_name":"Dumitrescu, Roman","last_name":"Dumitrescu","first_name":"Roman"},{"first_name":"Christian","last_name":"Bremer","full_name":"Bremer, Christian"},{"full_name":"Hillebrand, Michael","last_name":"Hillebrand","first_name":"Michael","id":"83856"},{"full_name":"Stern, Oliver","first_name":"Oliver","last_name":"Stern"},{"full_name":"Schmitter, Peter","first_name":"Peter","last_name":"Schmitter"}],"date_updated":"2022-01-06T06:55:42Z"},{"extern":"1","publication":"The Journal of Chemical Physics","citation":{"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,” <i>The Journal of Chemical Physics</i>, 2017.","apa":"Nüske, F., Wu, H., Prinz, J.-H., Wehmeyer, C., Clementi, C., &#38; Noé, F. (2017). Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias. <i>The Journal of Chemical Physics</i>. <a href=\"https://doi.org/10.1063/1.4976518\">https://doi.org/10.1063/1.4976518</a>","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.” <i>The Journal of Chemical Physics</i>, 2017. <a href=\"https://doi.org/10.1063/1.4976518\">https://doi.org/10.1063/1.4976518</a>.","short":"F. Nüske, H. Wu, J.-H. Prinz, C. Wehmeyer, C. Clementi, F. Noé, 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.” <i>The Journal of Chemical Physics</i>, 094104, 2017, doi:<a href=\"https://doi.org/10.1063/1.4976518\">10.1063/1.4976518</a>.","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={<a href=\"https://doi.org/10.1063/1.4976518\">10.1063/1.4976518</a>}, 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} }","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. <i>The Journal of Chemical Physics</i>. 2017. doi:<a href=\"https://doi.org/10.1063/1.4976518\">10.1063/1.4976518</a>"},"type":"journal_article","department":[{"_id":"101"}],"date_created":"2021-04-30T16:55:31Z","date_updated":"2022-01-06T06:55:20Z","publication_status":"published","status":"public","title":"Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias","year":"2017","publication_identifier":{"issn":["0021-9606","1089-7690"]},"author":[{"id":"81513","last_name":"Nüske","first_name":"Feliks","orcid":"0000-0003-2444-7889","full_name":"Nüske, Feliks"},{"last_name":"Wu","first_name":"Hao","full_name":"Wu, Hao"},{"full_name":"Prinz, Jan-Hendrik","last_name":"Prinz","first_name":"Jan-Hendrik"},{"last_name":"Wehmeyer","first_name":"Christoph","full_name":"Wehmeyer, Christoph"},{"last_name":"Clementi","first_name":"Cecilia","full_name":"Clementi, Cecilia"},{"full_name":"Noé, Frank","last_name":"Noé","first_name":"Frank"}],"doi":"10.1063/1.4976518","user_id":"81513","article_number":"094104","language":[{"iso":"eng"}],"_id":"21938"},{"date_created":"2021-04-30T16:57:21Z","department":[{"_id":"101"}],"type":"journal_article","citation":{"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,” <i>The Journal of Chemical Physics</i>, 2017.","apa":"Wu, H., Nüske, F., Paul, F., Klus, S., Koltai, P., &#38; Noé, F. (2017). Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations. <i>The Journal of Chemical Physics</i>. <a href=\"https://doi.org/10.1063/1.4979344\">https://doi.org/10.1063/1.4979344</a>","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.” <i>The Journal of Chemical Physics</i>, 2017. <a href=\"https://doi.org/10.1063/1.4979344\">https://doi.org/10.1063/1.4979344</a>.","short":"H. Wu, F. Nüske, F. Paul, S. Klus, P. Koltai, F. Noé, 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.” <i>The Journal of Chemical Physics</i>, 154104, 2017, doi:<a href=\"https://doi.org/10.1063/1.4979344\">10.1063/1.4979344</a>.","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={<a href=\"https://doi.org/10.1063/1.4979344\">10.1063/1.4979344</a>}, 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} }","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. <i>The Journal of Chemical Physics</i>. 2017. doi:<a href=\"https://doi.org/10.1063/1.4979344\">10.1063/1.4979344</a>"},"publication":"The Journal of Chemical Physics","extern":"1","_id":"21939","language":[{"iso":"eng"}],"article_number":"154104","doi":"10.1063/1.4979344","user_id":"81513","author":[{"full_name":"Wu, Hao","first_name":"Hao","last_name":"Wu"},{"first_name":"Feliks","last_name":"Nüske","orcid":"0000-0003-2444-7889","full_name":"Nüske, Feliks","id":"81513"},{"first_name":"Fabian","last_name":"Paul","full_name":"Paul, Fabian"},{"full_name":"Klus, Stefan","last_name":"Klus","first_name":"Stefan"},{"full_name":"Koltai, Péter","last_name":"Koltai","first_name":"Péter"},{"full_name":"Noé, Frank","first_name":"Frank","last_name":"Noé"}],"publication_identifier":{"issn":["0021-9606","1089-7690"]},"status":"public","year":"2017","title":"Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations","date_updated":"2022-01-06T06:55:20Z","publication_status":"published"},{"date_created":"2017-10-17T12:41:09Z","file":[{"date_created":"2018-03-21T13:13:04Z","creator":"florida","success":1,"content_type":"application/pdf","file_id":"1572","file_size":584870,"access_level":"closed","file_name":"90-a47-isenberg.pdf","date_updated":"2018-03-21T13:13:04Z","relation":"main_file"}],"department":[{"_id":"77"}],"type":"journal_article","issue":"2","publication":"ACM Transactions on Embedded Computing Systems","abstract":[{"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.","lang":"eng"}],"language":[{"iso":"eng"}],"doi":"10.1145/2984640","author":[{"first_name":"Tobias","last_name":"Isenberg","full_name":"Isenberg, Tobias"}],"year":"2017","title":"Incremental Inductive Verification of Parameterized Timed Systems","date_updated":"2022-01-06T07:04:06Z","citation":{"mla":"Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” <i>ACM Transactions on Embedded Computing Systems</i>, no. 2, ACM, 2017, pp. 47:1-47:24, doi:<a href=\"https://doi.org/10.1145/2984640\">10.1145/2984640</a>.","ama":"Isenberg T. Incremental Inductive Verification of Parameterized Timed Systems. <i>ACM Transactions on Embedded Computing Systems</i>. 2017;(2):47:1-47:24. doi:<a href=\"https://doi.org/10.1145/2984640\">10.1145/2984640</a>","bibtex":"@article{Isenberg_2017, title={Incremental Inductive Verification of Parameterized Timed Systems}, DOI={<a href=\"https://doi.org/10.1145/2984640\">10.1145/2984640</a>}, number={2}, journal={ACM Transactions on Embedded Computing Systems}, publisher={ACM}, author={Isenberg, Tobias}, year={2017}, pages={47:1-47:24} }","apa":"Isenberg, T. (2017). Incremental Inductive Verification of Parameterized Timed Systems. <i>ACM Transactions on Embedded Computing Systems</i>, (2), 47:1-47:24. <a href=\"https://doi.org/10.1145/2984640\">https://doi.org/10.1145/2984640</a>","ieee":"T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” <i>ACM Transactions on Embedded Computing Systems</i>, no. 2, pp. 47:1-47:24, 2017.","chicago":"Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” <i>ACM Transactions on Embedded Computing Systems</i>, no. 2 (2017): 47:1-47:24. <a href=\"https://doi.org/10.1145/2984640\">https://doi.org/10.1145/2984640</a>.","short":"T. Isenberg, ACM Transactions on Embedded Computing Systems (2017) 47:1-47:24."},"file_date_updated":"2018-03-21T13:13:04Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"name":"SFB 901 - Project Area B","_id":"3"}],"publisher":"ACM","_id":"90","page":"47:1-47:24","ddc":["040"],"user_id":"477","status":"public","has_accepted_license":"1"},{"citation":{"ieee":"J. Carmona , G. Engels, and A. Kumar, Eds., <i>Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science</i>, vol. 10445. Springer, 2017.","apa":"Carmona , J., Engels, G., &#38; Kumar, A. (Eds.). (2017). <i>Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science</i> (Vol. 10445). Springer.","mla":"Carmona , Josep, et al., editors. <i>Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science</i>. Vol. 10445, Springer, 2017.","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. <i>Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science</i>. Vol. 10445. Springer, 2017.","ama":"Carmona  J, Engels G, Kumar A, eds. <i>Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science</i>. 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","type":"conference_editor","department":[{"_id":"66"}],"title":"Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science","year":"2017","status":"public","date_updated":"2022-01-06T07:03:45Z","intvolume":"     10445","language":[{"iso":"eng"}],"_id":"7749","publisher":"Springer","user_id":"52534","editor":[{"full_name":"Carmona , Josep ","last_name":"Carmona ","first_name":"Josep "},{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"first_name":"Akhil ","last_name":"Kumar","full_name":"Kumar, Akhil "}],"volume":10445},{"_id":"7750","publisher":"Springer","language":[{"iso":"eng"}],"user_id":"52534","editor":[{"last_name":"Carmona ","first_name":"Josep ","full_name":"Carmona , Josep "},{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"last_name":"Kumar","first_name":"Akhil ","full_name":"Kumar, Akhil "}],"volume":297,"year":"2017","status":"public","title":"Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297","date_updated":"2022-01-06T07:03:45Z","intvolume":"       297","date_created":"2019-02-18T14:26:32Z","type":"conference_editor","department":[{"_id":"66"}],"citation":{"ieee":"J. Carmona , G. Engels, and A. Kumar, Eds., <i>Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297</i>, vol. 297. Springer, 2017.","apa":"Carmona , J., Engels, G., &#38; Kumar, A. (Eds.). (2017). <i>Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297</i> (Vol. 297). Springer.","mla":"Carmona , Josep, et al., editors. <i>Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297</i>. Vol. 297, Springer, 2017.","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. <i>Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297</i>. 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.","ama":"Carmona  J, Engels G, Kumar A, eds. <i>Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297</i>. Vol 297. Springer; 2017."}},{"editor":[{"full_name":"Spalazzese, Romina","first_name":"Romina","last_name":"Spalazzese"},{"first_name":"Marie","last_name":"Christin Platenius","full_name":"Christin Platenius, Marie"},{"full_name":"Becker, Steffen","first_name":"Steffen","last_name":"Becker"},{"full_name":"Persson, Per","first_name":"Per","last_name":"Persson"},{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"}],"doi":"10.1109/ICSAW.2017.67","user_id":"52534","language":[{"iso":"eng"}],"_id":"7751","date_updated":"2022-01-06T07:03:45Z","title":"Message from the IoT-ASAP Chairs","status":"public","year":"2017","department":[{"_id":"66"}],"type":"book_editor","date_created":"2019-02-18T14:27:25Z","citation":{"bibtex":"@book{Spalazzese_Christin Platenius_Becker_Persson_Engels_2017, title={Message from the IoT-ASAP Chairs}, DOI={<a href=\"https://doi.org/10.1109/ICSAW.2017.67\">10.1109/ICSAW.2017.67</a>}, year={2017} }","ama":"Spalazzese R, Christin Platenius M, Becker S, Persson P, Engels G, eds. <i>Message from the IoT-ASAP Chairs</i>.; 2017. doi:<a href=\"https://doi.org/10.1109/ICSAW.2017.67\">10.1109/ICSAW.2017.67</a>","mla":"Spalazzese, Romina, et al., editors. <i>Message from the IoT-ASAP Chairs</i>. 2017, doi:<a href=\"https://doi.org/10.1109/ICSAW.2017.67\">10.1109/ICSAW.2017.67</a>.","short":"R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, G. Engels, eds., Message from the IoT-ASAP Chairs, 2017.","chicago":"Spalazzese, Romina, Marie Christin Platenius, Steffen Becker, Per Persson, and Gregor Engels, eds. <i>Message from the IoT-ASAP Chairs</i>, 2017. <a href=\"https://doi.org/10.1109/ICSAW.2017.67\">https://doi.org/10.1109/ICSAW.2017.67</a>.","ieee":"R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, and G. Engels, Eds., <i>Message from the IoT-ASAP Chairs</i>. 2017.","apa":"Spalazzese, R., Christin Platenius, M., Becker, S., Persson, P., &#38; Engels, G. (Eds.). (2017). <i>Message from the IoT-ASAP Chairs</i>. <a href=\"https://doi.org/10.1109/ICSAW.2017.67\">https://doi.org/10.1109/ICSAW.2017.67</a>"}},{"date_updated":"2022-01-06T07:03:45Z","title":"Mensch und Computer 2017 - Usability Professionals. Tagungsband","status":"public","year":"2017","editor":[{"full_name":"Hess, Steffen ","first_name":"Steffen ","last_name":"Hess"},{"id":"30457","full_name":"Fischer, Holger Gerhard","last_name":"Fischer","first_name":"Holger Gerhard"}],"user_id":"52534","publisher":"Gesellschaft für Informatik e.V. und German UPA e.V.","_id":"7754","language":[{"iso":"eng"}],"citation":{"chicago":"Hess, Steffen , and Holger Gerhard Fischer, eds. <i>Mensch Und Computer 2017 - Usability Professionals. Tagungsband</i>. Regensburg: 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.","apa":"Hess, S., &#38; Fischer, H. G. (Eds.). (2017). <i>Mensch und Computer 2017 - Usability Professionals. Tagungsband</i>. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V.","ieee":"S. Hess and H. G. Fischer, Eds., <i>Mensch und Computer 2017 - Usability Professionals. Tagungsband</i>. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V., 2017.","ama":"Hess S, Fischer HG, eds. <i>Mensch Und Computer 2017 - Usability Professionals. Tagungsband</i>. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V.; 2017.","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} }","mla":"Hess, Steffen, and Holger Gerhard Fischer, editors. <i>Mensch Und Computer 2017 - Usability Professionals. Tagungsband</i>. Gesellschaft für Informatik e.V. und German UPA e.V., 2017."},"department":[{"_id":"66"}],"type":"conference_editor","place":"Regensburg","date_created":"2019-02-19T11:44:42Z"},{"publication":"2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)","citation":{"mla":"Mendes, Jorge, et al. “Towards Systematic Spreadsheet Construction Processes.” <i>2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)</i>, edited by Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) , IEEE, 2017, doi:<a href=\"https://doi.org/10.1109/icse-c.2017.141\">10.1109/icse-c.2017.141</a>.","ama":"Mendes J, Cunha J, Duarte F, Engels G, Saraiva J, Sauer S. Towards systematic spreadsheet construction processes. In: Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) , ed. <i>2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)</i>. IEEE; 2017. doi:<a href=\"https://doi.org/10.1109/icse-c.2017.141\">10.1109/icse-c.2017.141</a>","bibtex":"@inproceedings{Mendes_Cunha_Duarte_Engels_Saraiva_Sauer_2017, title={Towards systematic spreadsheet construction processes}, DOI={<a href=\"https://doi.org/10.1109/icse-c.2017.141\">10.1109/icse-c.2017.141</a>}, booktitle={2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)}, publisher={IEEE}, author={Mendes, Jorge and Cunha, Jacome and Duarte, Francisco and Engels, Gregor and Saraiva, Joao and Sauer, Stefan}, editor={Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) Editor}, year={2017} }","apa":"Mendes, J., Cunha, J., Duarte, F., Engels, G., Saraiva, J., &#38; Sauer, S. (2017). Towards systematic spreadsheet construction processes. In Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg)  (Ed.), <i>2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)</i>. IEEE. <a href=\"https://doi.org/10.1109/icse-c.2017.141\">https://doi.org/10.1109/icse-c.2017.141</a>","ieee":"J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, and S. Sauer, “Towards systematic spreadsheet construction processes,” in <i>2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)</i>, 2017.","short":"J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, in: Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg)  (Ed.), 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), IEEE, 2017.","chicago":"Mendes, Jorge, Jacome Cunha, Francisco Duarte, Gregor Engels, Joao Saraiva, and Stefan Sauer. “Towards Systematic Spreadsheet Construction Processes.” In <i>2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)</i>, edited by Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) . IEEE, 2017. <a href=\"https://doi.org/10.1109/icse-c.2017.141\">https://doi.org/10.1109/icse-c.2017.141</a>."},"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-19T11:47:41Z","date_updated":"2022-01-06T07:03:45Z","publication_status":"published","title":"Towards systematic spreadsheet construction processes","status":"public","year":"2017","author":[{"full_name":"Mendes, Jorge","last_name":"Mendes","first_name":"Jorge"},{"first_name":"Jacome","last_name":"Cunha","full_name":"Cunha, Jacome"},{"last_name":"Duarte","first_name":"Francisco","full_name":"Duarte, Francisco"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"full_name":"Saraiva, Joao","first_name":"Joao","last_name":"Saraiva"},{"id":"447","last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan"}],"publication_identifier":{"isbn":["9781538615898"]},"corporate_editor":["Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) "],"doi":"10.1109/icse-c.2017.141","user_id":"52534","publisher":"IEEE","_id":"7755","language":[{"iso":"eng"}]},{"editor":[{"full_name":"Kortenkamp, Ulrich","last_name":"Kortenkamp","first_name":"Ulrich"},{"full_name":"Kuzle, Ana","last_name":"Kuzle","first_name":"Ana"}],"user_id":"26809","_id":"7767","publisher":"WTM-Verlag","language":[{"iso":"ger"}],"main_file_link":[{"open_access":"1","url":"https://eldorado.tu-dortmund.de/handle/2003/36640"}],"publication_status":"published","date_updated":"2022-01-06T07:03:45Z","author":[{"id":"26809","full_name":"Schumacher, Jan","first_name":"Jan","orcid":"0000-0002-6676-9774","last_name":"Schumacher"}],"title":"Sinnkonstruktion beim Erkunden von Mustern und Strukturen","status":"public","year":"2017","department":[{"_id":"360"}],"oa":"1","type":"conference","date_created":"2019-02-19T12:43:36Z","place":"Münster","citation":{"ama":"Schumacher J. Sinnkonstruktion beim Erkunden von Mustern und Strukturen. In: Kortenkamp U, Kuzle A, eds. <i>Beiträge zum Mathematikunterricht 2017</i>. Münster: WTM-Verlag; 2017.","bibtex":"@inproceedings{Schumacher_2017, place={Münster}, title={Sinnkonstruktion beim Erkunden von Mustern und Strukturen}, booktitle={Beiträge zum Mathematikunterricht 2017}, publisher={WTM-Verlag}, author={Schumacher, Jan}, editor={Kortenkamp, Ulrich and Kuzle, AnaEditors}, year={2017} }","mla":"Schumacher, Jan. “Sinnkonstruktion beim Erkunden von Mustern und Strukturen.” <i>Beiträge zum Mathematikunterricht 2017</i>, edited by Ulrich Kortenkamp and Ana Kuzle, WTM-Verlag, 2017.","short":"J. Schumacher, in: U. Kortenkamp, A. Kuzle (Eds.), Beiträge zum Mathematikunterricht 2017, WTM-Verlag, Münster, 2017.","chicago":"Schumacher, Jan. “Sinnkonstruktion beim Erkunden von Mustern und Strukturen.” In <i>Beiträge zum Mathematikunterricht 2017</i>, edited by Ulrich Kortenkamp and Ana Kuzle. Münster: WTM-Verlag, 2017.","apa":"Schumacher, J. (2017). Sinnkonstruktion beim Erkunden von Mustern und Strukturen. In U. Kortenkamp &#38; A. Kuzle (Eds.), <i>Beiträge zum Mathematikunterricht 2017</i>. Münster: WTM-Verlag.","ieee":"J. Schumacher, “Sinnkonstruktion beim Erkunden von Mustern und Strukturen,” in <i>Beiträge zum Mathematikunterricht 2017</i>, 2017."},"publication":"Beiträge zum Mathematikunterricht 2017"},{"status":"public","has_accepted_license":"1","page":"120--127","publisher":"IEEE","_id":"78","user_id":"36399","ddc":["000"],"file_date_updated":"2018-11-02T14:49:05Z","citation":{"short":"B. Jazayeri, S. Schwichtenberg, in: Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop, IEEE, Gothenburg, Sweden, 2017, pp. 120--127.","chicago":"Jazayeri, Bahar, and Simon Schwichtenberg. “On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture.” In <i>Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop</i>, 120--127. Gothenburg, Sweden: IEEE, 2017. <a href=\"https://doi.org/10.1109/ICSAW.2017.59\">https://doi.org/10.1109/ICSAW.2017.59</a>.","apa":"Jazayeri, B., &#38; Schwichtenberg, S. (2017). On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture. In <i>Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop</i> (pp. 120--127). Gothenburg, Sweden: IEEE. <a href=\"https://doi.org/10.1109/ICSAW.2017.59\">https://doi.org/10.1109/ICSAW.2017.59</a>","ieee":"B. Jazayeri and S. Schwichtenberg, “On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture,” in <i>Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop</i>, 2017, pp. 120--127.","ama":"Jazayeri B, Schwichtenberg S. On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture. In: <i>Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop</i>. Gothenburg, Sweden: IEEE; 2017:120--127. doi:<a href=\"https://doi.org/10.1109/ICSAW.2017.59\">10.1109/ICSAW.2017.59</a>","bibtex":"@inproceedings{Jazayeri_Schwichtenberg_2017, place={Gothenburg, Sweden}, title={On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture}, DOI={<a href=\"https://doi.org/10.1109/ICSAW.2017.59\">10.1109/ICSAW.2017.59</a>}, booktitle={Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop}, publisher={IEEE}, author={Jazayeri, Bahar and Schwichtenberg, Simon}, year={2017}, pages={120--127} }","mla":"Jazayeri, Bahar, and Simon Schwichtenberg. “On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture.” <i>Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop</i>, IEEE, 2017, pp. 120--127, doi:<a href=\"https://doi.org/10.1109/ICSAW.2017.59\">10.1109/ICSAW.2017.59</a>."},"project":[{"_id":"1","name":"SFB 901"},{"_id":"17","name":"SFB 901 - Subprojekt C5"},{"_id":"4","name":"SFB 901 - Project Area C"}],"place":"Gothenburg, Sweden","year":"2017","title":"On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture","author":[{"first_name":"Bahar","last_name":"Jazayeri","full_name":"Jazayeri, Bahar","id":"36399"},{"id":"13235","last_name":"Schwichtenberg","first_name":"Simon","full_name":"Schwichtenberg, Simon"}],"date_updated":"2022-01-06T07:03:46Z","language":[{"iso":"eng"}],"doi":"10.1109/ICSAW.2017.59","publication":"Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop","abstract":[{"text":"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.","lang":"eng"}],"file":[{"file_size":624689,"access_level":"closed","file_name":"07958467.pdf","date_updated":"2018-11-02T14:49:05Z","relation":"main_file","content_type":"application/pdf","success":1,"file_id":"5284","creator":"ups","date_created":"2018-11-02T14:49:05Z"}],"date_created":"2017-10-17T12:41:06Z","type":"conference","department":[{"_id":"66"}]},{"date_updated":"2022-01-06T07:03:47Z","intvolume":"     10787","year":"2017","title":"Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times","author":[{"id":"13536","first_name":"Alexander","last_name":"Mäcker","full_name":"Mäcker, Alexander"},{"last_name":"Malatyali","first_name":"Manuel","full_name":"Malatyali, Manuel"},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm"},{"full_name":"Riechers, Sören","first_name":"Sören","last_name":"Riechers"}],"doi":"10.1007/978-3-319-89441-6","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"abstract":[{"text":"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.","lang":"eng"}],"publication":"Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)","type":"conference","department":[{"_id":"63"}],"file":[{"creator":"ups","date_created":"2018-11-02T14:59:22Z","file_size":380629,"access_level":"closed","file_name":"Non-clairvoyantSchedulingToMin.pdf","date_updated":"2018-11-02T14:59:22Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"5289"}],"date_created":"2017-10-17T12:41:06Z","has_accepted_license":"1","status":"public","ddc":["000"],"user_id":"477","volume":10787,"page":"207-222","publisher":"Springer","_id":"79","project":[{"name":"SFB 901","_id":"1"},{"_id":"16","name":"SFB 901 - Subprojekt C4"},{"_id":"4","name":"SFB 901 - Project Area C"}],"file_date_updated":"2018-11-02T14:59:22Z","citation":{"ama":"Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times. In: <i>Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)</i>. Vol 10787. Lecture Notes in Computer Science. Springer; 2017:207-222. doi:<a href=\"https://doi.org/10.1007/978-3-319-89441-6\">10.1007/978-3-319-89441-6</a>","bibtex":"@inproceedings{Mäcker_Malatyali_Meyer auf der Heide_Riechers_2017, series={Lecture Notes in Computer Science}, title={Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times}, volume={10787}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-89441-6\">10.1007/978-3-319-89441-6</a>}, booktitle={Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)}, publisher={Springer}, author={Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and Riechers, Sören}, year={2017}, pages={207–222}, collection={Lecture Notes in Computer Science} }","mla":"Mäcker, Alexander, et al. “Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times.” <i>Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)</i>, vol. 10787, Springer, 2017, pp. 207–22, doi:<a href=\"https://doi.org/10.1007/978-3-319-89441-6\">10.1007/978-3-319-89441-6</a>.","short":"A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA), Springer, 2017, pp. 207–222.","chicago":"Mäcker, Alexander, Manuel Malatyali, Friedhelm Meyer auf der Heide, and Sören Riechers. “Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times.” In <i>Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)</i>, 10787:207–22. Lecture Notes in Computer Science. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-89441-6\">https://doi.org/10.1007/978-3-319-89441-6</a>.","apa":"Mäcker, A., Malatyali, M., Meyer auf der Heide, F., &#38; Riechers, S. (2017). Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times. In <i>Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)</i> (Vol. 10787, pp. 207–222). Springer. <a href=\"https://doi.org/10.1007/978-3-319-89441-6\">https://doi.org/10.1007/978-3-319-89441-6</a>","ieee":"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 <i>Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)</i>, 2017, vol. 10787, pp. 207–222."}},{"user_id":"52534","language":[{"iso":"eng"}],"_id":"8073","page":"65-66","date_updated":"2022-01-06T07:03:50Z","author":[{"last_name":"Grieger","first_name":"Marvin","full_name":"Grieger, Marvin"},{"last_name":"Fazal-Baqaie","first_name":"Masud","full_name":"Fazal-Baqaie, Masud"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"first_name":"Markus","last_name":"Klenke","full_name":"Klenke, Markus"}],"status":"public","title":"Concept-Based Engineering of Situation-Specific Migration Methods","year":"2017","department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-21T21:28:39Z","citation":{"mla":"Grieger, Marvin, et al. “Concept-Based Engineering of Situation-Specific Migration Methods.” <i>Software Engineering 2017</i>, 2017, pp. 65–66.","ama":"Grieger M, Fazal-Baqaie M, Engels G, Klenke M. Concept-Based Engineering of Situation-Specific Migration Methods. In: <i>Software Engineering 2017</i>. ; 2017:65-66.","bibtex":"@inproceedings{Grieger_Fazal-Baqaie_Engels_Klenke_2017, title={Concept-Based Engineering of Situation-Specific Migration Methods}, booktitle={Software Engineering 2017}, author={Grieger, Marvin and Fazal-Baqaie, Masud and Engels, Gregor and Klenke, Markus}, year={2017}, pages={65–66} }","apa":"Grieger, M., Fazal-Baqaie, M., Engels, G., &#38; Klenke, M. (2017). Concept-Based Engineering of Situation-Specific Migration Methods. In <i>Software Engineering 2017</i> (pp. 65–66).","ieee":"M. Grieger, M. Fazal-Baqaie, G. Engels, and M. Klenke, “Concept-Based Engineering of Situation-Specific Migration Methods,” in <i>Software Engineering 2017</i>, 2017, pp. 65–66.","short":"M. Grieger, M. Fazal-Baqaie, G. Engels, M. Klenke, in: Software Engineering 2017, 2017, pp. 65–66.","chicago":"Grieger, Marvin, Masud Fazal-Baqaie, Gregor Engels, and Markus Klenke. “Concept-Based Engineering of Situation-Specific Migration Methods.” In <i>Software Engineering 2017</i>, 65–66, 2017."},"publication":"Software Engineering 2017"},{"supervisor":[{"last_name":"Scheideler","first_name":"Christian","full_name":"Scheideler, Christian","id":"20792"}],"citation":{"bibtex":"@book{Luo_2017, title={MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained}, publisher={Universität Paderborn}, author={Luo, Linghui}, year={2017} }","ama":"Luo L. <i>MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic Searchability Maintained</i>. Universität Paderborn; 2017.","mla":"Luo, Linghui. <i>MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic Searchability Maintained</i>. Universität Paderborn, 2017.","chicago":"Luo, Linghui. <i>MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic Searchability Maintained</i>. Universität Paderborn, 2017.","short":"L. Luo, MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic Searchability Maintained, Universität Paderborn, 2017.","ieee":"L. Luo, <i>MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained</i>. Universität Paderborn, 2017.","apa":"Luo, L. (2017). <i>MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained</i>. Universität Paderborn."},"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt A1","_id":"5"},{"name":"SFB 901 - Project Area A","_id":"2"}],"date_created":"2017-10-17T12:41:07Z","type":"mastersthesis","department":[{"_id":"79"}],"status":"public","year":"2017","title":"MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained","author":[{"first_name":"Linghui","last_name":"Luo","full_name":"Luo, Linghui"}],"date_updated":"2022-01-06T07:03:50Z","publisher":"Universität Paderborn","_id":"81","language":[{"iso":"eng"}],"user_id":"477"},{"ddc":["000"],"user_id":"477","_id":"82","page":"139-150","has_accepted_license":"1","status":"public","project":[{"_id":"1","name":"SFB 901"},{"_id":"2","name":"SFB 901 - Project Area A"},{"name":"SFB 901 - Subproject A1","_id":"5"}],"citation":{"apa":"Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., &#38; Podlipyan, P. (2017). Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity. In <i>Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW)</i> (pp. 139–150). <a href=\"https://doi.org/10.1007/978-3-319-59605-1_13\">https://doi.org/10.1007/978-3-319-59605-1_13</a>","ieee":"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 <i>Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW)</i>, 2017, pp. 139–150.","chicago":"Abu-Khzam, Faisal N., Shouwei Li, Christine Markarian, Friedhelm Meyer auf der Heide, and Pavel Podlipyan. “Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity.” In <i>Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW)</i>, 139–50. LNCS, 2017. <a href=\"https://doi.org/10.1007/978-3-319-59605-1_13\">https://doi.org/10.1007/978-3-319-59605-1_13</a>.","short":"F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW), 2017, pp. 139–150.","mla":"Abu-Khzam, Faisal N., et al. “Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity.” <i>Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW)</i>, 2017, pp. 139–50, doi:<a href=\"https://doi.org/10.1007/978-3-319-59605-1_13\">10.1007/978-3-319-59605-1_13</a>.","ama":"Abu-Khzam FN, Li S, Markarian C, Meyer auf der Heide F, Podlipyan P. Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity. In: <i>Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW)</i>. LNCS. ; 2017:139-150. doi:<a href=\"https://doi.org/10.1007/978-3-319-59605-1_13\">10.1007/978-3-319-59605-1_13</a>","bibtex":"@inproceedings{Abu-Khzam_Li_Markarian_Meyer auf der Heide_Podlipyan_2017, series={LNCS}, title={Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-59605-1_13\">10.1007/978-3-319-59605-1_13</a>}, booktitle={Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW)}, author={Abu-Khzam, Faisal N. and Li, Shouwei and Markarian, Christine and Meyer auf der Heide, Friedhelm and Podlipyan, Pavel}, year={2017}, pages={139–150}, collection={LNCS} }"},"file_date_updated":"2018-11-02T15:07:35Z","doi":"10.1007/978-3-319-59605-1_13","language":[{"iso":"eng"}],"series_title":"LNCS","date_updated":"2022-01-06T07:03:52Z","author":[{"full_name":"Abu-Khzam, Faisal N.","last_name":"Abu-Khzam","first_name":"Faisal N."},{"first_name":"Shouwei","last_name":"Li","full_name":"Li, Shouwei"},{"id":"37612","full_name":"Markarian, Christine","first_name":"Christine","last_name":"Markarian"},{"full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm","id":"15523"},{"last_name":"Podlipyan","first_name":"Pavel","full_name":"Podlipyan, Pavel"}],"year":"2017","title":"Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity","department":[{"_id":"63"}],"type":"conference","date_created":"2017-10-17T12:41:07Z","file":[{"file_size":238276,"access_level":"closed","file_name":"Modular-WidthAnAuxiliaryParame.pdf","date_updated":"2018-11-02T15:07:35Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"5294","creator":"ups","date_created":"2018-11-02T15:07:35Z"}],"abstract":[{"text":"Many graph problems such as maximum cut, chromatic number, hamiltonian cycle, and edge dominating set are known to be fixed-parameter tractable (FPT) when parameterized by the treewidth of the input graphs, but become W-hard with respect to the clique-width parameter. Recently, Gajarský et al. proposed a new parameter called modular-width using the notion of modular decomposition of graphs. They showed that the chromatic number problem and the partitioning into paths problem, and hence hamiltonian path and hamiltonian cycle, are FPT when parameterized by this parameter. In this paper, we study modular-width in parameterized parallel complexity and show that the weighted maximum clique problem and the maximum matching problem are fixed-parameter parallel-tractable (FPPT) when parameterized by this parameter.","lang":"eng"}],"publication":"Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW)"},{"publication":"Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume","citation":{"ieee":"J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, and S. Sauer, “Systematic spreadsheet construction processes,” in <i>Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume</i>, 2017, pp. 123–127.","apa":"Mendes, J., Cunha, J., Duarte, F., Engels, G., Saraiva, J., &#38; Sauer, S. (2017). Systematic spreadsheet construction processes. In <i>Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume</i> (pp. 123–127). IEEE. <a href=\"http://dx.doi.org/10.1109/VLHCC.2017.8103459\">http://dx.doi.org/10.1109/VLHCC.2017.8103459</a>","short":"J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, in: Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume, IEEE, 2017, pp. 123–127.","chicago":"Mendes, Jorge, Jácome Cunha, Francisco Duarte, Gregor Engels, Joao Saraiva, and Stefan Sauer. “Systematic Spreadsheet Construction Processes.” In <i>Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume</i>, 123–27. IEEE, 2017. <a href=\"http://dx.doi.org/10.1109/VLHCC.2017.8103459\">http://dx.doi.org/10.1109/VLHCC.2017.8103459</a>.","mla":"Mendes, Jorge, et al. “Systematic Spreadsheet Construction Processes.” <i>Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume</i>, IEEE, 2017, pp. 123–27, doi:<a href=\"http://dx.doi.org/10.1109/VLHCC.2017.8103459\">http://dx.doi.org/10.1109/VLHCC.2017.8103459</a>.","bibtex":"@inproceedings{Mendes_Cunha_Duarte_Engels_Saraiva_Sauer_2017, title={Systematic spreadsheet construction processes}, DOI={<a href=\"http://dx.doi.org/10.1109/VLHCC.2017.8103459\">http://dx.doi.org/10.1109/VLHCC.2017.8103459</a>}, booktitle={Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume}, publisher={IEEE}, author={Mendes, Jorge and Cunha, Jácome and Duarte, Francisco and Engels, Gregor and Saraiva, Joao and Sauer, Stefan}, year={2017}, pages={123–127} }","ama":"Mendes J, Cunha J, Duarte F, Engels G, Saraiva J, Sauer S. Systematic spreadsheet construction processes. In: <i>Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume</i>. IEEE; 2017:123-127. doi:<a href=\"http://dx.doi.org/10.1109/VLHCC.2017.8103459\">http://dx.doi.org/10.1109/VLHCC.2017.8103459</a>"},"date_created":"2019-03-03T16:57:56Z","type":"conference","department":[{"_id":"66"}],"title":"Systematic spreadsheet construction processes","year":"2017","status":"public","author":[{"first_name":"Jorge","last_name":"Mendes","full_name":"Mendes, Jorge"},{"first_name":"Jácome","last_name":"Cunha","full_name":"Cunha, Jácome"},{"first_name":"Francisco","last_name":"Duarte","full_name":"Duarte, Francisco"},{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"full_name":"Saraiva, Joao","first_name":"Joao","last_name":"Saraiva"},{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"}],"date_updated":"2022-01-06T07:03:52Z","page":"123-127","publisher":"IEEE","_id":"8225","language":[{"iso":"eng"}],"user_id":"52534","doi":"http://dx.doi.org/10.1109/VLHCC.2017.8103459"},{"type":"bachelorsthesis","department":[{"_id":"355"}],"date_created":"2018-11-15T08:10:48Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901 - Subproject B2","_id":"10"}],"supervisor":[{"full_name":"Hüllermeier, Eyke","first_name":"Eyke","last_name":"Hüllermeier","id":"48129"}],"citation":{"ama":"Schnitker NN. <i>Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies</i>. Universität Paderborn; 2017.","bibtex":"@book{Schnitker_2017, title={Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies}, publisher={Universität Paderborn}, author={Schnitker, Nino Noel}, year={2017} }","mla":"Schnitker, Nino Noel. <i>Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies</i>. Universität Paderborn, 2017.","chicago":"Schnitker, Nino Noel. <i>Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies</i>. Universität Paderborn, 2017.","short":"N.N. Schnitker, Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies, Universität Paderborn, 2017.","apa":"Schnitker, N. N. (2017). <i>Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies</i>. Universität Paderborn.","ieee":"N. N. Schnitker, <i>Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies</i>. Universität Paderborn, 2017."},"user_id":"477","language":[{"iso":"ger"}],"_id":"5694","publisher":"Universität Paderborn","date_updated":"2022-01-06T07:02:35Z","status":"public","title":"Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies","year":"2017","author":[{"last_name":"Schnitker","first_name":"Nino Noel","full_name":"Schnitker, Nino Noel"}]},{"publisher":"Gesellschaft für Informatik eV, Fachgruppe PARS","_id":"5695","volume":37,"ddc":["040"],"user_id":"36399","status":"public","has_accepted_license":"1","place":"Bad Honnef, Germany","citation":{"ieee":"B. Jazayeri and S. Schwichtenberg, “On the Necessity of an Architecture Framework for On-The-Fly Computing,” in <i>Proceedings of Softwaretechnik-Trends Workshops</i>, 2017, vol. 37.","apa":"Jazayeri, B., &#38; Schwichtenberg, S. (2017). On the Necessity of an Architecture Framework for On-The-Fly Computing. In <i>Proceedings of Softwaretechnik-Trends Workshops</i> (Vol. 37). Bad Honnef, Germany: Gesellschaft für Informatik eV, Fachgruppe PARS.","mla":"Jazayeri, Bahar, and Simon Schwichtenberg. “On the Necessity of an Architecture Framework for On-The-Fly Computing.” <i>Proceedings of Softwaretechnik-Trends Workshops</i>, vol. 37, 2, Gesellschaft für Informatik eV, Fachgruppe PARS, 2017.","bibtex":"@inproceedings{Jazayeri_Schwichtenberg_2017, place={Bad Honnef, Germany}, title={On the Necessity of an Architecture Framework for On-The-Fly Computing}, volume={37}, number={2}, booktitle={Proceedings of Softwaretechnik-Trends Workshops}, publisher={Gesellschaft für Informatik eV, Fachgruppe PARS}, author={Jazayeri, Bahar and Schwichtenberg, Simon}, year={2017} }","chicago":"Jazayeri, Bahar, and Simon Schwichtenberg. “On the Necessity of an Architecture Framework for On-The-Fly Computing.” In <i>Proceedings of Softwaretechnik-Trends Workshops</i>, Vol. 37. Bad Honnef, Germany: Gesellschaft für Informatik eV, Fachgruppe PARS, 2017.","short":"B. Jazayeri, S. Schwichtenberg, in: Proceedings of Softwaretechnik-Trends Workshops, Gesellschaft für Informatik eV, Fachgruppe PARS, Bad Honnef, Germany, 2017.","ama":"Jazayeri B, Schwichtenberg S. On the Necessity of an Architecture Framework for On-The-Fly Computing. In: <i>Proceedings of Softwaretechnik-Trends Workshops</i>. Vol 37. Bad Honnef, Germany: Gesellschaft für Informatik eV, Fachgruppe PARS; 2017."},"file_date_updated":"2018-11-15T09:08:46Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area C","_id":"4"},{"_id":"17","name":"SFB 901 - Subproject C5"}],"language":[{"iso":"eng"}],"article_number":"2","author":[{"last_name":"Jazayeri","first_name":"Bahar","full_name":"Jazayeri, Bahar","id":"36399"},{"first_name":"Simon","last_name":"Schwichtenberg","full_name":"Schwichtenberg, Simon","id":"13235"}],"title":"On the Necessity of an Architecture Framework for On-The-Fly Computing","year":"2017","intvolume":"        37","date_updated":"2022-01-06T07:02:35Z","date_created":"2018-11-15T09:06:51Z","file":[{"file_id":"5696","content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2018-11-15T09:08:46Z","file_name":"Jazayeri_DFF2017.pdf","access_level":"closed","file_size":65506,"date_created":"2018-11-15T09:08:46Z","creator":"bahareh"}],"department":[{"_id":"66"}],"type":"conference","publication":"Proceedings of Softwaretechnik-Trends Workshops"}]