[{"type":"dissertation","department":[{"_id":"79"}],"date_created":"2017-10-17T12:41:03Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"5","name":"SFB 901 - Subprojekt A1"},{"_id":"2","name":"SFB 901 - Project Area A"}],"supervisor":[{"id":"20792","last_name":"Scheideler","first_name":"Christian","full_name":"Scheideler, Christian"}],"citation":{"mla":"Strothmann, Thim Frederik. <i>Self-* Algorithms for Distributed Systems</i>. Universität Paderborn, 2017, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-150\">10.17619/UNIPB/1-150</a>.","ama":"Strothmann TF. <i>Self-* Algorithms for Distributed Systems</i>. Universität Paderborn; 2017. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-150\">10.17619/UNIPB/1-150</a>","bibtex":"@book{Strothmann_2017, title={Self-* Algorithms for Distributed Systems}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-150\">10.17619/UNIPB/1-150</a>}, publisher={Universität Paderborn}, author={Strothmann, Thim Frederik}, year={2017} }","apa":"Strothmann, T. F. (2017). <i>Self-* Algorithms for Distributed Systems</i>. Universität Paderborn. <a href=\"https://doi.org/10.17619/UNIPB/1-150\">https://doi.org/10.17619/UNIPB/1-150</a>","ieee":"T. F. Strothmann, <i>Self-* Algorithms for Distributed Systems</i>. Universität Paderborn, 2017.","chicago":"Strothmann, Thim Frederik. <i>Self-* Algorithms for Distributed Systems</i>. Universität Paderborn, 2017. <a href=\"https://doi.org/10.17619/UNIPB/1-150\">https://doi.org/10.17619/UNIPB/1-150</a>.","short":"T.F. Strothmann, Self-* Algorithms for Distributed Systems, Universität Paderborn, 2017."},"doi":"10.17619/UNIPB/1-150","user_id":"477","_id":"61","language":[{"iso":"eng"}],"publisher":"Universität Paderborn","date_updated":"2022-01-06T07:02:52Z","title":"Self-* Algorithms for Distributed Systems","year":"2017","status":"public","author":[{"full_name":"Strothmann, Thim Frederik","last_name":"Strothmann","first_name":"Thim Frederik","id":"11319"}]},{"page":"570-583","publisher":"Springer International Publishing","_id":"6255","user_id":"30457","volume":10288,"status":"public","conference":{"end_date":"2017-07-14","location":"Vancouver, Canada","name":"International Conference of Design, User Experience, and Usability (DUXU) as part of HCI International 2017","start_date":"2017-07-09"},"place":"Cham","citation":{"bibtex":"@inbook{Fischer_Engler_Sauer_2017, place={Cham}, series={Lecture Notes in Computer Science}, title={A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0}, volume={10288}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-58634-2_42\">10.1007/978-3-319-58634-2_42</a>}, booktitle={Design, User Experience, and Usability: Theory, Methodology, and Management}, publisher={Springer International Publishing}, author={Fischer, Holger Gerhard and Engler, Michael and Sauer, Stefan}, year={2017}, pages={570–583}, collection={Lecture Notes in Computer Science} }","ama":"Fischer HG, Engler M, Sauer S. A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0. In: <i>Design, User Experience, and Usability: Theory, Methodology, and Management</i>. Vol 10288. Lecture Notes in Computer Science. Cham: Springer International Publishing; 2017:570-583. doi:<a href=\"https://doi.org/10.1007/978-3-319-58634-2_42\">10.1007/978-3-319-58634-2_42</a>","mla":"Fischer, Holger Gerhard, et al. “A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0.” <i>Design, User Experience, and Usability: Theory, Methodology, and Management</i>, vol. 10288, Springer International Publishing, 2017, pp. 570–83, doi:<a href=\"https://doi.org/10.1007/978-3-319-58634-2_42\">10.1007/978-3-319-58634-2_42</a>.","short":"H.G. Fischer, M. Engler, S. Sauer, in: Design, User Experience, and Usability: Theory, Methodology, and Management, Springer International Publishing, Cham, 2017, pp. 570–583.","chicago":"Fischer, Holger Gerhard, Michael Engler, and Stefan Sauer. “A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0.” In <i>Design, User Experience, and Usability: Theory, Methodology, and Management</i>, 10288:570–83. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2017. <a href=\"https://doi.org/10.1007/978-3-319-58634-2_42\">https://doi.org/10.1007/978-3-319-58634-2_42</a>.","ieee":"H. G. Fischer, M. Engler, and S. Sauer, “A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0,” in <i>Design, User Experience, and Usability: Theory, Methodology, and Management</i>, vol. 10288, Cham: Springer International Publishing, 2017, pp. 570–583.","apa":"Fischer, H. G., Engler, M., &#38; Sauer, S. (2017). A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0. In <i>Design, User Experience, and Usability: Theory, Methodology, and Management</i> (Vol. 10288, pp. 570–583). Cham: Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-319-58634-2_42\">https://doi.org/10.1007/978-3-319-58634-2_42</a>"},"language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-319-58634-2_42","year":"2017","title":"A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783319586335","9783319586342"]},"author":[{"first_name":"Holger Gerhard","last_name":"Fischer","full_name":"Fischer, Holger Gerhard","id":"30457"},{"full_name":"Engler, Michael","first_name":"Michael","last_name":"Engler"},{"last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan","id":"447"}],"date_updated":"2022-01-06T07:02:58Z","publication_status":"published","intvolume":"     10288","date_created":"2018-12-18T10:44:24Z","type":"book_chapter","department":[{"_id":"66"},{"_id":"534"},{"_id":"221"}],"publication":"Design, User Experience, and Usability: Theory, Methodology, and Management"},{"title":"Akzeptierte Assistenzsysteme in der Arbeitswelt 4.0 durch systematisches Human-Centered Software Engineering","year":"2017","publication_identifier":{"isbn":["978-3-942647-88-5"]},"author":[{"id":"30457","first_name":"Holger Gerhard","last_name":"Fischer","full_name":"Fischer, Holger Gerhard"},{"first_name":"Björn","last_name":"Senft","full_name":"Senft, Björn","id":"9109"},{"full_name":"Stahl, Katharina","first_name":"Katharina","last_name":"Stahl"}],"date_updated":"2022-01-06T07:02:58Z","intvolume":"       369","language":[{"iso":"ger"}],"doi":"10.17619/UNIPB/1-93","publication":"Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme","date_created":"2018-12-18T10:47:50Z","type":"conference","department":[{"_id":"66"},{"_id":"534"},{"_id":"221"}],"status":"public","page":"197-210","_id":"6256","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts","user_id":"30457","editor":[{"last_name":"Bodden","first_name":"Eric","full_name":"Bodden, Eric"},{"last_name":"Dressler","first_name":"Falko","full_name":"Dressler, Falko"},{"full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu"},{"full_name":"Gausemeier, Jürgen","first_name":"Jürgen","last_name":"Gausemeier"},{"last_name":"Meyer auf der Heide","first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm"},{"last_name":"Scheytt","first_name":"Christoph","full_name":"Scheytt, Christoph"},{"last_name":"Trächtler","first_name":"Ansgar","full_name":"Trächtler, Ansgar"}],"volume":369,"citation":{"short":"H.G. Fischer, B. Senft, K. Stahl, in: E. Bodden, F. Dressler, R. Dumitrescu, J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, A. Trächtler (Eds.), Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2017, pp. 197–210.","chicago":"Fischer, Holger Gerhard, Björn Senft, and Katharina Stahl. “Akzeptierte Assistenzsysteme in der Arbeitswelt 4.0 durch systematisches Human-Centered Software Engineering.” In <i>Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme</i>, edited by Eric Bodden, Falko Dressler, Roman Dumitrescu, Jürgen Gausemeier, Friedhelm Meyer auf der Heide, Christoph Scheytt, and Ansgar Trächtler, 369:197–210. Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts, 2017. <a href=\"https://doi.org/10.17619/UNIPB/1-93\">https://doi.org/10.17619/UNIPB/1-93</a>.","ieee":"H. G. Fischer, B. Senft, and K. Stahl, “Akzeptierte Assistenzsysteme in der Arbeitswelt 4.0 durch systematisches Human-Centered Software Engineering,” in <i>Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme</i>, 2017, vol. 369, pp. 197–210.","apa":"Fischer, H. G., Senft, B., &#38; Stahl, K. (2017). Akzeptierte Assistenzsysteme in der Arbeitswelt 4.0 durch systematisches Human-Centered Software Engineering. In E. Bodden, F. Dressler, R. Dumitrescu, J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, &#38; A. Trächtler (Eds.), <i>Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme</i> (Vol. 369, pp. 197–210). Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts. <a href=\"https://doi.org/10.17619/UNIPB/1-93\">https://doi.org/10.17619/UNIPB/1-93</a>","bibtex":"@inproceedings{Fischer_Senft_Stahl_2017, place={Paderborn}, title={Akzeptierte Assistenzsysteme in der Arbeitswelt 4.0 durch systematisches Human-Centered Software Engineering}, volume={369}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-93\">10.17619/UNIPB/1-93</a>}, booktitle={Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, author={Fischer, Holger Gerhard and Senft, Björn and Stahl, Katharina}, 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, AnsgarEditors}, year={2017}, pages={197–210} }","ama":"Fischer HG, Senft B, Stahl K. Akzeptierte Assistenzsysteme in der Arbeitswelt 4.0 durch systematisches Human-Centered Software Engineering. In: Bodden E, Dressler F, Dumitrescu R, et al., eds. <i>Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme</i>. Vol 369. Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts; 2017:197-210. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-93\">10.17619/UNIPB/1-93</a>","mla":"Fischer, Holger Gerhard, et al. “Akzeptierte Assistenzsysteme in der Arbeitswelt 4.0 durch systematisches Human-Centered Software Engineering.” <i>Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme</i>, edited by Eric Bodden et al., vol. 369, Verlagsschriftenreihe des Heinz Nixdorf Instituts, 2017, pp. 197–210, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-93\">10.17619/UNIPB/1-93</a>."},"place":"Paderborn"},{"place":"Regensburg","date_created":"2018-12-18T13:11:29Z","department":[{"_id":"66"},{"_id":"534"},{"_id":"221"}],"type":"conference_editor","citation":{"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.","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.","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.","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."},"_id":"6305","publisher":"Gesellschaft für Informatik e.V. und German UPA e.V.","language":[{"iso":"ger"}],"editor":[{"last_name":"Hess","first_name":"Steffen","full_name":"Hess, Steffen"},{"id":"30457","full_name":"Fischer, Holger Gerhard","first_name":"Holger Gerhard","last_name":"Fischer"}],"user_id":"30457","year":"2017","title":"Mensch und Computer 2017 - Usability Professionals. Tagungsband","status":"public","date_updated":"2022-01-06T07:03:00Z"},{"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt C4","_id":"16"},{"name":"SFB 901 - Project Area C","_id":"4"}],"file_date_updated":"2018-03-21T13:15:53Z","citation":{"chicago":"Keller, Matthias, and Holger Karl. “Response-Time-Optimised Service Deployment: MILP Formulations of Piece-Wise Linear Functions Approximating Non-Linear Bivariate Mixed-Integer Functions.” <i>IEEE Transactions on Network and Service Management</i>, no. 1 (2017): 121--135. <a href=\"https://doi.org/10.1109/TNSM.2016.2611590\">https://doi.org/10.1109/TNSM.2016.2611590</a>.","ama":"Keller M, Karl H. Response-Time-Optimised Service Deployment: MILP Formulations of Piece-wise Linear Functions Approximating Non-linear Bivariate Mixed-integer Functions. <i>IEEE Transactions on Network and Service Management</i>. 2017;(1):121--135. doi:<a href=\"https://doi.org/10.1109/TNSM.2016.2611590\">10.1109/TNSM.2016.2611590</a>","short":"M. Keller, H. Karl, IEEE Transactions on Network and Service Management (2017) 121--135.","bibtex":"@article{Keller_Karl_2017, title={Response-Time-Optimised Service Deployment: MILP Formulations of Piece-wise Linear Functions Approximating Non-linear Bivariate Mixed-integer Functions}, DOI={<a href=\"https://doi.org/10.1109/TNSM.2016.2611590\">10.1109/TNSM.2016.2611590</a>}, number={1}, journal={IEEE Transactions on Network and Service Management}, publisher={IEEE}, author={Keller, Matthias and Karl, Holger}, year={2017}, pages={121--135} }","apa":"Keller, M., &#38; Karl, H. (2017). Response-Time-Optimised Service Deployment: MILP Formulations of Piece-wise Linear Functions Approximating Non-linear Bivariate Mixed-integer Functions. <i>IEEE Transactions on Network and Service Management</i>, (1), 121--135. <a href=\"https://doi.org/10.1109/TNSM.2016.2611590\">https://doi.org/10.1109/TNSM.2016.2611590</a>","mla":"Keller, Matthias, and Holger Karl. “Response-Time-Optimised Service Deployment: MILP Formulations of Piece-Wise Linear Functions Approximating Non-Linear Bivariate Mixed-Integer Functions.” <i>IEEE Transactions on Network and Service Management</i>, no. 1, IEEE, 2017, pp. 121--135, doi:<a href=\"https://doi.org/10.1109/TNSM.2016.2611590\">10.1109/TNSM.2016.2611590</a>.","ieee":"M. Keller and H. Karl, “Response-Time-Optimised Service Deployment: MILP Formulations of Piece-wise Linear Functions Approximating Non-linear Bivariate Mixed-integer Functions,” <i>IEEE Transactions on Network and Service Management</i>, no. 1, pp. 121--135, 2017."},"has_accepted_license":"1","status":"public","user_id":"477","ddc":["040"],"page":"121--135","publisher":"IEEE","_id":"64","abstract":[{"lang":"eng","text":"A current trend in networking and cloud computing is to provide compute resources at widely distributed sites; this is exemplified by developments such as Network Function Virtualisation. This paves the way for wide-area service deployments with improved service quality: e.g. user-perceived response times can be reduced by offering services at nearby sites. But always assigning users to the nearest site can be a bad decision if this site is already highly utilised. This paper formalises two related decisions of allocating compute resources at different sites and assigning users to them with the goal of minimising the response times while the total number of resources to be allocated is limited – a non-linear capacitated Facility Location Problem with integrated queuing systems. To efficiently handle its non-linearity, we introduce five linear problem linearisations and adapt the currently best heuristic for a similar scenario to our scenario. All six approaches are compared in experiments for solution quality and solving time. Surprisingly, our best optimisation formulation outperforms the heuristic in both time and quality. Additionally, we evaluate the influence of distributions of available compute resources in the network on the response time: The time was halved for some configurations. The presented formulation techniques for our problem linearisations are applicable to a broader optimisation domain."}],"publication":"IEEE Transactions on Network and Service Management","issue":"1","type":"journal_article","department":[{"_id":"75"}],"file":[{"date_updated":"2018-03-21T13:15:53Z","relation":"main_file","file_size":1505773,"access_level":"closed","file_name":"64-07572217.pdf","success":1,"content_type":"application/pdf","file_id":"1576","creator":"florida","date_created":"2018-03-21T13:15:53Z"}],"date_created":"2017-10-17T12:41:03Z","date_updated":"2022-01-06T07:03:03Z","title":"Response-Time-Optimised Service Deployment: MILP Formulations of Piece-wise Linear Functions Approximating Non-linear Bivariate Mixed-integer Functions","year":"2017","author":[{"last_name":"Keller","first_name":"Matthias","full_name":"Keller, Matthias"},{"id":"126","full_name":"Karl, Holger","first_name":"Holger","last_name":"Karl"}],"doi":"10.1109/TNSM.2016.2611590"},{"date_created":"2017-11-14T08:03:45Z","department":[{"_id":"79"}],"type":"mastersthesis","citation":{"apa":"Sundermeier, J. (2017). <i>Routing in Hybrid Communication Networks with Holes - Considering Bounding Boxes as Hole Abstractions</i>. Universität Paderborn.","ieee":"J. Sundermeier, <i>Routing in Hybrid Communication Networks with Holes - Considering Bounding Boxes as Hole Abstractions</i>. Universität Paderborn, 2017.","short":"J. Sundermeier, Routing in Hybrid Communication Networks with Holes - Considering Bounding Boxes as Hole Abstractions, Universität Paderborn, 2017.","chicago":"Sundermeier, Jannik. <i>Routing in Hybrid Communication Networks with Holes - Considering Bounding Boxes as Hole Abstractions</i>. Universität Paderborn, 2017.","mla":"Sundermeier, Jannik. <i>Routing in Hybrid Communication Networks with Holes - Considering Bounding Boxes as Hole Abstractions</i>. Universität Paderborn, 2017.","ama":"Sundermeier J. <i>Routing in Hybrid Communication Networks with Holes - Considering Bounding Boxes as Hole Abstractions</i>. Universität Paderborn; 2017.","bibtex":"@book{Sundermeier_2017, title={Routing in Hybrid Communication Networks with Holes - Considering Bounding Boxes as Hole Abstractions}, publisher={Universität Paderborn}, author={Sundermeier, Jannik}, year={2017} }"},"supervisor":[{"full_name":"Scheideler, Christian","first_name":"Christian","last_name":"Scheideler","id":"20792"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt A1","_id":"5"},{"name":"SFB 901 - Project Area A","_id":"2"}],"publisher":"Universität Paderborn","_id":"699","language":[{"iso":"eng"}],"user_id":"38705","author":[{"first_name":"Jannik","last_name":"Sundermeier","full_name":"Sundermeier, Jannik","id":"38705"}],"title":"Routing in Hybrid Communication Networks with Holes - Considering Bounding Boxes as Hole Abstractions","status":"public","year":"2017","date_updated":"2022-01-06T07:03:25Z"},{"publication":"Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA)","file_date_updated":"2018-11-02T15:06:13Z","citation":{"mla":"Feldkord, Björn, et al. “Price Fluctuations in Online Leasing.” <i>Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA)</i>, 2017, pp. 17–31, doi:<a href=\"https://doi.org/10.1007/978-3-319-71147-8_2\">10.1007/978-3-319-71147-8_2</a>.","bibtex":"@inproceedings{Feldkord_Markarian_Meyer auf der Heide_2017, title={Price Fluctuations in Online Leasing}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-71147-8_2\">10.1007/978-3-319-71147-8_2</a>}, booktitle={Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA)}, author={Feldkord, Björn and Markarian, Christine and Meyer auf der Heide, Friedhelm}, year={2017}, pages={17–31} }","ama":"Feldkord B, Markarian C, Meyer auf der Heide F. Price Fluctuations in Online Leasing. In: <i>Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA)</i>. ; 2017:17-31. doi:<a href=\"https://doi.org/10.1007/978-3-319-71147-8_2\">10.1007/978-3-319-71147-8_2</a>","ieee":"B. Feldkord, C. Markarian, and F. Meyer auf der Heide, “Price Fluctuations in Online Leasing,” in <i>Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA)</i>, 2017, pp. 17–31.","apa":"Feldkord, B., Markarian, C., &#38; Meyer auf der Heide, F. (2017). Price Fluctuations in Online Leasing. In <i>Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA)</i> (pp. 17–31). <a href=\"https://doi.org/10.1007/978-3-319-71147-8_2\">https://doi.org/10.1007/978-3-319-71147-8_2</a>","chicago":"Feldkord, Björn, Christine Markarian, and Friedhelm Meyer auf der Heide. “Price Fluctuations in Online Leasing.” In <i>Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA)</i>, 17–31, 2017. <a href=\"https://doi.org/10.1007/978-3-319-71147-8_2\">https://doi.org/10.1007/978-3-319-71147-8_2</a>.","short":"B. Feldkord, C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2017, pp. 17–31."},"project":[{"name":"SFB 901","_id":"1"},{"_id":"5","name":"SFB 901 - Subprojekt A1"},{"name":"SFB 901 - Project Area A","_id":"2"}],"file":[{"content_type":"application/pdf","success":1,"file_id":"5293","access_level":"closed","file_size":287315,"file_name":"PriceFluctuationInOnlineLeasin.pdf","date_updated":"2018-11-02T15:06:13Z","relation":"main_file","date_created":"2018-11-02T15:06:13Z","creator":"ups"}],"date_created":"2017-10-17T12:41:05Z","type":"conference","department":[{"_id":"63"}],"title":"Price Fluctuations in Online Leasing","status":"public","year":"2017","author":[{"id":"22704","full_name":"Feldkord, Björn","first_name":"Björn","last_name":"Feldkord"},{"id":"37612","full_name":"Markarian, Christine","first_name":"Christine","last_name":"Markarian"},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm"}],"date_updated":"2022-01-06T07:03:26Z","has_accepted_license":"1","page":"17 - 31","_id":"70","language":[{"iso":"eng"}],"ddc":["000"],"doi":"10.1007/978-3-319-71147-8_2","user_id":"477"},{"_id":"700","publisher":"Universität Paderborn","language":[{"iso":"eng"}],"user_id":"477","author":[{"full_name":"Knollmann, Till","first_name":"Till","last_name":"Knollmann"}],"title":"A Self-Stabilizing Protocol for Graphs of Diameter Two","status":"public","year":"2017","date_updated":"2022-01-06T07:03:26Z","date_created":"2017-11-14T08:04:35Z","department":[{"_id":"79"}],"type":"mastersthesis","supervisor":[{"id":"20792","last_name":"Scheideler","first_name":"Christian","full_name":"Scheideler, Christian"}],"citation":{"ieee":"T. Knollmann, <i>A Self-Stabilizing Protocol for Graphs of Diameter Two</i>. Universität Paderborn, 2017.","mla":"Knollmann, Till. <i>A Self-Stabilizing Protocol for Graphs of Diameter Two</i>. Universität Paderborn, 2017.","apa":"Knollmann, T. (2017). <i>A Self-Stabilizing Protocol for Graphs of Diameter Two</i>. Universität Paderborn.","bibtex":"@book{Knollmann_2017, title={A Self-Stabilizing Protocol for Graphs of Diameter Two}, publisher={Universität Paderborn}, author={Knollmann, Till}, year={2017} }","chicago":"Knollmann, Till. <i>A Self-Stabilizing Protocol for Graphs of Diameter Two</i>. Universität Paderborn, 2017.","ama":"Knollmann T. <i>A Self-Stabilizing Protocol for Graphs of Diameter Two</i>. Universität Paderborn; 2017.","short":"T. Knollmann, A Self-Stabilizing Protocol for Graphs of Diameter Two, Universität Paderborn, 2017."},"project":[{"_id":"1","name":"SFB 901"},{"_id":"5","name":"SFB 901 - Subprojekt A1"},{"_id":"2","name":"SFB 901 - Project Area A"}]},{"year":"2017","title":"Self-Stabilizing Spanners for Tree Metrics","status":"public","author":[{"id":"34727","full_name":"Götte, Thorsten","first_name":"Thorsten","last_name":"Götte"}],"date_updated":"2022-01-06T07:03:26Z","language":[{"iso":"eng"}],"_id":"701","publisher":"Universität Paderborn","user_id":"477","citation":{"ieee":"T. Götte, <i>Self-Stabilizing Spanners for Tree Metrics</i>. Universität Paderborn, 2017.","mla":"Götte, Thorsten. <i>Self-Stabilizing Spanners for Tree Metrics</i>. Universität Paderborn, 2017.","apa":"Götte, T. (2017). <i>Self-Stabilizing Spanners for Tree Metrics</i>. Universität Paderborn.","bibtex":"@book{Götte_2017, title={Self-Stabilizing Spanners for Tree Metrics}, publisher={Universität Paderborn}, author={Götte, Thorsten}, year={2017} }","chicago":"Götte, Thorsten. <i>Self-Stabilizing Spanners for Tree Metrics</i>. Universität Paderborn, 2017.","ama":"Götte T. <i>Self-Stabilizing Spanners for Tree Metrics</i>. Universität Paderborn; 2017.","short":"T. Götte, Self-Stabilizing Spanners for Tree Metrics, Universität Paderborn, 2017."},"supervisor":[{"id":"20792","first_name":"Christian","last_name":"Scheideler","full_name":"Scheideler, Christian"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"5","name":"SFB 901 - Subprojekt A1"},{"name":"SFB 901 - Project Area A","_id":"2"}],"date_created":"2017-11-14T09:32:39Z","type":"mastersthesis","department":[{"_id":"79"}]},{"author":[{"full_name":"Hottung, André","last_name":"Hottung","first_name":"André"},{"full_name":"Tanaka, Shunji","last_name":"Tanaka","first_name":"Shunji"},{"full_name":"Tierney, Kevin","last_name":"Tierney","first_name":"Kevin"}],"status":"public","year":"2017","title":"Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem","date_updated":"2022-01-06T07:03:26Z","_id":"7011","language":[{"iso":"eng"}],"user_id":"52534","citation":{"bibtex":"@article{Hottung_Tanaka_Tierney_2017, title={Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem}, journal={CoRR abs/1709.09972}, author={Hottung, André and Tanaka, Shunji and Tierney, Kevin}, year={2017} }","chicago":"Hottung, André, Shunji Tanaka, and Kevin Tierney. “Deep Learning Assisted Heuristic Tree Search for the Container Pre-Marshalling Problem.” <i>CoRR Abs/1709.09972</i>, 2017.","short":"A. Hottung, S. Tanaka, K. Tierney, CoRR Abs/1709.09972 (2017).","ama":"Hottung A, Tanaka S, Tierney K. Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem. <i>CoRR abs/170909972</i>. 2017.","ieee":"A. Hottung, S. Tanaka, and K. Tierney, “Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem,” <i>CoRR abs/1709.09972</i>, 2017.","mla":"Hottung, André, et al. “Deep Learning Assisted Heuristic Tree Search for the Container Pre-Marshalling Problem.” <i>CoRR Abs/1709.09972</i>, 2017.","apa":"Hottung, A., Tanaka, S., &#38; Tierney, K. (2017). Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem. <i>CoRR Abs/1709.09972</i>."},"publication":"CoRR abs/1709.09972","date_created":"2019-01-28T08:25:16Z","department":[{"_id":"66"}],"type":"journal_article"},{"date_created":"2019-01-28T08:28:26Z","type":"journal_article","department":[{"_id":"66"}],"publication":"CSE@SE 2017","citation":{"apa":"Fazal-Baqaie, M., Güldali, B., &#38; Oberthür, S. (2017). Towards DevOps in Multi-provider Projects. <i>CSE@SE 2017</i>, 18–21.","ieee":"M. Fazal-Baqaie, B. Güldali, and S. Oberthür, “Towards DevOps in Multi-provider Projects,” <i>CSE@SE 2017</i>, pp. 18–21, 2017.","chicago":"Fazal-Baqaie, Masud, Baris Güldali, and Simon Oberthür. “Towards DevOps in Multi-Provider Projects.” <i>CSE@SE 2017</i>, 2017, 18–21.","short":"M. Fazal-Baqaie, B. Güldali, S. Oberthür, CSE@SE 2017 (2017) 18–21.","mla":"Fazal-Baqaie, Masud, et al. “Towards DevOps in Multi-Provider Projects.” <i>CSE@SE 2017</i>, 2017, pp. 18–21.","ama":"Fazal-Baqaie M, Güldali B, Oberthür S. Towards DevOps in Multi-provider Projects. <i>CSE@SE 2017</i>. 2017:18-21.","bibtex":"@article{Fazal-Baqaie_Güldali_Oberthür_2017, title={Towards DevOps in Multi-provider Projects}, journal={CSE@SE 2017}, author={Fazal-Baqaie, Masud and Güldali, Baris and Oberthür, Simon}, year={2017}, pages={18–21} }"},"page":"18-21","language":[{"iso":"eng"}],"_id":"7012","user_id":"52534","year":"2017","title":"Towards DevOps in Multi-provider Projects","status":"public","author":[{"last_name":"Fazal-Baqaie","first_name":"Masud","full_name":"Fazal-Baqaie, Masud"},{"first_name":"Baris","last_name":"Güldali","full_name":"Güldali, Baris"},{"id":"383","full_name":"Oberthür, Simon","last_name":"Oberthür","first_name":"Simon"}],"date_updated":"2022-01-06T07:03:26Z"},{"language":[{"iso":"eng"}],"_id":"703","publisher":"Universität Paderborn","user_id":"15415","doi":"10.17619/UNIPB/1-230","title":"Local Algorithms for the Continuous Gathering Problem","status":"public","year":"2017","author":[{"first_name":"Pavel","last_name":"Podlipyan","full_name":"Podlipyan, Pavel"}],"date_updated":"2022-01-06T07:03:26Z","date_created":"2017-11-14T14:13:21Z","type":"dissertation","department":[{"_id":"63"}],"citation":{"short":"P. Podlipyan, Local Algorithms for the Continuous Gathering Problem, Universität Paderborn, 2017.","chicago":"Podlipyan, Pavel. <i>Local Algorithms for the Continuous Gathering Problem</i>. Universität Paderborn, 2017. <a href=\"https://doi.org/10.17619/UNIPB/1-230\">https://doi.org/10.17619/UNIPB/1-230</a>.","ieee":"P. Podlipyan, <i>Local Algorithms for the Continuous Gathering Problem</i>. Universität Paderborn, 2017.","apa":"Podlipyan, P. (2017). <i>Local Algorithms for the Continuous Gathering Problem</i>. Universität Paderborn. <a href=\"https://doi.org/10.17619/UNIPB/1-230\">https://doi.org/10.17619/UNIPB/1-230</a>","bibtex":"@book{Podlipyan_2017, title={Local Algorithms for the Continuous Gathering Problem}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-230\">10.17619/UNIPB/1-230</a>}, publisher={Universität Paderborn}, author={Podlipyan, Pavel}, year={2017} }","ama":"Podlipyan P. <i>Local Algorithms for the Continuous Gathering Problem</i>. Universität Paderborn; 2017. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-230\">10.17619/UNIPB/1-230</a>","mla":"Podlipyan, Pavel. <i>Local Algorithms for the Continuous Gathering Problem</i>. Universität Paderborn, 2017, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-230\">10.17619/UNIPB/1-230</a>."},"supervisor":[{"id":"15523","last_name":"Meyer auf der Heide","first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm"}],"related_material":{"link":[{"relation":"confirmation","url":"https://doi.org/10.17619/UNIPB/1-230"}]}},{"supervisor":[{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm"}],"citation":{"short":"S. Riechers, Scheduling with Scarce Resources, Universität Paderborn, 2017.","chicago":"Riechers, Sören. <i>Scheduling with Scarce Resources</i>. Universität Paderborn, 2017. <a href=\"https://doi.org/10.17619/UNIPB/1-231\">https://doi.org/10.17619/UNIPB/1-231</a>.","ieee":"S. Riechers, <i>Scheduling with Scarce Resources</i>. Universität Paderborn, 2017.","apa":"Riechers, S. (2017). <i>Scheduling with Scarce Resources</i>. Universität Paderborn. <a href=\"https://doi.org/10.17619/UNIPB/1-231\">https://doi.org/10.17619/UNIPB/1-231</a>","bibtex":"@book{Riechers_2017, title={Scheduling with Scarce Resources}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-231\">10.17619/UNIPB/1-231</a>}, publisher={Universität Paderborn}, author={Riechers, Sören}, year={2017} }","ama":"Riechers S. <i>Scheduling with Scarce Resources</i>. Universität Paderborn; 2017. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-231\">10.17619/UNIPB/1-231</a>","mla":"Riechers, Sören. <i>Scheduling with Scarce Resources</i>. Universität Paderborn, 2017, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-231\">10.17619/UNIPB/1-231</a>."},"file_date_updated":"2018-11-14T15:18:37Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt C4","_id":"16"},{"_id":"4","name":"SFB 901 - Project Area C"}],"date_created":"2017-11-15T07:51:07Z","file":[{"creator":"feldi","date_created":"2018-11-14T15:18:37Z","file_name":"thesisStable.pdf","file_size":1491627,"access_level":"closed","relation":"main_file","date_updated":"2018-11-14T15:18:37Z","file_id":"5673","success":1,"content_type":"application/pdf"}],"department":[{"_id":"63"}],"type":"dissertation","author":[{"first_name":"Sören","last_name":"Riechers","full_name":"Riechers, Sören"}],"title":"Scheduling with Scarce Resources","year":"2017","status":"public","has_accepted_license":"1","date_updated":"2022-01-06T07:03:27Z","publisher":"Universität Paderborn","_id":"704","language":[{"iso":"eng"}],"ddc":["000"],"doi":"10.17619/UNIPB/1-231","user_id":"14052"},{"citation":{"mla":"Mäcker, Alexander, et al. “Cost-Efficient Scheduling on Machines from the Cloud.” <i>Journal of Combinatorial Optimization</i>, vol. 36, no. 4, Springer, 2017, pp. 1168–94, doi:<a href=\"https://doi.org/10.1007/s10878-017-0198-x\">10.1007/s10878-017-0198-x</a>.","bibtex":"@article{Mäcker_Malatyali_Meyer auf der Heide_Riechers_2017, title={Cost-efficient Scheduling on Machines from the Cloud}, volume={36}, DOI={<a href=\"https://doi.org/10.1007/s10878-017-0198-x\">10.1007/s10878-017-0198-x</a>}, number={4}, journal={Journal of Combinatorial Optimization}, publisher={Springer}, author={Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and Riechers, Sören}, year={2017}, pages={1168–1194} }","ama":"Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. Cost-efficient Scheduling on Machines from the Cloud. <i>Journal of Combinatorial Optimization</i>. 2017;36(4):1168-1194. doi:<a href=\"https://doi.org/10.1007/s10878-017-0198-x\">10.1007/s10878-017-0198-x</a>","ieee":"A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. Riechers, “Cost-efficient Scheduling on Machines from the Cloud,” <i>Journal of Combinatorial Optimization</i>, vol. 36, no. 4, pp. 1168–1194, 2017.","apa":"Mäcker, A., Malatyali, M., Meyer auf der Heide, F., &#38; Riechers, S. (2017). Cost-efficient Scheduling on Machines from the Cloud. <i>Journal of Combinatorial Optimization</i>, <i>36</i>(4), 1168–1194. <a href=\"https://doi.org/10.1007/s10878-017-0198-x\">https://doi.org/10.1007/s10878-017-0198-x</a>","chicago":"Mäcker, Alexander, Manuel Malatyali, Friedhelm Meyer auf der Heide, and Sören Riechers. “Cost-Efficient Scheduling on Machines from the Cloud.” <i>Journal of Combinatorial Optimization</i> 36, no. 4 (2017): 1168–94. <a href=\"https://doi.org/10.1007/s10878-017-0198-x\">https://doi.org/10.1007/s10878-017-0198-x</a>.","short":"A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization 36 (2017) 1168–1194."},"file_date_updated":"2018-03-14T12:21:34Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt C4","_id":"16"},{"name":"SFB 901 - Project Area C","_id":"4"}],"status":"public","has_accepted_license":"1","_id":"706","publisher":"Springer","page":"1168-1194","volume":36,"user_id":"15415","ddc":["040"],"issue":"4","publication":"Journal of Combinatorial Optimization","date_created":"2017-11-15T10:21:34Z","file":[{"creator":"florida","date_created":"2018-03-14T12:21:34Z","file_name":"706-chp_3A10.1007_2F978-3-319-48749-6_42.pdf","file_size":608614,"access_level":"closed","relation":"main_file","date_updated":"2018-03-14T12:21:34Z","file_id":"1210","content_type":"application/pdf","success":1}],"department":[{"_id":"63"}],"type":"journal_article","author":[{"id":"13536","first_name":"Alexander","last_name":"Mäcker","full_name":"Mäcker, Alexander"},{"first_name":"Manuel","last_name":"Malatyali","full_name":"Malatyali, Manuel"},{"first_name":"Friedhelm","last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm","id":"15523"},{"full_name":"Riechers, Sören","first_name":"Sören","last_name":"Riechers"}],"title":"Cost-efficient Scheduling on Machines from the Cloud","year":"2017","intvolume":"        36","date_updated":"2022-01-06T07:03:27Z","language":[{"iso":"eng"}],"doi":"10.1007/s10878-017-0198-x"},{"department":[{"_id":"77"}],"type":"dissertation","date_created":"2017-11-20T07:59:31Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subproject B3","_id":"11"},{"_id":"3","name":"SFB 901 - Project Area B"}],"supervisor":[{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"}],"citation":{"mla":"Walther, Sven. <i>Knowledge-Based Verification of Service Compositions</i>. Universität Paderborn, 2017, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-307\">10.17619/UNIPB/1-307</a>.","ama":"Walther S. <i>Knowledge-Based Verification of Service Compositions</i>. Universität Paderborn; 2017. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-307\">10.17619/UNIPB/1-307</a>","bibtex":"@book{Walther_2017, title={Knowledge-based Verification of Service Compositions}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-307\">10.17619/UNIPB/1-307</a>}, publisher={Universität Paderborn}, author={Walther, Sven}, year={2017} }","apa":"Walther, S. (2017). <i>Knowledge-based Verification of Service Compositions</i>. Universität Paderborn. <a href=\"https://doi.org/10.17619/UNIPB/1-307\">https://doi.org/10.17619/UNIPB/1-307</a>","ieee":"S. Walther, <i>Knowledge-based Verification of Service Compositions</i>. Universität Paderborn, 2017.","chicago":"Walther, Sven. <i>Knowledge-Based Verification of Service Compositions</i>. Universität Paderborn, 2017. <a href=\"https://doi.org/10.17619/UNIPB/1-307\">https://doi.org/10.17619/UNIPB/1-307</a>.","short":"S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017."},"doi":"10.17619/UNIPB/1-307","user_id":"477","_id":"707","publisher":"Universität Paderborn","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:27Z","author":[{"first_name":"Sven","last_name":"Walther","full_name":"Walther, Sven"}],"year":"2017","title":"Knowledge-based Verification of Service Compositions","status":"public"},{"date_updated":"2022-01-06T07:03:27Z","title":"Minimizing downtimes: Using dynamic reconfiguration and state management in SDN","year":"2017","status":"public","conference":{"location":"Bologna"},"author":[{"full_name":"Schwabe, Arne","first_name":"Arne","last_name":"Schwabe"},{"last_name":"Rojas","first_name":"Elisa","full_name":"Rojas, Elisa"},{"id":"126","full_name":"Karl, Holger","last_name":"Karl","first_name":"Holger"}],"doi":"10.1109/NETSOFT.2017.8004209","user_id":"15572","page":"1--5","_id":"708","quality_controlled":"1","publication":"2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017","citation":{"mla":"Schwabe, Arne, et al. “Minimizing Downtimes: Using Dynamic Reconfiguration and State Management in SDN.” <i>2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017</i>, 2017, pp. 1--5, doi:<a href=\"https://doi.org/10.1109/NETSOFT.2017.8004209\">10.1109/NETSOFT.2017.8004209</a>.","ama":"Schwabe A, Rojas E, Karl H. Minimizing downtimes: Using dynamic reconfiguration and state management in SDN. In: <i>2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017</i>. ; 2017:1--5. doi:<a href=\"https://doi.org/10.1109/NETSOFT.2017.8004209\">10.1109/NETSOFT.2017.8004209</a>","bibtex":"@inproceedings{Schwabe_Rojas_Karl_2017, title={Minimizing downtimes: Using dynamic reconfiguration and state management in SDN}, DOI={<a href=\"https://doi.org/10.1109/NETSOFT.2017.8004209\">10.1109/NETSOFT.2017.8004209</a>}, booktitle={2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017}, author={Schwabe, Arne and Rojas, Elisa and Karl, Holger}, year={2017}, pages={1--5} }","apa":"Schwabe, A., Rojas, E., &#38; Karl, H. (2017). Minimizing downtimes: Using dynamic reconfiguration and state management in SDN. In <i>2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017</i> (pp. 1--5). Bologna. <a href=\"https://doi.org/10.1109/NETSOFT.2017.8004209\">https://doi.org/10.1109/NETSOFT.2017.8004209</a>","ieee":"A. Schwabe, E. Rojas, and H. Karl, “Minimizing downtimes: Using dynamic reconfiguration and state management in SDN,” in <i>2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017</i>, Bologna, 2017, pp. 1--5.","chicago":"Schwabe, Arne, Elisa Rojas, and Holger Karl. “Minimizing Downtimes: Using Dynamic Reconfiguration and State Management in SDN.” In <i>2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017</i>, 1--5, 2017. <a href=\"https://doi.org/10.1109/NETSOFT.2017.8004209\">https://doi.org/10.1109/NETSOFT.2017.8004209</a>.","short":"A. Schwabe, E. Rojas, H. Karl, in: 2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--5."},"type":"conference","department":[{"_id":"75"}],"date_created":"2017-11-20T08:29:25Z"},{"type":"conference","department":[{"_id":"355"},{"_id":"77"}],"file":[{"creator":"ups","date_created":"2018-11-02T14:24:29Z","date_updated":"2018-11-02T14:24:29Z","relation":"main_file","access_level":"closed","file_size":822383,"file_name":"fsews17swan-swanmain1.pdf","content_type":"application/pdf","success":1,"file_id":"5271"}],"date_created":"2017-10-17T12:41:05Z","abstract":[{"text":"Today, software verification tools have reached the maturity to be used for large scale programs. Different tools perform differently well on varying code. A software developer is hence faced with the problem of choosing a tool appropriate for her program at hand. A ranking of tools on programs could facilitate the choice. Such rankings can, however, so far only be obtained by running all considered tools on the program.In this paper, we present a machine learning approach to predicting rankings of tools on programs. The method builds upon so-called label ranking algorithms, which we complement with appropriate kernels providing a similarity measure for programs. Our kernels employ a graph representation for software source code that mixes elements of control flow and program dependence graphs with abstract syntax trees. Using data sets from the software verification competition SV-COMP, we demonstrate our rank prediction technique to generalize well and achieve a rather high predictive accuracy (rank correlation > 0.6).","lang":"eng"}],"publication":"Proceedings of the 3rd International Workshop on Software Analytics","doi":"10.1145/3121257.3121262","series_title":"SWAN'17","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:28Z","year":"2017","title":"Predicting Rankings of Software Verification Tools","author":[{"last_name":"Czech","first_name":"Mike","full_name":"Czech, Mike"},{"id":"48129","first_name":"Eyke","last_name":"Hüllermeier","full_name":"Hüllermeier, Eyke"},{"last_name":"Jakobs","first_name":"Marie-Christine","full_name":"Jakobs, Marie-Christine"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"_id":"10","name":"SFB 901 - Subproject B2"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"11","name":"SFB 901 - Subproject B3"}],"file_date_updated":"2018-11-02T14:24:29Z","citation":{"bibtex":"@inproceedings{Czech_Hüllermeier_Jakobs_Wehrheim_2017, series={SWAN’17}, title={Predicting Rankings of Software Verification Tools}, DOI={<a href=\"https://doi.org/10.1145/3121257.3121262\">10.1145/3121257.3121262</a>}, booktitle={Proceedings of the 3rd International Workshop on Software Analytics}, author={Czech, Mike and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike}, year={2017}, pages={23–26}, collection={SWAN’17} }","short":"M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26.","ama":"Czech M, Hüllermeier E, Jakobs M-C, Wehrheim H. Predicting Rankings of Software Verification Tools. In: <i>Proceedings of the 3rd International Workshop on Software Analytics</i>. SWAN’17. ; 2017:23-26. doi:<a href=\"https://doi.org/10.1145/3121257.3121262\">10.1145/3121257.3121262</a>","chicago":"Czech, Mike, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. “Predicting Rankings of Software Verification Tools.” In <i>Proceedings of the 3rd International Workshop on Software Analytics</i>, 23–26. SWAN’17, 2017. <a href=\"https://doi.org/10.1145/3121257.3121262\">https://doi.org/10.1145/3121257.3121262</a>.","ieee":"M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, “Predicting Rankings of Software Verification Tools,” in <i>Proceedings of the 3rd International Workshop on Software Analytics</i>, 2017, pp. 23–26.","apa":"Czech, M., Hüllermeier, E., Jakobs, M.-C., &#38; Wehrheim, H. (2017). Predicting Rankings of Software Verification Tools. In <i>Proceedings of the 3rd International Workshop on Software Analytics</i> (pp. 23–26). <a href=\"https://doi.org/10.1145/3121257.3121262\">https://doi.org/10.1145/3121257.3121262</a>","mla":"Czech, Mike, et al. “Predicting Rankings of Software Verification Tools.” <i>Proceedings of the 3rd International Workshop on Software Analytics</i>, 2017, pp. 23–26, doi:<a href=\"https://doi.org/10.1145/3121257.3121262\">10.1145/3121257.3121262</a>."},"user_id":"15504","ddc":["000"],"page":"23-26","_id":"71","has_accepted_license":"1","status":"public"},{"date_created":"2017-11-22T09:42:59Z","file":[{"date_created":"2018-11-02T14:22:10Z","creator":"ups","content_type":"application/pdf","success":1,"file_id":"5270","file_size":821211,"access_level":"closed","file_name":"07962785.pdf","date_updated":"2018-11-02T14:22:10Z","relation":"main_file"}],"department":[{"_id":"75"}],"type":"conference","publication":"2017 IEEE International Conference on Communications Workshops (ICC Workshops)","abstract":[{"lang":"eng","text":"In conventional large-scale networks, creation and management of network services are costly and complex tasks that often consume a lot of resources, including time and manpower. Network softwarization and network function virtualization have been introduced to tackle these problems, aiming at decreasing costs and complexity of implementing new services, maintaining the implemented services, and managing available resources in service provisioning platforms and underlying infrastructures. To experience the full potential of these approaches, innovative development support tools and service provisioning environments are needed. To answer these needs, we introduce the architecture of the open-source SONATA system, a service programming, orchestration, and management framework. We present a development toolchain for virtualized network services, fully integrated with a service platform and orchestration system. We introduce the modular and flexible architecture of our system and discuss its main components and features, such as function- and service-specific managers that allow fine-grained service management, slicing support to facilitate multi-tenancy, recursiveness for improved scalability, and full-featured DevOps support."}],"language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/pdf/1605.05850.pdf"}],"doi":"10.1109/iccw.2017.7962785","publication_identifier":{"isbn":["9781509015252"]},"author":[{"id":"31764","last_name":"Dräxler","first_name":"Sevil","full_name":"Dräxler, Sevil"},{"last_name":"Karl","first_name":"Holger","full_name":"Karl, Holger","id":"126"},{"first_name":"Manuel","last_name":"Peuster","full_name":"Peuster, Manuel","id":"13271"},{"last_name":"Razzaghi Kouchaksaraei","first_name":"Hadi","full_name":"Razzaghi Kouchaksaraei, Hadi","id":"60845"},{"full_name":"Bredel, Michael","last_name":"Bredel","first_name":"Michael"},{"full_name":"Lessmann, Johannes","first_name":"Johannes","last_name":"Lessmann"},{"last_name":"Soenen","first_name":"Thomas","full_name":"Soenen, Thomas"},{"first_name":"Wouter","last_name":"Tavernier","full_name":"Tavernier, Wouter"},{"full_name":"Mendel-Brin, Sharon","first_name":"Sharon","last_name":"Mendel-Brin"},{"full_name":"Xilouris, George","last_name":"Xilouris","first_name":"George"}],"year":"2017","title":"SONATA: Service programming and orchestration for virtualized software networks","date_updated":"2022-01-06T07:03:28Z","publication_status":"published","oa":"1","citation":{"ieee":"S. Dräxler <i>et al.</i>, “SONATA: Service programming and orchestration for virtualized software networks,” in <i>2017 IEEE International Conference on Communications Workshops (ICC Workshops)</i>, Paris, France, 2017.","apa":"Dräxler, S., Karl, H., Peuster, M., Razzaghi Kouchaksaraei, H., Bredel, M., Lessmann, J., … Xilouris, G. (2017). SONATA: Service programming and orchestration for virtualized software networks. In <i>2017 IEEE International Conference on Communications Workshops (ICC Workshops)</i>. Paris, France: IEEE. <a href=\"https://doi.org/10.1109/iccw.2017.7962785\">https://doi.org/10.1109/iccw.2017.7962785</a>","short":"S. Dräxler, H. Karl, M. Peuster, H. Razzaghi Kouchaksaraei, M. Bredel, J. Lessmann, T. Soenen, W. Tavernier, S. Mendel-Brin, G. Xilouris, in: 2017 IEEE International Conference on Communications Workshops (ICC Workshops), IEEE, 2017.","chicago":"Dräxler, Sevil, Holger Karl, Manuel Peuster, Hadi Razzaghi Kouchaksaraei, Michael Bredel, Johannes Lessmann, Thomas Soenen, Wouter Tavernier, Sharon Mendel-Brin, and George Xilouris. “SONATA: Service Programming and Orchestration for Virtualized Software Networks.” In <i>2017 IEEE International Conference on Communications Workshops (ICC Workshops)</i>. IEEE, 2017. <a href=\"https://doi.org/10.1109/iccw.2017.7962785\">https://doi.org/10.1109/iccw.2017.7962785</a>.","mla":"Dräxler, Sevil, et al. “SONATA: Service Programming and Orchestration for Virtualized Software Networks.” <i>2017 IEEE International Conference on Communications Workshops (ICC Workshops)</i>, IEEE, 2017, doi:<a href=\"https://doi.org/10.1109/iccw.2017.7962785\">10.1109/iccw.2017.7962785</a>.","bibtex":"@inproceedings{Dräxler_Karl_Peuster_Razzaghi Kouchaksaraei_Bredel_Lessmann_Soenen_Tavernier_Mendel-Brin_Xilouris_2017, title={SONATA: Service programming and orchestration for virtualized software networks}, DOI={<a href=\"https://doi.org/10.1109/iccw.2017.7962785\">10.1109/iccw.2017.7962785</a>}, booktitle={2017 IEEE International Conference on Communications Workshops (ICC Workshops)}, publisher={IEEE}, author={Dräxler, Sevil and Karl, Holger and Peuster, Manuel and Razzaghi Kouchaksaraei, Hadi and Bredel, Michael and Lessmann, Johannes and Soenen, Thomas and Tavernier, Wouter and Mendel-Brin, Sharon and Xilouris, George}, year={2017} }","ama":"Dräxler S, Karl H, Peuster M, et al. SONATA: Service programming and orchestration for virtualized software networks. In: <i>2017 IEEE International Conference on Communications Workshops (ICC Workshops)</i>. IEEE; 2017. doi:<a href=\"https://doi.org/10.1109/iccw.2017.7962785\">10.1109/iccw.2017.7962785</a>"},"file_date_updated":"2018-11-02T14:22:10Z","project":[{"name":"SONATA NFV: Agile Service Development and Orchestration in 5G Virtualized Networks","_id":"25","grant_number":"671517","call_identifier":"5G PPP Phase 1"},{"name":"SFB 901","_id":"1"},{"_id":"4","name":"SFB 901 - Project Area C"},{"name":"SFB 901 - Subproject C4","_id":"16"}],"_id":"717","publisher":"IEEE","ddc":["000"],"user_id":"31764","conference":{"end_date":"2017-05-25","location":"Paris, France","start_date":"2017-05-21","name":"2017 IEEE International Conference on Communications Workshops (ICC Workshops)"},"status":"public","has_accepted_license":"1"},{"file_date_updated":"2018-11-21T10:50:11Z","citation":{"ama":"Czech M, Hüllermeier E, Jakobs M-C, Wehrheim H. <i>Predicting Rankings of Software Verification Competitions</i>.; 2017.","bibtex":"@book{Czech_Hüllermeier_Jakobs_Wehrheim_2017, title={Predicting Rankings of Software Verification Competitions}, author={Czech, Mike and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike}, year={2017} }","mla":"Czech, Mike, et al. <i>Predicting Rankings of Software Verification Competitions</i>. 2017.","short":"M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017.","chicago":"Czech, Mike, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. <i>Predicting Rankings of Software Verification Competitions</i>, 2017.","apa":"Czech, M., Hüllermeier, E., Jakobs, M.-C., &#38; Wehrheim, H. (2017). <i>Predicting Rankings of Software Verification Competitions</i>.","ieee":"M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, <i>Predicting Rankings of Software Verification Competitions</i>. 2017."},"abstract":[{"text":"Software verification competitions, such as the annual SV-COMP, evaluate software verification tools with respect to their effectivity and efficiency. Typically, the outcome of a competition is a (possibly category-specific) ranking of the tools. For many applications, such as building portfolio solvers, it would be desirable to have an idea of the (relative) performance of verification tools on a given verification task beforehand, i.e., prior to actually running all tools on the task.In this paper, we present a machine learning approach to predicting rankings of tools on verification tasks. The method builds upon so-called label ranking algorithms, which we complement with appropriate kernels providing a similarity measure for verification tasks. Our kernels employ a graph representation for software source code that mixes elements of control flow and program dependence graphs with abstract syntax trees. Using data sets from SV-COMP, we demonstrate our rank prediction technique to generalize well and achieve a rather high predictive accuracy. In particular, our method outperforms a recently proposed feature-based approach of Demyanova et al. (when applied to rank predictions). ","lang":"eng"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file":[{"date_created":"2018-11-21T10:50:11Z","creator":"florida","success":1,"content_type":"application/pdf","file_id":"5782","file_size":869984,"access_level":"closed","file_name":"Predicting Rankings of Soware Verification Competitions.pdf","date_updated":"2018-11-21T10:50:11Z","relation":"main_file"}],"date_created":"2017-10-17T12:41:05Z","type":"report","department":[{"_id":"77"},{"_id":"355"}],"title":"Predicting Rankings of Software Verification Competitions","status":"public","year":"2017","author":[{"full_name":"Czech, Mike","last_name":"Czech","first_name":"Mike"},{"first_name":"Eyke","last_name":"Hüllermeier","full_name":"Hüllermeier, Eyke","id":"48129"},{"full_name":"Jakobs, Marie-Christine","last_name":"Jakobs","first_name":"Marie-Christine"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"date_updated":"2022-01-06T07:03:29Z","has_accepted_license":"1","language":[{"iso":"eng"}],"_id":"72","user_id":"15504","ddc":["000"]},{"conference":{"name":"IEEE Conference on Network Softwarization","location":"Bologna"},"status":"public","has_accepted_license":"1","urn":"7236","_id":"723","page":"1--3","user_id":"13271","ddc":["000"],"citation":{"mla":"Peuster, Manuel, et al. “A Flexible Multi-Pop Infrastructure Emulator for Carrier-Grade MANO Systems.” <i>IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017</i>, 2017, pp. 1--3, doi:<a href=\"https://doi.org/10.1109/NETSOFT.2017.8004250\">10.1109/NETSOFT.2017.8004250</a>.","bibtex":"@inproceedings{Peuster_Dräxler_Razzaghi Kouchaksaraei_van Rossem_Tavernier_Karl_2017, title={A flexible multi-pop infrastructure emulator for carrier-grade MANO systems}, DOI={<a href=\"https://doi.org/10.1109/NETSOFT.2017.8004250\">10.1109/NETSOFT.2017.8004250</a>}, booktitle={IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017}, author={Peuster, Manuel and Dräxler, Sevil and Razzaghi Kouchaksaraei, Hadi and van Rossem, Steven and Tavernier, Wouter and Karl, Holger}, year={2017}, pages={1--3} }","ama":"Peuster M, Dräxler S, Razzaghi Kouchaksaraei H, van Rossem S, Tavernier W, Karl H. A flexible multi-pop infrastructure emulator for carrier-grade MANO systems. In: <i>IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017</i>. ; 2017:1--3. doi:<a href=\"https://doi.org/10.1109/NETSOFT.2017.8004250\">10.1109/NETSOFT.2017.8004250</a>","ieee":"M. Peuster, S. Dräxler, H. Razzaghi Kouchaksaraei, S. van Rossem, W. Tavernier, and H. Karl, “A flexible multi-pop infrastructure emulator for carrier-grade MANO systems,” in <i>IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017</i>, Bologna, 2017, pp. 1--3.","apa":"Peuster, M., Dräxler, S., Razzaghi Kouchaksaraei, H., van Rossem, S., Tavernier, W., &#38; Karl, H. (2017). A flexible multi-pop infrastructure emulator for carrier-grade MANO systems. In <i>IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017</i> (pp. 1--3). Bologna. <a href=\"https://doi.org/10.1109/NETSOFT.2017.8004250\">https://doi.org/10.1109/NETSOFT.2017.8004250</a>","short":"M. Peuster, S. Dräxler, H. Razzaghi Kouchaksaraei, S. van Rossem, W. Tavernier, H. Karl, in: IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--3.","chicago":"Peuster, Manuel, Sevil Dräxler, Hadi Razzaghi Kouchaksaraei, Steven van Rossem, Wouter Tavernier, and Holger Karl. “A Flexible Multi-Pop Infrastructure Emulator for Carrier-Grade MANO Systems.” In <i>IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017</i>, 1--3, 2017. <a href=\"https://doi.org/10.1109/NETSOFT.2017.8004250\">https://doi.org/10.1109/NETSOFT.2017.8004250</a>."},"file_date_updated":"2018-07-05T11:14:37Z","project":[{"call_identifier":"5G PPP Phase 1","name":"SONATA NFV: Agile Service Development and Orchestration in 5G Virtualized Networks","_id":"25","grant_number":"671517"}],"oa":"1","author":[{"id":"13271","full_name":"Peuster, Manuel","first_name":"Manuel","last_name":"Peuster"},{"id":"31764","first_name":"Sevil","last_name":"Dräxler","full_name":"Dräxler, Sevil"},{"id":"60845","first_name":"Hadi","last_name":"Razzaghi Kouchaksaraei","full_name":"Razzaghi Kouchaksaraei, Hadi"},{"first_name":"Steven","last_name":"van Rossem","full_name":"van Rossem, Steven"},{"last_name":"Tavernier","first_name":"Wouter","full_name":"Tavernier, Wouter"},{"id":"126","last_name":"Karl","first_name":"Holger","full_name":"Karl, Holger"}],"title":"A flexible multi-pop infrastructure emulator for carrier-grade MANO systems","year":"2017","publication_status":"published","date_updated":"2022-01-06T07:03:30Z","language":[{"iso":"eng"}],"doi":"10.1109/NETSOFT.2017.8004250","publication":"IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017","abstract":[{"text":"Developing a virtualized network service does not only involve the\r\n  implementation and configuration of the network functions it is\r\n  composed of but also its integration and test with management\r\n  solutions that will control the service in its production\r\n  environment. These integration tasks require testbeds that offer the\r\n  needed network function virtualization infrastructure~(NFVI), like OpenStack, introducing a\r\n  lot of management and maintenance overheads. Such testbed setups\r\n  become even more complicated when the multi\r\n  point-of-presence~(PoP) case, with multiple infrastructure\r\n  installations, is considered.\r\n\r\n  In this demo, we showcase an emulation platform that executes\r\n  containerized network services in user-defined multi-PoP\r\n  topologies. The platform does not only allow network service developers to\r\n  locally test their services but also to connect real-world\r\n  management and orchestration solutions to the emulated PoPs. During our\r\n  interactive demonstration we focus on the integration between\r\n  the emulated infrastructure and state-of-the-art orchestration\r\n  solutions like SONATA or OSM.","lang":"eng"}],"date_created":"2017-11-27T10:22:25Z","file":[{"creator":"peuster","date_created":"2018-07-05T11:14:37Z","file_size":963155,"access_level":"open_access","file_name":"main_ris.pdf","date_updated":"2018-07-05T11:14:37Z","relation":"main_file","content_type":"application/pdf","file_id":"3432"}],"department":[{"_id":"75"}],"type":"conference"}]