[{"type":"mastersthesis","year":"2017","citation":{"chicago":"Götte, Thorsten. Self-Stabilizing Spanners for Tree Metrics. Universität Paderborn, 2017.","apa":"Götte, T. (2017). Self-Stabilizing Spanners for Tree Metrics. Universität Paderborn.","ama":"Götte T. Self-Stabilizing Spanners for Tree Metrics. Universität Paderborn; 2017.","bibtex":"@book{Götte_2017, title={Self-Stabilizing Spanners for Tree Metrics}, publisher={Universität Paderborn}, author={Götte, Thorsten}, year={2017} }","mla":"Götte, Thorsten. Self-Stabilizing Spanners for Tree Metrics. Universität Paderborn, 2017.","short":"T. Götte, Self-Stabilizing Spanners for Tree Metrics, Universität Paderborn, 2017.","ieee":"T. Götte, Self-Stabilizing Spanners for Tree Metrics. Universität Paderborn, 2017."},"language":[{"iso":"eng"}],"supervisor":[{"first_name":"Christian","full_name":"Scheideler, Christian","last_name":"Scheideler","id":"20792"}],"date_updated":"2022-01-06T07:03:26Z","_id":"701","publisher":"Universität Paderborn","author":[{"full_name":"Götte, Thorsten","first_name":"Thorsten","id":"34727","last_name":"Götte"}],"department":[{"_id":"79"}],"status":"public","project":[{"_id":"1","name":"SFB 901"},{"_id":"5","name":"SFB 901 - Subprojekt A1"},{"name":"SFB 901 - Project Area A","_id":"2"}],"date_created":"2017-11-14T09:32:39Z","title":"Self-Stabilizing Spanners for Tree Metrics","user_id":"477"},{"user_id":"52534","title":"Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem","author":[{"last_name":"Hottung","full_name":"Hottung, André","first_name":"André"},{"last_name":"Tanaka","first_name":"Shunji","full_name":"Tanaka, Shunji"},{"full_name":"Tierney, Kevin","first_name":"Kevin","last_name":"Tierney"}],"publication":"CoRR abs/1709.09972","department":[{"_id":"66"}],"status":"public","date_created":"2019-01-28T08:25:16Z","date_updated":"2022-01-06T07:03:26Z","_id":"7011","language":[{"iso":"eng"}],"year":"2017","citation":{"short":"A. Hottung, S. Tanaka, K. Tierney, CoRR Abs/1709.09972 (2017).","ieee":"A. Hottung, S. Tanaka, and K. Tierney, “Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem,” CoRR abs/1709.09972, 2017.","chicago":"Hottung, André, Shunji Tanaka, and Kevin Tierney. “Deep Learning Assisted Heuristic Tree Search for the Container Pre-Marshalling Problem.” CoRR Abs/1709.09972, 2017.","ama":"Hottung A, Tanaka S, Tierney K. Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem. CoRR abs/170909972. 2017.","apa":"Hottung, A., Tanaka, S., & Tierney, K. (2017). Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem. CoRR Abs/1709.09972.","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} }","mla":"Hottung, André, et al. “Deep Learning Assisted Heuristic Tree Search for the Container Pre-Marshalling Problem.” CoRR Abs/1709.09972, 2017."},"type":"journal_article"},{"language":[{"iso":"eng"}],"page":"18-21","year":"2017","type":"journal_article","citation":{"chicago":"Fazal-Baqaie, Masud, Baris Güldali, and Simon Oberthür. “Towards DevOps in Multi-Provider Projects.” CSE@SE 2017, 2017, 18–21.","ama":"Fazal-Baqaie M, Güldali B, Oberthür S. Towards DevOps in Multi-provider Projects. CSE@SE 2017. 2017:18-21.","apa":"Fazal-Baqaie, M., Güldali, B., & Oberthür, S. (2017). Towards DevOps in Multi-provider Projects. CSE@SE 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} }","mla":"Fazal-Baqaie, Masud, et al. “Towards DevOps in Multi-Provider Projects.” CSE@SE 2017, 2017, pp. 18–21.","short":"M. Fazal-Baqaie, B. Güldali, S. Oberthür, CSE@SE 2017 (2017) 18–21.","ieee":"M. Fazal-Baqaie, B. Güldali, and S. Oberthür, “Towards DevOps in Multi-provider Projects,” CSE@SE 2017, pp. 18–21, 2017."},"_id":"7012","date_updated":"2022-01-06T07:03:26Z","publication":"CSE@SE 2017","department":[{"_id":"66"}],"author":[{"last_name":"Fazal-Baqaie","full_name":"Fazal-Baqaie, Masud","first_name":"Masud"},{"first_name":"Baris","full_name":"Güldali, Baris","last_name":"Güldali"},{"id":"383","last_name":"Oberthür","full_name":"Oberthür, Simon","first_name":"Simon"}],"date_created":"2019-01-28T08:28:26Z","status":"public","user_id":"52534","title":"Towards DevOps in Multi-provider Projects"},{"date_updated":"2022-01-06T07:03:26Z","_id":"7020","intvolume":" 481","doi":"10.1016/j.jcrysgro.2017.10.029","year":"2017","citation":{"bibtex":"@article{Ritzmann_Schott_Gross_Reuter_Ludwig_Wieck_2017, title={Overcoming Ehrlich-Schwöbel barrier in (1 1 1)A GaAs molecular beam epitaxy}, volume={481}, DOI={10.1016/j.jcrysgro.2017.10.029}, journal={Journal of Crystal Growth}, publisher={Elsevier BV}, author={Ritzmann, Julian and Schott, Rüdiger and Gross, Katherine and Reuter, Dirk and Ludwig, Arne and Wieck, Andreas D.}, year={2017}, pages={7–10} }","mla":"Ritzmann, Julian, et al. “Overcoming Ehrlich-Schwöbel Barrier in (1 1 1)A GaAs Molecular Beam Epitaxy.” Journal of Crystal Growth, vol. 481, Elsevier BV, 2017, pp. 7–10, doi:10.1016/j.jcrysgro.2017.10.029.","apa":"Ritzmann, J., Schott, R., Gross, K., Reuter, D., Ludwig, A., & Wieck, A. D. (2017). Overcoming Ehrlich-Schwöbel barrier in (1 1 1)A GaAs molecular beam epitaxy. Journal of Crystal Growth, 481, 7–10. https://doi.org/10.1016/j.jcrysgro.2017.10.029","ama":"Ritzmann J, Schott R, Gross K, Reuter D, Ludwig A, Wieck AD. Overcoming Ehrlich-Schwöbel barrier in (1 1 1)A GaAs molecular beam epitaxy. Journal of Crystal Growth. 2017;481:7-10. doi:10.1016/j.jcrysgro.2017.10.029","chicago":"Ritzmann, Julian, Rüdiger Schott, Katherine Gross, Dirk Reuter, Arne Ludwig, and Andreas D. Wieck. “Overcoming Ehrlich-Schwöbel Barrier in (1 1 1)A GaAs Molecular Beam Epitaxy.” Journal of Crystal Growth 481 (2017): 7–10. https://doi.org/10.1016/j.jcrysgro.2017.10.029.","ieee":"J. Ritzmann, R. Schott, K. Gross, D. Reuter, A. Ludwig, and A. D. Wieck, “Overcoming Ehrlich-Schwöbel barrier in (1 1 1)A GaAs molecular beam epitaxy,” Journal of Crystal Growth, vol. 481, pp. 7–10, 2017.","short":"J. Ritzmann, R. Schott, K. Gross, D. Reuter, A. Ludwig, A.D. Wieck, Journal of Crystal Growth 481 (2017) 7–10."},"type":"journal_article","page":"7-10","language":[{"iso":"eng"}],"title":"Overcoming Ehrlich-Schwöbel barrier in (1 1 1)A GaAs molecular beam epitaxy","user_id":"42514","publisher":"Elsevier BV","author":[{"full_name":"Ritzmann, Julian","first_name":"Julian","last_name":"Ritzmann"},{"last_name":"Schott","full_name":"Schott, Rüdiger","first_name":"Rüdiger"},{"first_name":"Katherine","full_name":"Gross, Katherine","last_name":"Gross"},{"full_name":"Reuter, Dirk","first_name":"Dirk","id":"37763","last_name":"Reuter"},{"last_name":"Ludwig","full_name":"Ludwig, Arne","first_name":"Arne"},{"first_name":"Andreas D.","full_name":"Wieck, Andreas D.","last_name":"Wieck"}],"department":[{"_id":"15"},{"_id":"230"}],"publication":"Journal of Crystal Growth","volume":481,"publication_identifier":{"issn":["0022-0248"]},"publication_status":"published","status":"public","date_created":"2019-01-28T09:35:48Z"},{"title":"Robust Si 3 N 4 masks for 100 nm selective area epitaxy of GaAs-based nanostructures","user_id":"42514","publisher":"Elsevier BV","author":[{"first_name":"Viktoryia","full_name":"Zolatanosha, Viktoryia","last_name":"Zolatanosha"},{"first_name":"Dirk","full_name":"Reuter, Dirk","last_name":"Reuter","id":"37763"}],"department":[{"_id":"15"},{"_id":"230"}],"publication":"Microelectronic Engineering","publication_identifier":{"issn":["0167-9317"]},"publication_status":"published","volume":180,"status":"public","date_created":"2019-01-28T10:07:25Z","_id":"7026","intvolume":" 180","date_updated":"2022-01-06T07:03:26Z","doi":"10.1016/j.mee.2017.05.053","type":"journal_article","citation":{"ama":"Zolatanosha V, Reuter D. Robust Si 3 N 4 masks for 100 nm selective area epitaxy of GaAs-based nanostructures. Microelectronic Engineering. 2017;180:35-39. doi:10.1016/j.mee.2017.05.053","apa":"Zolatanosha, V., & Reuter, D. (2017). Robust Si 3 N 4 masks for 100 nm selective area epitaxy of GaAs-based nanostructures. Microelectronic Engineering, 180, 35–39. https://doi.org/10.1016/j.mee.2017.05.053","chicago":"Zolatanosha, Viktoryia, and Dirk Reuter. “Robust Si 3 N 4 Masks for 100 Nm Selective Area Epitaxy of GaAs-Based Nanostructures.” Microelectronic Engineering 180 (2017): 35–39. https://doi.org/10.1016/j.mee.2017.05.053.","bibtex":"@article{Zolatanosha_Reuter_2017, title={Robust Si 3 N 4 masks for 100 nm selective area epitaxy of GaAs-based nanostructures}, volume={180}, DOI={10.1016/j.mee.2017.05.053}, journal={Microelectronic Engineering}, publisher={Elsevier BV}, author={Zolatanosha, Viktoryia and Reuter, Dirk}, year={2017}, pages={35–39} }","mla":"Zolatanosha, Viktoryia, and Dirk Reuter. “Robust Si 3 N 4 Masks for 100 Nm Selective Area Epitaxy of GaAs-Based Nanostructures.” Microelectronic Engineering, vol. 180, Elsevier BV, 2017, pp. 35–39, doi:10.1016/j.mee.2017.05.053.","short":"V. Zolatanosha, D. Reuter, Microelectronic Engineering 180 (2017) 35–39.","ieee":"V. Zolatanosha and D. Reuter, “Robust Si 3 N 4 masks for 100 nm selective area epitaxy of GaAs-based nanostructures,” Microelectronic Engineering, vol. 180, pp. 35–39, 2017."},"year":"2017","page":"35-39","language":[{"iso":"eng"}]},{"date_created":"2019-01-28T10:09:48Z","status":"public","publication_identifier":{"issn":["0022-0248"]},"volume":470,"publication_status":"published","publication":"Journal of Crystal Growth","department":[{"_id":"15"},{"_id":"230"}],"author":[{"last_name":"Scholz","first_name":"Sven","full_name":"Scholz, Sven"},{"full_name":"Schott, Rüdiger","first_name":"Rüdiger","last_name":"Schott"},{"last_name":"Labud","full_name":"Labud, Patrick A.","first_name":"Patrick A."},{"last_name":"Somsen","first_name":"Christoph","full_name":"Somsen, Christoph"},{"full_name":"Reuter, Dirk","first_name":"Dirk","id":"37763","last_name":"Reuter"},{"last_name":"Ludwig","full_name":"Ludwig, Arne","first_name":"Arne"},{"full_name":"Wieck, Andreas D.","first_name":"Andreas D.","last_name":"Wieck"}],"publisher":"Elsevier BV","user_id":"42514","title":"Focused ion beam supported growth of monocrystalline wurtzite InAs nanowires grown by molecular beam epitaxy","language":[{"iso":"eng"}],"page":"46-50","type":"journal_article","year":"2017","citation":{"short":"S. Scholz, R. Schott, P.A. Labud, C. Somsen, D. Reuter, A. Ludwig, A.D. Wieck, Journal of Crystal Growth 470 (2017) 46–50.","ieee":"S. Scholz et al., “Focused ion beam supported growth of monocrystalline wurtzite InAs nanowires grown by molecular beam epitaxy,” Journal of Crystal Growth, vol. 470, pp. 46–50, 2017.","chicago":"Scholz, Sven, Rüdiger Schott, Patrick A. Labud, Christoph Somsen, Dirk Reuter, Arne Ludwig, and Andreas D. Wieck. “Focused Ion Beam Supported Growth of Monocrystalline Wurtzite InAs Nanowires Grown by Molecular Beam Epitaxy.” Journal of Crystal Growth 470 (2017): 46–50. https://doi.org/10.1016/j.jcrysgro.2017.04.013.","ama":"Scholz S, Schott R, Labud PA, et al. Focused ion beam supported growth of monocrystalline wurtzite InAs nanowires grown by molecular beam epitaxy. Journal of Crystal Growth. 2017;470:46-50. doi:10.1016/j.jcrysgro.2017.04.013","apa":"Scholz, S., Schott, R., Labud, P. A., Somsen, C., Reuter, D., Ludwig, A., & Wieck, A. D. (2017). Focused ion beam supported growth of monocrystalline wurtzite InAs nanowires grown by molecular beam epitaxy. Journal of Crystal Growth, 470, 46–50. https://doi.org/10.1016/j.jcrysgro.2017.04.013","mla":"Scholz, Sven, et al. “Focused Ion Beam Supported Growth of Monocrystalline Wurtzite InAs Nanowires Grown by Molecular Beam Epitaxy.” Journal of Crystal Growth, vol. 470, Elsevier BV, 2017, pp. 46–50, doi:10.1016/j.jcrysgro.2017.04.013.","bibtex":"@article{Scholz_Schott_Labud_Somsen_Reuter_Ludwig_Wieck_2017, title={Focused ion beam supported growth of monocrystalline wurtzite InAs nanowires grown by molecular beam epitaxy}, volume={470}, DOI={10.1016/j.jcrysgro.2017.04.013}, journal={Journal of Crystal Growth}, publisher={Elsevier BV}, author={Scholz, Sven and Schott, Rüdiger and Labud, Patrick A. and Somsen, Christoph and Reuter, Dirk and Ludwig, Arne and Wieck, Andreas D.}, year={2017}, pages={46–50} }"},"doi":"10.1016/j.jcrysgro.2017.04.013","_id":"7027","intvolume":" 470","date_updated":"2022-01-06T07:03:26Z"},{"user_id":"42514","title":"Spin dynamics of quadrupole nuclei in InGaAs quantum dots","author":[{"first_name":"M. S.","full_name":"Kuznetsova, M. S.","last_name":"Kuznetsova"},{"first_name":"R. V.","full_name":"Cherbunin, R. V.","last_name":"Cherbunin"},{"first_name":"I. Ya.","full_name":"Gerlovin, I. Ya.","last_name":"Gerlovin"},{"last_name":"Ignatiev","first_name":"I. V.","full_name":"Ignatiev, I. V."},{"first_name":"S. Yu.","full_name":"Verbin, S. Yu.","last_name":"Verbin"},{"last_name":"Yakovlev","first_name":"D. R.","full_name":"Yakovlev, D. R."},{"full_name":"Reuter, Dirk","first_name":"Dirk","id":"37763","last_name":"Reuter"},{"last_name":"Wieck","first_name":"A. D.","full_name":"Wieck, A. D."},{"full_name":"Bayer, M.","first_name":"M.","last_name":"Bayer"}],"publisher":"American Physical Society (APS)","publication":"Physical Review B","department":[{"_id":"15"},{"_id":"230"}],"status":"public","date_created":"2019-01-28T10:11:07Z","volume":95,"publication_identifier":{"issn":["2469-9950","2469-9969"]},"publication_status":"published","_id":"7028","date_updated":"2022-01-06T07:03:26Z","intvolume":" 95","issue":"15","doi":"10.1103/physrevb.95.155312","language":[{"iso":"eng"}],"type":"journal_article","year":"2017","citation":{"chicago":"Kuznetsova, M. S., R. V. Cherbunin, I. Ya. Gerlovin, I. V. Ignatiev, S. Yu. Verbin, D. R. Yakovlev, Dirk Reuter, A. D. Wieck, and M. Bayer. “Spin Dynamics of Quadrupole Nuclei in InGaAs Quantum Dots.” Physical Review B 95, no. 15 (2017). https://doi.org/10.1103/physrevb.95.155312.","ama":"Kuznetsova MS, Cherbunin RV, Gerlovin IY, et al. Spin dynamics of quadrupole nuclei in InGaAs quantum dots. Physical Review B. 2017;95(15). doi:10.1103/physrevb.95.155312","apa":"Kuznetsova, M. S., Cherbunin, R. V., Gerlovin, I. Y., Ignatiev, I. V., Verbin, S. Y., Yakovlev, D. R., … Bayer, M. (2017). Spin dynamics of quadrupole nuclei in InGaAs quantum dots. Physical Review B, 95(15). https://doi.org/10.1103/physrevb.95.155312","bibtex":"@article{Kuznetsova_Cherbunin_Gerlovin_Ignatiev_Verbin_Yakovlev_Reuter_Wieck_Bayer_2017, title={Spin dynamics of quadrupole nuclei in InGaAs quantum dots}, volume={95}, DOI={10.1103/physrevb.95.155312}, number={15}, journal={Physical Review B}, publisher={American Physical Society (APS)}, author={Kuznetsova, M. S. and Cherbunin, R. V. and Gerlovin, I. Ya. and Ignatiev, I. V. and Verbin, S. Yu. and Yakovlev, D. R. and Reuter, Dirk and Wieck, A. D. and Bayer, M.}, year={2017} }","mla":"Kuznetsova, M. S., et al. “Spin Dynamics of Quadrupole Nuclei in InGaAs Quantum Dots.” Physical Review B, vol. 95, no. 15, American Physical Society (APS), 2017, doi:10.1103/physrevb.95.155312.","short":"M.S. Kuznetsova, R.V. Cherbunin, I.Y. Gerlovin, I.V. Ignatiev, S.Y. Verbin, D.R. Yakovlev, D. Reuter, A.D. Wieck, M. Bayer, Physical Review B 95 (2017).","ieee":"M. S. Kuznetsova et al., “Spin dynamics of quadrupole nuclei in InGaAs quantum dots,” Physical Review B, vol. 95, no. 15, 2017."}},{"year":"2017","type":"journal_article","citation":{"ieee":"A. Srinivasan et al., “Detection and Control of Spin-Orbit Interactions in a GaAs Hole Quantum Point Contact,” Physical Review Letters, vol. 118, no. 14, 2017.","short":"A. Srinivasan, D.S. Miserev, K.L. Hudson, O. Klochan, K. Muraki, Y. Hirayama, D. Reuter, A.D. Wieck, O.P. Sushkov, A.R. Hamilton, Physical Review Letters 118 (2017).","mla":"Srinivasan, A., et al. “Detection and Control of Spin-Orbit Interactions in a GaAs Hole Quantum Point Contact.” Physical Review Letters, vol. 118, no. 14, American Physical Society (APS), 2017, doi:10.1103/physrevlett.118.146801.","bibtex":"@article{Srinivasan_Miserev_Hudson_Klochan_Muraki_Hirayama_Reuter_Wieck_Sushkov_Hamilton_2017, title={Detection and Control of Spin-Orbit Interactions in a GaAs Hole Quantum Point Contact}, volume={118}, DOI={10.1103/physrevlett.118.146801}, number={14}, journal={Physical Review Letters}, publisher={American Physical Society (APS)}, author={Srinivasan, A. and Miserev, D. S. and Hudson, K. L. and Klochan, O. and Muraki, K. and Hirayama, Y. and Reuter, Dirk and Wieck, A. D. and Sushkov, O. P. and Hamilton, A. R.}, year={2017} }","apa":"Srinivasan, A., Miserev, D. S., Hudson, K. L., Klochan, O., Muraki, K., Hirayama, Y., … Hamilton, A. R. (2017). Detection and Control of Spin-Orbit Interactions in a GaAs Hole Quantum Point Contact. Physical Review Letters, 118(14). https://doi.org/10.1103/physrevlett.118.146801","ama":"Srinivasan A, Miserev DS, Hudson KL, et al. Detection and Control of Spin-Orbit Interactions in a GaAs Hole Quantum Point Contact. Physical Review Letters. 2017;118(14). doi:10.1103/physrevlett.118.146801","chicago":"Srinivasan, A., D. S. Miserev, K. L. Hudson, O. Klochan, K. Muraki, Y. Hirayama, Dirk Reuter, A. D. Wieck, O. P. Sushkov, and A. R. Hamilton. “Detection and Control of Spin-Orbit Interactions in a GaAs Hole Quantum Point Contact.” Physical Review Letters 118, no. 14 (2017). https://doi.org/10.1103/physrevlett.118.146801."},"language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:26Z","_id":"7029","intvolume":" 118","doi":"10.1103/physrevlett.118.146801","issue":"14","publication":"Physical Review Letters","department":[{"_id":"15"},{"_id":"230"}],"publisher":"American Physical Society (APS)","author":[{"last_name":"Srinivasan","first_name":"A.","full_name":"Srinivasan, A."},{"first_name":"D. S.","full_name":"Miserev, D. S.","last_name":"Miserev"},{"last_name":"Hudson","first_name":"K. L.","full_name":"Hudson, K. L."},{"last_name":"Klochan","first_name":"O.","full_name":"Klochan, O."},{"full_name":"Muraki, K.","first_name":"K.","last_name":"Muraki"},{"last_name":"Hirayama","first_name":"Y.","full_name":"Hirayama, Y."},{"full_name":"Reuter, Dirk","first_name":"Dirk","id":"37763","last_name":"Reuter"},{"first_name":"A. D.","full_name":"Wieck, A. D.","last_name":"Wieck"},{"last_name":"Sushkov","first_name":"O. P.","full_name":"Sushkov, O. P."},{"last_name":"Hamilton","full_name":"Hamilton, A. R.","first_name":"A. R."}],"publication_identifier":{"issn":["0031-9007","1079-7114"]},"volume":118,"publication_status":"published","date_created":"2019-01-28T10:13:17Z","status":"public","title":"Detection and Control of Spin-Orbit Interactions in a GaAs Hole Quantum Point Contact","user_id":"42514"},{"date_created":"2017-11-14T14:13:21Z","status":"public","department":[{"_id":"63"}],"author":[{"last_name":"Podlipyan","full_name":"Podlipyan, Pavel","first_name":"Pavel"}],"publisher":"Universität Paderborn","user_id":"15415","related_material":{"link":[{"relation":"confirmation","url":"https://doi.org/10.17619/UNIPB/1-230"}]},"title":"Local Algorithms for the Continuous Gathering Problem","supervisor":[{"first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","id":"15523"}],"language":[{"iso":"eng"}],"year":"2017","citation":{"chicago":"Podlipyan, Pavel. Local Algorithms for the Continuous Gathering Problem. Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-230.","apa":"Podlipyan, P. (2017). Local Algorithms for the Continuous Gathering Problem. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-230","ama":"Podlipyan P. Local Algorithms for the Continuous Gathering Problem. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-230","mla":"Podlipyan, Pavel. Local Algorithms for the Continuous Gathering Problem. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-230.","bibtex":"@book{Podlipyan_2017, title={Local Algorithms for the Continuous Gathering Problem}, DOI={10.17619/UNIPB/1-230}, publisher={Universität Paderborn}, author={Podlipyan, Pavel}, year={2017} }","short":"P. Podlipyan, Local Algorithms for the Continuous Gathering Problem, Universität Paderborn, 2017.","ieee":"P. Podlipyan, Local Algorithms for the Continuous Gathering Problem. Universität Paderborn, 2017."},"type":"dissertation","doi":"10.17619/UNIPB/1-230","_id":"703","date_updated":"2022-01-06T07:03:26Z"},{"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt C4","_id":"16"},{"_id":"4","name":"SFB 901 - Project Area C"}],"date_created":"2017-11-15T07:51:07Z","has_accepted_license":"1","status":"public","file":[{"access_level":"closed","file_name":"thesisStable.pdf","date_created":"2018-11-14T15:18:37Z","success":1,"relation":"main_file","content_type":"application/pdf","date_updated":"2018-11-14T15:18:37Z","creator":"feldi","file_id":"5673","file_size":1491627}],"file_date_updated":"2018-11-14T15:18:37Z","department":[{"_id":"63"}],"author":[{"full_name":"Riechers, Sören","first_name":"Sören","last_name":"Riechers"}],"publisher":"Universität Paderborn","user_id":"14052","title":"Scheduling with Scarce Resources","ddc":["000"],"language":[{"iso":"eng"}],"supervisor":[{"id":"15523","last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm","first_name":"Friedhelm"}],"citation":{"short":"S. Riechers, Scheduling with Scarce Resources, Universität Paderborn, 2017.","ieee":"S. Riechers, Scheduling with Scarce Resources. Universität Paderborn, 2017.","ama":"Riechers S. Scheduling with Scarce Resources. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-231","apa":"Riechers, S. (2017). Scheduling with Scarce Resources. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-231","chicago":"Riechers, Sören. Scheduling with Scarce Resources. Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-231.","mla":"Riechers, Sören. Scheduling with Scarce Resources. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-231.","bibtex":"@book{Riechers_2017, title={Scheduling with Scarce Resources}, DOI={10.17619/UNIPB/1-231}, publisher={Universität Paderborn}, author={Riechers, Sören}, year={2017} }"},"type":"dissertation","year":"2017","doi":"10.17619/UNIPB/1-231","date_updated":"2022-01-06T07:03:27Z","_id":"704"},{"department":[{"_id":"63"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"16","name":"SFB 901 - Subprojekt C4"},{"name":"SFB 901 - Project Area C","_id":"4"}],"title":"Cost-efficient Scheduling on Machines from the Cloud","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:27Z","doi":"10.1007/s10878-017-0198-x","file":[{"file_size":608614,"creator":"florida","file_id":"1210","date_updated":"2018-03-14T12:21:34Z","content_type":"application/pdf","relation":"main_file","success":1,"date_created":"2018-03-14T12:21:34Z","file_name":"706-chp_3A10.1007_2F978-3-319-48749-6_42.pdf","access_level":"closed"}],"author":[{"last_name":"Mäcker","id":"13536","first_name":"Alexander","full_name":"Mäcker, Alexander"},{"full_name":"Malatyali, Manuel","first_name":"Manuel","last_name":"Malatyali"},{"first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","id":"15523"},{"first_name":"Sören","full_name":"Riechers, Sören","last_name":"Riechers"}],"publisher":"Springer","file_date_updated":"2018-03-14T12:21:34Z","publication":"Journal of Combinatorial Optimization","has_accepted_license":"1","status":"public","date_created":"2017-11-15T10:21:34Z","volume":36,"user_id":"15415","ddc":["040"],"year":"2017","citation":{"ieee":"A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. Riechers, “Cost-efficient Scheduling on Machines from the Cloud,” Journal of Combinatorial Optimization, vol. 36, no. 4, pp. 1168–1194, 2017.","short":"A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization 36 (2017) 1168–1194.","bibtex":"@article{Mäcker_Malatyali_Meyer auf der Heide_Riechers_2017, title={Cost-efficient Scheduling on Machines from the Cloud}, volume={36}, DOI={10.1007/s10878-017-0198-x}, 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} }","mla":"Mäcker, Alexander, et al. “Cost-Efficient Scheduling on Machines from the Cloud.” Journal of Combinatorial Optimization, vol. 36, no. 4, Springer, 2017, pp. 1168–94, doi:10.1007/s10878-017-0198-x.","chicago":"Mäcker, Alexander, Manuel Malatyali, Friedhelm Meyer auf der Heide, and Sören Riechers. “Cost-Efficient Scheduling on Machines from the Cloud.” Journal of Combinatorial Optimization 36, no. 4 (2017): 1168–94. https://doi.org/10.1007/s10878-017-0198-x.","apa":"Mäcker, A., Malatyali, M., Meyer auf der Heide, F., & Riechers, S. (2017). Cost-efficient Scheduling on Machines from the Cloud. Journal of Combinatorial Optimization, 36(4), 1168–1194. https://doi.org/10.1007/s10878-017-0198-x","ama":"Mäcker A, Malatyali M, Meyer auf der Heide F, Riechers S. Cost-efficient Scheduling on Machines from the Cloud. Journal of Combinatorial Optimization. 2017;36(4):1168-1194. doi:10.1007/s10878-017-0198-x"},"type":"journal_article","page":"1168-1194","intvolume":" 36","_id":"706","issue":"4"},{"year":"2017","citation":{"chicago":"Walther, Sven. Knowledge-Based Verification of Service Compositions. Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-307.","ama":"Walther S. Knowledge-Based Verification of Service Compositions. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-307","apa":"Walther, S. (2017). Knowledge-based Verification of Service Compositions. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-307","mla":"Walther, Sven. Knowledge-Based Verification of Service Compositions. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-307.","bibtex":"@book{Walther_2017, title={Knowledge-based Verification of Service Compositions}, DOI={10.17619/UNIPB/1-307}, publisher={Universität Paderborn}, author={Walther, Sven}, year={2017} }","short":"S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017.","ieee":"S. Walther, Knowledge-based Verification of Service Compositions. Universität Paderborn, 2017."},"type":"dissertation","supervisor":[{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:27Z","_id":"707","doi":"10.17619/UNIPB/1-307","department":[{"_id":"77"}],"author":[{"full_name":"Walther, Sven","first_name":"Sven","last_name":"Walther"}],"publisher":"Universität Paderborn","project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subproject B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"date_created":"2017-11-20T07:59:31Z","status":"public","title":"Knowledge-based Verification of Service Compositions","user_id":"477"},{"doi":"10.1109/NETSOFT.2017.8004209","date_updated":"2022-01-06T07:03:27Z","_id":"708","conference":{"location":"Bologna"},"year":"2017","citation":{"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.","ieee":"A. Schwabe, E. Rojas, and H. Karl, “Minimizing downtimes: Using dynamic reconfiguration and state management in SDN,” in 2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, Bologna, 2017, pp. 1--5.","chicago":"Schwabe, Arne, Elisa Rojas, and Holger Karl. “Minimizing Downtimes: Using Dynamic Reconfiguration and State Management in SDN.” In 2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 1--5, 2017. https://doi.org/10.1109/NETSOFT.2017.8004209.","ama":"Schwabe A, Rojas E, Karl H. Minimizing downtimes: Using dynamic reconfiguration and state management in SDN. In: 2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017. ; 2017:1--5. doi:10.1109/NETSOFT.2017.8004209","apa":"Schwabe, A., Rojas, E., & Karl, H. (2017). Minimizing downtimes: Using dynamic reconfiguration and state management in SDN. In 2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017 (pp. 1--5). Bologna. https://doi.org/10.1109/NETSOFT.2017.8004209","bibtex":"@inproceedings{Schwabe_Rojas_Karl_2017, title={Minimizing downtimes: Using dynamic reconfiguration and state management in SDN}, DOI={10.1109/NETSOFT.2017.8004209}, 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} }","mla":"Schwabe, Arne, et al. “Minimizing Downtimes: Using Dynamic Reconfiguration and State Management in SDN.” 2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--5, doi:10.1109/NETSOFT.2017.8004209."},"type":"conference","page":"1--5","user_id":"15572","title":"Minimizing downtimes: Using dynamic reconfiguration and state management in SDN","status":"public","date_created":"2017-11-20T08:29:25Z","quality_controlled":"1","author":[{"full_name":"Schwabe, Arne","first_name":"Arne","last_name":"Schwabe"},{"last_name":"Rojas","full_name":"Rojas, Elisa","first_name":"Elisa"},{"last_name":"Karl","id":"126","first_name":"Holger","full_name":"Karl, Holger"}],"department":[{"_id":"75"}],"publication":"2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017"},{"title":"Demo: OpenC2X — An open source experimental and prototyping platform supporting ETSI ITS-G5","user_id":"49154","publication_identifier":{"isbn":["9781509051977"]},"publication_status":"published","status":"public","date_created":"2017-11-21T14:13:37Z","publisher":"IEEE","author":[{"last_name":"Laux","full_name":"Laux, Sven","first_name":"Sven"},{"last_name":"Pannu","first_name":"Gurjashan Singh","full_name":"Pannu, Gurjashan Singh"},{"id":"35343","last_name":"Schneider","orcid":"0000-0001-8210-4011","full_name":"Schneider, Stefan Balthasar","first_name":"Stefan Balthasar"},{"last_name":"Tiemann","full_name":"Tiemann, Jan","first_name":"Jan"},{"full_name":"Klingler, Florian","first_name":"Florian","last_name":"Klingler"},{"id":"49154","last_name":"Sommer","full_name":"Sommer, Christoph","orcid":"0000-0002-4336-7350","first_name":"Christoph"},{"first_name":"Falko","full_name":"Dressler, Falko","orcid":"0000-0002-1989-1750","last_name":"Dressler","id":"48097"}],"publication":"2016 IEEE Vehicular Networking Conference (VNC)","doi":"10.1109/vnc.2016.7835955","date_updated":"2022-01-06T07:03:27Z","_id":"709","year":"2017","type":"conference","citation":{"apa":"Laux, S., Pannu, G. S., Schneider, S. B., Tiemann, J., Klingler, F., Sommer, C., & Dressler, F. (2017). Demo: OpenC2X — An open source experimental and prototyping platform supporting ETSI ITS-G5. In 2016 IEEE Vehicular Networking Conference (VNC). IEEE. https://doi.org/10.1109/vnc.2016.7835955","ama":"Laux S, Pannu GS, Schneider SB, et al. Demo: OpenC2X — An open source experimental and prototyping platform supporting ETSI ITS-G5. In: 2016 IEEE Vehicular Networking Conference (VNC). IEEE; 2017. doi:10.1109/vnc.2016.7835955","chicago":"Laux, Sven, Gurjashan Singh Pannu, Stefan Balthasar Schneider, Jan Tiemann, Florian Klingler, Christoph Sommer, and Falko Dressler. “Demo: OpenC2X — An Open Source Experimental and Prototyping Platform Supporting ETSI ITS-G5.” In 2016 IEEE Vehicular Networking Conference (VNC). IEEE, 2017. https://doi.org/10.1109/vnc.2016.7835955.","bibtex":"@inproceedings{Laux_Pannu_Schneider_Tiemann_Klingler_Sommer_Dressler_2017, title={Demo: OpenC2X — An open source experimental and prototyping platform supporting ETSI ITS-G5}, DOI={10.1109/vnc.2016.7835955}, booktitle={2016 IEEE Vehicular Networking Conference (VNC)}, publisher={IEEE}, author={Laux, Sven and Pannu, Gurjashan Singh and Schneider, Stefan Balthasar and Tiemann, Jan and Klingler, Florian and Sommer, Christoph and Dressler, Falko}, year={2017} }","mla":"Laux, Sven, et al. “Demo: OpenC2X — An Open Source Experimental and Prototyping Platform Supporting ETSI ITS-G5.” 2016 IEEE Vehicular Networking Conference (VNC), IEEE, 2017, doi:10.1109/vnc.2016.7835955.","short":"S. Laux, G.S. Pannu, S.B. Schneider, J. Tiemann, F. Klingler, C. Sommer, F. Dressler, in: 2016 IEEE Vehicular Networking Conference (VNC), IEEE, 2017.","ieee":"S. Laux et al., “Demo: OpenC2X — An open source experimental and prototyping platform supporting ETSI ITS-G5,” in 2016 IEEE Vehicular Networking Conference (VNC), 2017."},"language":[{"iso":"eng"}]},{"series_title":"SWAN'17","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:28Z","doi":"10.1145/3121257.3121262","department":[{"_id":"355"},{"_id":"77"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"_id":"10","name":"SFB 901 - Subproject B2"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"11","name":"SFB 901 - Subproject B3"}],"title":"Predicting Rankings of Software Verification Tools","page":"23-26","year":"2017","citation":{"mla":"Czech, Mike, et al. “Predicting Rankings of Software Verification Tools.” Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26, doi:10.1145/3121257.3121262.","bibtex":"@inproceedings{Czech_Hüllermeier_Jakobs_Wehrheim_2017, series={SWAN’17}, title={Predicting Rankings of Software Verification Tools}, DOI={10.1145/3121257.3121262}, 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} }","chicago":"Czech, Mike, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. “Predicting Rankings of Software Verification Tools.” In Proceedings of the 3rd International Workshop on Software Analytics, 23–26. SWAN’17, 2017. https://doi.org/10.1145/3121257.3121262.","ama":"Czech M, Hüllermeier E, Jakobs M-C, Wehrheim H. Predicting Rankings of Software Verification Tools. In: Proceedings of the 3rd International Workshop on Software Analytics. SWAN’17. ; 2017:23-26. doi:10.1145/3121257.3121262","apa":"Czech, M., Hüllermeier, E., Jakobs, M.-C., & Wehrheim, H. (2017). Predicting Rankings of Software Verification Tools. In Proceedings of the 3rd International Workshop on Software Analytics (pp. 23–26). https://doi.org/10.1145/3121257.3121262","ieee":"M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, “Predicting Rankings of Software Verification Tools,” in Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26.","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."},"type":"conference","_id":"71","file":[{"relation":"main_file","success":1,"content_type":"application/pdf","date_updated":"2018-11-02T14:24:29Z","creator":"ups","file_id":"5271","file_size":822383,"access_level":"closed","file_name":"fsews17swan-swanmain1.pdf","date_created":"2018-11-02T14:24:29Z"}],"file_date_updated":"2018-11-02T14:24:29Z","publication":"Proceedings of the 3rd International Workshop on Software Analytics","author":[{"last_name":"Czech","full_name":"Czech, Mike","first_name":"Mike"},{"id":"48129","last_name":"Hüllermeier","full_name":"Hüllermeier, Eyke","first_name":"Eyke"},{"first_name":"Marie-Christine","full_name":"Jakobs, Marie-Christine","last_name":"Jakobs"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_created":"2017-10-17T12:41:05Z","status":"public","has_accepted_license":"1","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"}],"user_id":"15504","ddc":["000"]},{"conference":{"end_date":"2017-05-25","name":"2017 IEEE International Conference on Communications Workshops (ICC Workshops)","start_date":"2017-05-21","location":"Paris, France"},"_id":"717","type":"conference","year":"2017","citation":{"ieee":"S. Dräxler et al., “SONATA: Service programming and orchestration for virtualized software networks,” in 2017 IEEE International Conference on Communications Workshops (ICC Workshops), Paris, France, 2017.","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.","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={10.1109/iccw.2017.7962785}, 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} }","mla":"Dräxler, Sevil, et al. “SONATA: Service Programming and Orchestration for Virtualized Software Networks.” 2017 IEEE International Conference on Communications Workshops (ICC Workshops), IEEE, 2017, doi:10.1109/iccw.2017.7962785.","ama":"Dräxler S, Karl H, Peuster M, et al. SONATA: Service programming and orchestration for virtualized software networks. In: 2017 IEEE International Conference on Communications Workshops (ICC Workshops). IEEE; 2017. doi:10.1109/iccw.2017.7962785","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 2017 IEEE International Conference on Communications Workshops (ICC Workshops). Paris, France: IEEE. https://doi.org/10.1109/iccw.2017.7962785","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 2017 IEEE International Conference on Communications Workshops (ICC Workshops). IEEE, 2017. https://doi.org/10.1109/iccw.2017.7962785."},"main_file_link":[{"open_access":"1","url":"https://arxiv.org/pdf/1605.05850.pdf"}],"user_id":"31764","ddc":["000"],"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."}],"date_created":"2017-11-22T09:42:59Z","has_accepted_license":"1","status":"public","file":[{"access_level":"closed","file_name":"07962785.pdf","date_created":"2018-11-02T14:22:10Z","date_updated":"2018-11-02T14:22:10Z","content_type":"application/pdf","success":1,"relation":"main_file","file_size":821211,"file_id":"5270","creator":"ups"}],"publication":"2017 IEEE International Conference on Communications Workshops (ICC Workshops)","file_date_updated":"2018-11-02T14:22:10Z","publisher":"IEEE","author":[{"id":"31764","last_name":"Dräxler","full_name":"Dräxler, Sevil","first_name":"Sevil"},{"id":"126","last_name":"Karl","full_name":"Karl, Holger","first_name":"Holger"},{"first_name":"Manuel","full_name":"Peuster, Manuel","last_name":"Peuster","id":"13271"},{"last_name":"Razzaghi Kouchaksaraei","id":"60845","first_name":"Hadi","full_name":"Razzaghi Kouchaksaraei, Hadi"},{"first_name":"Michael","full_name":"Bredel, Michael","last_name":"Bredel"},{"full_name":"Lessmann, Johannes","first_name":"Johannes","last_name":"Lessmann"},{"first_name":"Thomas","full_name":"Soenen, Thomas","last_name":"Soenen"},{"full_name":"Tavernier, Wouter","first_name":"Wouter","last_name":"Tavernier"},{"last_name":"Mendel-Brin","full_name":"Mendel-Brin, Sharon","first_name":"Sharon"},{"last_name":"Xilouris","full_name":"Xilouris, George","first_name":"George"}],"oa":"1","doi":"10.1109/iccw.2017.7962785","date_updated":"2022-01-06T07:03:28Z","language":[{"iso":"eng"}],"title":"SONATA: Service programming and orchestration for virtualized software networks","project":[{"name":"SONATA NFV: Agile Service Development and Orchestration in 5G Virtualized Networks","grant_number":"671517","_id":"25","call_identifier":"5G PPP Phase 1"},{"name":"SFB 901","_id":"1"},{"_id":"4","name":"SFB 901 - Project Area C"},{"_id":"16","name":"SFB 901 - Subproject C4"}],"publication_status":"published","publication_identifier":{"isbn":["9781509015252"]},"department":[{"_id":"75"}]},{"type":"report","year":"2017","citation":{"mla":"Czech, Mike, et al. Predicting Rankings of Software Verification Competitions. 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} }","apa":"Czech, M., Hüllermeier, E., Jakobs, M.-C., & Wehrheim, H. (2017). Predicting Rankings of Software Verification Competitions.","ama":"Czech M, Hüllermeier E, Jakobs M-C, Wehrheim H. Predicting Rankings of Software Verification Competitions.; 2017.","chicago":"Czech, Mike, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. Predicting Rankings of Software Verification Competitions, 2017.","ieee":"M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, Predicting Rankings of Software Verification Competitions. 2017.","short":"M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017."},"language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:29Z","_id":"72","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"_id":"3","name":"SFB 901 - Project Area B"}],"date_created":"2017-10-17T12:41:05Z","has_accepted_license":"1","status":"public","file_date_updated":"2018-11-21T10:50:11Z","department":[{"_id":"77"},{"_id":"355"}],"author":[{"full_name":"Czech, Mike","first_name":"Mike","last_name":"Czech"},{"last_name":"Hüllermeier","id":"48129","first_name":"Eyke","full_name":"Hüllermeier, Eyke"},{"full_name":"Jakobs, Marie-Christine","first_name":"Marie-Christine","last_name":"Jakobs"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"file":[{"file_name":"Predicting Rankings of Soware Verification Competitions.pdf","date_created":"2018-11-21T10:50:11Z","access_level":"closed","file_size":869984,"creator":"florida","file_id":"5782","content_type":"application/pdf","date_updated":"2018-11-21T10:50:11Z","relation":"main_file","success":1}],"ddc":["000"],"title":"Predicting Rankings of Software Verification Competitions","user_id":"15504","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"}]},{"department":[{"_id":"75"}],"project":[{"name":"SONATA NFV: Agile Service Development and Orchestration in 5G Virtualized Networks","grant_number":"671517","call_identifier":"5G PPP Phase 1","_id":"25"}],"publication_status":"published","title":"A flexible multi-pop infrastructure emulator for carrier-grade MANO systems","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:30Z","oa":"1","doi":"10.1109/NETSOFT.2017.8004250","file":[{"date_created":"2018-07-05T11:14:37Z","file_name":"main_ris.pdf","access_level":"open_access","file_size":963155,"file_id":"3432","creator":"peuster","date_updated":"2018-07-05T11:14:37Z","content_type":"application/pdf","relation":"main_file"}],"author":[{"id":"13271","last_name":"Peuster","full_name":"Peuster, Manuel","first_name":"Manuel"},{"first_name":"Sevil","full_name":"Dräxler, Sevil","last_name":"Dräxler","id":"31764"},{"last_name":"Razzaghi Kouchaksaraei","id":"60845","first_name":"Hadi","full_name":"Razzaghi Kouchaksaraei, Hadi"},{"full_name":"van Rossem, Steven","first_name":"Steven","last_name":"van Rossem"},{"full_name":"Tavernier, Wouter","first_name":"Wouter","last_name":"Tavernier"},{"full_name":"Karl, Holger","first_name":"Holger","id":"126","last_name":"Karl"}],"publication":"IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017","file_date_updated":"2018-07-05T11:14:37Z","has_accepted_license":"1","status":"public","date_created":"2017-11-27T10:22:25Z","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"}],"user_id":"13271","ddc":["000"],"type":"conference","citation":{"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: IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017. ; 2017:1--3. doi:10.1109/NETSOFT.2017.8004250","apa":"Peuster, M., Dräxler, S., Razzaghi Kouchaksaraei, H., van Rossem, S., Tavernier, W., & Karl, H. (2017). A flexible multi-pop infrastructure emulator for carrier-grade MANO systems. In IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017 (pp. 1--3). Bologna. https://doi.org/10.1109/NETSOFT.2017.8004250","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 IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 1--3, 2017. https://doi.org/10.1109/NETSOFT.2017.8004250.","mla":"Peuster, Manuel, et al. “A Flexible Multi-Pop Infrastructure Emulator for Carrier-Grade MANO Systems.” IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--3, doi:10.1109/NETSOFT.2017.8004250.","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={10.1109/NETSOFT.2017.8004250}, 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} }","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.","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 IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, Bologna, 2017, pp. 1--3."},"year":"2017","page":"1--3","_id":"723","urn":"7236","conference":{"location":"Bologna","name":"IEEE Conference on Network Softwarization"}},{"doi":"10.1007/978-3-319-66197-1_8","date_updated":"2022-01-06T07:03:32Z","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","title":"PART_PW: From Partial Analysis Results to a Proof Witness","editor":[{"last_name":"Cimatti","first_name":"Alessandro","full_name":"Cimatti, Alessandro"},{"last_name":"Sirjani","first_name":"Marjan","full_name":"Sirjani, Marjan"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"73","page":"120-135","citation":{"short":"M.-C. Jakobs, in: A. Cimatti, M. Sirjani (Eds.), Software Engineering and Formal Methods, 2017, pp. 120–135.","ieee":"M.-C. Jakobs, “PART_PW: From Partial Analysis Results to a Proof Witness,” in Software Engineering and Formal Methods, 2017, pp. 120–135.","ama":"Jakobs M-C. PART_PW: From Partial Analysis Results to a Proof Witness. In: Cimatti A, Sirjani M, eds. Software Engineering and Formal Methods. Lecture Notes in Computer Science. ; 2017:120-135. doi:10.1007/978-3-319-66197-1_8","apa":"Jakobs, M.-C. (2017). PART_PW: From Partial Analysis Results to a Proof Witness. In A. Cimatti & M. Sirjani (Eds.), Software Engineering and Formal Methods (pp. 120–135). https://doi.org/10.1007/978-3-319-66197-1_8","chicago":"Jakobs, Marie-Christine. “PART_PW: From Partial Analysis Results to a Proof Witness.” In Software Engineering and Formal Methods, edited by Alessandro Cimatti and Marjan Sirjani, 120–35. Lecture Notes in Computer Science, 2017. https://doi.org/10.1007/978-3-319-66197-1_8.","mla":"Jakobs, Marie-Christine. “PART_PW: From Partial Analysis Results to a Proof Witness.” Software Engineering and Formal Methods, edited by Alessandro Cimatti and Marjan Sirjani, 2017, pp. 120–35, doi:10.1007/978-3-319-66197-1_8.","bibtex":"@inproceedings{Jakobs_2017, series={Lecture Notes in Computer Science}, title={PART_PW: From Partial Analysis Results to a Proof Witness}, DOI={10.1007/978-3-319-66197-1_8}, booktitle={Software Engineering and Formal Methods}, author={Jakobs, Marie-Christine}, editor={Cimatti, Alessandro and Sirjani, MarjanEditors}, year={2017}, pages={120–135}, collection={Lecture Notes in Computer Science} }"},"type":"conference","year":"2017","ddc":["000"],"user_id":"477","abstract":[{"lang":"eng","text":"Today, verification tools do not only output yes or no, but also provide correctness arguments or counterexamples. While counterexamples help to fix bugs, correctness arguments are used to increase the trust in program correctness, e.g., in Proof-Carrying Code (PCC). Correctness arguments are well-studied for single analyses, but not when a set of analyses together verifies a program, each of the analyses checking only a particular part. Such a set of partial, complementary analyses is often used when a single analysis would fail or is inefficient on some program parts.We propose PART_PW, a technique which allows us to automatically construct a proof witness (correctness argument) from the analysis results obtained by a set of partial, complementary analyses. The constructed proof witnesses are proven to be valid correctness arguments and in our experiments we use them seamlessly and efficiently in existing PCC approaches."}],"date_created":"2017-10-17T12:41:05Z","has_accepted_license":"1","status":"public","publication":"Software Engineering and Formal Methods","file_date_updated":"2018-11-02T14:47:04Z","author":[{"last_name":"Jakobs","full_name":"Jakobs, Marie-Christine","first_name":"Marie-Christine"}],"file":[{"success":1,"relation":"main_file","date_updated":"2018-11-02T14:47:04Z","content_type":"application/pdf","creator":"ups","file_id":"5283","file_size":496965,"access_level":"closed","date_created":"2018-11-02T14:47:04Z","file_name":"PARTMathrmPWFromPartialAnalysi.pdf"}]},{"date_updated":"2022-01-06T07:03:36Z","_id":"74","year":"2017","type":"mastersthesis","citation":{"chicago":"Knorr, Christoph. OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten. Universität Paderborn, 2017.","apa":"Knorr, C. (2017). OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten. Universität Paderborn.","ama":"Knorr C. OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten. Universität Paderborn; 2017.","bibtex":"@book{Knorr_2017, title={OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten}, publisher={Universität Paderborn}, author={Knorr, Christoph}, year={2017} }","mla":"Knorr, Christoph. OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten. Universität Paderborn, 2017.","short":"C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten, Universität Paderborn, 2017.","ieee":"C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten. Universität Paderborn, 2017."},"language":[{"iso":"ger"}],"supervisor":[{"id":"43646","last_name":"Lösch","full_name":"Lösch, Achim","first_name":"Achim"},{"first_name":"Marco","full_name":"Platzner, Marco","last_name":"Platzner","id":"398"}],"title":"OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten","user_id":"477","status":"public","date_created":"2017-10-17T12:41:05Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt C2","_id":"14"},{"_id":"4","name":"SFB 901 - Project Area C"}],"author":[{"full_name":"Knorr, Christoph","first_name":"Christoph","last_name":"Knorr"}],"publisher":"Universität Paderborn","department":[{"_id":"78"}]}]