---
_id: '7012'
author:
- first_name: Masud
full_name: Fazal-Baqaie, Masud
last_name: Fazal-Baqaie
- first_name: Baris
full_name: Güldali, Baris
last_name: Güldali
- first_name: Simon
full_name: Oberthür, Simon
id: '383'
last_name: Oberthür
citation:
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} }'
chicago: Fazal-Baqaie, Masud, Baris Güldali, and Simon Oberthür. “Towards DevOps
in Multi-Provider Projects.” 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.
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.
date_created: 2019-01-28T08:28:26Z
date_updated: 2022-01-06T07:03:26Z
department:
- _id: '66'
language:
- iso: eng
page: 18-21
publication: CSE@SE 2017
status: public
title: Towards DevOps in Multi-provider Projects
type: journal_article
user_id: '52534'
year: '2017'
...
---
_id: '7020'
author:
- first_name: Julian
full_name: Ritzmann, Julian
last_name: Ritzmann
- first_name: Rüdiger
full_name: Schott, Rüdiger
last_name: Schott
- first_name: Katherine
full_name: Gross, Katherine
last_name: Gross
- first_name: Dirk
full_name: Reuter, Dirk
id: '37763'
last_name: Reuter
- first_name: Arne
full_name: Ludwig, Arne
last_name: Ludwig
- first_name: Andreas D.
full_name: Wieck, Andreas D.
last_name: Wieck
citation:
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
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
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} }'
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.
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.
short: J. Ritzmann, R. Schott, K. Gross, D. Reuter, A. Ludwig, A.D. Wieck, Journal
of Crystal Growth 481 (2017) 7–10.
date_created: 2019-01-28T09:35:48Z
date_updated: 2022-01-06T07:03:26Z
department:
- _id: '15'
- _id: '230'
doi: 10.1016/j.jcrysgro.2017.10.029
intvolume: ' 481'
language:
- iso: eng
page: 7-10
publication: Journal of Crystal Growth
publication_identifier:
issn:
- 0022-0248
publication_status: published
publisher: Elsevier BV
status: public
title: Overcoming Ehrlich-Schwöbel barrier in (1 1 1)A GaAs molecular beam epitaxy
type: journal_article
user_id: '42514'
volume: 481
year: '2017'
...
---
_id: '7026'
author:
- first_name: Viktoryia
full_name: Zolatanosha, Viktoryia
last_name: Zolatanosha
- first_name: Dirk
full_name: Reuter, Dirk
id: '37763'
last_name: Reuter
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
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} }'
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.'
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.
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.
date_created: 2019-01-28T10:07:25Z
date_updated: 2022-01-06T07:03:26Z
department:
- _id: '15'
- _id: '230'
doi: 10.1016/j.mee.2017.05.053
intvolume: ' 180'
language:
- iso: eng
page: 35-39
publication: Microelectronic Engineering
publication_identifier:
issn:
- 0167-9317
publication_status: published
publisher: Elsevier BV
status: public
title: Robust Si 3 N 4 masks for 100 nm selective area epitaxy of GaAs-based nanostructures
type: journal_article
user_id: '42514'
volume: 180
year: '2017'
...
---
_id: '7027'
author:
- first_name: Sven
full_name: Scholz, Sven
last_name: Scholz
- first_name: Rüdiger
full_name: Schott, Rüdiger
last_name: Schott
- first_name: Patrick A.
full_name: Labud, Patrick A.
last_name: Labud
- first_name: Christoph
full_name: Somsen, Christoph
last_name: Somsen
- first_name: Dirk
full_name: Reuter, Dirk
id: '37763'
last_name: Reuter
- first_name: Arne
full_name: Ludwig, Arne
last_name: Ludwig
- first_name: Andreas D.
full_name: Wieck, Andreas D.
last_name: Wieck
citation:
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
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} }'
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.'
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.
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.
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.
date_created: 2019-01-28T10:09:48Z
date_updated: 2022-01-06T07:03:26Z
department:
- _id: '15'
- _id: '230'
doi: 10.1016/j.jcrysgro.2017.04.013
intvolume: ' 470'
language:
- iso: eng
page: 46-50
publication: Journal of Crystal Growth
publication_identifier:
issn:
- 0022-0248
publication_status: published
publisher: Elsevier BV
status: public
title: Focused ion beam supported growth of monocrystalline wurtzite InAs nanowires
grown by molecular beam epitaxy
type: journal_article
user_id: '42514'
volume: 470
year: '2017'
...
---
_id: '7028'
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
- first_name: I. V.
full_name: Ignatiev, I. V.
last_name: Ignatiev
- first_name: S. Yu.
full_name: Verbin, S. Yu.
last_name: Verbin
- first_name: D. R.
full_name: Yakovlev, D. R.
last_name: Yakovlev
- first_name: Dirk
full_name: Reuter, Dirk
id: '37763'
last_name: Reuter
- first_name: A. D.
full_name: Wieck, A. D.
last_name: Wieck
- first_name: M.
full_name: Bayer, M.
last_name: Bayer
citation:
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} }'
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.
ieee: M. S. Kuznetsova et al., “Spin dynamics of quadrupole nuclei in InGaAs
quantum dots,” Physical Review B, vol. 95, no. 15, 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).
date_created: 2019-01-28T10:11:07Z
date_updated: 2022-01-06T07:03:26Z
department:
- _id: '15'
- _id: '230'
doi: 10.1103/physrevb.95.155312
intvolume: ' 95'
issue: '15'
language:
- iso: eng
publication: Physical Review B
publication_identifier:
issn:
- 2469-9950
- 2469-9969
publication_status: published
publisher: American Physical Society (APS)
status: public
title: Spin dynamics of quadrupole nuclei in InGaAs quantum dots
type: journal_article
user_id: '42514'
volume: 95
year: '2017'
...
---
_id: '7029'
author:
- first_name: A.
full_name: Srinivasan, A.
last_name: Srinivasan
- first_name: D. S.
full_name: Miserev, D. S.
last_name: Miserev
- first_name: K. L.
full_name: Hudson, K. L.
last_name: Hudson
- first_name: O.
full_name: Klochan, O.
last_name: Klochan
- first_name: K.
full_name: Muraki, K.
last_name: Muraki
- first_name: Y.
full_name: Hirayama, Y.
last_name: Hirayama
- first_name: Dirk
full_name: Reuter, Dirk
id: '37763'
last_name: Reuter
- first_name: A. D.
full_name: Wieck, A. D.
last_name: Wieck
- first_name: O. P.
full_name: Sushkov, O. P.
last_name: Sushkov
- first_name: A. R.
full_name: Hamilton, A. R.
last_name: Hamilton
citation:
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
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
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} }'
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.
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.
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.
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).
date_created: 2019-01-28T10:13:17Z
date_updated: 2022-01-06T07:03:26Z
department:
- _id: '15'
- _id: '230'
doi: 10.1103/physrevlett.118.146801
intvolume: ' 118'
issue: '14'
language:
- iso: eng
publication: Physical Review Letters
publication_identifier:
issn:
- 0031-9007
- 1079-7114
publication_status: published
publisher: American Physical Society (APS)
status: public
title: Detection and Control of Spin-Orbit Interactions in a GaAs Hole Quantum Point
Contact
type: journal_article
user_id: '42514'
volume: 118
year: '2017'
...
---
_id: '703'
author:
- first_name: Pavel
full_name: Podlipyan, Pavel
last_name: Podlipyan
citation:
ama: Podlipyan P. Local Algorithms for the Continuous Gathering Problem.
Universität Paderborn; 2017. doi: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
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} }'
chicago: Podlipyan, Pavel. Local Algorithms for the Continuous Gathering Problem.
Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-230.
ieee: P. Podlipyan, Local Algorithms for the Continuous Gathering Problem.
Universität Paderborn, 2017.
mla: Podlipyan, Pavel. Local Algorithms for the Continuous Gathering Problem.
Universität Paderborn, 2017, doi:10.17619/UNIPB/1-230.
short: P. Podlipyan, Local Algorithms for the Continuous Gathering Problem, Universität
Paderborn, 2017.
date_created: 2017-11-14T14:13:21Z
date_updated: 2022-01-06T07:03:26Z
department:
- _id: '63'
doi: 10.17619/UNIPB/1-230
language:
- iso: eng
publisher: Universität Paderborn
related_material:
link:
- relation: confirmation
url: https://doi.org/10.17619/UNIPB/1-230
status: public
supervisor:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
title: Local Algorithms for the Continuous Gathering Problem
type: dissertation
user_id: '15415'
year: '2017'
...
---
_id: '704'
author:
- first_name: Sören
full_name: Riechers, Sören
last_name: Riechers
citation:
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
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} }'
chicago: Riechers, Sören. Scheduling with Scarce Resources. Universität Paderborn,
2017. https://doi.org/10.17619/UNIPB/1-231.
ieee: S. Riechers, Scheduling with Scarce Resources. Universität Paderborn,
2017.
mla: Riechers, Sören. Scheduling with Scarce Resources. Universität Paderborn,
2017, doi:10.17619/UNIPB/1-231.
short: S. Riechers, Scheduling with Scarce Resources, Universität Paderborn, 2017.
date_created: 2017-11-15T07:51:07Z
date_updated: 2022-01-06T07:03:27Z
ddc:
- '000'
department:
- _id: '63'
doi: 10.17619/UNIPB/1-231
file:
- access_level: closed
content_type: application/pdf
creator: feldi
date_created: 2018-11-14T15:18:37Z
date_updated: 2018-11-14T15:18:37Z
file_id: '5673'
file_name: thesisStable.pdf
file_size: 1491627
relation: main_file
success: 1
file_date_updated: 2018-11-14T15:18:37Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '16'
name: SFB 901 - Subprojekt C4
- _id: '4'
name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
title: Scheduling with Scarce Resources
type: dissertation
user_id: '14052'
year: '2017'
...
---
_id: '706'
author:
- first_name: Alexander
full_name: Mäcker, Alexander
id: '13536'
last_name: Mäcker
- first_name: Manuel
full_name: Malatyali, Manuel
last_name: Malatyali
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Sören
full_name: Riechers, Sören
last_name: Riechers
citation:
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
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
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} }'
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.'
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.
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.
short: A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, Journal of
Combinatorial Optimization 36 (2017) 1168–1194.
date_created: 2017-11-15T10:21:34Z
date_updated: 2022-01-06T07:03:27Z
ddc:
- '040'
department:
- _id: '63'
doi: 10.1007/s10878-017-0198-x
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-14T12:21:34Z
date_updated: 2018-03-14T12:21:34Z
file_id: '1210'
file_name: 706-chp_3A10.1007_2F978-3-319-48749-6_42.pdf
file_size: 608614
relation: main_file
success: 1
file_date_updated: 2018-03-14T12:21:34Z
has_accepted_license: '1'
intvolume: ' 36'
issue: '4'
language:
- iso: eng
page: 1168-1194
project:
- _id: '1'
name: SFB 901
- _id: '16'
name: SFB 901 - Subprojekt C4
- _id: '4'
name: SFB 901 - Project Area C
publication: Journal of Combinatorial Optimization
publisher: Springer
status: public
title: Cost-efficient Scheduling on Machines from the Cloud
type: journal_article
user_id: '15415'
volume: 36
year: '2017'
...
---
_id: '707'
author:
- first_name: Sven
full_name: Walther, Sven
last_name: Walther
citation:
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
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} }'
chicago: Walther, Sven. Knowledge-Based Verification of Service Compositions.
Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-307.
ieee: S. Walther, Knowledge-based Verification of Service Compositions. Universität
Paderborn, 2017.
mla: Walther, Sven. Knowledge-Based Verification of Service Compositions.
Universität Paderborn, 2017, doi:10.17619/UNIPB/1-307.
short: S. Walther, Knowledge-Based Verification of Service Compositions, Universität
Paderborn, 2017.
date_created: 2017-11-20T07:59:31Z
date_updated: 2022-01-06T07:03:27Z
department:
- _id: '77'
doi: 10.17619/UNIPB/1-307
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subproject B3
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
title: Knowledge-based Verification of Service Compositions
type: dissertation
user_id: '477'
year: '2017'
...
---
_id: '708'
author:
- first_name: Arne
full_name: Schwabe, Arne
last_name: Schwabe
- first_name: Elisa
full_name: Rojas, Elisa
last_name: Rojas
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
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} }'
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.'
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.'
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.'
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.'
conference:
location: Bologna
date_created: 2017-11-20T08:29:25Z
date_updated: 2022-01-06T07:03:27Z
department:
- _id: '75'
doi: 10.1109/NETSOFT.2017.8004209
page: 1--5
publication: 2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna,
Italy, July 3-7, 2017
quality_controlled: '1'
status: public
title: 'Minimizing downtimes: Using dynamic reconfiguration and state management in
SDN'
type: conference
user_id: '15572'
year: '2017'
...
---
_id: '709'
author:
- first_name: Sven
full_name: Laux, Sven
last_name: Laux
- first_name: Gurjashan Singh
full_name: Pannu, Gurjashan Singh
last_name: Pannu
- first_name: Stefan Balthasar
full_name: Schneider, Stefan Balthasar
id: '35343'
last_name: Schneider
orcid: 0000-0001-8210-4011
- first_name: Jan
full_name: Tiemann, Jan
last_name: Tiemann
- first_name: Florian
full_name: Klingler, Florian
last_name: Klingler
- first_name: Christoph
full_name: Sommer, Christoph
id: '49154'
last_name: Sommer
orcid: 0000-0002-4336-7350
- first_name: Falko
full_name: Dressler, Falko
id: '48097'
last_name: Dressler
orcid: 0000-0002-1989-1750
citation:
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'
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'
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} }'
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.'
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.'
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.'
date_created: 2017-11-21T14:13:37Z
date_updated: 2022-01-06T07:03:27Z
doi: 10.1109/vnc.2016.7835955
language:
- iso: eng
publication: 2016 IEEE Vehicular Networking Conference (VNC)
publication_identifier:
isbn:
- '9781509051977'
publication_status: published
publisher: IEEE
status: public
title: 'Demo: OpenC2X — An open source experimental and prototyping platform supporting
ETSI ITS-G5'
type: conference
user_id: '49154'
year: '2017'
...
---
_id: '71'
abstract:
- lang: eng
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).
author:
- first_name: Mike
full_name: Czech, Mike
last_name: Czech
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
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
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.
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.
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.
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.'
date_created: 2017-10-17T12:41:05Z
date_updated: 2022-01-06T07:03:28Z
ddc:
- '000'
department:
- _id: '355'
- _id: '77'
doi: 10.1145/3121257.3121262
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:24:29Z
date_updated: 2018-11-02T14:24:29Z
file_id: '5271'
file_name: fsews17swan-swanmain1.pdf
file_size: 822383
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:24:29Z
has_accepted_license: '1'
language:
- iso: eng
page: 23-26
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '10'
name: SFB 901 - Subproject B2
- _id: '3'
name: SFB 901 - Project Area B
- _id: '11'
name: SFB 901 - Subproject B3
publication: Proceedings of the 3rd International Workshop on Software Analytics
series_title: SWAN'17
status: public
title: Predicting Rankings of Software Verification Tools
type: conference
user_id: '15504'
year: '2017'
...
---
_id: '717'
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.
author:
- first_name: Sevil
full_name: Dräxler, Sevil
id: '31764'
last_name: Dräxler
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
- first_name: Manuel
full_name: Peuster, Manuel
id: '13271'
last_name: Peuster
- first_name: Hadi
full_name: Razzaghi Kouchaksaraei, Hadi
id: '60845'
last_name: Razzaghi Kouchaksaraei
- first_name: Michael
full_name: Bredel, Michael
last_name: Bredel
- first_name: Johannes
full_name: Lessmann, Johannes
last_name: Lessmann
- first_name: Thomas
full_name: Soenen, Thomas
last_name: Soenen
- first_name: Wouter
full_name: Tavernier, Wouter
last_name: Tavernier
- first_name: Sharon
full_name: Mendel-Brin, Sharon
last_name: Mendel-Brin
- first_name: George
full_name: Xilouris, George
last_name: Xilouris
citation:
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'
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} }'
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.'
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.'
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.'
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.'
conference:
end_date: 2017-05-25
location: Paris, France
name: 2017 IEEE International Conference on Communications Workshops (ICC Workshops)
start_date: 2017-05-21
date_created: 2017-11-22T09:42:59Z
date_updated: 2022-01-06T07:03:28Z
ddc:
- '000'
department:
- _id: '75'
doi: 10.1109/iccw.2017.7962785
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:22:10Z
date_updated: 2018-11-02T14:22:10Z
file_id: '5270'
file_name: 07962785.pdf
file_size: 821211
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:22:10Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/pdf/1605.05850.pdf
oa: '1'
project:
- _id: '25'
call_identifier: 5G PPP Phase 1
grant_number: '671517'
name: 'SONATA NFV: Agile Service Development and Orchestration in 5G Virtualized
Networks'
- _id: '1'
name: SFB 901
- _id: '4'
name: SFB 901 - Project Area C
- _id: '16'
name: SFB 901 - Subproject C4
publication: 2017 IEEE International Conference on Communications Workshops (ICC Workshops)
publication_identifier:
isbn:
- '9781509015252'
publication_status: published
publisher: IEEE
status: public
title: 'SONATA: Service programming and orchestration for virtualized software networks'
type: conference
user_id: '31764'
year: '2017'
...
---
_id: '72'
abstract:
- lang: eng
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). '
author:
- first_name: Mike
full_name: Czech, Mike
last_name: Czech
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Czech M, Hüllermeier E, Jakobs M-C, Wehrheim H. Predicting Rankings of Software
Verification Competitions.; 2017.
apa: Czech, M., Hüllermeier, E., Jakobs, M.-C., & Wehrheim, H. (2017). Predicting
Rankings of Software Verification Competitions.
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} }'
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.
mla: Czech, Mike, et al. 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.
date_created: 2017-10-17T12:41:05Z
date_updated: 2022-01-06T07:03:29Z
ddc:
- '000'
department:
- _id: '77'
- _id: '355'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-11-21T10:50:11Z
date_updated: 2018-11-21T10:50:11Z
file_id: '5782'
file_name: "Predicting Rankings of So\x81ware Verification Competitions.pdf"
file_size: 869984
relation: main_file
success: 1
file_date_updated: 2018-11-21T10:50:11Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
status: public
title: Predicting Rankings of Software Verification Competitions
type: report
user_id: '15504'
year: '2017'
...
---
_id: '723'
abstract:
- lang: eng
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."
author:
- first_name: Manuel
full_name: Peuster, Manuel
id: '13271'
last_name: Peuster
- first_name: Sevil
full_name: Dräxler, Sevil
id: '31764'
last_name: Dräxler
- first_name: Hadi
full_name: Razzaghi Kouchaksaraei, Hadi
id: '60845'
last_name: Razzaghi Kouchaksaraei
- first_name: Steven
full_name: van Rossem, Steven
last_name: van Rossem
- first_name: Wouter
full_name: Tavernier, Wouter
last_name: Tavernier
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
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
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} }'
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.
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.
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.
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.'
conference:
location: Bologna
name: IEEE Conference on Network Softwarization
date_created: 2017-11-27T10:22:25Z
date_updated: 2022-01-06T07:03:30Z
ddc:
- '000'
department:
- _id: '75'
doi: 10.1109/NETSOFT.2017.8004250
file:
- access_level: open_access
content_type: application/pdf
creator: peuster
date_created: 2018-07-05T11:14:37Z
date_updated: 2018-07-05T11:14:37Z
file_id: '3432'
file_name: main_ris.pdf
file_size: 963155
relation: main_file
file_date_updated: 2018-07-05T11:14:37Z
has_accepted_license: '1'
language:
- iso: eng
oa: '1'
page: 1--3
project:
- _id: '25'
call_identifier: 5G PPP Phase 1
grant_number: '671517'
name: 'SONATA NFV: Agile Service Development and Orchestration in 5G Virtualized
Networks'
publication: IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy,
July 3-7, 2017
publication_status: published
status: public
title: A flexible multi-pop infrastructure emulator for carrier-grade MANO systems
type: conference
urn: '7236'
user_id: '13271'
year: '2017'
...
---
_id: '73'
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.
author:
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
citation:
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'
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} }'
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.'
ieee: 'M.-C. Jakobs, “PART_PW: From Partial Analysis Results to a Proof Witness,”
in Software Engineering and Formal Methods, 2017, pp. 120–135.'
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.'
short: 'M.-C. Jakobs, in: A. Cimatti, M. Sirjani (Eds.), Software Engineering and
Formal Methods, 2017, pp. 120–135.'
date_created: 2017-10-17T12:41:05Z
date_updated: 2022-01-06T07:03:32Z
ddc:
- '000'
doi: 10.1007/978-3-319-66197-1_8
editor:
- first_name: Alessandro
full_name: Cimatti, Alessandro
last_name: Cimatti
- first_name: Marjan
full_name: Sirjani, Marjan
last_name: Sirjani
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:47:04Z
date_updated: 2018-11-02T14:47:04Z
file_id: '5283'
file_name: PARTMathrmPWFromPartialAnalysi.pdf
file_size: 496965
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:47:04Z
has_accepted_license: '1'
language:
- iso: eng
page: 120-135
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Software Engineering and Formal Methods
series_title: Lecture Notes in Computer Science
status: public
title: 'PART_PW: From Partial Analysis Results to a Proof Witness'
type: conference
user_id: '477'
year: '2017'
...
---
_id: '74'
author:
- first_name: Christoph
full_name: Knorr, Christoph
last_name: Knorr
citation:
ama: Knorr C. OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten.
Universität Paderborn; 2017.
apa: Knorr, C. (2017). OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten.
Universität Paderborn.
bibtex: '@book{Knorr_2017, title={OpenCL-basierte Videoverarbeitung auf heterogenen
Rechenknoten}, publisher={Universität Paderborn}, author={Knorr, Christoph}, year={2017}
}'
chicago: Knorr, Christoph. OpenCL-basierte Videoverarbeitung auf heterogenen
Rechenknoten. Universität Paderborn, 2017.
ieee: C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten.
Universität Paderborn, 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.
date_created: 2017-10-17T12:41:05Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '78'
language:
- iso: ger
project:
- _id: '1'
name: SFB 901
- _id: '14'
name: SFB 901 - Subprojekt C2
- _id: '4'
name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Achim
full_name: Lösch, Achim
id: '43646'
last_name: Lösch
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
title: OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten
type: mastersthesis
user_id: '477'
year: '2017'
...
---
_id: '7454'
author:
- first_name: Petra
full_name: Frehe, Petra
id: '5994'
last_name: Frehe
- first_name: H.-Hugo
full_name: Kremer, H.-Hugo
id: '15280'
last_name: Kremer
citation:
ama: 'Frehe P, Kremer H-H. Inklusive Bildung zwischen Beruflichkeit und Subjektorientierung
- Eine Analyse ausbildungsvorbereitender Bildungsgänge. In: Veber M, Benölken
R, Pfitzner M, eds. Potenzialorientierte Förderung in den Fachdidakten.
; 2017.'
apa: Frehe, P., & Kremer, H.-H. (2017). Inklusive Bildung zwischen Beruflichkeit
und Subjektorientierung - Eine Analyse ausbildungsvorbereitender Bildungsgänge.
In M. Veber, R. Benölken, & M. Pfitzner (Eds.), Potenzialorientierte Förderung
in den Fachdidakten.
bibtex: '@inbook{Frehe_Kremer_2017, title={Inklusive Bildung zwischen Beruflichkeit
und Subjektorientierung - Eine Analyse ausbildungsvorbereitender Bildungsgänge},
booktitle={Potenzialorientierte Förderung in den Fachdidakten}, author={Frehe,
Petra and Kremer, H.-Hugo}, editor={Veber, M. and Benölken, R. and Pfitzner, M.Editors},
year={2017} }'
chicago: Frehe, Petra, and H.-Hugo Kremer. “Inklusive Bildung zwischen Beruflichkeit
und Subjektorientierung - Eine Analyse ausbildungsvorbereitender Bildungsgänge.”
In Potenzialorientierte Förderung in den Fachdidakten, edited by M. Veber,
R. Benölken, and M. Pfitzner, 2017.
ieee: P. Frehe and H.-H. Kremer, “Inklusive Bildung zwischen Beruflichkeit und Subjektorientierung
- Eine Analyse ausbildungsvorbereitender Bildungsgänge,” in Potenzialorientierte
Förderung in den Fachdidakten, M. Veber, R. Benölken, and M. Pfitzner, Eds.
2017.
mla: Frehe, Petra, and H. Hugo Kremer. “Inklusive Bildung zwischen Beruflichkeit
und Subjektorientierung - Eine Analyse ausbildungsvorbereitender Bildungsgänge.”
Potenzialorientierte Förderung in den Fachdidakten, edited by M. Veber
et al., 2017.
short: 'P. Frehe, H.-H. Kremer, in: M. Veber, R. Benölken, M. Pfitzner (Eds.), Potenzialorientierte
Förderung in den Fachdidakten, 2017.'
date_created: 2019-02-04T12:56:29Z
date_updated: 2022-01-06T07:03:38Z
department:
- _id: '211'
editor:
- first_name: M.
full_name: Veber, M.
last_name: Veber
- first_name: R.
full_name: Benölken, R.
last_name: Benölken
- first_name: M.
full_name: Pfitzner, M.
last_name: Pfitzner
language:
- iso: ger
publication: Potenzialorientierte Förderung in den Fachdidakten
status: public
title: Inklusive Bildung zwischen Beruflichkeit und Subjektorientierung - Eine Analyse
ausbildungsvorbereitender Bildungsgänge
type: book_chapter
user_id: '74378'
year: '2017'
...
---
_id: '84'
abstract:
- lang: eng
text: The increasing popularity of paradigms like service-oriented computing and
cloud com-puting is leading to a growing amount of service providers offering
software componentsin the form of deployed, ready-to-use services (Software as
a Service, SaaS) [14, 20].In order to discover and select software services, intermediaries
apply service matchingapproaches for determining whether the specification of
a provided service satisfies therequester’s requirements. There are already lots
of different service matching approachesconsidering different service properties
(structural, behavioral, and non-functional proper-ties). However, each of these
approaches alone is not enough to provide a high matchingresult quality (e.g.,
accurate matching results) [BOR04].Thus, such approaches should be combined into
a more holistic approach leading to moreaccurate matching results. However, this
combination is a manual, error-prone procedurewhere many design decisions are
made. Furthermore, this procedure has to be repeatedfrequently depending on the
context, e.g., to consider different requesters or markets.
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Platenius MC, Arifulina S, Schäfer W. MatchBox: A Framework for Dynamic Configuration
of Service Matching Processes (Extended Abstract). In: Tagungsband Software
Engineering. Lecture Notes in Informatics (LNI). ; 2017:81--82.'
apa: 'Platenius, M. C., Arifulina, S., & Schäfer, W. (2017). MatchBox: A Framework
for Dynamic Configuration of Service Matching Processes (Extended Abstract). In
Tagungsband Software Engineering (pp. 81--82).'
bibtex: '@inproceedings{Platenius_Arifulina_Schäfer_2017, series={Lecture Notes
in Informatics (LNI)}, title={MatchBox: A Framework for Dynamic Configuration
of Service Matching Processes (Extended Abstract)}, booktitle={Tagungsband Software
Engineering}, author={Platenius, Marie Christin and Arifulina, Svetlana and Schäfer,
Wilhelm}, year={2017}, pages={81--82}, collection={Lecture Notes in Informatics
(LNI)} }'
chicago: 'Platenius, Marie Christin, Svetlana Arifulina, and Wilhelm Schäfer. “MatchBox:
A Framework for Dynamic Configuration of Service Matching Processes (Extended
Abstract).” In Tagungsband Software Engineering, 81--82. Lecture Notes
in Informatics (LNI), 2017.'
ieee: 'M. C. Platenius, S. Arifulina, and W. Schäfer, “MatchBox: A Framework for
Dynamic Configuration of Service Matching Processes (Extended Abstract),” in Tagungsband
Software Engineering, 2017, pp. 81--82.'
mla: 'Platenius, Marie Christin, et al. “MatchBox: A Framework for Dynamic Configuration
of Service Matching Processes (Extended Abstract).” Tagungsband Software Engineering,
2017, pp. 81--82.'
short: 'M.C. Platenius, S. Arifulina, W. Schäfer, in: Tagungsband Software Engineering,
2017, pp. 81--82.'
date_created: 2017-10-17T12:41:07Z
date_updated: 2022-01-06T07:03:54Z
ddc:
- '040'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T13:13:41Z
date_updated: 2018-03-21T13:13:41Z
file_id: '1573'
file_name: 84-paper_04.pdf
file_size: 200998
relation: main_file
success: 1
file_date_updated: 2018-03-21T13:13:41Z
has_accepted_license: '1'
page: 81--82
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: Tagungsband Software Engineering
series_title: Lecture Notes in Informatics (LNI)
status: public
title: 'MatchBox: A Framework for Dynamic Configuration of Service Matching Processes
(Extended Abstract)'
type: conference
user_id: '15504'
year: '2017'
...