---
_id: '209'
abstract:
- lang: eng
text: We study a new class of games which generalizes congestion games and its bottleneck
variant. We introduce congestion games with mixed objectives to model network
scenarios in which players seek to optimize for latency and bandwidths alike.
We characterize the existence of pure Nash equilibria (PNE) and the convergence
of improvement dynamics. For games that do not possess PNE we give bounds on the
approximation 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. In:
Proceedings of the 10th Annual International Conference on Combinatorial Optimization
and Applications (COCOA). LNCS. ; 2016:655--669. doi:10.1007/978-3-319-48749-6_47'
apa: Feldotto, M., Leder, L., & Skopalik, A. (2016). Congestion Games with Mixed
Objectives. In Proceedings of the 10th Annual International Conference on Combinatorial
Optimization and Applications (COCOA) (pp. 655--669). https://doi.org/10.1007/978-3-319-48749-6_47
bibtex: '@inproceedings{Feldotto_Leder_Skopalik_2016, series={LNCS}, title={Congestion
Games with Mixed Objectives}, DOI={10.1007/978-3-319-48749-6_47},
booktitle={Proceedings of the 10th Annual International Conference on Combinatorial
Optimization and Applications (COCOA)}, author={Feldotto, Matthias and Leder,
Lennart and Skopalik, Alexander}, year={2016}, pages={655--669}, collection={LNCS}
}'
chicago: Feldotto, Matthias, Lennart Leder, and Alexander Skopalik. “Congestion
Games with Mixed Objectives.” In Proceedings of the 10th Annual International
Conference on Combinatorial Optimization and Applications (COCOA), 655--669.
LNCS, 2016. https://doi.org/10.1007/978-3-319-48749-6_47.
ieee: M. Feldotto, L. Leder, and A. Skopalik, “Congestion Games with Mixed Objectives,”
in Proceedings of the 10th Annual International Conference on Combinatorial
Optimization and Applications (COCOA), 2016, pp. 655--669.
mla: Feldotto, Matthias, et al. “Congestion Games with Mixed Objectives.” Proceedings
of the 10th Annual International Conference on Combinatorial Optimization and
Applications (COCOA), 2016, pp. 655--669, doi:10.1007/978-3-319-48749-6_47.
short: 'M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th Annual International
Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 655--669.'
date_created: 2017-10-17T12:41:32Z
date_updated: 2022-01-06T06:54:41Z
ddc:
- '000'
department:
- _id: '63'
- _id: '541'
doi: 10.1007/978-3-319-48749-6_47
external_id:
arxiv:
- '1607.05143'
file:
- access_level: closed
content_type: application/pdf
creator: feldi
date_created: 2018-10-31T17:03:44Z
date_updated: 2018-10-31T17:03:44Z
file_id: '5233'
file_name: Feldotto2016_Chapter_CongestionGamesWithMixedObject.pdf
file_size: 235739
relation: main_file
success: 1
file_date_updated: 2018-10-31T17:03:44Z
has_accepted_license: '1'
language:
- iso: eng
page: 655--669
project:
- _id: '1'
name: SFB 901
- _id: '7'
name: SFB 901 - Subprojekt A3
- _id: '2'
name: SFB 901 - Project Area A
publication: Proceedings of the 10th Annual International Conference on Combinatorial
Optimization and Applications (COCOA)
series_title: LNCS
status: public
title: Congestion Games with Mixed Objectives
type: conference
user_id: '14052'
year: '2016'
...
---
_id: '18025'
author:
- first_name: Sebastian
full_name: Heuchler, Sebastian
last_name: Heuchler
citation:
ama: 'Heuchler S. Nibbler: Implementing a Turing Machine to Simulate the Busy
Beaver Problem.; 2016.'
apa: 'Heuchler, S. (2016). Nibbler: Implementing a Turing machine to simulate
the Busy Beaver problem.'
bibtex: '@book{Heuchler_2016, title={Nibbler: Implementing a Turing machine to simulate
the Busy Beaver problem}, author={Heuchler, Sebastian}, year={2016} }'
chicago: 'Heuchler, Sebastian. Nibbler: Implementing a Turing Machine to Simulate
the Busy Beaver Problem, 2016.'
ieee: 'S. Heuchler, Nibbler: Implementing a Turing machine to simulate the Busy
Beaver problem. 2016.'
mla: 'Heuchler, Sebastian. Nibbler: Implementing a Turing Machine to Simulate
the Busy Beaver Problem. 2016.'
short: 'S. Heuchler, Nibbler: Implementing a Turing Machine to Simulate the Busy
Beaver Problem, 2016.'
date_created: 2020-08-18T08:38:22Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '79'
language:
- iso: eng
status: public
supervisor:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
title: 'Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem'
type: bachelorsthesis
user_id: '15504'
year: '2016'
...
---
_id: '1835'
author:
- first_name: Stefan
full_name: Schmid, Stefan
last_name: Schmid
- first_name: Chen
full_name: Avin, Chen
last_name: Avin
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Michael
full_name: Borokhovich, Michael
last_name: Borokhovich
- first_name: Bernhard
full_name: Haeupler, Bernhard
last_name: Haeupler
- first_name: Zvi
full_name: Lotker, Zvi
last_name: Lotker
citation:
ama: 'Schmid S, Avin C, Scheideler C, Borokhovich M, Haeupler B, Lotker Z. SplayNet:
Towards Locally Self-Adjusting Networks. IEEE/ACM Trans Netw. 2016;(3):1421--1433.
doi:10.1109/TNET.2015.2410313'
apa: 'Schmid, S., Avin, C., Scheideler, C., Borokhovich, M., Haeupler, B., &
Lotker, Z. (2016). SplayNet: Towards Locally Self-Adjusting Networks. IEEE/ACM
Trans. Netw., (3), 1421--1433. https://doi.org/10.1109/TNET.2015.2410313'
bibtex: '@article{Schmid_Avin_Scheideler_Borokhovich_Haeupler_Lotker_2016, title={SplayNet:
Towards Locally Self-Adjusting Networks}, DOI={10.1109/TNET.2015.2410313},
number={3}, journal={IEEE/ACM Trans. Netw.}, author={Schmid, Stefan and Avin,
Chen and Scheideler, Christian and Borokhovich, Michael and Haeupler, Bernhard
and Lotker, Zvi}, year={2016}, pages={1421--1433} }'
chicago: 'Schmid, Stefan, Chen Avin, Christian Scheideler, Michael Borokhovich,
Bernhard Haeupler, and Zvi Lotker. “SplayNet: Towards Locally Self-Adjusting Networks.”
IEEE/ACM Trans. Netw., no. 3 (2016): 1421--1433. https://doi.org/10.1109/TNET.2015.2410313.'
ieee: 'S. Schmid, C. Avin, C. Scheideler, M. Borokhovich, B. Haeupler, and Z. Lotker,
“SplayNet: Towards Locally Self-Adjusting Networks,” IEEE/ACM Trans. Netw.,
no. 3, pp. 1421--1433, 2016.'
mla: 'Schmid, Stefan, et al. “SplayNet: Towards Locally Self-Adjusting Networks.”
IEEE/ACM Trans. Netw., no. 3, 2016, pp. 1421--1433, doi:10.1109/TNET.2015.2410313.'
short: S. Schmid, C. Avin, C. Scheideler, M. Borokhovich, B. Haeupler, Z. Lotker,
IEEE/ACM Trans. Netw. (2016) 1421--1433.
date_created: 2018-03-27T12:40:24Z
date_updated: 2022-01-06T06:53:29Z
department:
- _id: '79'
doi: 10.1109/TNET.2015.2410313
issue: '3'
page: 1421--1433
publication: IEEE/ACM Trans. Netw.
status: public
title: 'SplayNet: Towards Locally Self-Adjusting Networks'
type: journal_article
user_id: '15504'
year: '2016'
...
---
_id: '1836'
author:
- first_name: Zahra
full_name: Derakhshandeh, Zahra
last_name: Derakhshandeh
- first_name: Robert
full_name: Gmyr, Robert
last_name: Gmyr
- first_name: Alexandra
full_name: Porter, Alexandra
last_name: Porter
- first_name: Andrea
full_name: W. Richa, Andrea
last_name: W. Richa
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Thim Frederik
full_name: Strothmann, Thim Frederik
id: '11319'
last_name: Strothmann
citation:
ama: 'Derakhshandeh Z, Gmyr R, Porter A, W. Richa A, Scheideler C, Strothmann TF.
On the Runtime of Universal Coating for Programmable Matter. In: DNA Computing
and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany,
September 4-8, 2016, Proceedings. Vol 9818. Lecture Notes in Computer Science.
; 2016:148--164. doi:10.1007/978-3-319-43994-5_10'
apa: Derakhshandeh, Z., Gmyr, R., Porter, A., W. Richa, A., Scheideler, C., &
Strothmann, T. F. (2016). On the Runtime of Universal Coating for Programmable
Matter. In DNA Computing and Molecular Programming - 22nd International Conference,
DNA 22, Munich, Germany, September 4-8, 2016, Proceedings (Vol. 9818, pp.
148--164). https://doi.org/10.1007/978-3-319-43994-5_10
bibtex: '@inproceedings{Derakhshandeh_Gmyr_Porter_W. Richa_Scheideler_Strothmann_2016,
series={Lecture Notes in Computer Science}, title={On the Runtime of Universal
Coating for Programmable Matter}, volume={9818}, DOI={10.1007/978-3-319-43994-5_10},
booktitle={DNA Computing and Molecular Programming - 22nd International Conference,
DNA 22, Munich, Germany, September 4-8, 2016, Proceedings}, author={Derakhshandeh,
Zahra and Gmyr, Robert and Porter, Alexandra and W. Richa, Andrea and Scheideler,
Christian and Strothmann, Thim Frederik}, year={2016}, pages={148--164}, collection={Lecture
Notes in Computer Science} }'
chicago: Derakhshandeh, Zahra, Robert Gmyr, Alexandra Porter, Andrea W. Richa, Christian
Scheideler, and Thim Frederik Strothmann. “On the Runtime of Universal Coating
for Programmable Matter.” In DNA Computing and Molecular Programming - 22nd
International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings,
9818:148--164. Lecture Notes in Computer Science, 2016. https://doi.org/10.1007/978-3-319-43994-5_10.
ieee: Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, and T. F.
Strothmann, “On the Runtime of Universal Coating for Programmable Matter,” in
DNA Computing and Molecular Programming - 22nd International Conference, DNA
22, Munich, Germany, September 4-8, 2016, Proceedings, 2016, vol. 9818, pp.
148--164.
mla: Derakhshandeh, Zahra, et al. “On the Runtime of Universal Coating for Programmable
Matter.” DNA Computing and Molecular Programming - 22nd International Conference,
DNA 22, Munich, Germany, September 4-8, 2016, Proceedings, vol. 9818, 2016,
pp. 148--164, doi:10.1007/978-3-319-43994-5_10.
short: 'Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, T.F. Strothmann,
in: DNA Computing and Molecular Programming - 22nd International Conference, DNA
22, Munich, Germany, September 4-8, 2016, Proceedings, 2016, pp. 148--164.'
date_created: 2018-03-27T12:41:45Z
date_updated: 2022-01-06T06:53:30Z
department:
- _id: '79'
doi: 10.1007/978-3-319-43994-5_10
intvolume: ' 9818'
language:
- iso: eng
page: 148--164
publication: DNA Computing and Molecular Programming - 22nd International Conference,
DNA 22, Munich, Germany, September 4-8, 2016, Proceedings
publication_identifier:
unknown:
- 978-3-319-43993-8
series_title: Lecture Notes in Computer Science
status: public
title: On the Runtime of Universal Coating for Programmable Matter
type: conference
user_id: '15504'
volume: 9818
year: '2016'
...
---
_id: '1837'
author:
- first_name: Zahra
full_name: Derakhshandeh, Zahra
last_name: Derakhshandeh
- first_name: Robert
full_name: Gmyr, Robert
last_name: Gmyr
- first_name: Andrea
full_name: W. Richa, Andrea
last_name: W. Richa
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Thim Frederik
full_name: Strothmann, Thim Frederik
id: '11319'
last_name: Strothmann
citation:
ama: 'Derakhshandeh Z, Gmyr R, W. Richa A, Scheideler C, Strothmann TF. Universal
Shape Formation for Programmable Matter. In: Proceedings of the 28th ACM Symposium
on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific
Grove, CA, USA, July 11-13, 2016. ACM; 2016:289--299. doi:10.1145/2935764.2935784'
apa: Derakhshandeh, Z., Gmyr, R., W. Richa, A., Scheideler, C., & Strothmann,
T. F. (2016). Universal Shape Formation for Programmable Matter. In Proceedings
of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA
2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016 (pp. 289--299).
ACM. https://doi.org/10.1145/2935764.2935784
bibtex: '@inproceedings{Derakhshandeh_Gmyr_W. Richa_Scheideler_Strothmann_2016,
title={Universal Shape Formation for Programmable Matter}, DOI={10.1145/2935764.2935784},
booktitle={Proceedings of the 28th ACM Symposium on Parallelism in Algorithms
and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July
11-13, 2016}, publisher={ACM}, author={Derakhshandeh, Zahra and Gmyr, Robert and
W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}, year={2016},
pages={289--299} }'
chicago: Derakhshandeh, Zahra, Robert Gmyr, Andrea W. Richa, Christian Scheideler,
and Thim Frederik Strothmann. “Universal Shape Formation for Programmable Matter.”
In Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures,
SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016,
289--299. ACM, 2016. https://doi.org/10.1145/2935764.2935784.
ieee: Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, and T. F. Strothmann,
“Universal Shape Formation for Programmable Matter,” in Proceedings of the
28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016,
Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, 2016, pp. 289--299.
mla: Derakhshandeh, Zahra, et al. “Universal Shape Formation for Programmable Matter.”
Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures,
SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016,
ACM, 2016, pp. 289--299, doi:10.1145/2935764.2935784.
short: 'Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann,
in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures,
SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, ACM,
2016, pp. 289--299.'
date_created: 2018-03-27T12:44:09Z
date_updated: 2022-01-06T06:53:30Z
department:
- _id: '79'
doi: 10.1145/2935764.2935784
language:
- iso: eng
page: 289--299
publication: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and
Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13,
2016
publication_identifier:
unknown:
- 978-1-4503-4210-0
publisher: ACM
status: public
title: Universal Shape Formation for Programmable Matter
type: conference
user_id: '15504'
year: '2016'
...
---
_id: '184'
abstract:
- lang: eng
text: In this paper, we propose a framework for a class of learning problems that
we refer to as “learning to aggregate”. Roughly, learning-to-aggregate problems
are supervised machine learning problems, in which instances are represented in
the form of a composition of a (variable) number on constituents; such compositions
are associated with an evaluation, score, or label, which is the target of the
prediction task, and which can presumably be modeled in the form of a suitable
aggregation of the properties of its constituents. Our learning-to-aggregate framework
establishes a close connection between machine learning and a branch of mathematics
devoted to the systematic study of aggregation functions. We specifically focus
on a class of functions called uninorms, which combine conjunctive and disjunctive
modes of aggregation. Experimental results for a corresponding model are presented
for a review data set, for which the aggregation problem consists of combining
different reviewer opinions about a paper into an overall decision of acceptance
or rejection.
author:
- first_name: Vitaly
full_name: Melnikov, Vitaly
id: '58747'
last_name: Melnikov
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Melnikov V, Hüllermeier E. Learning to Aggregate Using Uninorms. In: Proceedings
of the Joint European Conference on Machine Learning and Knowledge Discovery in
Databases (ECML/PKDD 2016). LNCS. ; 2016:756-771. doi:10.1007/978-3-319-46227-1_47'
apa: Melnikov, V., & Hüllermeier, E. (2016). Learning to Aggregate Using Uninorms.
In Proceedings of the Joint European Conference on Machine Learning and Knowledge
Discovery in Databases (ECML/PKDD 2016) (pp. 756–771). https://doi.org/10.1007/978-3-319-46227-1_47
bibtex: '@inproceedings{Melnikov_Hüllermeier_2016, series={LNCS}, title={Learning
to Aggregate Using Uninorms}, DOI={10.1007/978-3-319-46227-1_47},
booktitle={Proceedings of the Joint European Conference on Machine Learning and
Knowledge Discovery in Databases (ECML/PKDD 2016)}, author={Melnikov, Vitaly and
Hüllermeier, Eyke}, year={2016}, pages={756–771}, collection={LNCS} }'
chicago: Melnikov, Vitaly, and Eyke Hüllermeier. “Learning to Aggregate Using Uninorms.”
In Proceedings of the Joint European Conference on Machine Learning and Knowledge
Discovery in Databases (ECML/PKDD 2016), 756–71. LNCS, 2016. https://doi.org/10.1007/978-3-319-46227-1_47.
ieee: V. Melnikov and E. Hüllermeier, “Learning to Aggregate Using Uninorms,” in
Proceedings of the Joint European Conference on Machine Learning and Knowledge
Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–771.
mla: Melnikov, Vitaly, and Eyke Hüllermeier. “Learning to Aggregate Using Uninorms.”
Proceedings of the Joint European Conference on Machine Learning and Knowledge
Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–71, doi:10.1007/978-3-319-46227-1_47.
short: 'V. Melnikov, E. Hüllermeier, in: Proceedings of the Joint European Conference
on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 2016,
pp. 756–771.'
date_created: 2017-10-17T12:41:27Z
date_updated: 2022-01-06T06:53:32Z
ddc:
- '040'
department:
- _id: '355'
doi: 10.1007/978-3-319-46227-1_47
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T12:32:44Z
date_updated: 2018-03-21T12:32:44Z
file_id: '1533'
file_name: 184-chp_3A10.1007_2F978-3-319-46227-1_47.pdf
file_size: 472159
relation: main_file
success: 1
file_date_updated: 2018-03-21T12:32:44Z
has_accepted_license: '1'
language:
- iso: eng
page: 756-771
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the Joint European Conference on Machine Learning and
Knowledge Discovery in Databases (ECML/PKDD 2016)
series_title: LNCS
status: public
title: Learning to Aggregate Using Uninorms
type: conference
user_id: '15504'
year: '2016'
...
---
_id: '1844'
citation:
ama: Scheideler C, Gilbert S, eds. Proceedings of the 28th ACM Symposium on Parallelism
in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove,
CA, USA, July 11-13, 2016.; 2016. doi:10.1145/2935764
apa: Scheideler, C., & Gilbert, S. (Eds.). (2016). Proceedings of the 28th
ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar
State Beach/Pacific Grove, CA, USA, July 11-13, 2016. https://doi.org/10.1145/2935764
bibtex: '@book{Scheideler_Gilbert_2016, title={Proceedings of the 28th ACM Symposium
on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific
Grove, CA, USA, July 11-13, 2016}, DOI={10.1145/2935764},
year={2016} }'
chicago: Scheideler, Christian, and Seth Gilbert, eds. Proceedings of the 28th
ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar
State Beach/Pacific Grove, CA, USA, July 11-13, 2016, 2016. https://doi.org/10.1145/2935764.
ieee: C. Scheideler and S. Gilbert, Eds., Proceedings of the 28th ACM Symposium
on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific
Grove, CA, USA, July 11-13, 2016. 2016.
mla: Scheideler, Christian, and Seth Gilbert, editors. Proceedings of the 28th
ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar
State Beach/Pacific Grove, CA, USA, July 11-13, 2016. 2016, doi:10.1145/2935764.
short: C. Scheideler, S. Gilbert, eds., Proceedings of the 28th ACM Symposium on
Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific
Grove, CA, USA, July 11-13, 2016, 2016.
date_created: 2018-03-28T05:44:12Z
date_updated: 2022-01-06T06:53:32Z
department:
- _id: '79'
doi: 10.1145/2935764
editor:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Seth
full_name: Gilbert, Seth
last_name: Gilbert
publication_identifier:
isbn:
- 978-1-4503-4210-0
status: public
title: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures,
SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016
type: conference_editor
user_id: '15504'
year: '2016'
...
---
_id: '1845'
author:
- first_name: Andrea
full_name: W. Richa, Andrea
last_name: W. Richa
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
citation:
ama: 'W. Richa A, Scheideler C. Jamming-Resistant MAC Protocols for Wireless Networks.
In: Encyclopedia of Algorithms. ; 2016:999--1002. doi:10.1007/978-1-4939-2864-4_593'
apa: W. Richa, A., & Scheideler, C. (2016). Jamming-Resistant MAC Protocols
for Wireless Networks. In Encyclopedia of Algorithms (pp. 999--1002). https://doi.org/10.1007/978-1-4939-2864-4_593
bibtex: '@inbook{W. Richa_Scheideler_2016, title={Jamming-Resistant MAC Protocols
for Wireless Networks}, DOI={10.1007/978-1-4939-2864-4_593},
booktitle={Encyclopedia of Algorithms}, author={W. Richa, Andrea and Scheideler,
Christian}, year={2016}, pages={999--1002} }'
chicago: W. Richa, Andrea, and Christian Scheideler. “Jamming-Resistant MAC Protocols
for Wireless Networks.” In Encyclopedia of Algorithms, 999--1002, 2016.
https://doi.org/10.1007/978-1-4939-2864-4_593.
ieee: A. W. Richa and C. Scheideler, “Jamming-Resistant MAC Protocols for Wireless
Networks,” in Encyclopedia of Algorithms, 2016, pp. 999--1002.
mla: W. Richa, Andrea, and Christian Scheideler. “Jamming-Resistant MAC Protocols
for Wireless Networks.” Encyclopedia of Algorithms, 2016, pp. 999--1002,
doi:10.1007/978-1-4939-2864-4_593.
short: 'A. W. Richa, C. Scheideler, in: Encyclopedia of Algorithms, 2016, pp. 999--1002.'
date_created: 2018-03-28T05:45:04Z
date_updated: 2022-01-06T06:53:32Z
department:
- _id: '79'
doi: 10.1007/978-1-4939-2864-4_593
page: 999--1002
publication: Encyclopedia of Algorithms
status: public
title: Jamming-Resistant MAC Protocols for Wireless Networks
type: book_chapter
user_id: '15504'
year: '2016'
...
---
_id: '186'
abstract:
- lang: eng
text: Software verification is an established method to ensure software safety.
Nevertheless, verification still often fails, either because it consumes too much
resources, e.g., time or memory, or the technique is not mature enough to verify
the property. Often then discarding the partial verification, the validation process
proceeds with techniques like testing.To enable standard testing to profit from
previous, partial verification, we use a summary of the verification effort to
simplify the program for subsequent testing. Our techniques use this summary to
construct a residual program which only contains program paths with unproven assertions.
Afterwards, the residual program can be used with standard testing tools.Our first
experiments show that testing profits from the partial verification.The test effort
is reduced and combined verification and testing is faster than a complete verification.
author:
- first_name: Mike
full_name: Czech, Mike
last_name: Czech
- 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, Jakobs M-C, Wehrheim H. Just test what you cannot verify! In: Jens
Knoop UZ, ed. Software Engineering 2016. Lecture Notes in Informatics.
; 2016:17-18.'
apa: Czech, M., Jakobs, M.-C., & Wehrheim, H. (2016). Just test what you cannot
verify! In U. Z. Jens Knoop (Ed.), Software Engineering 2016 (pp. 17–18).
bibtex: '@inproceedings{Czech_Jakobs_Wehrheim_2016, series={Lecture Notes in Informatics},
title={Just test what you cannot verify!}, booktitle={Software Engineering 2016},
author={Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Jens
Knoop, Uwe ZdunEditor}, year={2016}, pages={17–18}, collection={Lecture Notes
in Informatics} }'
chicago: Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What
You Cannot Verify!” In Software Engineering 2016, edited by Uwe Zdun Jens
Knoop, 17–18. Lecture Notes in Informatics, 2016.
ieee: M. Czech, M.-C. Jakobs, and H. Wehrheim, “Just test what you cannot verify!,”
in Software Engineering 2016, 2016, pp. 17–18.
mla: Czech, Mike, et al. “Just Test What You Cannot Verify!” Software Engineering
2016, edited by Uwe Zdun Jens Knoop, 2016, pp. 17–18.
short: 'M. Czech, M.-C. Jakobs, H. Wehrheim, in: U.Z. Jens Knoop (Ed.), Software
Engineering 2016, 2016, pp. 17–18.'
date_created: 2017-10-17T12:41:28Z
date_updated: 2022-01-06T06:53:43Z
ddc:
- '040'
department:
- _id: '77'
editor:
- first_name: Uwe Zdun
full_name: Jens Knoop, Uwe Zdun
last_name: Jens Knoop
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T12:32:11Z
date_updated: 2018-03-21T12:32:11Z
file_id: '1532'
file_name: 186-SEsubmission8.pdf
file_size: 55775
relation: main_file
success: 1
file_date_updated: 2018-03-21T12:32:11Z
has_accepted_license: '1'
language:
- iso: eng
page: 17-18
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Software Engineering 2016
series_title: Lecture Notes in Informatics
status: public
title: Just test what you cannot verify!
type: conference
user_id: '477'
year: '2016'
...
---
_id: '221'
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Klementina
full_name: Josifovska, Klementina
last_name: Josifovska
- first_name: Lorijn
full_name: van Rooijen, Lorijn
id: '58843'
last_name: van Rooijen
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: Platenius MC, Josifovska K, van Rooijen L, et al. An Overview of Service
Specification Language and Matching in On-The-Fly Computing (v0.3). Universität
Paderborn; 2016.
apa: Platenius, M. C., Josifovska, K., van Rooijen, L., Arifulina, S., Becker, M.,
Engels, G., & Schäfer, W. (2016). An Overview of Service Specification
Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn.
bibtex: '@book{Platenius_Josifovska_van Rooijen_Arifulina_Becker_Engels_Schäfer_2016,
title={An Overview of Service Specification Language and Matching in On-The-Fly
Computing (v0.3)}, publisher={Universität Paderborn}, author={Platenius, Marie
Christin and Josifovska, Klementina and van Rooijen, Lorijn and Arifulina, Svetlana
and Becker, Matthias and Engels, Gregor and Schäfer, Wilhelm}, year={2016} }'
chicago: Platenius, Marie Christin, Klementina Josifovska, Lorijn van Rooijen, Svetlana
Arifulina, Matthias Becker, Gregor Engels, and Wilhelm Schäfer. An Overview
of Service Specification Language and Matching in On-The-Fly Computing (v0.3).
Universität Paderborn, 2016.
ieee: M. C. Platenius et al., An Overview of Service Specification Language
and Matching in On-The-Fly Computing (v0.3). Universität Paderborn, 2016.
mla: Platenius, Marie Christin, et al. An Overview of Service Specification Language
and Matching in On-The-Fly Computing (v0.3). Universität Paderborn, 2016.
short: M.C. Platenius, K. Josifovska, L. van Rooijen, S. Arifulina, M. Becker, G.
Engels, W. Schäfer, An Overview of Service Specification Language and Matching
in On-The-Fly Computing (v0.3), Universität Paderborn, 2016.
date_created: 2017-10-17T12:41:35Z
date_updated: 2022-01-06T06:55:25Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T10:36:37Z
date_updated: 2018-03-21T10:36:37Z
file_id: '1512'
file_name: 221-SFB_SSL_Techreport.pdf
file_size: 6498677
relation: main_file
success: 1
file_date_updated: 2018-03-21T10:36:37Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '11'
name: SFB 901 - Subproject B3
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: An Overview of Service Specification Language and Matching in On-The-Fly Computing
(v0.3)
type: report
user_id: '477'
year: '2016'
...
---
_id: '222'
abstract:
- lang: eng
text: Virtual field programmable gate arrays (FPGA) are overlay architectures realized
on top of physical FPGAs. They are proposed to enhance or abstract away from the
physical FPGA for experimenting with novel architectures and design tool flows.
In this paper, we present an embedding of a ZUMA-based virtual FPGA fabric into
a complete configurable system-on-chip. Such an embedding is required to fully
harness the potential of virtual FPGAs, in particular to give the virtual circuits
access to main memory and operating system services, and to enable a concurrent
operation of virtualized and non-virtualized circuitry. We discuss our extension
to ZUMA and its embedding into the ReconOS operating system for hardware/software
systems. Furthermore, we present an open source tool flow to synthesize configurations
for the virtual FPGA, along with an analysis of the area and delay overheads involved.
author:
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
- first_name: Arne
full_name: Bockhorn, Arne
last_name: Bockhorn
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: Wiersema T, Bockhorn A, Platzner M. An Architecture and Design Tool Flow for
Embedding a Virtual FPGA into a Reconfigurable System-on-Chip. Computers &
Electrical Engineering. 2016:112--122. doi:10.1016/j.compeleceng.2016.04.005
apa: Wiersema, T., Bockhorn, A., & Platzner, M. (2016). An Architecture and
Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip.
Computers & Electrical Engineering, 112--122. https://doi.org/10.1016/j.compeleceng.2016.04.005
bibtex: '@article{Wiersema_Bockhorn_Platzner_2016, title={An Architecture and Design
Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip},
DOI={10.1016/j.compeleceng.2016.04.005},
journal={Computers & Electrical Engineering}, publisher={Elsevier}, author={Wiersema,
Tobias and Bockhorn, Arne and Platzner, Marco}, year={2016}, pages={112--122}
}'
chicago: Wiersema, Tobias, Arne Bockhorn, and Marco Platzner. “An Architecture and
Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip.”
Computers & Electrical Engineering, 2016, 112--122. https://doi.org/10.1016/j.compeleceng.2016.04.005.
ieee: T. Wiersema, A. Bockhorn, and M. Platzner, “An Architecture and Design Tool
Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip,” Computers
& Electrical Engineering, pp. 112--122, 2016.
mla: Wiersema, Tobias, et al. “An Architecture and Design Tool Flow for Embedding
a Virtual FPGA into a Reconfigurable System-on-Chip.” Computers & Electrical
Engineering, Elsevier, 2016, pp. 112--122, doi:10.1016/j.compeleceng.2016.04.005.
short: T. Wiersema, A. Bockhorn, M. Platzner, Computers & Electrical Engineering
(2016) 112--122.
date_created: 2017-10-17T12:41:35Z
date_updated: 2022-01-06T06:55:29Z
ddc:
- '040'
department:
- _id: '78'
doi: 10.1016/j.compeleceng.2016.04.005
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T10:36:08Z
date_updated: 2018-03-21T10:36:08Z
file_id: '1511'
file_name: 222-1-s2.0-S0045790616300684-main.pdf
file_size: 931048
relation: main_file
success: 1
file_date_updated: 2018-03-21T10:36:08Z
has_accepted_license: '1'
language:
- iso: eng
page: 112--122
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Computers & Electrical Engineering
publisher: Elsevier
status: public
title: An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable
System-on-Chip
type: journal_article
user_id: '477'
year: '2016'
...
---
_id: '223'
abstract:
- lang: eng
text: We consider the problem of aggregation in overlay networks. We use a synchronous
time model in which each node has polylogarithmic memory and can send at most
a polylogarithmic number of messages per round. We investigate how to quickly
compute the result of an aggregate functionf over elements that are distributed
among the nodes of the network such that the result is eventually known by a selected
root node. We show how to compute distributive aggregate functions such as SUM,
MAX, and OR in time $O(\log n / \log\log n)$ using a tree that is created in a
pre-processing phase. If only a polylogarithmic number of data items need to be
aggregated, we show how to compute the result in time $O(\sqrt{\log n / \log\log
n})$. Furthermore, we show how to compute holistic aggregate functions such as
DISTINCT, SMALLEST(k) and MODE(k) in time $O(\log n / \log\log n)$. Finally, we
show a lower bound of $\Omega(\sqrt{\log n / \log\log n})$ for deterministic algorithms
that compute any of the aggregate functions in the scope of the thesis.
author:
- first_name: Kristian
full_name: Hinnenthal, Kristian
id: '32229'
last_name: Hinnenthal
citation:
ama: Hinnenthal K. Aggregation in Overlay Networks. Universität Paderborn;
2016.
apa: Hinnenthal, K. (2016). Aggregation in Overlay Networks. Universität
Paderborn.
bibtex: '@book{Hinnenthal_2016, title={Aggregation in Overlay Networks}, publisher={Universität
Paderborn}, author={Hinnenthal, Kristian}, year={2016} }'
chicago: Hinnenthal, Kristian. Aggregation in Overlay Networks. Universität
Paderborn, 2016.
ieee: K. Hinnenthal, Aggregation in Overlay Networks. Universität Paderborn,
2016.
mla: Hinnenthal, Kristian. Aggregation in Overlay Networks. Universität Paderborn,
2016.
short: K. Hinnenthal, Aggregation in Overlay Networks, Universität Paderborn, 2016.
date_created: 2017-10-17T12:41:35Z
date_updated: 2022-01-06T06:55:30Z
ddc:
- '040'
department:
- _id: '79'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T10:35:39Z
date_updated: 2018-03-21T10:35:39Z
file_id: '1510'
file_name: 223-MasterarbeitHinnenthal.pdf
file_size: 1127144
relation: main_file
success: 1
file_date_updated: 2018-03-21T10:35:39Z
has_accepted_license: '1'
language:
- iso: eng
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: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
title: Aggregation in Overlay Networks
type: mastersthesis
user_id: '15504'
year: '2016'
...
---
_id: '224'
abstract:
- lang: eng
text: In modern software development, paradigms like component-based software engineering
(CBSE) and service-oriented architectures (SOA) emphasize the construction of
large software systems out of existing components or services. Therein, a service
is a self-contained piece of software, which adheres to a specified interface.
In a model-based software design, this interface constitutes our sole knowledge
of the service at design time, while service implementations are not available.
Therefore, correctness checks or detection of potential errors in service compositions
has to be carried out without the possibility of executing services. This challenges
the usage of standard software error localization techniques for service compositions.
In this paper, we review state-of-the-art approaches for error localization of
software and discuss their applicability to service compositions.
author:
- first_name: Julia
full_name: Krämer, Julia
last_name: Krämer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Krämer J, Wehrheim H. A short survey on using software error localization
for service compositions. In: Proceedings of the 5th European Conference on
Service-Oriented and Cloud Computing (ESOCC 2016). LNCS. ; 2016:248--262.
doi:10.1007/978-3-319-44482-6_16'
apa: Krämer, J., & Wehrheim, H. (2016). A short survey on using software error
localization for service compositions. In Proceedings of the 5th European Conference
on Service-Oriented and Cloud Computing (ESOCC 2016) (pp. 248--262). https://doi.org/10.1007/978-3-319-44482-6_16
bibtex: '@inproceedings{Krämer_Wehrheim_2016, series={LNCS}, title={A short survey
on using software error localization for service compositions}, DOI={10.1007/978-3-319-44482-6_16},
booktitle={Proceedings of the 5th European Conference on Service-Oriented and
Cloud Computing (ESOCC 2016)}, author={Krämer, Julia and Wehrheim, Heike}, year={2016},
pages={248--262}, collection={LNCS} }'
chicago: Krämer, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error
Localization for Service Compositions.” In Proceedings of the 5th European
Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 248--262.
LNCS, 2016. https://doi.org/10.1007/978-3-319-44482-6_16.
ieee: J. Krämer and H. Wehrheim, “A short survey on using software error localization
for service compositions,” in Proceedings of the 5th European Conference on
Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262.
mla: Krämer, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error
Localization for Service Compositions.” Proceedings of the 5th European Conference
on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262,
doi:10.1007/978-3-319-44482-6_16.
short: 'J. Krämer, H. Wehrheim, in: Proceedings of the 5th European Conference on
Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262.'
date_created: 2017-10-17T12:41:35Z
date_updated: 2022-01-06T06:55:32Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-319-44482-6_16
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T10:35:04Z
date_updated: 2018-03-21T10:35:04Z
file_id: '1509'
file_name: 224-chp_3A10.1007_2F978-3-319-44482-6_16.pdf
file_size: 389042
relation: main_file
success: 1
file_date_updated: 2018-03-21T10:35:04Z
has_accepted_license: '1'
language:
- iso: eng
page: 248--262
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 5th European Conference on Service-Oriented and Cloud
Computing (ESOCC 2016)
series_title: LNCS
status: public
title: A short survey on using software error localization for service compositions
type: conference
user_id: '477'
year: '2016'
...
---
_id: '226'
abstract:
- lang: eng
text: Error detection, localization and correction are time-intensive tasks in software
development, but crucial to deliver functionally correct products. Thus, automated
approaches to these tasks have been intensively studied for standard software
systems. For model-based software systems, the situation is different. While error
detection is still well-studied, error localization and correction is a less-studied
domain. In this paper, we examine error localization and correction for models
of service compositions. Based on formal definitions of error and correction in
this context, we show that the classical approach of error localization and correction,
i.e. first determining a set of suspicious statements and then proposing changes
to these statements, is ineffective in our context. In fact, it lessens the chance
to succeed in finding a correction at all.In this paper, we introduce correction
proposal as a novel approach on error correction in service compositions integrating
error localization and correction in one combined step. In addition, we provide
an algorithm to compute such correction proposals automatically.
author:
- first_name: Julia
full_name: Krämer, Julia
last_name: Krämer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Krämer J, Wehrheim H. A Formal Approach to Error Localization and Correction
in Service Compositions. In: Proceedings of the 1st International Workshop
on Formal to Practical Software Verification and Composition (VeryComp 2016).
LNCS. ; 2016:445--457. doi:10.1007/978-3-319-50230-4_35'
apa: Krämer, J., & Wehrheim, H. (2016). A Formal Approach to Error Localization
and Correction in Service Compositions. In Proceedings of the 1st International
Workshop on Formal to Practical Software Verification and Composition (VeryComp
2016) (pp. 445--457). https://doi.org/10.1007/978-3-319-50230-4_35
bibtex: '@inproceedings{Krämer_Wehrheim_2016, series={LNCS}, title={A Formal Approach
to Error Localization and Correction in Service Compositions}, DOI={10.1007/978-3-319-50230-4_35},
booktitle={Proceedings of the 1st International Workshop on Formal to Practical
Software Verification and Composition (VeryComp 2016)}, author={Krämer, Julia
and Wehrheim, Heike}, year={2016}, pages={445--457}, collection={LNCS} }'
chicago: Krämer, Julia, and Heike Wehrheim. “A Formal Approach to Error Localization
and Correction in Service Compositions.” In Proceedings of the 1st International
Workshop on Formal to Practical Software Verification and Composition (VeryComp
2016), 445--457. LNCS, 2016. https://doi.org/10.1007/978-3-319-50230-4_35.
ieee: J. Krämer and H. Wehrheim, “A Formal Approach to Error Localization and Correction
in Service Compositions,” in Proceedings of the 1st International Workshop
on Formal to Practical Software Verification and Composition (VeryComp 2016),
2016, pp. 445--457.
mla: Krämer, Julia, and Heike Wehrheim. “A Formal Approach to Error Localization
and Correction in Service Compositions.” Proceedings of the 1st International
Workshop on Formal to Practical Software Verification and Composition (VeryComp
2016), 2016, pp. 445--457, doi:10.1007/978-3-319-50230-4_35.
short: 'J. Krämer, H. Wehrheim, in: Proceedings of the 1st International Workshop
on Formal to Practical Software Verification and Composition (VeryComp 2016),
2016, pp. 445--457.'
date_created: 2017-10-17T12:41:36Z
date_updated: 2022-01-06T06:55:37Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-319-50230-4_35
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T10:34:08Z
date_updated: 2018-03-21T10:34:08Z
file_id: '1507'
file_name: 226-chp_3A10.1007_2F978-3-319-50230-4_35.pdf
file_size: 492018
relation: main_file
success: 1
file_date_updated: 2018-03-21T10:34:08Z
has_accepted_license: '1'
language:
- iso: eng
page: 445--457
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 1st International Workshop on Formal to Practical
Software Verification and Composition (VeryComp 2016)
series_title: LNCS
status: public
title: A Formal Approach to Error Localization and Correction in Service Compositions
type: conference
user_id: '477'
year: '2016'
...
---
_id: '227'
abstract:
- lang: eng
text: Information flow analysis studies the flow of data between program entities
(e.g. variables), where the allowed flow is specified via security policies. Typical
information flow analyses compute a conservative (over-)approximation of the flows
in a program. Such an analysis may thus signal non-existing violations of the
security policy.In this paper, we propose a new technique for inspecting the reported
violations (counterexamples) for spuriousity. Similar to counterexample-guided-abstraction-refinement
(CEGAR) in software verification, we use the result of this inspection to improve
the next round of the analysis. We prove soundness of this scheme.
author:
- first_name: Manuel
full_name: Töws, Manuel
id: '11315'
last_name: Töws
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Töws M, Wehrheim H. A CEGAR Scheme for Information Flow Analysis. In: Proceedings
of the 18th International Conference on Formal Engineering Methods (ICFEM 2016).
LNCS. ; 2016:466--483. doi:10.1007/978-3-319-47846-3_29'
apa: Töws, M., & Wehrheim, H. (2016). A CEGAR Scheme for Information Flow Analysis.
In Proceedings of the 18th International Conference on Formal Engineering Methods
(ICFEM 2016) (pp. 466--483). https://doi.org/10.1007/978-3-319-47846-3_29
bibtex: '@inproceedings{Töws_Wehrheim_2016, series={LNCS}, title={A CEGAR Scheme
for Information Flow Analysis}, DOI={10.1007/978-3-319-47846-3_29},
booktitle={Proceedings of the 18th International Conference on Formal Engineering
Methods (ICFEM 2016)}, author={Töws, Manuel and Wehrheim, Heike}, year={2016},
pages={466--483}, collection={LNCS} }'
chicago: Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow
Analysis.” In Proceedings of the 18th International Conference on Formal Engineering
Methods (ICFEM 2016), 466--483. LNCS, 2016. https://doi.org/10.1007/978-3-319-47846-3_29.
ieee: M. Töws and H. Wehrheim, “A CEGAR Scheme for Information Flow Analysis,” in
Proceedings of the 18th International Conference on Formal Engineering Methods
(ICFEM 2016), 2016, pp. 466--483.
mla: Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow Analysis.”
Proceedings of the 18th International Conference on Formal Engineering Methods
(ICFEM 2016), 2016, pp. 466--483, doi:10.1007/978-3-319-47846-3_29.
short: 'M. Töws, H. Wehrheim, in: Proceedings of the 18th International Conference
on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.'
date_created: 2017-10-17T12:41:36Z
date_updated: 2022-01-06T06:55:39Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-319-47846-3_29
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T10:33:38Z
date_updated: 2018-03-21T10:33:38Z
file_id: '1506'
file_name: 227-chp_3A10.1007_2F978-3-319-47846-3_29.pdf
file_size: 682849
relation: main_file
success: 1
file_date_updated: 2018-03-21T10:33:38Z
has_accepted_license: '1'
language:
- iso: eng
page: 466--483
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 18th International Conference on Formal Engineering
Methods (ICFEM 2016)
series_title: LNCS
status: public
title: A CEGAR Scheme for Information Flow Analysis
type: conference
user_id: '477'
year: '2016'
...
---
_id: '22870'
author:
- first_name: Daniel
full_name: Röltgen, Daniel
last_name: Röltgen
- first_name: Harald
full_name: Anacker, Harald
last_name: Anacker
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Röltgen D, Anacker H, Dumitrescu R. Einsatz- und Nutzenpotentiale von Augmented
Reality im Kontext von Industrie 4.0. In: VDE Kongress 2016 Internet of Things,
Mannheim, Deutschland, 7. - 8. Nov. 2016. ; 2016.'
apa: Röltgen, D., Anacker, H., & Dumitrescu, R. (2016). Einsatz- und Nutzenpotentiale
von Augmented Reality im Kontext von Industrie 4.0. In VDE Kongress 2016 Internet
of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016.
bibtex: '@inproceedings{Röltgen_Anacker_Dumitrescu_2016, title={Einsatz- und Nutzenpotentiale
von Augmented Reality im Kontext von Industrie 4.0}, booktitle={VDE Kongress 2016
Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016}, author={Röltgen,
Daniel and Anacker, Harald and Dumitrescu, Roman}, year={2016} }'
chicago: Röltgen, Daniel, Harald Anacker, and Roman Dumitrescu. “Einsatz- und Nutzenpotentiale
von Augmented Reality im Kontext von Industrie 4.0.” In VDE Kongress 2016 Internet
of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016, 2016.
ieee: D. Röltgen, H. Anacker, and R. Dumitrescu, “Einsatz- und Nutzenpotentiale
von Augmented Reality im Kontext von Industrie 4.0,” in VDE Kongress 2016 Internet
of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016, 2016.
mla: Röltgen, Daniel, et al. “Einsatz- und Nutzenpotentiale von Augmented Reality
im Kontext von Industrie 4.0.” VDE Kongress 2016 Internet of Things, Mannheim,
Deutschland, 7. - 8. Nov. 2016, 2016.
short: 'D. Röltgen, H. Anacker, R. Dumitrescu, in: VDE Kongress 2016 Internet of
Things, Mannheim, Deutschland, 7. - 8. Nov. 2016, 2016.'
date_created: 2021-07-28T09:34:15Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: ger
publication: VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8.
Nov. 2016
status: public
title: Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie
4.0
type: conference
user_id: '21240'
year: '2016'
...
---
_id: '22871'
author:
- first_name: Tommy
full_name: Falkowski, Tommy
last_name: Falkowski
- first_name: Christian
full_name: Fechtelpeter, Christian
last_name: Fechtelpeter
- first_name: Christoph
full_name: Peitz, Christoph
last_name: Peitz
- first_name: Arno
full_name: Kühn, Arno
last_name: Kühn
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Falkowski T, Fechtelpeter C, Peitz C, Kühn A, Dumitrescu R. Einsatz von Leuchten
zur Standortbestimmung in der Produktion. In: VDE Kongress 2016, 7. - 8. Nov.
2016. ; 2016.'
apa: Falkowski, T., Fechtelpeter, C., Peitz, C., Kühn, A., & Dumitrescu, R.
(2016). Einsatz von Leuchten zur Standortbestimmung in der Produktion. In VDE
Kongress 2016, 7. - 8. Nov. 2016.
bibtex: '@inproceedings{Falkowski_Fechtelpeter_Peitz_Kühn_Dumitrescu_2016, title={
Einsatz von Leuchten zur Standortbestimmung in der Produktion}, booktitle={VDE
Kongress 2016, 7. - 8. Nov. 2016}, author={Falkowski, Tommy and Fechtelpeter,
Christian and Peitz, Christoph and Kühn, Arno and Dumitrescu, Roman}, year={2016}
}'
chicago: Falkowski, Tommy, Christian Fechtelpeter, Christoph Peitz, Arno Kühn, and
Roman Dumitrescu. “ Einsatz von Leuchten zur Standortbestimmung in der Produktion.”
In VDE Kongress 2016, 7. - 8. Nov. 2016, 2016.
ieee: T. Falkowski, C. Fechtelpeter, C. Peitz, A. Kühn, and R. Dumitrescu, “ Einsatz
von Leuchten zur Standortbestimmung in der Produktion,” in VDE Kongress 2016,
7. - 8. Nov. 2016, 2016.
mla: Falkowski, Tommy, et al. “ Einsatz von Leuchten zur Standortbestimmung in der
Produktion.” VDE Kongress 2016, 7. - 8. Nov. 2016, 2016.
short: 'T. Falkowski, C. Fechtelpeter, C. Peitz, A. Kühn, R. Dumitrescu, in: VDE
Kongress 2016, 7. - 8. Nov. 2016, 2016.'
date_created: 2021-07-28T09:36:50Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: ger
publication: VDE Kongress 2016, 7. - 8. Nov. 2016
status: public
title: ' Einsatz von Leuchten zur Standortbestimmung in der Produktion'
type: conference
user_id: '21240'
year: '2016'
...
---
_id: '22872'
author:
- first_name: Matthias
full_name: Westermann, Matthias
last_name: Westermann
- first_name: Harald
full_name: Anacker, Harald
last_name: Anacker
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
- first_name: Anja Maria
full_name: Czaja, Anja Maria
last_name: Czaja
citation:
ama: 'Westermann M, Anacker H, Dumitrescu R, Czaja AM. Reference Architecture and
Maturity Levels for Cyber-Physical Systems. In: 2nd IEEE International Symposium
on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016. ; 2016.'
apa: Westermann, M., Anacker, H., Dumitrescu, R., & Czaja, A. M. (2016). Reference
Architecture and Maturity Levels for Cyber-Physical Systems. In 2nd IEEE International
Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016.
bibtex: '@inproceedings{Westermann_Anacker_Dumitrescu_Czaja_2016, title={Reference
Architecture and Maturity Levels for Cyber-Physical Systems}, booktitle={2nd IEEE
International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. -
5. Okt. 2016}, author={Westermann, Matthias and Anacker, Harald and Dumitrescu,
Roman and Czaja, Anja Maria}, year={2016} }'
chicago: Westermann, Matthias, Harald Anacker, Roman Dumitrescu, and Anja Maria
Czaja. “Reference Architecture and Maturity Levels for Cyber-Physical Systems.”
In 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh,
Scotland, 4. - 5. Okt. 2016, 2016.
ieee: M. Westermann, H. Anacker, R. Dumitrescu, and A. M. Czaja, “Reference Architecture
and Maturity Levels for Cyber-Physical Systems,” in 2nd IEEE International
Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016,
2016.
mla: Westermann, Matthias, et al. “Reference Architecture and Maturity Levels for
Cyber-Physical Systems.” 2nd IEEE International Symposium on Systems Engineering
2016, Edinburgh, Scotland, 4. - 5. Okt. 2016, 2016.
short: 'M. Westermann, H. Anacker, R. Dumitrescu, A.M. Czaja, in: 2nd IEEE International
Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016,
2016.'
date_created: 2021-07-28T09:44:26Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: eng
publication: 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh,
Scotland, 4. - 5. Okt. 2016
status: public
title: Reference Architecture and Maturity Levels for Cyber-Physical Systems
type: conference
user_id: '21240'
year: '2016'
...
---
_id: '22873'
author:
- first_name: Christian
full_name: Fechtelpeter, Christian
last_name: Fechtelpeter
- first_name: Christoph
full_name: Jürgenhake, Christoph
last_name: Jürgenhake
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
- first_name: Thomas
full_name: Mager, Thomas
last_name: Mager
- first_name: Karl-Peter
full_name: Fritz, Karl-Peter
last_name: Fritz
- first_name: Tobias
full_name: Grötzinger, Tobias
last_name: Grötzinger
- first_name: Hagen
full_name: Müller, Hagen
last_name: Müller
- first_name: Paul
full_name: Wild, Paul
last_name: Wild
- first_name: Andre
full_name: Zimmermann, Andre
last_name: Zimmermann
citation:
ama: 'Fechtelpeter C, Jürgenhake C, Dumitrescu R, et al. Reliability in MID - barriers,
potentials, fields of action. In: 12th International Congress on Molded Interconnect
Devices, Conference Proceedings , 28. - 30. Sep. 2016. ; 2016.'
apa: Fechtelpeter, C., Jürgenhake, C., Dumitrescu, R., Mager, T., Fritz, K.-P.,
Grötzinger, T., … Zimmermann, A. (2016). Reliability in MID - barriers, potentials,
fields of action. In 12th International Congress on Molded Interconnect Devices,
Conference Proceedings , 28. - 30. Sep. 2016.
bibtex: '@inproceedings{Fechtelpeter_Jürgenhake_Dumitrescu_Mager_Fritz_Grötzinger_Müller_Wild_Zimmermann_2016,
title={Reliability in MID - barriers, potentials, fields of action}, booktitle={12th
International Congress on Molded Interconnect Devices, Conference Proceedings
, 28. - 30. Sep. 2016}, author={Fechtelpeter, Christian and Jürgenhake, Christoph
and Dumitrescu, Roman and Mager, Thomas and Fritz, Karl-Peter and Grötzinger,
Tobias and Müller, Hagen and Wild, Paul and Zimmermann, Andre}, year={2016} }'
chicago: Fechtelpeter, Christian, Christoph Jürgenhake, Roman Dumitrescu, Thomas
Mager, Karl-Peter Fritz, Tobias Grötzinger, Hagen Müller, Paul Wild, and Andre
Zimmermann. “Reliability in MID - Barriers, Potentials, Fields of Action.” In
12th International Congress on Molded Interconnect Devices, Conference Proceedings
, 28. - 30. Sep. 2016, 2016.
ieee: C. Fechtelpeter et al., “Reliability in MID - barriers, potentials,
fields of action,” in 12th International Congress on Molded Interconnect Devices,
Conference Proceedings , 28. - 30. Sep. 2016, 2016.
mla: Fechtelpeter, Christian, et al. “Reliability in MID - Barriers, Potentials,
Fields of Action.” 12th International Congress on Molded Interconnect Devices,
Conference Proceedings , 28. - 30. Sep. 2016, 2016.
short: 'C. Fechtelpeter, C. Jürgenhake, R. Dumitrescu, T. Mager, K.-P. Fritz, T.
Grötzinger, H. Müller, P. Wild, A. Zimmermann, in: 12th International Congress
on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016,
2016.'
date_created: 2021-07-28T09:51:44Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: eng
publication: 12th International Congress on Molded Interconnect Devices, Conference
Proceedings , 28. - 30. Sep. 2016
status: public
title: Reliability in MID - barriers, potentials, fields of action
type: conference
user_id: '21240'
year: '2016'
...
---
_id: '22874'
author:
- first_name: Christoph
full_name: Jürgenhake, Christoph
last_name: Jürgenhake
- first_name: Tommy
full_name: Falkowski, Tommy
last_name: Falkowski
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Jürgenhake C, Falkowski T, Dumitrescu R. Classification of MID-prototypes.
In: 12th International Congress on Molded Interconnect Devices, Würzburg, 28.
- 30. Sep. 2016. ; 2016.'
apa: Jürgenhake, C., Falkowski, T., & Dumitrescu, R. (2016). Classification
of MID-prototypes. In 12th International Congress on Molded Interconnect Devices,
Würzburg, 28. - 30. Sep. 2016.
bibtex: '@inproceedings{Jürgenhake_Falkowski_Dumitrescu_2016, title={Classification
of MID-prototypes}, booktitle={12th International Congress on Molded Interconnect
Devices, Würzburg, 28. - 30. Sep. 2016}, author={Jürgenhake, Christoph and Falkowski,
Tommy and Dumitrescu, Roman}, year={2016} }'
chicago: Jürgenhake, Christoph, Tommy Falkowski, and Roman Dumitrescu. “Classification
of MID-Prototypes.” In 12th International Congress on Molded Interconnect Devices,
Würzburg, 28. - 30. Sep. 2016, 2016.
ieee: C. Jürgenhake, T. Falkowski, and R. Dumitrescu, “Classification of MID-prototypes,”
in 12th International Congress on Molded Interconnect Devices, Würzburg, 28.
- 30. Sep. 2016, 2016.
mla: Jürgenhake, Christoph, et al. “Classification of MID-Prototypes.” 12th International
Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016, 2016.
short: 'C. Jürgenhake, T. Falkowski, R. Dumitrescu, in: 12th International Congress
on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016, 2016.'
date_created: 2021-07-28T10:00:10Z
date_updated: 2022-01-06T06:55:42Z
department:
- _id: '563'
language:
- iso: eng
publication: 12th International Congress on Molded Interconnect Devices, Würzburg,
28. - 30. Sep. 2016
status: public
title: Classification of MID-prototypes
type: conference
user_id: '21240'
year: '2016'
...