---
_id: '669'
abstract:
- lang: eng
text: We study a new class of games which generalizes congestion games andits bottleneck
variant. We introduce congestion games with mixed objectives to modelnetwork scenarios
in which players seek to optimize for latency and bandwidths alike.We characterize
the (non-)existence of pure Nash equilibria (PNE), the convergenceof improvement
dynamics, the quality of equilibria and show the complexity of thedecision problem.
For games that do not possess PNE we give bounds on the approx-imation ratio of
approximate pure Nash equilibria.
author:
- first_name: Matthias
full_name: Feldotto, Matthias
id: '14052'
last_name: Feldotto
orcid: 0000-0003-1348-6516
- first_name: Lennart
full_name: Leder, Lennart
last_name: Leder
- first_name: Alexander
full_name: Skopalik, Alexander
id: '40384'
last_name: Skopalik
citation:
ama: Feldotto M, Leder L, Skopalik A. Congestion games with mixed objectives. Journal
of Combinatorial Optimization. 2018;36(4):1145-1167. doi:10.1007/s10878-017-0189-y
apa: Feldotto, M., Leder, L., & Skopalik, A. (2018). Congestion games with mixed
objectives. Journal of Combinatorial Optimization, 36(4), 1145–1167.
https://doi.org/10.1007/s10878-017-0189-y
bibtex: '@article{Feldotto_Leder_Skopalik_2018, title={Congestion games with mixed
objectives}, volume={36}, DOI={10.1007/s10878-017-0189-y},
number={4}, journal={Journal of Combinatorial Optimization}, publisher={Springer
Nature}, author={Feldotto, Matthias and Leder, Lennart and Skopalik, Alexander},
year={2018}, pages={1145–1167} }'
chicago: 'Feldotto, Matthias, Lennart Leder, and Alexander Skopalik. “Congestion
Games with Mixed Objectives.” Journal of Combinatorial Optimization 36,
no. 4 (2018): 1145–67. https://doi.org/10.1007/s10878-017-0189-y.'
ieee: M. Feldotto, L. Leder, and A. Skopalik, “Congestion games with mixed objectives,”
Journal of Combinatorial Optimization, vol. 36, no. 4, pp. 1145–1167, 2018.
mla: Feldotto, Matthias, et al. “Congestion Games with Mixed Objectives.” Journal
of Combinatorial Optimization, vol. 36, no. 4, Springer Nature, 2018, pp.
1145–67, doi:10.1007/s10878-017-0189-y.
short: M. Feldotto, L. Leder, A. Skopalik, Journal of Combinatorial Optimization
36 (2018) 1145–1167.
date_created: 2017-10-26T14:11:04Z
date_updated: 2022-01-06T07:03:15Z
ddc:
- '000'
department:
- _id: '63'
- _id: '541'
doi: 10.1007/s10878-017-0189-y
external_id:
arxiv:
- '1607.05143'
file:
- access_level: closed
content_type: application/pdf
creator: feldi
date_created: 2018-10-31T16:57:32Z
date_updated: 2018-10-31T16:57:32Z
file_id: '5226'
file_name: Feldotto2018_Article_CongestionGamesWithMixedObject.pdf
file_size: 605207
relation: main_file
success: 1
file_date_updated: 2018-10-31T16:57:32Z
has_accepted_license: '1'
intvolume: ' 36'
issue: '4'
language:
- iso: eng
page: 1145-1167
project:
- _id: '1'
name: SFB 901
- _id: '7'
name: SFB 901 - Subprojekt A3
- _id: '2'
name: SFB 901 - Project Area A
publication: Journal of Combinatorial Optimization
publication_identifier:
issn:
- 1382-6905
- 1573-2886
publication_status: published
publisher: Springer Nature
status: public
title: Congestion games with mixed objectives
type: journal_article
user_id: '14052'
volume: 36
year: '2018'
...
---
_id: '6743'
author:
- first_name: Dennis
full_name: Wolters, Dennis
id: '11308'
last_name: Wolters
citation:
ama: Wolters D. Einsatz von Classroom-Response-Systemen und Peer Instruction in
der Veranstaltung Grundlagen von Datenbanken. die hochschullehre. 2018;(4).
apa: Wolters, D. (2018). Einsatz von Classroom-Response-Systemen und Peer Instruction
in der Veranstaltung Grundlagen von Datenbanken. die hochschullehre, (4).
bibtex: '@article{Wolters_2018, title={Einsatz von Classroom-Response-Systemen und
Peer Instruction in der Veranstaltung Grundlagen von Datenbanken}, number={4},
journal={die hochschullehre}, author={Wolters, Dennis}, year={2018} }'
chicago: Wolters, Dennis. “Einsatz von Classroom-Response-Systemen und Peer Instruction
in der Veranstaltung Grundlagen von Datenbanken.” die hochschullehre, no.
4 (2018).
ieee: D. Wolters, “Einsatz von Classroom-Response-Systemen und Peer Instruction
in der Veranstaltung Grundlagen von Datenbanken,” die hochschullehre, no.
4, 2018.
mla: Wolters, Dennis. “Einsatz von Classroom-Response-Systemen und Peer Instruction
in der Veranstaltung Grundlagen von Datenbanken.” die hochschullehre, no.
4, 2018.
short: D. Wolters, die hochschullehre (2018).
date_created: 2019-01-15T19:10:58Z
date_updated: 2022-01-06T07:03:17Z
department:
- _id: '66'
issue: '4'
language:
- iso: ger
main_file_link:
- url: http://www.hochschullehre.org/wp-content/files/die_hochschullehre_Wolters_2018.pdf
publication: die hochschullehre
publication_status: published
status: public
title: Einsatz von Classroom-Response-Systemen und Peer Instruction in der Veranstaltung
Grundlagen von Datenbanken
type: journal_article
user_id: '11308'
year: '2018'
...
---
_id: '6761'
author:
- first_name: Ivan
full_name: Jovanovikj, Ivan
id: '39187'
last_name: Jovanovikj
orcid: https://orcid.org/0000-0002-1838-794X
- first_name: Vishwak
full_name: Narasimhan, Vishwak
last_name: Narasimhan
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Jovanovikj I, Narasimhan V, Engels G, Sauer S. Context-specific Quality Evaluation
of Test Cases. In: Proceedings of the 6th International Conference on Model-Driven
Engineering and Software Development - Volume 1: MODELSWARD,. SciTePress;
2018:594-601. doi:10.5220/0006724405940601'
apa: 'Jovanovikj, I., Narasimhan, V., Engels, G., & Sauer, S. (2018). Context-specific
Quality Evaluation of Test Cases. In Proceedings of the 6th International Conference
on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
(pp. 594–601). Madeira, Portugal: SciTePress. https://doi.org/10.5220/0006724405940601'
bibtex: '@inproceedings{Jovanovikj_Narasimhan_Engels_Sauer_2018, title={Context-specific
Quality Evaluation of Test Cases}, DOI={10.5220/0006724405940601},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering
and Software Development - Volume 1: MODELSWARD,}, publisher={SciTePress}, author={Jovanovikj,
Ivan and Narasimhan, Vishwak and Engels, Gregor and Sauer, Stefan}, year={2018},
pages={594–601} }'
chicago: 'Jovanovikj, Ivan, Vishwak Narasimhan, Gregor Engels, and Stefan Sauer.
“Context-Specific Quality Evaluation of Test Cases.” In Proceedings of the
6th International Conference on Model-Driven Engineering and Software Development
- Volume 1: MODELSWARD, 594–601. SciTePress, 2018. https://doi.org/10.5220/0006724405940601.'
ieee: 'I. Jovanovikj, V. Narasimhan, G. Engels, and S. Sauer, “Context-specific
Quality Evaluation of Test Cases,” in Proceedings of the 6th International
Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
Madeira, Portugal, 2018, pp. 594–601.'
mla: 'Jovanovikj, Ivan, et al. “Context-Specific Quality Evaluation of Test Cases.”
Proceedings of the 6th International Conference on Model-Driven Engineering
and Software Development - Volume 1: MODELSWARD, SciTePress, 2018, pp. 594–601,
doi:10.5220/0006724405940601.'
short: 'I. Jovanovikj, V. Narasimhan, G. Engels, S. Sauer, in: Proceedings of the
6th International Conference on Model-Driven Engineering and Software Development
- Volume 1: MODELSWARD, SciTePress, 2018, pp. 594–601.'
conference:
location: Madeira, Portugal
name: 6th International Conference on Model-Driven Engineering and Software Development
(MODELSWARD'18)
date_created: 2019-01-16T09:38:29Z
date_updated: 2022-01-06T07:03:17Z
department:
- _id: '66'
- _id: '534'
doi: 10.5220/0006724405940601
language:
- iso: eng
page: 594-601
publication: 'Proceedings of the 6th International Conference on Model-Driven Engineering
and Software Development - Volume 1: MODELSWARD,'
publication_identifier:
isbn:
- 978-989-758-283-7
publisher: SciTePress
status: public
title: Context-specific Quality Evaluation of Test Cases
type: conference
user_id: '39187'
year: '2018'
...
---
_id: '6763'
abstract:
- lang: eng
text: Existing test cases represent important assets, which are worth reusing in
software migration projects. The benefit is twofold, reuse of relevant information
as well cost saving by avoiding design of new test cases. As test cases are implemented
in the same or a compatible technology as the system they are testing, they have
to somehow follow the system migration, i.e., they should be co-migrated. Due
to the size of the test case set, and often missing conformity in the structure
of the test cases, migration of test cases is a quite challenging task. As model-driven
engineering has been established to manage those complex tasks, we apply it in
the test case domain. In this paper, we propose a generic migration method based
on model-driven reengineering techniques. Our method which involves reverse engineering,
restructuring, and forward engineering is applied in an industrial case study
where appropriate tooling was developed as well.
author:
- first_name: Ivan
full_name: Jovanovikj, Ivan
id: '39187'
last_name: Jovanovikj
orcid: https://orcid.org/0000-0002-1838-794X
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Anthony
full_name: Anjorin, Anthony
last_name: Anjorin
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Jovanovikj I, Engels G, Anjorin A, Sauer S. Model-Driven Test Case Migration:
The Test Case Reengineering Horseshoe Model. In: Mendling J, Mouratidis H, eds.
Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia,
June 11-15, 2018, ProceedingIs. Cham: Springer International Publishing; 2018:133-147.
doi:https://doi.org/10.1007/978-3-319-92901-9_13'
apa: 'Jovanovikj, I., Engels, G., Anjorin, A., & Sauer, S. (2018). Model-Driven
Test Case Migration: The Test Case Reengineering Horseshoe Model. In J. Mendling
& H. Mouratidis (Eds.), Information Systems in the Big Data Era - CAiSE
Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs (pp. 133–147).
Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-92901-9_13'
bibtex: '@inproceedings{Jovanovikj_Engels_Anjorin_Sauer_2018, place={Cham}, title={Model-Driven
Test Case Migration: The Test Case Reengineering Horseshoe Model}, DOI={https://doi.org/10.1007/978-3-319-92901-9_13},
booktitle={Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn,
Estonia, June 11-15, 2018, ProceedingIs}, publisher={Springer International Publishing},
author={Jovanovikj, Ivan and Engels, Gregor and Anjorin, Anthony and Sauer, Stefan},
editor={Mendling, Jan and Mouratidis, HaralambosEditors}, year={2018}, pages={133–147}
}'
chicago: 'Jovanovikj, Ivan, Gregor Engels, Anthony Anjorin, and Stefan Sauer. “Model-Driven
Test Case Migration: The Test Case Reengineering Horseshoe Model.” In Information
Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15,
2018, ProceedingIs, edited by Jan Mendling and Haralambos Mouratidis, 133–47.
Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-92901-9_13.'
ieee: 'I. Jovanovikj, G. Engels, A. Anjorin, and S. Sauer, “Model-Driven Test Case
Migration: The Test Case Reengineering Horseshoe Model,” in Information Systems
in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs,
Tallinn, Estonia, 2018, pp. 133–147.'
mla: 'Jovanovikj, Ivan, et al. “Model-Driven Test Case Migration: The Test Case
Reengineering Horseshoe Model.” Information Systems in the Big Data Era - CAiSE
Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs, edited by Jan
Mendling and Haralambos Mouratidis, Springer International Publishing, 2018, pp.
133–47, doi:https://doi.org/10.1007/978-3-319-92901-9_13.'
short: 'I. Jovanovikj, G. Engels, A. Anjorin, S. Sauer, in: J. Mendling, H. Mouratidis
(Eds.), Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia,
June 11-15, 2018, ProceedingIs, Springer International Publishing, Cham, 2018,
pp. 133–147.'
conference:
location: Tallinn, Estonia
name: CAiSE 2018
date_created: 2019-01-16T09:42:41Z
date_updated: 2022-01-06T07:03:17Z
department:
- _id: '66'
- _id: '534'
doi: https://doi.org/10.1007/978-3-319-92901-9_13
editor:
- first_name: Jan
full_name: Mendling, Jan
last_name: Mendling
- first_name: Haralambos
full_name: Mouratidis, Haralambos
last_name: Mouratidis
language:
- iso: eng
page: 133-147
place: Cham
publication: Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn,
Estonia, June 11-15, 2018, ProceedingIs
publication_identifier:
isbn:
- 978-3-319-92901-9
publisher: Springer International Publishing
status: public
title: 'Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model'
type: conference
user_id: '39187'
year: '2018'
...
---
_id: '6828'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Simon
full_name: Doherty, Simon
last_name: Doherty
- first_name: Brijesh
full_name: Dongol, Brijesh
last_name: Dongol
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Oleg
full_name: Travkin, Oleg
last_name: Travkin
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Doherty S, Dongol B, Schellhorn G, Travkin O, Wehrheim H. Mechanized
proofs of opacity: a comparison of two techniques. Formal Asp Comput. 2018;30(5):597-625.
doi:10.1007/s00165-017-0433-3'
apa: 'Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., Travkin, O., & Wehrheim,
H. (2018). Mechanized proofs of opacity: a comparison of two techniques. Formal
Asp. Comput., 30(5), 597–625. https://doi.org/10.1007/s00165-017-0433-3'
bibtex: '@article{Derrick_Doherty_Dongol_Schellhorn_Travkin_Wehrheim_2018, title={Mechanized
proofs of opacity: a comparison of two techniques}, volume={30}, DOI={10.1007/s00165-017-0433-3},
number={5}, journal={Formal Asp. Comput.}, author={Derrick, John and Doherty,
Simon and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim,
Heike}, year={2018}, pages={597–625} }'
chicago: 'Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg
Travkin, and Heike Wehrheim. “Mechanized Proofs of Opacity: A Comparison of Two
Techniques.” Formal Asp. Comput. 30, no. 5 (2018): 597–625. https://doi.org/10.1007/s00165-017-0433-3.'
ieee: 'J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim,
“Mechanized proofs of opacity: a comparison of two techniques,” Formal Asp.
Comput., vol. 30, no. 5, pp. 597–625, 2018.'
mla: 'Derrick, John, et al. “Mechanized Proofs of Opacity: A Comparison of Two Techniques.”
Formal Asp. Comput., vol. 30, no. 5, 2018, pp. 597–625, doi:10.1007/s00165-017-0433-3.'
short: J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, O. Travkin, H. Wehrheim,
Formal Asp. Comput. 30 (2018) 597–625.
date_created: 2019-01-17T08:28:33Z
date_updated: 2022-01-06T07:03:21Z
department:
- _id: '77'
doi: 10.1007/s00165-017-0433-3
intvolume: ' 30'
issue: '5'
language:
- iso: eng
page: 597-625
publication: Formal Asp. Comput.
status: public
title: 'Mechanized proofs of opacity: a comparison of two techniques'
type: journal_article
user_id: '29719'
volume: 30
year: '2018'
...
---
_id: '6836'
author:
- first_name: Simon
full_name: Doherty, Simon
last_name: Doherty
- first_name: Brijesh
full_name: Dongol, Brijesh
last_name: Dongol
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: John
full_name: Derrick, John
last_name: Derrick
citation:
ama: 'Doherty S, Dongol B, Wehrheim H, Derrick J. Making Linearizability Compositional
for Partially Ordered Executions. In: Integrated Formal Methods - 14th International
Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings.
; 2018:110-129. doi:10.1007/978-3-319-98938-9\_7'
apa: Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2018). Making Linearizability
Compositional for Partially Ordered Executions. In Integrated Formal Methods
- 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7,
2018, Proceedings (pp. 110–129). https://doi.org/10.1007/978-3-319-98938-9\_7
bibtex: '@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2018, title={Making Linearizability
Compositional for Partially Ordered Executions}, DOI={10.1007/978-3-319-98938-9\_7},
booktitle={Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings}, author={Doherty, Simon and
Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, year={2018}, pages={110–129}
}'
chicago: Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Making
Linearizability Compositional for Partially Ordered Executions.” In Integrated
Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland,
September 5-7, 2018, Proceedings, 110–29, 2018. https://doi.org/10.1007/978-3-319-98938-9\_7.
ieee: S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Making Linearizability
Compositional for Partially Ordered Executions,” in Integrated Formal Methods
- 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7,
2018, Proceedings, 2018, pp. 110–129.
mla: Doherty, Simon, et al. “Making Linearizability Compositional for Partially
Ordered Executions.” Integrated Formal Methods - 14th International Conference,
{IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp.
110–29, doi:10.1007/978-3-319-98938-9\_7.
short: 'S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: Integrated Formal Methods
- 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7,
2018, Proceedings, 2018, pp. 110–129.'
date_created: 2019-01-17T08:44:13Z
date_updated: 2022-01-06T07:03:21Z
department:
- _id: '77'
doi: 10.1007/978-3-319-98938-9\_7
language:
- iso: eng
page: 110-129
publication: Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings
status: public
title: Making Linearizability Compositional for Partially Ordered Executions
type: conference
user_id: '29719'
year: '2018'
...
---
_id: '6838'
author:
- first_name: Simon
full_name: Doherty, Simon
last_name: Doherty
- first_name: Brijesh
full_name: Dongol, Brijesh
last_name: Dongol
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: John
full_name: Derrick, John
last_name: Derrick
citation:
ama: 'Doherty S, Dongol B, Wehrheim H, Derrick J. Making Linearizability Compositional
for Partially Ordered Executions. In: Integrated Formal Methods - 14th International
Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings.
; 2018:110-129. doi:10.1007/978-3-319-98938-9\_7'
apa: Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2018). Making Linearizability
Compositional for Partially Ordered Executions. In Integrated Formal Methods
- 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7,
2018, Proceedings (pp. 110–129). https://doi.org/10.1007/978-3-319-98938-9\_7
bibtex: '@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2018, title={Making Linearizability
Compositional for Partially Ordered Executions}, DOI={10.1007/978-3-319-98938-9\_7},
booktitle={Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings}, author={Doherty, Simon and
Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, year={2018}, pages={110–129}
}'
chicago: Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Making
Linearizability Compositional for Partially Ordered Executions.” In Integrated
Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland,
September 5-7, 2018, Proceedings, 110–29, 2018. https://doi.org/10.1007/978-3-319-98938-9\_7.
ieee: S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Making Linearizability
Compositional for Partially Ordered Executions,” in Integrated Formal Methods
- 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7,
2018, Proceedings, 2018, pp. 110–129.
mla: Doherty, Simon, et al. “Making Linearizability Compositional for Partially
Ordered Executions.” Integrated Formal Methods - 14th International Conference,
{IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp.
110–29, doi:10.1007/978-3-319-98938-9\_7.
short: 'S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: Integrated Formal Methods
- 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7,
2018, Proceedings, 2018, pp. 110–129.'
date_created: 2019-01-17T08:46:30Z
date_updated: 2022-01-06T07:03:21Z
department:
- _id: '77'
doi: 10.1007/978-3-319-98938-9\_7
language:
- iso: eng
page: 110-129
publication: Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings
status: public
title: Making Linearizability Compositional for Partially Ordered Executions
type: conference
user_id: '29719'
year: '2018'
...
---
_id: '6839'
author:
- first_name: Simon
full_name: Doherty, Simon
last_name: Doherty
- first_name: Brijesh
full_name: Dongol, Brijesh
last_name: Dongol
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: John
full_name: Derrick, John
last_name: Derrick
citation:
ama: 'Doherty S, Dongol B, Wehrheim H, Derrick J. Brief Announcement: Generalising
Concurrent Correctness to Weak Memory. In: 32nd International Symposium on
Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018.
; 2018:45:1-45:3. doi:10.4230/LIPIcs.DISC.2018.45'
apa: 'Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2018). Brief Announcement:
Generalising Concurrent Correctness to Weak Memory. In 32nd International Symposium
on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018
(pp. 45:1-45:3). https://doi.org/10.4230/LIPIcs.DISC.2018.45'
bibtex: '@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2018, title={Brief Announcement:
Generalising Concurrent Correctness to Weak Memory}, DOI={10.4230/LIPIcs.DISC.2018.45},
booktitle={32nd International Symposium on Distributed Computing, {DISC} 2018,
New Orleans, LA, USA, October 15-19, 2018}, author={Doherty, Simon and Dongol,
Brijesh and Wehrheim, Heike and Derrick, John}, year={2018}, pages={45:1-45:3}
}'
chicago: 'Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Brief
Announcement: Generalising Concurrent Correctness to Weak Memory.” In 32nd
International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA,
USA, October 15-19, 2018, 45:1-45:3, 2018. https://doi.org/10.4230/LIPIcs.DISC.2018.45.'
ieee: 'S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Brief Announcement:
Generalising Concurrent Correctness to Weak Memory,” in 32nd International
Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October
15-19, 2018, 2018, pp. 45:1-45:3.'
mla: 'Doherty, Simon, et al. “Brief Announcement: Generalising Concurrent Correctness
to Weak Memory.” 32nd International Symposium on Distributed Computing, {DISC}
2018, New Orleans, LA, USA, October 15-19, 2018, 2018, pp. 45:1-45:3, doi:10.4230/LIPIcs.DISC.2018.45.'
short: 'S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: 32nd International Symposium
on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018,
2018, pp. 45:1-45:3.'
date_created: 2019-01-17T08:54:03Z
date_updated: 2022-01-06T07:03:21Z
department:
- _id: '77'
doi: 10.4230/LIPIcs.DISC.2018.45
language:
- iso: eng
page: 45:1-45:3
publication: 32nd International Symposium on Distributed Computing, {DISC} 2018, New
Orleans, LA, USA, October 15-19, 2018
status: public
title: 'Brief Announcement: Generalising Concurrent Correctness to Weak Memory'
type: conference
user_id: '29719'
year: '2018'
...
---
_id: '6967'
author:
- first_name: Mahdi
full_name: Derakhshanmanesh, Mahdi
last_name: Derakhshanmanesh
- first_name: Jürgen
full_name: Ebert, Jürgen
last_name: Ebert
- first_name: Marvin
full_name: Grieger, Marvin
last_name: Grieger
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Derakhshanmanesh M, Ebert J, Grieger M, Engels G. Model-integrating development
of software systems: a flexible component-based approach. Software & Systems
Modeling. 2018:1-30.'
apa: 'Derakhshanmanesh, M., Ebert, J., Grieger, M., & Engels, G. (2018). Model-integrating
development of software systems: a flexible component-based approach. Software
& Systems Modeling, 1–30.'
bibtex: '@article{Derakhshanmanesh_Ebert_Grieger_Engels_2018, title={Model-integrating
development of software systems: a flexible component-based approach}, journal={Software
& Systems Modeling}, author={Derakhshanmanesh, Mahdi and Ebert, Jürgen and
Grieger, Marvin and Engels, Gregor}, year={2018}, pages={1–30} }'
chicago: 'Derakhshanmanesh, Mahdi, Jürgen Ebert, Marvin Grieger, and Gregor Engels.
“Model-Integrating Development of Software Systems: A Flexible Component-Based
Approach.” Software & Systems Modeling, 2018, 1–30.'
ieee: 'M. Derakhshanmanesh, J. Ebert, M. Grieger, and G. Engels, “Model-integrating
development of software systems: a flexible component-based approach,” Software
& Systems Modeling, pp. 1–30, 2018.'
mla: 'Derakhshanmanesh, Mahdi, et al. “Model-Integrating Development of Software
Systems: A Flexible Component-Based Approach.” Software & Systems Modeling,
2018, pp. 1–30.'
short: M. Derakhshanmanesh, J. Ebert, M. Grieger, G. Engels, Software & Systems
Modeling (2018) 1–30.
date_created: 2019-01-24T09:08:46Z
date_updated: 2022-01-06T07:03:24Z
department:
- _id: '66'
language:
- iso: eng
page: 1-30
publication: Software & Systems Modeling
status: public
title: 'Model-integrating development of software systems: a flexible component-based
approach'
type: journal_article
user_id: '11319'
year: '2018'
...
---
_id: '6970'
abstract:
- lang: eng
text: "Dynamic allocation of resources is a key feature in network function virtualization
(NFV), enabling flexible adjustment of slices and contained network services to
ever-changing service demands. \r\nConsidering resource allocation across the
entire network, many authors have proposed approaches to optimize the placement
and chaining of virtual network function (VNF) instances and the allocation of
resources to these VNF instances. In doing so, various optimization objectives
are conceivable, e.g., minimizing certain required resources or the end-to-end
delay of the placed services.\r\n\r\nIn this paper, we investigate the relationship
between four typical optimization objectives when coordinating the placement and
resource allocation of chained VNF instances. We observe an interesting trade-off
between minimizing the overhead of starting/stopping VNF instances and all other
objectives when adapting to changed service demands."
author:
- first_name: Stefan Balthasar
full_name: Schneider, Stefan Balthasar
id: '35343'
last_name: Schneider
orcid: 0000-0001-8210-4011
- 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
citation:
ama: 'Schneider SB, Dräxler S, Karl H. Trade-offs in Dynamic Resource Allocation
in Network Function Virtualization. In: IEEE Global Communications Conference
(GLOBECOM 2018). IEEE; 2018.'
apa: 'Schneider, S. B., Dräxler, S., & Karl, H. (2018). Trade-offs in Dynamic
Resource Allocation in Network Function Virtualization. In IEEE Global Communications
Conference (GLOBECOM 2018). Abu Dhabi, UAE: IEEE.'
bibtex: '@inproceedings{Schneider_Dräxler_Karl_2018, title={Trade-offs in Dynamic
Resource Allocation in Network Function Virtualization}, booktitle={IEEE Global
Communications Conference (GLOBECOM 2018)}, publisher={IEEE}, author={Schneider,
Stefan Balthasar and Dräxler, Sevil and Karl, Holger}, year={2018} }'
chicago: Schneider, Stefan Balthasar, Sevil Dräxler, and Holger Karl. “Trade-Offs
in Dynamic Resource Allocation in Network Function Virtualization.” In IEEE
Global Communications Conference (GLOBECOM 2018). IEEE, 2018.
ieee: S. B. Schneider, S. Dräxler, and H. Karl, “Trade-offs in Dynamic Resource
Allocation in Network Function Virtualization,” in IEEE Global Communications
Conference (GLOBECOM 2018), Abu Dhabi, UAE, 2018.
mla: Schneider, Stefan Balthasar, et al. “Trade-Offs in Dynamic Resource Allocation
in Network Function Virtualization.” IEEE Global Communications Conference
(GLOBECOM 2018), IEEE, 2018.
short: 'S.B. Schneider, S. Dräxler, H. Karl, in: IEEE Global Communications Conference
(GLOBECOM 2018), IEEE, 2018.'
conference:
location: Abu Dhabi, UAE
name: IEEE Global Communications Conference (GLOBECOM 2018)
date_created: 2019-01-24T13:53:22Z
date_updated: 2022-01-06T07:03:24Z
ddc:
- '040'
department:
- _id: '75'
file:
- access_level: open_access
content_type: application/pdf
creator: stschn
date_created: 2019-01-24T13:53:16Z
date_updated: 2019-01-24T13:53:16Z
file_id: '6971'
file_name: preprint_ris.pdf
file_size: 422196
relation: main_file
file_date_updated: 2019-01-24T13:53:16Z
has_accepted_license: '1'
language:
- iso: eng
oa: '1'
project:
- _id: '28'
grant_number: '761493'
name: 5G Development and validation platform for global industry-specific network
services and Apps
- _id: '1'
name: SFB 901
- _id: '4'
name: SFB 901 - Project Area C
- _id: '16'
name: SFB 901 - Subproject C4
publication: IEEE Global Communications Conference (GLOBECOM 2018)
publisher: IEEE
status: public
title: Trade-offs in Dynamic Resource Allocation in Network Function Virtualization
type: conference
user_id: '35343'
year: '2018'
...
---
_id: '6972'
abstract:
- lang: eng
text: "In recent years, a variety of different approaches\r\nhave been proposed
to tackle the problem of scaling and placing\r\nnetwork services, consisting of
interconnected virtual network\r\nfunctions (VNFs). This paper presents a placement
abstraction\r\nlayer (PAL) that provides a clear and simple northbound interface\r\nfor
using such algorithms while hiding their internal\r\nfunctionality and implementation.
Through its southbound interface,\r\nPAL can connect to different back ends that
evaluate\r\nthe calculated placements, e.g., using simulations, emulations, or\r\ntestbed
approaches. As an example for such evaluation back ends,\r\nwe introduce a novel
placement emulation framework (PEF)\r\nthat allows executing calculated placements
using real, containerbased\r\nVNFs on real-world network topologies. In a case
study,\r\nwe show how PAL and PEF facilitate reusing and evaluating\r\nplacement
algorithms as well as validating their underlying\r\nmodels and performance claims."
author:
- first_name: Stefan Balthasar
full_name: Schneider, Stefan Balthasar
id: '35343'
last_name: Schneider
orcid: 0000-0001-8210-4011
- 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: 'Schneider SB, Peuster M, Karl H. A Generic Emulation Framework for Reusing
and Evaluating VNF Placement Algorithms. In: IEEE Conference on Network Function
Virtualization and Software Defined Networks (NFV-SDN 2018). IEEE; 2018. doi:10.1109/NFV-SDN.2018.8725795'
apa: 'Schneider, S. B., Peuster, M., & Karl, H. (2018). A Generic Emulation
Framework for Reusing and Evaluating VNF Placement Algorithms. In IEEE Conference
on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018).
Verona, Italy: IEEE. https://doi.org/10.1109/NFV-SDN.2018.8725795'
bibtex: '@inproceedings{Schneider_Peuster_Karl_2018, title={A Generic Emulation
Framework for Reusing and Evaluating VNF Placement Algorithms}, DOI={10.1109/NFV-SDN.2018.8725795},
booktitle={IEEE Conference on Network Function Virtualization and Software Defined
Networks (NFV-SDN 2018)}, publisher={IEEE}, author={Schneider, Stefan Balthasar
and Peuster, Manuel and Karl, Holger}, year={2018} }'
chicago: Schneider, Stefan Balthasar, Manuel Peuster, and Holger Karl. “A Generic
Emulation Framework for Reusing and Evaluating VNF Placement Algorithms.” In IEEE
Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN
2018). IEEE, 2018. https://doi.org/10.1109/NFV-SDN.2018.8725795.
ieee: S. B. Schneider, M. Peuster, and H. Karl, “A Generic Emulation Framework for
Reusing and Evaluating VNF Placement Algorithms,” in IEEE Conference on Network
Function Virtualization and Software Defined Networks (NFV-SDN 2018), Verona,
Italy, 2018.
mla: Schneider, Stefan Balthasar, et al. “A Generic Emulation Framework for Reusing
and Evaluating VNF Placement Algorithms.” IEEE Conference on Network Function
Virtualization and Software Defined Networks (NFV-SDN 2018), IEEE, 2018, doi:10.1109/NFV-SDN.2018.8725795.
short: 'S.B. Schneider, M. Peuster, H. Karl, in: IEEE Conference on Network Function
Virtualization and Software Defined Networks (NFV-SDN 2018), IEEE, 2018.'
conference:
location: Verona, Italy
name: IEEE Conference on Network Function Virtualization and Software Defined Networks
(NFV-SDN 2018)
date_created: 2019-01-24T14:10:17Z
date_updated: 2022-01-06T07:03:24Z
ddc:
- '040'
department:
- _id: '75'
doi: 10.1109/NFV-SDN.2018.8725795
file:
- access_level: open_access
content_type: application/pdf
creator: stschn
date_created: 2019-01-24T14:10:08Z
date_updated: 2019-01-24T14:25:23Z
file_id: '6973'
file_name: preprint_ris.pdf
file_size: 468396
relation: main_file
file_date_updated: 2019-01-24T14:25:23Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/abstract/document/8725795
oa: '1'
project:
- _id: '28'
grant_number: '761493'
name: 5G Development and validation platform for global industry-specific network
services and Apps
- _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 Virtualization and Software Defined
Networks (NFV-SDN 2018)
publisher: IEEE
status: public
title: A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms
type: conference
user_id: '35343'
year: '2018'
...
---
_id: '6974'
abstract:
- lang: eng
text: "A key challenge of network function virtualization\r\n(NFV) is the complexity
of developing and deploying new\r\nnetwork services. Currently, development requires
many manual\r\nsteps that are time-consuming and error-prone (e.g., for creating\r\nservice
descriptors). Furthermore, existing management and\r\norchestration (MANO) platforms
only offer limited support of\r\nstandardized descriptor models or package formats,
limiting the\r\nre-usability of network services.\r\n\r\nTo this end, we introduce
a fully integrated, open-source\r\nNFV service development kit (SDK) with multi-MANO
platform\r\nsupport. Our SDK simplifies many NFV service development\r\nsteps
by offering initial generation of descriptors, advanced\r\nproject management,
as well as fully automated packaging and\r\nsubmission for on-boarding. To achieve
multi-platform support,\r\nwe present a package format that extends ETSI’s VNF
package\r\nformat. In this demonstration, we present the end-to-end workflow\r\nto
develop an NFV service that is then packaged for multiple\r\nplatforms, i.e.,
5GTANGO and OSM."
author:
- first_name: Stefan Balthasar
full_name: Schneider, Stefan Balthasar
id: '35343'
last_name: Schneider
orcid: 0000-0001-8210-4011
- first_name: Manuel
full_name: Peuster, Manuel
id: '13271'
last_name: Peuster
- first_name: Wouter
full_name: Tavernier, Wouter
last_name: Tavernier
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
ama: 'Schneider SB, Peuster M, Tavernier W, Karl H. A Fully Integrated Multi-Platform
NFV SDK. In: IEEE Conference on Network Function Virtualization and Software
Defined Networks (NFV-SDN 2018). IEEE; 2018. doi:10.1109/NFV-SDN.2018.8725794'
apa: 'Schneider, S. B., Peuster, M., Tavernier, W., & Karl, H. (2018). A Fully
Integrated Multi-Platform NFV SDK. In IEEE Conference on Network Function Virtualization
and Software Defined Networks (NFV-SDN 2018). Verona, Italy: IEEE. https://doi.org/10.1109/NFV-SDN.2018.8725794'
bibtex: '@inproceedings{Schneider_Peuster_Tavernier_Karl_2018, title={A Fully Integrated
Multi-Platform NFV SDK}, DOI={10.1109/NFV-SDN.2018.8725794},
booktitle={IEEE Conference on Network Function Virtualization and Software Defined
Networks (NFV-SDN 2018)}, publisher={IEEE}, author={Schneider, Stefan Balthasar
and Peuster, Manuel and Tavernier, Wouter and Karl, Holger}, year={2018} }'
chicago: Schneider, Stefan Balthasar, Manuel Peuster, Wouter Tavernier, and Holger
Karl. “A Fully Integrated Multi-Platform NFV SDK.” In IEEE Conference on Network
Function Virtualization and Software Defined Networks (NFV-SDN 2018). IEEE,
2018. https://doi.org/10.1109/NFV-SDN.2018.8725794.
ieee: S. B. Schneider, M. Peuster, W. Tavernier, and H. Karl, “A Fully Integrated
Multi-Platform NFV SDK,” in IEEE Conference on Network Function Virtualization
and Software Defined Networks (NFV-SDN 2018), Verona, Italy, 2018.
mla: Schneider, Stefan Balthasar, et al. “A Fully Integrated Multi-Platform NFV
SDK.” IEEE Conference on Network Function Virtualization and Software Defined
Networks (NFV-SDN 2018), IEEE, 2018, doi:10.1109/NFV-SDN.2018.8725794.
short: 'S.B. Schneider, M. Peuster, W. Tavernier, H. Karl, in: IEEE Conference on
Network Function Virtualization and Software Defined Networks (NFV-SDN 2018),
IEEE, 2018.'
conference:
location: Verona, Italy
name: IEEE Conference on Network Function Virtualization and Software Defined Networks
(NFV-SDN 2018)
date_created: 2019-01-24T14:17:58Z
date_updated: 2022-01-06T07:03:25Z
ddc:
- '040'
department:
- _id: '75'
doi: 10.1109/NFV-SDN.2018.8725794
file:
- access_level: open_access
content_type: application/pdf
creator: stschn
date_created: 2019-01-24T14:17:29Z
date_updated: 2019-01-24T14:26:23Z
file_id: '6975'
file_name: Pre-print.pdf
file_size: 475022
relation: main_file
file_date_updated: 2019-01-24T14:26:23Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/abstract/document/8725794
oa: '1'
project:
- _id: '28'
grant_number: '761493'
name: 5G Development and validation platform for global industry-specific network
services and Apps
- _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 Virtualization and Software Defined
Networks (NFV-SDN 2018)
publisher: IEEE
status: public
title: A Fully Integrated Multi-Platform NFV SDK
type: conference
user_id: '35343'
year: '2018'
...
---
_id: '16937'
author:
- first_name: Jácome
full_name: Cunha, Jácome
last_name: Cunha
- first_name: Joao Paulo
full_name: Fernandes, Joao Paulo
last_name: Fernandes
- first_name: Caitlin
full_name: Kelleher, Caitlin
last_name: Kelleher
- first_name: Jorge
full_name: Mendes, Jorge
last_name: Mendes
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Cunha J, Fernandes JP, Kelleher C, Mendes J, Engels G. 2018 IEEE Symposium
on Visual Languages and Human-Centric Computing (VL/HCC). In: Proceedings of
2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC),
Lisbon, Portugal, October 1-4, 2018. IEEE; 2018. doi:10.1109/vl/hcc43341.2018'
apa: 'Cunha, J., Fernandes, J. P., Kelleher, C., Mendes, J., & Engels, G. (2018).
2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).
In Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018. Lisbon, Portugal:
IEEE. https://doi.org/10.1109/vl/hcc43341.2018'
bibtex: '@inproceedings{Cunha_Fernandes_Kelleher_Mendes_Engels_2018, title={2018
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)}, DOI={10.1109/vl/hcc43341.2018},
booktitle={Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018}, publisher={IEEE}, author={Cunha,
Jácome and Fernandes, Joao Paulo and Kelleher, Caitlin and Mendes, Jorge and Engels,
Gregor}, year={2018} }'
chicago: Cunha, Jácome, Joao Paulo Fernandes, Caitlin Kelleher, Jorge Mendes, and
Gregor Engels. “2018 IEEE Symposium on Visual Languages and Human-Centric Computing
(VL/HCC).” In Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018. IEEE, 2018. https://doi.org/10.1109/vl/hcc43341.2018.
ieee: J. Cunha, J. P. Fernandes, C. Kelleher, J. Mendes, and G. Engels, “2018 IEEE
Symposium on Visual Languages and Human-Centric Computing (VL/HCC),” in Proceedings
of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC),
Lisbon, Portugal, October 1-4, 2018, Lisbon, Portugal, 2018.
mla: Cunha, Jácome, et al. “2018 IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC).” Proceedings of 2018 IEEE Symposium on Visual Languages
and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018,
IEEE, 2018, doi:10.1109/vl/hcc43341.2018.
short: 'J. Cunha, J.P. Fernandes, C. Kelleher, J. Mendes, G. Engels, in: Proceedings
of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC),
Lisbon, Portugal, October 1-4, 2018, IEEE, 2018.'
conference:
end_date: 2018-10-04
location: Lisbon, Portugal
name: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
start_date: 2018-10-01
date_created: 2020-05-05T15:14:04Z
date_updated: 2022-01-06T06:52:59Z
department:
- _id: '66'
doi: 10.1109/vl/hcc43341.2018
language:
- iso: eng
publication: Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018
publication_identifier:
isbn:
- '9781538642351'
publication_status: published
publisher: IEEE
status: public
title: 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
type: conference
user_id: '57458'
year: '2018'
...
---
_id: '16938'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Günter W.
full_name: Maier, Günter W.
last_name: Maier
- first_name: Sonja K.
full_name: Ötting, Sonja K.
last_name: Ötting
- first_name: Eckhard
full_name: Steffen, Eckhard
id: '15548'
last_name: Steffen
- first_name: Alexander
full_name: Teetz, Alexander
last_name: Teetz
citation:
ama: 'Engels G, Maier GW, Ötting SK, Steffen E, Teetz A. Gerechtigkeit in flexiblen
Arbeits- und Managementprozessen. In: Wischmann S, Hartmann EA, eds. Zukunft
Der Arbeit – Eine Praxisnahe Betrachtung. Berlin, Heidelberg: Springer Verlag;
2018:221-231. doi:10.1007/978-3-662-49266-6_16'
apa: 'Engels, G., Maier, G. W., Ötting, S. K., Steffen, E., & Teetz, A. (2018).
Gerechtigkeit in flexiblen Arbeits- und Managementprozessen. In S. Wischmann &
E. A. Hartmann (Eds.), Zukunft der Arbeit – Eine praxisnahe Betrachtung
(pp. 221–231). Berlin, Heidelberg: Springer Verlag. https://doi.org/10.1007/978-3-662-49266-6_16'
bibtex: '@inbook{Engels_Maier_Ötting_Steffen_Teetz_2018, place={Berlin, Heidelberg},
title={Gerechtigkeit in flexiblen Arbeits- und Managementprozessen}, DOI={10.1007/978-3-662-49266-6_16},
booktitle={Zukunft der Arbeit – Eine praxisnahe Betrachtung}, publisher={Springer
Verlag}, author={Engels, Gregor and Maier, Günter W. and Ötting, Sonja K. and
Steffen, Eckhard and Teetz, Alexander}, editor={Wischmann, Steffen and Hartmann,
Ernst AndreasEditors}, year={2018}, pages={221–231} }'
chicago: 'Engels, Gregor, Günter W. Maier, Sonja K. Ötting, Eckhard Steffen, and
Alexander Teetz. “Gerechtigkeit in Flexiblen Arbeits- Und Managementprozessen.”
In Zukunft Der Arbeit – Eine Praxisnahe Betrachtung, edited by Steffen
Wischmann and Ernst Andreas Hartmann, 221–31. Berlin, Heidelberg: Springer Verlag,
2018. https://doi.org/10.1007/978-3-662-49266-6_16.'
ieee: 'G. Engels, G. W. Maier, S. K. Ötting, E. Steffen, and A. Teetz, “Gerechtigkeit
in flexiblen Arbeits- und Managementprozessen,” in Zukunft der Arbeit – Eine
praxisnahe Betrachtung, S. Wischmann and E. A. Hartmann, Eds. Berlin, Heidelberg:
Springer Verlag, 2018, pp. 221–231.'
mla: Engels, Gregor, et al. “Gerechtigkeit in Flexiblen Arbeits- Und Managementprozessen.”
Zukunft Der Arbeit – Eine Praxisnahe Betrachtung, edited by Steffen Wischmann
and Ernst Andreas Hartmann, Springer Verlag, 2018, pp. 221–31, doi:10.1007/978-3-662-49266-6_16.
short: 'G. Engels, G.W. Maier, S.K. Ötting, E. Steffen, A. Teetz, in: S. Wischmann,
E.A. Hartmann (Eds.), Zukunft Der Arbeit – Eine Praxisnahe Betrachtung, Springer
Verlag, Berlin, Heidelberg, 2018, pp. 221–231.'
date_created: 2020-05-05T15:38:22Z
date_updated: 2022-01-06T06:52:59Z
department:
- _id: '66'
doi: 10.1007/978-3-662-49266-6_16
editor:
- first_name: Steffen
full_name: Wischmann, Steffen
last_name: Wischmann
- first_name: Ernst Andreas
full_name: Hartmann, Ernst Andreas
last_name: Hartmann
language:
- iso: eng
page: 221-231
place: Berlin, Heidelberg
publication: Zukunft der Arbeit – Eine praxisnahe Betrachtung
publication_identifier:
isbn:
- '9783662492659'
- '9783662492666'
publication_status: published
publisher: Springer Verlag
status: public
title: Gerechtigkeit in flexiblen Arbeits- und Managementprozessen
type: book_chapter
user_id: '57458'
year: '2018'
...
---
_id: '1043'
abstract:
- lang: eng
text: 'Approximate computing (AC) is an emerging paradigm for energy-efficient computation.
The basic idea of AC is to sacrifice high precision for low energy by allowing
hardware to carry out “approximately correct” calculations. This provides a major
challenge for software quality assurance: programs successfully verified to be
correct might be erroneous on approximate hardware. In this letter, we present
a novel approach for determining under what conditions a software verification
result is valid for approximate hardware. To this end, we compute the allowed
tolerances for AC hardware from successful verification runs. More precisely,
we derive a set of constraints which—when met by the AC hardware—guarantees the
verification result to carry over to AC. On the practical side, we furthermore:
1) show how to extract tolerances from verification runs employing predicate abstraction
as verification technology and 2) show how to check such constraints on hardware
designs. We have implemented all techniques, and exemplify them on example C programs
and a number of recently proposed approximate adders.'
author:
- first_name: Tobias
full_name: Isenberg, Tobias
last_name: Isenberg
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Isenberg T, Jakobs M-C, Pauck F, Wehrheim H. Validity of Software Verification
Results on Approximate Hardware. IEEE Embedded Systems Letters. 2018:22-25.
doi:10.1109/LES.2017.2758200
apa: Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2018). Validity
of Software Verification Results on Approximate Hardware. IEEE Embedded Systems
Letters, 22–25. https://doi.org/10.1109/LES.2017.2758200
bibtex: '@article{Isenberg_Jakobs_Pauck_Wehrheim_2018, title={Validity of Software
Verification Results on Approximate Hardware}, DOI={10.1109/LES.2017.2758200},
journal={IEEE Embedded Systems Letters}, publisher={Institute of Electrical and
Electronics Engineers (IEEE)}, author={Isenberg, Tobias and Jakobs, Marie-Christine
and Pauck, Felix and Wehrheim, Heike}, year={2018}, pages={22–25} }'
chicago: Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim.
“Validity of Software Verification Results on Approximate Hardware.” IEEE Embedded
Systems Letters, 2018, 22–25. https://doi.org/10.1109/LES.2017.2758200.
ieee: T. Isenberg, M.-C. Jakobs, F. Pauck, and H. Wehrheim, “Validity of Software
Verification Results on Approximate Hardware,” IEEE Embedded Systems Letters,
pp. 22–25, 2018.
mla: Isenberg, Tobias, et al. “Validity of Software Verification Results on Approximate
Hardware.” IEEE Embedded Systems Letters, Institute of Electrical and Electronics
Engineers (IEEE), 2018, pp. 22–25, doi:10.1109/LES.2017.2758200.
short: T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, IEEE Embedded Systems Letters
(2018) 22–25.
date_created: 2017-12-11T16:11:00Z
date_updated: 2022-01-06T06:50:39Z
ddc:
- '000'
department:
- _id: '77'
doi: 10.1109/LES.2017.2758200
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T15:27:04Z
date_updated: 2018-11-02T15:27:04Z
file_id: '5303'
file_name: 08053741.pdf
file_size: 523362
relation: main_file
success: 1
file_date_updated: 2018-11-02T15:27:04Z
has_accepted_license: '1'
language:
- iso: eng
page: 22-25
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: IEEE Embedded Systems Letters
publication_identifier:
issn:
- 1943-0663
- 1943-0671
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: Validity of Software Verification Results on Approximate Hardware
type: journal_article
user_id: '477'
year: '2018'
...
---
_id: '1044'
author:
- first_name: Richard
full_name: Leer, Richard
last_name: Leer
citation:
ama: Leer R. Measuring Performance of a Static Analysis Framework with an Application
to Immutability Analysis. Universität Paderborn; 2018.
apa: Leer, R. (2018). Measuring Performance of a Static Analysis Framework with
an application to Immutability Analysis. Universität Paderborn.
bibtex: '@book{Leer_2018, title={Measuring Performance of a Static Analysis Framework
with an application to Immutability Analysis}, publisher={Universität Paderborn},
author={Leer, Richard}, year={2018} }'
chicago: Leer, Richard. Measuring Performance of a Static Analysis Framework
with an Application to Immutability Analysis. Universität Paderborn, 2018.
ieee: R. Leer, Measuring Performance of a Static Analysis Framework with an application
to Immutability Analysis. Universität Paderborn, 2018.
mla: Leer, Richard. Measuring Performance of a Static Analysis Framework with
an Application to Immutability Analysis. Universität Paderborn, 2018.
short: R. Leer, Measuring Performance of a Static Analysis Framework with an Application
to Immutability Analysis, Universität Paderborn, 2018.
date_created: 2017-12-13T07:52:01Z
date_updated: 2022-01-06T06:50:39Z
ddc:
- '000'
department:
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-11-21T06:15:51Z
date_updated: 2018-11-21T06:15:51Z
file_id: '5768'
file_name: ba_leer.pdf
file_size: 1383049
relation: main_file
success: 1
file_date_updated: 2018-11-21T06:15:51Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
title: Measuring Performance of a Static Analysis Framework with an application to
Immutability Analysis
type: bachelorsthesis
user_id: '15504'
year: '2018'
...
---
_id: '1045'
author:
- first_name: Jan Niclas
full_name: Strüwer, Jan Niclas
last_name: Strüwer
citation:
ama: Strüwer JN. Interactive Data Visualization for Exploded Supergraphs.
Universität Paderborn; 2018.
apa: Strüwer, J. N. (2018). Interactive Data Visualization for Exploded Supergraphs.
Universität Paderborn.
bibtex: '@book{Strüwer_2018, title={Interactive Data Visualization for Exploded
Supergraphs}, publisher={Universität Paderborn}, author={Strüwer, Jan Niclas},
year={2018} }'
chicago: Strüwer, Jan Niclas. Interactive Data Visualization for Exploded Supergraphs.
Universität Paderborn, 2018.
ieee: J. N. Strüwer, Interactive Data Visualization for Exploded Supergraphs.
Universität Paderborn, 2018.
mla: Strüwer, Jan Niclas. Interactive Data Visualization for Exploded Supergraphs.
Universität Paderborn, 2018.
short: J.N. Strüwer, Interactive Data Visualization for Exploded Supergraphs, Universität
Paderborn, 2018.
date_created: 2017-12-13T07:53:49Z
date_updated: 2022-01-06T06:50:40Z
ddc:
- '000'
department:
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-11-21T06:14:15Z
date_updated: 2018-11-21T06:14:15Z
file_id: '5767'
file_name: ba_struewer.pdf
file_size: 15839765
relation: main_file
success: 1
file_date_updated: 2018-11-21T06:14:15Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
title: Interactive Data Visualization for Exploded Supergraphs
type: bachelorsthesis
user_id: '15504'
year: '2018'
...
---
_id: '10591'
alternative_title:
- Manifesto from Dagstuhl Perspectives Workshop 16151
citation:
ama: Abiteboul S, Arenas M, Barceló P, et al., eds. Research Directions for Principles
of Data Management. Vol 7.; 2018:1-29.
apa: Abiteboul, S., Arenas, M., Barceló, P., Bienvenu, M., Calvanese, D., David,
C., … Yi, K. (Eds.). (2018). Research Directions for Principles of Data Management
(Vol. 7, pp. 1–29).
bibtex: '@book{Abiteboul_Arenas_Barceló_Bienvenu_Calvanese_David_Hull_Hüllermeier_Kimelfeld_Libkin_et
al._2018, title={Research Directions for Principles of Data Management}, volume={7},
number={1}, year={2018}, pages={1–29} }'
chicago: Abiteboul, S., M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David,
R. Hull, et al., eds. Research Directions for Principles of Data Management.
Vol. 7, 2018.
ieee: S. Abiteboul et al., Eds., Research Directions for Principles of
Data Management, vol. 7, no. 1. 2018, pp. 1–29.
mla: Abiteboul, S., et al., editors. Research Directions for Principles of Data
Management. Vol. 7, no. 1, 2018, pp. 1–29.
short: S. Abiteboul, M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David,
R. Hull, E. Hüllermeier, B. Kimelfeld, L. Libkin, W. Martens, T. Milo, F. Murlak,
F. Neven, M. Ortiz, T. Schwentick, J. Stoyanovich, J. Su, D. Suciu, V. Vianu,
K. Yi, eds., Research Directions for Principles of Data Management, 2018.
date_created: 2019-07-09T15:58:12Z
date_updated: 2022-01-06T06:50:45Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
- _id: '26'
editor:
- first_name: S.
full_name: Abiteboul, S.
last_name: Abiteboul
- first_name: M.
full_name: Arenas, M.
last_name: Arenas
- first_name: P.
full_name: Barceló, P.
last_name: Barceló
- first_name: M.
full_name: Bienvenu, M.
last_name: Bienvenu
- first_name: D.
full_name: Calvanese, D.
last_name: Calvanese
- first_name: C.
full_name: David, C.
last_name: David
- first_name: R.
full_name: Hull, R.
last_name: Hull
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
- first_name: B.
full_name: Kimelfeld, B.
last_name: Kimelfeld
- first_name: L.
full_name: Libkin, L.
last_name: Libkin
- first_name: W.
full_name: Martens, W.
last_name: Martens
- first_name: T.
full_name: Milo, T.
last_name: Milo
- first_name: F.
full_name: Murlak, F.
last_name: Murlak
- first_name: F.
full_name: Neven, F.
last_name: Neven
- first_name: M.
full_name: Ortiz, M.
last_name: Ortiz
- first_name: T.
full_name: Schwentick, T.
last_name: Schwentick
- first_name: J.
full_name: Stoyanovich, J.
last_name: Stoyanovich
- first_name: J.
full_name: Su, J.
last_name: Su
- first_name: D.
full_name: Suciu, D.
last_name: Suciu
- first_name: V.
full_name: Vianu, V.
last_name: Vianu
- first_name: K.
full_name: Yi, K.
last_name: Yi
intvolume: ' 7'
issue: '1'
language:
- iso: eng
page: 1-29
status: public
title: Research Directions for Principles of Data Management
type: conference_editor
user_id: '49109'
volume: 7
year: '2018'
...
---
_id: '10598'
abstract:
- lang: eng
text: "Approximate computing has become a very popular design\r\nstrategy that exploits
error resilient computations to achieve higher\r\nperformance and energy efficiency.
Automated synthesis of approximate\r\ncircuits is performed via functional approximation,
in which various\r\nparts of the target circuit are extensively examined with
a library\r\nof approximate components/transformations to trade off the functional\r\naccuracy
and computational budget (i.e., power). However, as the number\r\nof possible
approximate transformations increases, traditional search\r\ntechniques suffer
from a combinatorial explosion due to the large\r\nbranching factor. In this work,
we present a comprehensive framework\r\nfor automated synthesis of approximate
circuits from either structural\r\nor behavioral descriptions. We adapt the Monte
Carlo Tree Search\r\n(MCTS), as a stochastic search technique, to deal with the
large design\r\nspace exploration, which enables a broader range of potential
possible\r\napproximations through lightweight random simulations. The proposed\r\nframework
is able to recognize the design Pareto set even with low\r\ncomputational budgets.
Experimental results highlight the capabilities of\r\nthe proposed synthesis framework
by resulting in up to 61.69% energy\r\nsaving while maintaining the predefined
quality constraints."
author:
- first_name: Muhammad
full_name: Awais, Muhammad
id: '64665'
last_name: Awais
orcid: https://orcid.org/0000-0003-4148-2969
- first_name: Hassan
full_name: Ghasemzadeh Mohammadi, Hassan
id: '61186'
last_name: Ghasemzadeh Mohammadi
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Awais M, Ghasemzadeh Mohammadi H, Platzner M. An MCTS-based Framework for
Synthesis of Approximate Circuits. In: 26th IFIP/IEEE International Conference
on Very Large Scale Integration (VLSI-SoC). ; 2018:219-224. doi:10.1109/VLSI-SoC.2018.8645026'
apa: Awais, M., Ghasemzadeh Mohammadi, H., & Platzner, M. (2018). An MCTS-based
Framework for Synthesis of Approximate Circuits. In 26th IFIP/IEEE International
Conference on Very Large Scale Integration (VLSI-SoC) (pp. 219–224). https://doi.org/10.1109/VLSI-SoC.2018.8645026
bibtex: '@inproceedings{Awais_Ghasemzadeh Mohammadi_Platzner_2018, title={An MCTS-based
Framework for Synthesis of Approximate Circuits}, DOI={10.1109/VLSI-SoC.2018.8645026},
booktitle={26th IFIP/IEEE International Conference on Very Large Scale Integration
(VLSI-SoC)}, author={Awais, Muhammad and Ghasemzadeh Mohammadi, Hassan and Platzner,
Marco}, year={2018}, pages={219–224} }'
chicago: Awais, Muhammad, Hassan Ghasemzadeh Mohammadi, and Marco Platzner. “An
MCTS-Based Framework for Synthesis of Approximate Circuits.” In 26th IFIP/IEEE
International Conference on Very Large Scale Integration (VLSI-SoC), 219–24,
2018. https://doi.org/10.1109/VLSI-SoC.2018.8645026.
ieee: M. Awais, H. Ghasemzadeh Mohammadi, and M. Platzner, “An MCTS-based Framework
for Synthesis of Approximate Circuits,” in 26th IFIP/IEEE International Conference
on Very Large Scale Integration (VLSI-SoC), 2018, pp. 219–224.
mla: Awais, Muhammad, et al. “An MCTS-Based Framework for Synthesis of Approximate
Circuits.” 26th IFIP/IEEE International Conference on Very Large Scale Integration
(VLSI-SoC), 2018, pp. 219–24, doi:10.1109/VLSI-SoC.2018.8645026.
short: 'M. Awais, H. Ghasemzadeh Mohammadi, M. Platzner, in: 26th IFIP/IEEE International
Conference on Very Large Scale Integration (VLSI-SoC), 2018, pp. 219–224.'
date_created: 2019-07-10T09:21:38Z
date_updated: 2022-01-06T06:50:46Z
department:
- _id: '78'
doi: 10.1109/VLSI-SoC.2018.8645026
keyword:
- Approximate computing
- High-level synthesis
- Accuracy
- Monte-Carlo tree search
- Circuit simulation
language:
- iso: eng
page: 219-224
publication: 26th IFIP/IEEE International Conference on Very Large Scale Integration
(VLSI-SoC)
status: public
title: An MCTS-based Framework for Synthesis of Approximate Circuits
type: conference
user_id: '64665'
year: '2018'
...
---
_id: '10782'
author:
- first_name: Lennart
full_name: Clausing, Lennart
id: '74287'
last_name: Clausing
orcid: 0000-0003-3789-6034
citation:
ama: Clausing L. Development of a Hardware / Software Codesign for Sonification
of LIDAR-Based Sensor Data. Ruhr-University Bochum; 2018.
apa: Clausing, L. (2018). Development of a Hardware / Software Codesign for sonification
of LIDAR-based sensor data. Ruhr-University Bochum.
bibtex: '@book{Clausing_2018, title={Development of a Hardware / Software Codesign
for sonification of LIDAR-based sensor data}, publisher={Ruhr-University Bochum},
author={Clausing, Lennart}, year={2018} }'
chicago: Clausing, Lennart. Development of a Hardware / Software Codesign for
Sonification of LIDAR-Based Sensor Data. Ruhr-University Bochum, 2018.
ieee: L. Clausing, Development of a Hardware / Software Codesign for sonification
of LIDAR-based sensor data. Ruhr-University Bochum, 2018.
mla: Clausing, Lennart. Development of a Hardware / Software Codesign for Sonification
of LIDAR-Based Sensor Data. Ruhr-University Bochum, 2018.
short: L. Clausing, Development of a Hardware / Software Codesign for Sonification
of LIDAR-Based Sensor Data, Ruhr-University Bochum, 2018.
date_created: 2019-07-10T12:13:18Z
date_updated: 2022-01-06T06:50:50Z
department:
- _id: '78'
extern: '1'
language:
- iso: eng
publisher: Ruhr-University Bochum
status: public
title: Development of a Hardware / Software Codesign for sonification of LIDAR-based
sensor data
type: mastersthesis
user_id: '3118'
year: '2018'
...