---
_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: '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: '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: '8559'
author:
- first_name: Michael
full_name: Liebendörfer, Michael
id: '30933'
last_name: Liebendörfer
orcid: 0000-0001-9887-2074
- first_name: Reinhard
full_name: Hochmuth, Reinhard
last_name: Hochmuth
citation:
ama: 'Liebendörfer M, Hochmuth R. Perceived Competence and Incompetence in the First
Year of Mathematics Studies: Forms and Situations. In: Göller R, Biehler R, Hochmuth
R, Rück H-G, eds. Didactics of Mathematics in Higher Education as a Scientific
Discipline - Conference Proceedings. Kassel: Universität Kassel; 2017:286-293.'
apa: 'Liebendörfer, M., & Hochmuth, R. (2017). Perceived Competence and Incompetence
in the First Year of Mathematics Studies: Forms and Situations. In R. Göller,
R. Biehler, R. Hochmuth, & H.-G. Rück (Eds.), Didactics of Mathematics
in Higher Education as a Scientific Discipline - Conference Proceedings (pp.
286–293). Kassel: Universität Kassel.'
bibtex: '@inproceedings{Liebendörfer_Hochmuth_2017, place={Kassel}, title={Perceived
Competence and Incompetence in the First Year of Mathematics Studies: Forms and
Situations}, booktitle={Didactics of Mathematics in Higher Education as a Scientific
Discipline - Conference Proceedings}, publisher={Universität Kassel}, author={Liebendörfer,
Michael and Hochmuth, Reinhard}, editor={Göller, Robin and Biehler, Rolf and Hochmuth,
Reinhard and Rück, Hans-GeorgEditors}, year={2017}, pages={286–293} }'
chicago: 'Liebendörfer, Michael, and Reinhard Hochmuth. “Perceived Competence and
Incompetence in the First Year of Mathematics Studies: Forms and Situations.”
In Didactics of Mathematics in Higher Education as a Scientific Discipline
- Conference Proceedings, edited by Robin Göller, Rolf Biehler, Reinhard Hochmuth,
and Hans-Georg Rück, 286–93. Kassel: Universität Kassel, 2017.'
ieee: 'M. Liebendörfer and R. Hochmuth, “Perceived Competence and Incompetence in
the First Year of Mathematics Studies: Forms and Situations,” in Didactics
of Mathematics in Higher Education as a Scientific Discipline - Conference Proceedings,
2017, pp. 286–293.'
mla: 'Liebendörfer, Michael, and Reinhard Hochmuth. “Perceived Competence and Incompetence
in the First Year of Mathematics Studies: Forms and Situations.” Didactics
of Mathematics in Higher Education as a Scientific Discipline - Conference Proceedings,
edited by Robin Göller et al., Universität Kassel, 2017, pp. 286–93.'
short: 'M. Liebendörfer, R. Hochmuth, in: R. Göller, R. Biehler, R. Hochmuth, H.-G.
Rück (Eds.), Didactics of Mathematics in Higher Education as a Scientific Discipline
- Conference Proceedings, Universität Kassel, Kassel, 2017, pp. 286–293.'
date_created: 2019-03-25T15:35:23Z
date_updated: 2022-01-06T07:03:57Z
department:
- _id: '10'
editor:
- first_name: Robin
full_name: Göller, Robin
last_name: Göller
- first_name: Rolf
full_name: Biehler, Rolf
last_name: Biehler
- first_name: Reinhard
full_name: Hochmuth, Reinhard
last_name: Hochmuth
- first_name: Hans-Georg
full_name: Rück, Hans-Georg
last_name: Rück
extern: '1'
language:
- iso: eng
page: 286-293
place: Kassel
publication: Didactics of Mathematics in Higher Education as a Scientific Discipline
- Conference Proceedings
publisher: Universität Kassel
status: public
title: 'Perceived Competence and Incompetence in the First Year of Mathematics Studies:
Forms and Situations'
type: conference
user_id: '30933'
year: '2017'
...
---
_id: '8564'
author:
- first_name: Michael
full_name: Liebendörfer, Michael
id: '30933'
last_name: Liebendörfer
orcid: 0000-0001-9887-2074
- first_name: Stanislaw
full_name: Schukajlow, Stanislaw
last_name: Schukajlow
citation:
ama: 'Liebendörfer M, Schukajlow S. Interest development during the first year at
university: do mathematical beliefs predict interest in mathematics? ZDM.
2017;49(3):355-366. doi:10.1007/s11858-016-0827-3'
apa: 'Liebendörfer, M., & Schukajlow, S. (2017). Interest development during
the first year at university: do mathematical beliefs predict interest in mathematics?
ZDM, 49(3), 355–366. https://doi.org/10.1007/s11858-016-0827-3'
bibtex: '@article{Liebendörfer_Schukajlow_2017, title={Interest development during
the first year at university: do mathematical beliefs predict interest in mathematics?},
volume={49}, DOI={10.1007/s11858-016-0827-3},
number={3}, journal={ZDM}, author={Liebendörfer, Michael and Schukajlow, Stanislaw},
year={2017}, pages={355–366} }'
chicago: 'Liebendörfer, Michael, and Stanislaw Schukajlow. “Interest Development
during the First Year at University: Do Mathematical Beliefs Predict Interest
in Mathematics?” ZDM 49, no. 3 (2017): 355–66. https://doi.org/10.1007/s11858-016-0827-3.'
ieee: 'M. Liebendörfer and S. Schukajlow, “Interest development during the first
year at university: do mathematical beliefs predict interest in mathematics?,”
ZDM, vol. 49, no. 3, pp. 355–366, 2017.'
mla: 'Liebendörfer, Michael, and Stanislaw Schukajlow. “Interest Development during
the First Year at University: Do Mathematical Beliefs Predict Interest in Mathematics?”
ZDM, vol. 49, no. 3, 2017, pp. 355–66, doi:10.1007/s11858-016-0827-3.'
short: M. Liebendörfer, S. Schukajlow, ZDM 49 (2017) 355–366.
date_created: 2019-03-25T15:35:29Z
date_updated: 2022-01-06T07:03:57Z
department:
- _id: '10'
doi: 10.1007/s11858-016-0827-3
extern: '1'
intvolume: ' 49'
issue: '3'
language:
- iso: eng
page: 355-366
publication: ZDM
publication_identifier:
issn:
- 1863-9690, 1863-9704
quality_controlled: '1'
status: public
title: 'Interest development during the first year at university: do mathematical
beliefs predict interest in mathematics?'
type: journal_article
user_id: '30933'
volume: 49
year: '2017'
...
---
_id: '87'
abstract:
- lang: eng
text: Management of complex network services requires flexible and efficient service
provisioning as well as optimized handling of continuous changes in the workload
of the service.To adapt to changes in the demand, service components need to be
replicated (scaling) and allocated to physical resources (placement) dynamically.
In this paper, we propose a fullyautomated approach to the joint optimization
problem of scaling and placement, enabling quick reaction to changes. We formalize
the problem, analyze its complexity, and develop two algorithms to solve it. Extensive
empirical results show the applicability andeffectiveness of the proposed approach.
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: Zoltan Adam
full_name: Mann, Zoltan Adam
last_name: Mann
citation:
ama: 'Dräxler S, Karl H, Mann ZA. Joint Optimization of Scaling and Placement of
Virtual Network Services. In: Proceedings of the 17th IEEE/ACM International
Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017). ; 2017. doi:10.1109/CCGRID.2017.25'
apa: Dräxler, S., Karl, H., & Mann, Z. A. (2017). Joint Optimization of Scaling
and Placement of Virtual Network Services. In Proceedings of the 17th IEEE/ACM
International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017).
https://doi.org/10.1109/CCGRID.2017.25
bibtex: '@inproceedings{Dräxler_Karl_Mann_2017, title={Joint Optimization of Scaling
and Placement of Virtual Network Services}, DOI={10.1109/CCGRID.2017.25},
booktitle={Proceedings of the 17th IEEE/ACM International Symposium on Cluster,
Cloud and Grid Computing (CCGrid 2017)}, author={Dräxler, Sevil and Karl, Holger
and Mann, Zoltan Adam}, year={2017} }'
chicago: Dräxler, Sevil, Holger Karl, and Zoltan Adam Mann. “Joint Optimization
of Scaling and Placement of Virtual Network Services.” In Proceedings of the
17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid
2017), 2017. https://doi.org/10.1109/CCGRID.2017.25.
ieee: S. Dräxler, H. Karl, and Z. A. Mann, “Joint Optimization of Scaling and Placement
of Virtual Network Services,” in Proceedings of the 17th IEEE/ACM International
Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017), 2017.
mla: Dräxler, Sevil, et al. “Joint Optimization of Scaling and Placement of Virtual
Network Services.” Proceedings of the 17th IEEE/ACM International Symposium
on Cluster, Cloud and Grid Computing (CCGrid 2017), 2017, doi:10.1109/CCGRID.2017.25.
short: 'S. Dräxler, H. Karl, Z.A. Mann, in: Proceedings of the 17th IEEE/ACM International
Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017), 2017.'
date_created: 2017-10-17T12:41:08Z
date_updated: 2022-01-06T07:03:59Z
ddc:
- '040'
department:
- _id: '75'
doi: 10.1109/CCGRID.2017.25
file:
- access_level: open_access
content_type: application/pdf
creator: sevilmeh
date_created: 2018-06-25T08:07:43Z
date_updated: 2018-06-25T08:07:43Z
file_id: '3324'
file_name: RIS.pdf
file_size: 2229109
relation: main_file
file_date_updated: 2018-06-25T08:07:43Z
has_accepted_license: '1'
oa: '1'
project:
- _id: '1'
name: SFB 901
- _id: '16'
name: SFB 901 - Subprojekt C4
- _id: '4'
name: SFB 901 - Project Area C
- _id: '25'
call_identifier: 5G PPP Phase 1
grant_number: '671517'
name: 'SONATA NFV: Agile Service Development and Orchestration in 5G Virtualized
Networks'
publication: Proceedings of the 17th IEEE/ACM International Symposium on Cluster,
Cloud and Grid Computing (CCGrid 2017)
status: public
title: Joint Optimization of Scaling and Placement of Virtual Network Services
type: conference
urn: '873'
user_id: '31764'
year: '2017'
...
---
_id: '8752'
abstract:
- lang: eng
text: In this article we develop a gradient-based algorithm for the solution of
multiobjective optimization problems with uncertainties. To this end, an additional
condition is derived for the descent direction in order to account for inaccuracies
in the gradients and then incorporated into a subdivision algorithm for the computation
of global solutions to multiobjective optimization problems. Convergence to a
superset of the Pareto set is proved and an upper bound for the maximal distance
to the set of substationary points is given. Besides the applicability to problems
with uncertainties, the algorithm is developed with the intention to use it in
combination with model order reduction techniques in order to efficiently solve
PDE-constrained multiobjective optimization problems.
author:
- first_name: Sebastian
full_name: Peitz, Sebastian
id: '47427'
last_name: Peitz
orcid: https://orcid.org/0000-0002-3389-793X
- first_name: Michael
full_name: Dellnitz, Michael
last_name: Dellnitz
citation:
ama: 'Peitz S, Dellnitz M. Gradient-Based Multiobjective Optimization with Uncertainties.
In: NEO 2016. Cham; 2017:159-182. doi:10.1007/978-3-319-64063-1_7'
apa: Peitz, S., & Dellnitz, M. (2017). Gradient-Based Multiobjective Optimization
with Uncertainties. In NEO 2016 (pp. 159–182). Cham. https://doi.org/10.1007/978-3-319-64063-1_7
bibtex: '@inproceedings{Peitz_Dellnitz_2017, place={Cham}, title={Gradient-Based
Multiobjective Optimization with Uncertainties}, DOI={10.1007/978-3-319-64063-1_7},
booktitle={NEO 2016}, author={Peitz, Sebastian and Dellnitz, Michael}, year={2017},
pages={159–182} }'
chicago: Peitz, Sebastian, and Michael Dellnitz. “Gradient-Based Multiobjective
Optimization with Uncertainties.” In NEO 2016, 159–82. Cham, 2017. https://doi.org/10.1007/978-3-319-64063-1_7.
ieee: S. Peitz and M. Dellnitz, “Gradient-Based Multiobjective Optimization with
Uncertainties,” in NEO 2016, 2017, pp. 159–182.
mla: Peitz, Sebastian, and Michael Dellnitz. “Gradient-Based Multiobjective Optimization
with Uncertainties.” NEO 2016, 2017, pp. 159–82, doi:10.1007/978-3-319-64063-1_7.
short: 'S. Peitz, M. Dellnitz, in: NEO 2016, Cham, 2017, pp. 159–182.'
date_created: 2019-03-29T13:28:56Z
date_updated: 2022-01-06T07:04:00Z
department:
- _id: '101'
doi: 10.1007/978-3-319-64063-1_7
language:
- iso: eng
page: 159-182
place: Cham
project:
- _id: '52'
name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: NEO 2016
publication_identifier:
isbn:
- '9783319640624'
- '9783319640631'
issn:
- 1860-949X
- 1860-9503
publication_status: published
status: public
title: Gradient-Based Multiobjective Optimization with Uncertainties
type: conference
user_id: '47427'
year: '2017'
...
---
_id: '88'
author:
- first_name: Advait
full_name: Ganesh Athreya, Advait
last_name: Ganesh Athreya
citation:
ama: Ganesh Athreya A. Instantiating a Predicate Encryption Scheme via Pair Encodings.
Universität Paderborn; 2017.
apa: Ganesh Athreya, A. (2017). Instantiating a Predicate Encryption Scheme via
Pair Encodings. Universität Paderborn.
bibtex: '@book{Ganesh Athreya_2017, title={Instantiating a Predicate Encryption
Scheme via Pair Encodings}, publisher={Universität Paderborn}, author={Ganesh
Athreya, Advait}, year={2017} }'
chicago: Ganesh Athreya, Advait. Instantiating a Predicate Encryption Scheme
via Pair Encodings. Universität Paderborn, 2017.
ieee: A. Ganesh Athreya, Instantiating a Predicate Encryption Scheme via Pair
Encodings. Universität Paderborn, 2017.
mla: Ganesh Athreya, Advait. Instantiating a Predicate Encryption Scheme via
Pair Encodings. Universität Paderborn, 2017.
short: A. Ganesh Athreya, Instantiating a Predicate Encryption Scheme via Pair Encodings,
Universität Paderborn, 2017.
date_created: 2017-10-17T12:41:08Z
date_updated: 2022-01-06T07:04:02Z
department:
- _id: '64'
project:
- _id: '1'
name: SFB 901
- _id: '13'
name: SFB 901 - Subprojekt C1
- _id: '4'
name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
title: Instantiating a Predicate Encryption Scheme via Pair Encodings
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '8843'
alternative_title:
- User Conference on Advanced Automated Testing (UCAAT 2017)
author:
- first_name: Ivan
full_name: Jovanovikj, Ivan
id: '39187'
last_name: Jovanovikj
orcid: https://orcid.org/0000-0002-1838-794X
citation:
ama: 'Jovanovikj I. Presentation: Framework for Constructing Context-Specific
Migration Methods for Test Cases. Berlin; 2017.'
apa: 'Jovanovikj, I. (2017). Presentation: Framework for Constructing Context-Specific
Migration Methods for Test Cases. Berlin.'
bibtex: '@book{Jovanovikj_2017, place={Berlin}, title={Presentation: Framework for
Constructing Context-Specific Migration Methods for Test Cases}, author={Jovanovikj,
Ivan}, year={2017} }'
chicago: 'Jovanovikj, Ivan. Presentation: Framework for Constructing Context-Specific
Migration Methods for Test Cases. Berlin, 2017.'
ieee: 'I. Jovanovikj, Presentation: Framework for Constructing Context-Specific
Migration Methods for Test Cases. Berlin, 2017.'
mla: 'Jovanovikj, Ivan. Presentation: Framework for Constructing Context-Specific
Migration Methods for Test Cases. 2017.'
short: 'I. Jovanovikj, Presentation: Framework for Constructing Context-Specific
Migration Methods for Test Cases, Berlin, 2017.'
date_created: 2019-04-08T07:39:45Z
date_updated: 2022-01-06T07:04:03Z
department:
- _id: '66'
language:
- iso: eng
place: Berlin
status: public
title: 'Presentation: Framework for Constructing Context-Specific Migration Methods
for Test Cases'
type: misc
user_id: '39187'
year: '2017'
...
---
_id: '9607'
author:
- first_name: Saqib
full_name: Kakvi, Saqib
id: '66268'
last_name: Kakvi
- first_name: Eike
full_name: Kiltz, Eike
last_name: Kiltz
citation:
ama: Kakvi S, Kiltz E. Optimal Security Proofs for Full Domain Hash, Revisited.
Journal of Cryptology. 2017:276-306. doi:10.1007/s00145-017-9257-9
apa: Kakvi, S., & Kiltz, E. (2017). Optimal Security Proofs for Full Domain
Hash, Revisited. Journal of Cryptology, 276–306. https://doi.org/10.1007/s00145-017-9257-9
bibtex: '@article{Kakvi_Kiltz_2017, title={Optimal Security Proofs for Full Domain
Hash, Revisited}, DOI={10.1007/s00145-017-9257-9},
journal={Journal of Cryptology}, author={Kakvi, Saqib and Kiltz, Eike}, year={2017},
pages={276–306} }'
chicago: Kakvi, Saqib, and Eike Kiltz. “Optimal Security Proofs for Full Domain
Hash, Revisited.” Journal of Cryptology, 2017, 276–306. https://doi.org/10.1007/s00145-017-9257-9.
ieee: S. Kakvi and E. Kiltz, “Optimal Security Proofs for Full Domain Hash, Revisited,”
Journal of Cryptology, pp. 276–306, 2017.
mla: Kakvi, Saqib, and Eike Kiltz. “Optimal Security Proofs for Full Domain Hash,
Revisited.” Journal of Cryptology, 2017, pp. 276–306, doi:10.1007/s00145-017-9257-9.
short: S. Kakvi, E. Kiltz, Journal of Cryptology (2017) 276–306.
date_created: 2019-05-03T12:44:03Z
date_updated: 2022-01-06T07:04:16Z
department:
- _id: '558'
doi: 10.1007/s00145-017-9257-9
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/article/10.1007%2Fs00145-017-9257-9
page: 276-306
publication: Journal of Cryptology
publication_identifier:
issn:
- 0933-2790
- 1432-1378
publication_status: published
status: public
title: Optimal Security Proofs for Full Domain Hash, Revisited
type: journal_article
user_id: '66268'
year: '2017'
...
---
_id: '97'
abstract:
- lang: eng
text: Bridging the gap between informal, imprecise, and vague user requirements
descriptions and precise formalized specifications is the main task of requirements
engineering. Techniques such as interviews or story telling are used when requirements
engineers try to identify a user's needs. The requirements specification process
is typically done in a dialogue between users, domain experts, and requirements
engineers. In our research, we aim at automating the specification of requirements.
The idea is to distinguish between untrained users and trained users, and to exploit
domain knowledge learned from previous runs of our system. We let untrained users
provide unstructured natural language descriptions, while we allow trained users
to provide examples of behavioral descriptions. In both cases, our goal is to
synthesize formal requirements models similar to statecharts. From requirements
specification processes with trained users, behavioral ontologies are learned
which are later used to support the requirements specification process for untrained
users. Our research method is original in combining natural language processing
and search-based techniques for the synthesis of requirements specifications.
Our work is embedded in a larger project that aims at automating the whole software
development and deployment process in envisioned future software service markets.
author:
- first_name: Lorijn
full_name: van Rooijen, Lorijn
id: '58843'
last_name: van Rooijen
- first_name: Frederik Simon
full_name: Bäumer, Frederik Simon
id: '38837'
last_name: Bäumer
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Michaela
full_name: Geierhos, Michaela
id: '42496'
last_name: Geierhos
orcid: 0000-0002-8180-5606
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'van Rooijen L, Bäumer FS, Platenius MC, Geierhos M, Hamann H, Engels G. From
User Demand to Software Service: Using Machine Learning to Automate the Requirements
Specification Process. In: 2017 IEEE 25th International Requirements Engineering
Conference Workshops (REW). Piscataway, NJ, USA: IEEE; 2017:379-385. doi:10.1109/REW.2017.26'
apa: 'van Rooijen, L., Bäumer, F. S., Platenius, M. C., Geierhos, M., Hamann, H.,
& Engels, G. (2017). From User Demand to Software Service: Using Machine Learning
to Automate the Requirements Specification Process. In 2017 IEEE 25th International
Requirements Engineering Conference Workshops (REW) (pp. 379–385). Piscataway,
NJ, USA: IEEE. https://doi.org/10.1109/REW.2017.26'
bibtex: '@inproceedings{van Rooijen_Bäumer_Platenius_Geierhos_Hamann_Engels_2017,
place={Piscataway, NJ, USA}, title={From User Demand to Software Service: Using
Machine Learning to Automate the Requirements Specification Process}, DOI={10.1109/REW.2017.26}, booktitle={2017
IEEE 25th International Requirements Engineering Conference Workshops (REW)},
publisher={IEEE}, author={van Rooijen, Lorijn and Bäumer, Frederik Simon and Platenius,
Marie Christin and Geierhos, Michaela and Hamann, Heiko and Engels, Gregor}, year={2017},
pages={379–385} }'
chicago: 'Rooijen, Lorijn van, Frederik Simon Bäumer, Marie Christin Platenius,
Michaela Geierhos, Heiko Hamann, and Gregor Engels. “From User Demand to Software
Service: Using Machine Learning to Automate the Requirements Specification Process.”
In 2017 IEEE 25th International Requirements Engineering Conference Workshops
(REW), 379–85. Piscataway, NJ, USA: IEEE, 2017. https://doi.org/10.1109/REW.2017.26.'
ieee: 'L. van Rooijen, F. S. Bäumer, M. C. Platenius, M. Geierhos, H. Hamann, and
G. Engels, “From User Demand to Software Service: Using Machine Learning to Automate
the Requirements Specification Process,” in 2017 IEEE 25th International Requirements
Engineering Conference Workshops (REW), Lisbon, Portugal, 2017, pp. 379–385.'
mla: 'van Rooijen, Lorijn, et al. “From User Demand to Software Service: Using Machine
Learning to Automate the Requirements Specification Process.” 2017 IEEE 25th
International Requirements Engineering Conference Workshops (REW), IEEE, 2017,
pp. 379–85, doi:10.1109/REW.2017.26.'
short: 'L. van Rooijen, F.S. Bäumer, M.C. Platenius, M. Geierhos, H. Hamann, G.
Engels, in: 2017 IEEE 25th International Requirements Engineering Conference Workshops
(REW), IEEE, Piscataway, NJ, USA, 2017, pp. 379–385.'
conference:
end_date: 2017-09-08
location: Lisbon, Portugal
name: 2017 IEEE 25th International Requirements Engineering Conference Workshops
(REW)
start_date: 2017-09-04
date_created: 2017-10-17T12:41:10Z
date_updated: 2022-01-06T07:04:18Z
ddc:
- '000'
department:
- _id: '36'
- _id: '1'
- _id: '579'
- _id: '34'
- _id: '7'
- _id: '66'
- _id: '238'
- _id: '63'
doi: 10.1109/REW.2017.26
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:50:35Z
date_updated: 2018-11-02T14:50:35Z
file_id: '5285'
file_name: 08054881.pdf
file_size: 433613
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:50:35Z
has_accepted_license: '1'
keyword:
- Software
- Unified modeling language
- Requirements engineering
- Ontologies
- Search problems
- Natural languages
language:
- iso: eng
page: 379-385
place: Piscataway, NJ, USA
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: 2017 IEEE 25th International Requirements Engineering Conference Workshops
(REW)
publication_identifier:
eisbn:
- '978-1-5386-3488-2 '
isbn:
- 978-1-5386-3489-9
publication_status: published
publisher: IEEE
quality_controlled: '1'
status: public
title: 'From User Demand to Software Service: Using Machine Learning to Automate the
Requirements Specification Process'
type: conference
user_id: '57458'
year: '2017'
...
---
_id: '981'
abstract:
- lang: eng
text: "Benchmarking and profiling virtual network functions (VNFs) generates input\r\nknowledge
for resource management decisions taken by \r\nmanagement and orchestration systems.
\r\nSuch VNFs are usually not executed in isolation but are often deployed as
part of a service function chain (SFC) that connects single functions into complex
\r\nstructures. To manage such chains, isolated performance\r\nprofiles of single
functions have to be combined to get insights into \r\nthe overall behavior of
an SFC. This becomes particularly\r\nchallenging in highly agile DevOps environments
in which profiling\r\nprocesses need to be fully automated and detailed insights
about a chain's\r\ninternal structures are not always available. \r\n\r\nIn this
paper, we introduce a\r\nfully automatable, flexible, and platform-agnostic profiling\r\nsystem
that allows to profile entire SFCs at once. This obviates \r\nmanual modeling
procedures to combine profiling results from single\r\nVNFs to reflect SFC performance.
\r\nWe use a case study with different SFC configurations to show that it\r\nis
hard to model the resulting SFC performance based on single-VNF measurements and
that\r\nperformance interactions between real, non-trivial functions that are
deployed in a\r\nchain exist. "
author:
- first_name: Manuel
full_name: Peuster, Manuel
id: '13271'
last_name: Peuster
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
ama: 'Peuster M, Karl H. Profile Your Chains, Not Functions. Automated Network Service
Profiling in DevOps Environments. In: IEEE Conference on Network Function Virtualisation
and Software Defined Networks (NFV-SDN). Berlin; 2017. doi:10.1109/NFV-SDN.2017.8169826'
apa: Peuster, M., & Karl, H. (2017). Profile Your Chains, Not Functions. Automated
Network Service Profiling in DevOps Environments. In IEEE Conference on Network
Function Virtualisation and Software Defined Networks (NFV-SDN). Berlin. https://doi.org/10.1109/NFV-SDN.2017.8169826
bibtex: '@inproceedings{Peuster_Karl_2017, place={Berlin}, title={Profile Your Chains,
Not Functions. Automated Network Service Profiling in DevOps Environments}, DOI={10.1109/NFV-SDN.2017.8169826},
booktitle={IEEE Conference on Network Function Virtualisation and Software Defined
Networks (NFV-SDN)}, author={Peuster, Manuel and Karl, Holger}, year={2017} }'
chicago: Peuster, Manuel, and Holger Karl. “Profile Your Chains, Not Functions.
Automated Network Service Profiling in DevOps Environments.” In IEEE Conference
on Network Function Virtualisation and Software Defined Networks (NFV-SDN).
Berlin, 2017. https://doi.org/10.1109/NFV-SDN.2017.8169826.
ieee: M. Peuster and H. Karl, “Profile Your Chains, Not Functions. Automated Network
Service Profiling in DevOps Environments,” in IEEE Conference on Network Function
Virtualisation and Software Defined Networks (NFV-SDN), Berlin, 2017.
mla: Peuster, Manuel, and Holger Karl. “Profile Your Chains, Not Functions. Automated
Network Service Profiling in DevOps Environments.” IEEE Conference on Network
Function Virtualisation and Software Defined Networks (NFV-SDN), 2017, doi:10.1109/NFV-SDN.2017.8169826.
short: 'M. Peuster, H. Karl, in: IEEE Conference on Network Function Virtualisation
and Software Defined Networks (NFV-SDN), Berlin, 2017.'
conference:
location: Berlin
name: IEEE Conference on Network Function Virtualisation and Software Defined Networks
(NFV-SDN)
date_created: 2017-11-27T10:22:29Z
date_updated: 2022-01-06T07:04:22Z
ddc:
- '004'
department:
- _id: '75'
doi: 10.1109/NFV-SDN.2017.8169826
file:
- access_level: open_access
content_type: application/pdf
creator: peuster
date_created: 2018-07-05T11:14:00Z
date_updated: 2018-07-05T11:14:00Z
file_id: '3431'
file_name: main_ris.pdf
file_size: 2642306
relation: main_file
file_date_updated: 2018-07-05T11:14:00Z
has_accepted_license: '1'
language:
- iso: eng
oa: '1'
place: Berlin
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: IEEE Conference on Network Function Virtualisation and Software Defined
Networks (NFV-SDN)
publication_status: published
status: public
title: Profile Your Chains, Not Functions. Automated Network Service Profiling in
DevOps Environments
type: conference
urn: '9810'
user_id: '13271'
year: '2017'
...
---
_id: '983'
author:
- first_name: Sébastien
full_name: Auroux, Sébastien
id: '42575'
last_name: Auroux
- first_name: S.
full_name: Scholz, S.
last_name: Scholz
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
ama: 'Auroux S, Scholz S, Karl H. Assessing Genetic Algorithms for Placing Flow
Processing-aware Control Applications. In: Proc. European Wireless. ; 2017.'
apa: Auroux, S., Scholz, S., & Karl, H. (2017). Assessing Genetic Algorithms
for Placing Flow Processing-aware Control Applications. In Proc. European Wireless.
bibtex: '@inproceedings{Auroux_Scholz_Karl_2017, title={Assessing Genetic Algorithms
for Placing Flow Processing-aware Control Applications}, booktitle={Proc. European
Wireless}, author={Auroux, Sébastien and Scholz, S. and Karl, Holger}, year={2017}
}'
chicago: Auroux, Sébastien, S. Scholz, and Holger Karl. “Assessing Genetic Algorithms
for Placing Flow Processing-Aware Control Applications.” In Proc. European
Wireless, 2017.
ieee: S. Auroux, S. Scholz, and H. Karl, “Assessing Genetic Algorithms for Placing
Flow Processing-aware Control Applications,” in Proc. European Wireless,
2017.
mla: Auroux, Sébastien, et al. “Assessing Genetic Algorithms for Placing Flow Processing-Aware
Control Applications.” Proc. European Wireless, 2017.
short: 'S. Auroux, S. Scholz, H. Karl, in: Proc. European Wireless, 2017.'
date_created: 2017-11-27T10:22:29Z
date_updated: 2019-01-03T13:18:55Z
ddc:
- '004'
department:
- _id: '75'
ec_funded: '1'
main_file_link:
- url: http://ieeexplore.ieee.org/document/8011315/
project:
- _id: '22'
call_identifier: FP7-ICT-2011-C
grant_number: '318115'
name: Connectivity management for eneRgy Optimised Wireless Dense works
publication: Proc. European Wireless
status: public
title: Assessing Genetic Algorithms for Placing Flow Processing-aware Control Applications
type: conference
user_id: '126'
year: '2017'
...
---
_id: '9919'
abstract:
- lang: eng
text: This is a study of a combined load restoration and generator start-up procedure.
The procedure is structured into three stages according to the power system status
and the goal of load restoration. Moreover, for each load restoration stage, the
proposed algorithm determines a load restoration sequence by considering renewable
energy such as solar and wind park to achieve objective functions. The validity
and performance of the proposed algorithm is demonstrated through simulations
using IEEE-39 network.
author:
- first_name: Cong
full_name: Shen, Cong
last_name: Shen
- first_name: Paul
full_name: Kaufmann, Paul
last_name: Kaufmann
- first_name: Martin
full_name: Braun, Martin
last_name: Braun
citation:
ama: Shen C, Kaufmann P, Braun M. Three-Stage Power System Restoration Methodology
Considering Renewable Energies. Elsevier International Journal of Electrical
Power and Energy Systems (IJEPES). 2017;94:287-299. doi:10.1016/j.ijepes.2017.07.007
apa: Shen, C., Kaufmann, P., & Braun, M. (2017). Three-Stage Power System Restoration
Methodology Considering Renewable Energies. Elsevier International Journal
of Electrical Power and Energy Systems (IJEPES), 94, 287–299. https://doi.org/10.1016/j.ijepes.2017.07.007
bibtex: '@article{Shen_Kaufmann_Braun_2017, title={Three-Stage Power System Restoration
Methodology Considering Renewable Energies}, volume={94}, DOI={10.1016/j.ijepes.2017.07.007},
journal={Elsevier International Journal of Electrical Power and Energy Systems
(IJEPES)}, author={Shen, Cong and Kaufmann, Paul and Braun, Martin}, year={2017},
pages={287–299} }'
chicago: 'Shen, Cong, Paul Kaufmann, and Martin Braun. “Three-Stage Power System
Restoration Methodology Considering Renewable Energies.” Elsevier International
Journal of Electrical Power and Energy Systems (IJEPES) 94 (2017): 287–99.
https://doi.org/10.1016/j.ijepes.2017.07.007.'
ieee: C. Shen, P. Kaufmann, and M. Braun, “Three-Stage Power System Restoration
Methodology Considering Renewable Energies,” Elsevier International Journal
of Electrical Power and Energy Systems (IJEPES), vol. 94, pp. 287–299, 2017.
mla: Shen, Cong, et al. “Three-Stage Power System Restoration Methodology Considering
Renewable Energies.” Elsevier International Journal of Electrical Power and
Energy Systems (IJEPES), vol. 94, 2017, pp. 287–99, doi:10.1016/j.ijepes.2017.07.007.
short: C. Shen, P. Kaufmann, M. Braun, Elsevier International Journal of Electrical
Power and Energy Systems (IJEPES) 94 (2017) 287–299.
date_created: 2019-05-22T13:14:20Z
date_updated: 2019-10-06T21:56:18Z
department:
- _id: '78'
doi: 10.1016/j.ijepes.2017.07.007
intvolume: ' 94'
keyword:
- Load restorationRestoration stageRenewable energyVoltage/frequency fluctuations
language:
- iso: eng
page: 287-299
publication: Elsevier International Journal of Electrical Power and Energy Systems
(IJEPES)
publication_status: published
status: public
title: Three-Stage Power System Restoration Methodology Considering Renewable Energies
type: journal_article
user_id: '3118'
volume: 94
year: '2017'
...
---
_id: '5204'
author:
- first_name: Johannes
full_name: Späth, Johannes
last_name: Späth
- first_name: Karim
full_name: Ali, Karim
last_name: Ali
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Späth J, Ali K, Bodden E. IDEal: Efficient and Precise Alias-aware Dataflow
Analysis. In: 2017 International Conference on Object-Oriented Programming,
Languages and Applications (OOPSLA/SPLASH). ACM Press; 2017.'
apa: 'Späth, J., Ali, K., & Bodden, E. (2017). IDEal: Efficient and Precise
Alias-aware Dataflow Analysis. In 2017 International Conference on Object-Oriented
Programming, Languages and Applications (OOPSLA/SPLASH). ACM Press.'
bibtex: '@inproceedings{Späth_Ali_Bodden_2017, title={IDEal: Efficient and Precise
Alias-aware Dataflow Analysis}, booktitle={2017 International Conference on Object-Oriented
Programming, Languages and Applications (OOPSLA/SPLASH)}, publisher={ACM Press},
author={Späth, Johannes and Ali, Karim and Bodden, Eric}, year={2017} }'
chicago: 'Späth, Johannes, Karim Ali, and Eric Bodden. “IDEal: Efficient and Precise
Alias-Aware Dataflow Analysis.” In 2017 International Conference on Object-Oriented
Programming, Languages and Applications (OOPSLA/SPLASH). ACM Press, 2017.'
ieee: 'J. Späth, K. Ali, and E. Bodden, “IDEal: Efficient and Precise Alias-aware
Dataflow Analysis,” in 2017 International Conference on Object-Oriented Programming,
Languages and Applications (OOPSLA/SPLASH), 2017.'
mla: 'Späth, Johannes, et al. “IDEal: Efficient and Precise Alias-Aware Dataflow
Analysis.” 2017 International Conference on Object-Oriented Programming, Languages
and Applications (OOPSLA/SPLASH), ACM Press, 2017.'
short: 'J. Späth, K. Ali, E. Bodden, in: 2017 International Conference on Object-Oriented
Programming, Languages and Applications (OOPSLA/SPLASH), ACM Press, 2017.'
date_created: 2018-10-31T12:46:50Z
date_updated: 2022-01-06T07:01:44Z
ddc:
- '000'
department:
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:28:13Z
date_updated: 2018-11-02T14:28:13Z
file_id: '5273'
file_name: sab17ideal.pdf
file_size: 1021251
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:28:13Z
has_accepted_license: '1'
keyword:
- ATTRACT
- ITSECWEBSITE
- CROSSING
language:
- iso: eng
main_file_link:
- url: ' http://bodden.de/pubs/sab17ideal.pdf'
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: 2017 International Conference on Object-Oriented Programming, Languages
and Applications (OOPSLA/SPLASH)
publisher: ACM Press
status: public
title: 'IDEal: Efficient and Precise Alias-aware Dataflow Analysis'
type: conference
user_id: '477'
year: '2017'
...