---
_id: '19992'
author:
- first_name: Gabriele
full_name: Valentini, Gabriele
last_name: Valentini
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
citation:
ama: 'Valentini G, Hamann H. Time-variant feedback processes in collective decision-making
systems: influence and effect of dynamic neighborhood sizes. Swarm Intelligence.
2015:153-176. doi:10.1007/s11721-015-0108-8'
apa: 'Valentini, G., & Hamann, H. (2015). Time-variant feedback processes in
collective decision-making systems: influence and effect of dynamic neighborhood
sizes. Swarm Intelligence, 153–176. https://doi.org/10.1007/s11721-015-0108-8'
bibtex: '@article{Valentini_Hamann_2015, title={Time-variant feedback processes
in collective decision-making systems: influence and effect of dynamic neighborhood
sizes}, DOI={10.1007/s11721-015-0108-8},
journal={Swarm Intelligence}, author={Valentini, Gabriele and Hamann, Heiko},
year={2015}, pages={153–176} }'
chicago: 'Valentini, Gabriele, and Heiko Hamann. “Time-Variant Feedback Processes
in Collective Decision-Making Systems: Influence and Effect of Dynamic Neighborhood
Sizes.” Swarm Intelligence, 2015, 153–76. https://doi.org/10.1007/s11721-015-0108-8.'
ieee: 'G. Valentini and H. Hamann, “Time-variant feedback processes in collective
decision-making systems: influence and effect of dynamic neighborhood sizes,”
Swarm Intelligence, pp. 153–176, 2015.'
mla: 'Valentini, Gabriele, and Heiko Hamann. “Time-Variant Feedback Processes in
Collective Decision-Making Systems: Influence and Effect of Dynamic Neighborhood
Sizes.” Swarm Intelligence, 2015, pp. 153–76, doi:10.1007/s11721-015-0108-8.'
short: G. Valentini, H. Hamann, Swarm Intelligence (2015) 153–176.
date_created: 2020-10-13T09:27:48Z
date_updated: 2022-01-06T06:54:17Z
department:
- _id: '63'
- _id: '238'
doi: 10.1007/s11721-015-0108-8
language:
- iso: eng
page: 153-176
publication: Swarm Intelligence
publication_identifier:
issn:
- 1935-3812
- 1935-3820
publication_status: published
status: public
title: 'Time-variant feedback processes in collective decision-making systems: influence
and effect of dynamic neighborhood sizes'
type: journal_article
user_id: '15415'
year: '2015'
...
---
_id: '20005'
author:
- first_name: Marco
full_name: Dorigo, Marco
last_name: Dorigo
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
- first_name: Gabriele
full_name: Valentini, Gabriele
last_name: Valentini
citation:
ama: 'Dorigo M, Hamann H, Valentini G. Efficient Decision-Making in a Self-Organizing
Robot Swarm: On the Speed Versus Accuracy Trade-Off. In: Proceedings of the
14th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015).
; 2015.'
apa: 'Dorigo, M., Hamann, H., & Valentini, G. (2015). Efficient Decision-Making
in a Self-Organizing Robot Swarm: On the Speed Versus Accuracy Trade-Off. In Proceedings
of the 14th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015).'
bibtex: '@inproceedings{Dorigo_Hamann_Valentini_2015, title={Efficient Decision-Making
in a Self-Organizing Robot Swarm: On the Speed Versus Accuracy Trade-Off}, booktitle={Proceedings
of the 14th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015)},
author={Dorigo, Marco and Hamann, Heiko and Valentini, Gabriele}, year={2015}
}'
chicago: 'Dorigo, Marco, Heiko Hamann, and Gabriele Valentini. “Efficient Decision-Making
in a Self-Organizing Robot Swarm: On the Speed Versus Accuracy Trade-Off.” In
Proceedings of the 14th Int. Conf. on Autonomous Agents and Multiagent Systems
(AAMAS 2015), 2015.'
ieee: 'M. Dorigo, H. Hamann, and G. Valentini, “Efficient Decision-Making in a Self-Organizing
Robot Swarm: On the Speed Versus Accuracy Trade-Off,” in Proceedings of the
14th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015),
2015.'
mla: 'Dorigo, Marco, et al. “Efficient Decision-Making in a Self-Organizing Robot
Swarm: On the Speed Versus Accuracy Trade-Off.” Proceedings of the 14th Int.
Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015), 2015.'
short: 'M. Dorigo, H. Hamann, G. Valentini, in: Proceedings of the 14th Int. Conf.
on Autonomous Agents and Multiagent Systems (AAMAS 2015), 2015.'
date_created: 2020-10-15T12:29:26Z
date_updated: 2022-01-06T06:54:18Z
department:
- _id: '63'
- _id: '238'
language:
- iso: eng
publication: Proceedings of the 14th Int. Conf. on Autonomous Agents and Multiagent
Systems (AAMAS 2015)
status: public
title: 'Efficient Decision-Making in a Self-Organizing Robot Swarm: On the Speed Versus
Accuracy Trade-Off'
type: conference
user_id: '15415'
year: '2015'
...
---
_id: '20006'
author:
- first_name: Marco
full_name: Dorigo, Marco
last_name: Dorigo
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
- first_name: Gabriele
full_name: Valentini, Gabriele
last_name: Valentini
citation:
ama: 'Dorigo M, Hamann H, Valentini G. Self-organized collective decisions in a
robot swarm. In: AAAI-15 Video Proceedings. ; 2015.'
apa: Dorigo, M., Hamann, H., & Valentini, G. (2015). Self-organized collective
decisions in a robot swarm. In AAAI-15 Video Proceedings.
bibtex: '@inproceedings{Dorigo_Hamann_Valentini_2015, title={Self-organized collective
decisions in a robot swarm}, booktitle={AAAI-15 Video Proceedings}, author={Dorigo,
Marco and Hamann, Heiko and Valentini, Gabriele}, year={2015} }'
chicago: Dorigo, Marco, Heiko Hamann, and Gabriele Valentini. “Self-Organized Collective
Decisions in a Robot Swarm.” In AAAI-15 Video Proceedings, 2015.
ieee: M. Dorigo, H. Hamann, and G. Valentini, “Self-organized collective decisions
in a robot swarm,” in AAAI-15 Video Proceedings, 2015.
mla: Dorigo, Marco, et al. “Self-Organized Collective Decisions in a Robot Swarm.”
AAAI-15 Video Proceedings, 2015.
short: 'M. Dorigo, H. Hamann, G. Valentini, in: AAAI-15 Video Proceedings, 2015.'
date_created: 2020-10-15T12:38:13Z
date_updated: 2022-01-06T06:54:18Z
department:
- _id: '63'
- _id: '238'
language:
- iso: eng
publication: AAAI-15 Video Proceedings
status: public
title: Self-organized collective decisions in a robot swarm
type: conference
user_id: '15415'
year: '2015'
...
---
_id: '20153'
author:
- first_name: Mahdi
full_name: Kaveh, Mahdi
last_name: Kaveh
- first_name: Javad
full_name: Pourmohammad, Javad
last_name: Pourmohammad
- first_name: Mostafa
full_name: Hassanalian, Mostafa
last_name: Hassanalian
- first_name: Mahdi
full_name: Nili Ahmadabadi, Mahdi
last_name: Nili Ahmadabadi
- first_name: Mortaza
full_name: Otroshi, Mortaza
id: '71269'
last_name: Otroshi
orcid: 0000-0002-8652-9209
citation:
ama: 'Kaveh M, Pourmohammad J, Hassanalian M, Nili Ahmadabadi M, Otroshi M. Optimized
method in sizing of Flapping Wing. In: ; 2015.'
apa: Kaveh, M., Pourmohammad, J., Hassanalian, M., Nili Ahmadabadi, M., & Otroshi,
M. (2015). Optimized method in sizing of Flapping Wing. Presented at the International
Micro Air Vehicles Conference and Flight Competition IMAV, Aachen, Germany.
bibtex: '@inproceedings{Kaveh_Pourmohammad_Hassanalian_Nili Ahmadabadi_Otroshi_2015,
title={Optimized method in sizing of Flapping Wing}, author={Kaveh, Mahdi and
Pourmohammad, Javad and Hassanalian, Mostafa and Nili Ahmadabadi, Mahdi and Otroshi,
Mortaza}, year={2015} }'
chicago: Kaveh, Mahdi, Javad Pourmohammad, Mostafa Hassanalian, Mahdi Nili Ahmadabadi,
and Mortaza Otroshi. “Optimized Method in Sizing of Flapping Wing,” 2015.
ieee: M. Kaveh, J. Pourmohammad, M. Hassanalian, M. Nili Ahmadabadi, and M. Otroshi,
“Optimized method in sizing of Flapping Wing,” presented at the International
Micro Air Vehicles Conference and Flight Competition IMAV, Aachen, Germany, 2015.
mla: Kaveh, Mahdi, et al. Optimized Method in Sizing of Flapping Wing. 2015.
short: 'M. Kaveh, J. Pourmohammad, M. Hassanalian, M. Nili Ahmadabadi, M. Otroshi,
in: 2015.'
conference:
location: Aachen, Germany
name: International Micro Air Vehicles Conference and Flight Competition IMAV
date_created: 2020-10-21T09:08:32Z
date_updated: 2022-01-06T06:54:20Z
extern: '1'
language:
- iso: eng
status: public
title: Optimized method in sizing of Flapping Wing
type: conference
user_id: '71269'
year: '2015'
...
---
_id: '280'
abstract:
- lang: eng
text: The Collaborative Research Centre "On-The-Fly Computing" works on foundations
and principles for the vision of the Future Internet. It proposes the paradigm
of On-The-Fly Computing, which tackles emerging worldwide service markets. In
these markets, service providers trade software, platform, and infrastructure
as a service. Service requesters state requirements on services. To satisfy these
requirements, the new role of brokers, who are (human) actors building service
compositions on the fly, is introduced. Brokers have to specify service compositions
formally and comprehensively using a domain-specific language (DSL), and to use
service matching for the discovery of the constituent services available in the
market. The broker's choice of the DSL and matching approaches influences her
success of building compositions as distinctive properties of different service
markets play a significant role. In this paper, we propose a new approach of engineering
a situation-specific DSL by customizing a comprehensive, modular DSL and its matching
for given service market properties. This enables the broker to create market-specific
composition specifications and to perform market-specific service matching. As
a result, the broker builds service compositions satisfying the requester's requirements
more accurately. We evaluated the presented concepts using case studies in service
markets for tourism and university management.
author:
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
- 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: 'Arifulina S, Platenius MC, Mohr F, Engels G, Schäfer W. Market-Specific Service
Compositions: Specification and Matching. In: Proceedings of the IEEE 11th
World Congress on Services (SERVICES), Visionary Track: Service Composition for
the Future Internet. ; 2015:333--340. doi:10.1109/SERVICES.2015.58'
apa: 'Arifulina, S., Platenius, M. C., Mohr, F., Engels, G., & Schäfer, W. (2015).
Market-Specific Service Compositions: Specification and Matching. In Proceedings
of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service
Composition for the Future Internet (pp. 333--340). https://doi.org/10.1109/SERVICES.2015.58'
bibtex: '@inproceedings{Arifulina_Platenius_Mohr_Engels_Schäfer_2015, title={Market-Specific
Service Compositions: Specification and Matching}, DOI={10.1109/SERVICES.2015.58},
booktitle={Proceedings of the IEEE 11th World Congress on Services (SERVICES),
Visionary Track: Service Composition for the Future Internet}, author={Arifulina,
Svetlana and Platenius, Marie Christin and Mohr, Felix and Engels, Gregor and
Schäfer, Wilhelm}, year={2015}, pages={333--340} }'
chicago: 'Arifulina, Svetlana, Marie Christin Platenius, Felix Mohr, Gregor Engels,
and Wilhelm Schäfer. “Market-Specific Service Compositions: Specification and
Matching.” In Proceedings of the IEEE 11th World Congress on Services (SERVICES),
Visionary Track: Service Composition for the Future Internet, 333--340, 2015.
https://doi.org/10.1109/SERVICES.2015.58.'
ieee: 'S. Arifulina, M. C. Platenius, F. Mohr, G. Engels, and W. Schäfer, “Market-Specific
Service Compositions: Specification and Matching,” in Proceedings of the IEEE
11th World Congress on Services (SERVICES), Visionary Track: Service Composition
for the Future Internet, 2015, pp. 333--340.'
mla: 'Arifulina, Svetlana, et al. “Market-Specific Service Compositions: Specification
and Matching.” Proceedings of the IEEE 11th World Congress on Services (SERVICES),
Visionary Track: Service Composition for the Future Internet, 2015, pp. 333--340,
doi:10.1109/SERVICES.2015.58.'
short: 'S. Arifulina, M.C. Platenius, F. Mohr, G. Engels, W. Schäfer, in: Proceedings
of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service
Composition for the Future Internet, 2015, pp. 333--340.'
date_created: 2017-10-17T12:41:46Z
date_updated: 2022-01-06T06:57:49Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
- _id: '355'
doi: 10.1109/SERVICES.2015.58
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:26:04Z
date_updated: 2018-03-21T09:26:04Z
file_id: '1470'
file_name: 280-07196546.pdf
file_size: 234260
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:26:04Z
has_accepted_license: '1'
language:
- iso: eng
page: 333--340
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '10'
name: SFB 901 - Subproject B2
- _id: '3'
name: SFB 901 - Project Area B
publication: 'Proceedings of the IEEE 11th World Congress on Services (SERVICES),
Visionary Track: Service Composition for the Future Internet'
status: public
title: 'Market-Specific Service Compositions: Specification and Matching'
type: conference
user_id: '477'
year: '2015'
...
---
_id: '28015'
abstract:
- lang: eng
text: "Background\r\nUnderstanding changes in dietary intake during puberty could
aid the mapping of dietary interventions for primary prevention. The present study
describes dietary changes from childhood to adolescence, and their associations
with parental education, family income, child education, body mass index (BMI),
pubertal onset and screen-time sedentary behaviour.\r\nMethods\r\nDietary data
(n = 1232) were obtained from food frequency questionnaires at the 10- and 15-year
follow-ups of the GINIplus birth cohort study. Intakes of 17 food groups, macronutrients
and antioxidant vitamins, were described by a) paired Wilcoxon rank sum tests,
comparing average intakes at each time-point, and b) Cohen’s kappa “tracking”
coefficients, measuring stability of intakes (maintenance of relative tertile
positions across time). Further, associations of changes (tertile position increase
or decrease vs. tracking) with parental education, family income, child education,
pubertal onset, BMI, and screen-time, were assessed by logistic regression and
multinomial logistic regression models stratified by baseline intake tertile.\r\nResults\r\nBoth
sexes increased average intakes of water and decreased starchy vegetables, margarine
and dairy. Females decreased meat and retinol intakes and increased vegetables,
grains, oils and tea. Males decreased fruit and carbohydrates and increased average
intakes of meat, caloric drinks, water, protein, fat, polyunsaturated fatty acids
(PUFAs), vitamin C and alpha-tocopherol. Both sexes presented mainly “fair” tracking
levels [κw = 0.21–0.40]. Females with high (vs. low) parental education were more
likely to increase their nut intake [OR = 3.8; 95 % CI = (1.7;8.8)], and less
likely to decrease vitamin C intakes [0.2 (0.1;0.5)], while males were less likely
to increase egg consumption [0.2 (0.1;0.5)] and n3 PUFAs [0.2 (0.1;0.5)]. Females
with a higher (vs. low) family income were more likely to maintain medium wholegrain
intakes [0.2 (0.1;0.7) for decrease vs. tracking, and 0.1 (0.0;0.5) for increase
vs. tracking], and were less likely to decrease vitamin C intakes [0.2 (0.1;0.6)].
Males with high education were less likely to increase sugar-sweetened foods [0.1
(0.1;0.4)]. Finally, BMI in females was negatively associated with decreasing
protein intakes [0.7 (0.6;0.9)]. In males BMI was positively associated with increasing
margarine [1.4 (1.1;1.6)] and vitamin C intakes [1.4 (1.1;1.6)], and negatively
associated with increasing n3 PUFA.\r\nConclusions\r\nAverage dietary intakes
changed significantly, despite fair tracking levels, suggesting the presence of
trends in dietary behaviour during puberty. Family income and parental education
predominantly influenced intake changes. Our results support the rationale for
dietary interventions targeting children, and suggest that sex-specific subpopulations,
e.g. low socio-economic status, should be considered for added impact."
article_type: original
author:
- first_name: 'Carla '
full_name: 'Harris, Carla '
last_name: Harris
- first_name: Claudia
full_name: Flexeder, Claudia
last_name: Flexeder
- first_name: Elisabeth
full_name: Thiering, Elisabeth
last_name: Thiering
- first_name: Anette
full_name: Buyken, Anette
id: '65985'
last_name: Buyken
- first_name: Dietrich
full_name: Berdel, Dietrich
last_name: Berdel
- first_name: Sibylle
full_name: Koletzko, Sibylle
last_name: Koletzko
- first_name: Carl-Peter
full_name: Bauer, Carl-Peter
last_name: Bauer
- first_name: Irene
full_name: Brüske, Irene
last_name: Brüske
- first_name: Berthold
full_name: Koletzko, Berthold
last_name: Koletzko
- first_name: Marie
full_name: Standl, Marie
last_name: Standl
citation:
ama: 'Harris C, Flexeder C, Thiering E, et al. Changes in dietary intake during
puberty and their determinants: results from the GINIplus birth cohort study.
BMC Public Health. 2015;15:841.'
apa: 'Harris, C., Flexeder, C., Thiering, E., Buyken, A., Berdel, D., Koletzko,
S., Bauer, C.-P., Brüske, I., Koletzko, B., & Standl, M. (2015). Changes in
dietary intake during puberty and their determinants: results from the GINIplus
birth cohort study. BMC Public Health, 15, 841.'
bibtex: '@article{Harris_Flexeder_Thiering_Buyken_Berdel_Koletzko_Bauer_Brüske_Koletzko_Standl_2015,
title={Changes in dietary intake during puberty and their determinants: results
from the GINIplus birth cohort study}, volume={15}, journal={BMC Public Health},
author={Harris, Carla and Flexeder, Claudia and Thiering, Elisabeth and Buyken,
Anette and Berdel, Dietrich and Koletzko, Sibylle and Bauer, Carl-Peter and Brüske,
Irene and Koletzko, Berthold and Standl, Marie}, year={2015}, pages={841} }'
chicago: 'Harris, Carla , Claudia Flexeder, Elisabeth Thiering, Anette Buyken, Dietrich
Berdel, Sibylle Koletzko, Carl-Peter Bauer, Irene Brüske, Berthold Koletzko, and
Marie Standl. “Changes in Dietary Intake during Puberty and Their Determinants:
Results from the GINIplus Birth Cohort Study.” BMC Public Health 15 (2015):
841.'
ieee: 'C. Harris et al., “Changes in dietary intake during puberty and their
determinants: results from the GINIplus birth cohort study,” BMC Public Health,
vol. 15, p. 841, 2015.'
mla: 'Harris, Carla, et al. “Changes in Dietary Intake during Puberty and Their
Determinants: Results from the GINIplus Birth Cohort Study.” BMC Public Health,
vol. 15, 2015, p. 841.'
short: C. Harris, C. Flexeder, E. Thiering, A. Buyken, D. Berdel, S. Koletzko, C.-P.
Bauer, I. Brüske, B. Koletzko, M. Standl, BMC Public Health 15 (2015) 841.
date_created: 2021-11-27T13:26:27Z
date_updated: 2022-01-06T06:57:50Z
department:
- _id: '35'
- _id: '22'
- _id: '571'
intvolume: ' 15'
keyword:
- Puberty
- Dietary intake
- Dietary changes
- Tracking
- Determinants
- Epidemiology
language:
- iso: eng
page: '841'
publication: BMC Public Health
publication_status: published
status: public
title: 'Changes in dietary intake during puberty and their determinants: results from
the GINIplus birth cohort study'
type: journal_article
user_id: '49428'
volume: 15
year: '2015'
...
---
_id: '28033'
author:
- first_name: Thiemo
full_name: Bloh, Thiemo
id: '69383'
last_name: Bloh
orcid: 0000-0002-2215-2924
- first_name: Bea
full_name: Bloh, Bea
id: '69910'
last_name: Bloh
- first_name: Stefanie
full_name: van Ophuysen, Stefanie
last_name: van Ophuysen
citation:
ama: Bloh T, Bloh B, van Ophuysen S. Lernpotential durch Lehrerkooperation. Vorstellung
eines Analyseansatzes zur Erfassung erfahrungsbezogener Lerngelegenheiten. Empirische
Pädagogik. 2015;29(4):505-520.
apa: Bloh, T., Bloh, B., & van Ophuysen, S. (2015). Lernpotential durch Lehrerkooperation.
Vorstellung eines Analyseansatzes zur Erfassung erfahrungsbezogener Lerngelegenheiten.
Empirische Pädagogik, 29(4), 505–520.
bibtex: '@article{Bloh_Bloh_van Ophuysen_2015, title={Lernpotential durch Lehrerkooperation.
Vorstellung eines Analyseansatzes zur Erfassung erfahrungsbezogener Lerngelegenheiten.},
volume={29}, number={4}, journal={Empirische Pädagogik}, author={Bloh, Thiemo
and Bloh, Bea and van Ophuysen, Stefanie}, year={2015}, pages={505–520} }'
chicago: 'Bloh, Thiemo, Bea Bloh, and Stefanie van Ophuysen. “Lernpotential durch
Lehrerkooperation. Vorstellung eines Analyseansatzes zur Erfassung erfahrungsbezogener
Lerngelegenheiten.” Empirische Pädagogik 29, no. 4 (2015): 505–20.'
ieee: T. Bloh, B. Bloh, and S. van Ophuysen, “Lernpotential durch Lehrerkooperation.
Vorstellung eines Analyseansatzes zur Erfassung erfahrungsbezogener Lerngelegenheiten.,”
Empirische Pädagogik, vol. 29, no. 4, pp. 505–520, 2015.
mla: Bloh, Thiemo, et al. “Lernpotential durch Lehrerkooperation. Vorstellung eines
Analyseansatzes zur Erfassung erfahrungsbezogener Lerngelegenheiten.” Empirische
Pädagogik, vol. 29, no. 4, 2015, pp. 505–20.
short: T. Bloh, B. Bloh, S. van Ophuysen, Empirische Pädagogik 29 (2015) 505–520.
date_created: 2021-11-29T15:12:32Z
date_updated: 2022-01-06T06:57:50Z
department:
- _id: '36'
- _id: '456'
extern: '1'
intvolume: ' 29'
issue: '4'
language:
- iso: ger
page: 505-520
publication: Empirische Pädagogik
quality_controlled: '1'
status: public
title: Lernpotential durch Lehrerkooperation. Vorstellung eines Analyseansatzes zur
Erfassung erfahrungsbezogener Lerngelegenheiten.
type: journal_article
user_id: '69383'
volume: 29
year: '2015'
...
---
_id: '281'
author:
- first_name: Tobias
full_name: Rojahn, Tobias
last_name: Rojahn
citation:
ama: Rojahn T. Load Balancing for Range Queries in a Dimension Invariant Peer-to-Peer
Network. Universität Paderborn; 2015.
apa: Rojahn, T. (2015). Load Balancing for Range Queries in a Dimension Invariant
Peer-to-Peer Network. Universität Paderborn.
bibtex: '@book{Rojahn_2015, title={Load Balancing for Range Queries in a Dimension
Invariant Peer-to-Peer Network}, publisher={Universität Paderborn}, author={Rojahn,
Tobias}, year={2015} }'
chicago: Rojahn, Tobias. Load Balancing for Range Queries in a Dimension Invariant
Peer-to-Peer Network. Universität Paderborn, 2015.
ieee: T. Rojahn, Load Balancing for Range Queries in a Dimension Invariant Peer-to-Peer
Network. Universität Paderborn, 2015.
mla: Rojahn, Tobias. Load Balancing for Range Queries in a Dimension Invariant
Peer-to-Peer Network. Universität Paderborn, 2015.
short: T. Rojahn, Load Balancing for Range Queries in a Dimension Invariant Peer-to-Peer
Network, Universität Paderborn, 2015.
date_created: 2017-10-17T12:41:46Z
date_updated: 2022-01-06T06:57:51Z
project:
- _id: '1'
name: SFB 901
- _id: '5'
name: SFB 901 - Subprojekt A1
- _id: '2'
name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
title: Load Balancing for Range Queries in a Dimension Invariant Peer-to-Peer Network
type: mastersthesis
user_id: '477'
year: '2015'
...
---
_id: '2815'
author:
- first_name: Thomas
full_name: Gries, Thomas
id: '186'
last_name: Gries
- first_name: Wim
full_name: Naudé, Wim
last_name: Naudé
- first_name: Natascha
full_name: Bilkic, Natascha
last_name: Bilkic
citation:
ama: Gries T, Naudé W, Bilkic N. Playing the Lottery or Dressing Up? A Model of
Firm-Level Heterogeneity and the Decision to Export. The Quarterly Review of
Economics and Finance. 2015;58:1-17. doi:10.1016/j.qref.2015.02.010
apa: Gries, T., Naudé, W., & Bilkic, N. (2015). Playing the Lottery or Dressing
Up? A Model of Firm-Level Heterogeneity and the Decision to Export. The Quarterly
Review of Economics and Finance, 58, 1–17. https://doi.org/10.1016/j.qref.2015.02.010
bibtex: '@article{Gries_Naudé_Bilkic_2015, title={Playing the Lottery or Dressing
Up? A Model of Firm-Level Heterogeneity and the Decision to Export}, volume={58},
DOI={10.1016/j.qref.2015.02.010},
journal={The Quarterly Review of Economics and Finance}, author={Gries, Thomas
and Naudé, Wim and Bilkic, Natascha}, year={2015}, pages={1–17} }'
chicago: 'Gries, Thomas, Wim Naudé, and Natascha Bilkic. “Playing the Lottery or
Dressing Up? A Model of Firm-Level Heterogeneity and the Decision to Export.”
The Quarterly Review of Economics and Finance 58 (2015): 1–17. https://doi.org/10.1016/j.qref.2015.02.010.'
ieee: T. Gries, W. Naudé, and N. Bilkic, “Playing the Lottery or Dressing Up? A
Model of Firm-Level Heterogeneity and the Decision to Export,” The Quarterly
Review of Economics and Finance, vol. 58, pp. 1–17, 2015.
mla: Gries, Thomas, et al. “Playing the Lottery or Dressing Up? A Model of Firm-Level
Heterogeneity and the Decision to Export.” The Quarterly Review of Economics
and Finance, vol. 58, 2015, pp. 1–17, doi:10.1016/j.qref.2015.02.010.
short: T. Gries, W. Naudé, N. Bilkic, The Quarterly Review of Economics and Finance
58 (2015) 1–17.
date_created: 2018-05-18T11:12:14Z
date_updated: 2022-01-06T06:57:52Z
department:
- _id: '19'
- _id: '200'
- _id: '475'
- _id: '202'
doi: 10.1016/j.qref.2015.02.010
intvolume: ' 58'
language:
- iso: eng
page: 1-17
publication: The Quarterly Review of Economics and Finance
status: public
title: Playing the Lottery or Dressing Up? A Model of Firm-Level Heterogeneity and
the Decision to Export
type: journal_article
user_id: '186'
volume: 58
year: '2015'
...
---
_id: '2816'
author:
- first_name: Thomas
full_name: Gries, Thomas
id: '186'
last_name: Gries
- first_name: Yuanhua
full_name: Feng, Yuanhua
last_name: Feng
- first_name: Zhichao
full_name: Guo, Zhichao
last_name: Guo
citation:
ama: Gries T, Feng Y, Guo Z. Changes of China’s agri-food exports to Germany caused
by its accession to WTO and the 2008 financial crisis. China Agricultural Economic
Review. 2015;7(2):262-279. doi:10.1108/CAER-11-2013-0152
apa: Gries, T., Feng, Y., & Guo, Z. (2015). Changes of China’s agri-food exports
to Germany caused by its accession to WTO and the 2008 financial crisis. China
Agricultural Economic Review, 7(2), 262–279. https://doi.org/10.1108/CAER-11-2013-0152
bibtex: '@article{Gries_Feng_Guo_2015, title={Changes of China’s agri-food exports
to Germany caused by its accession to WTO and the 2008 financial crisis}, volume={7},
DOI={10.1108/CAER-11-2013-0152},
number={2}, journal={China Agricultural Economic Review}, author={Gries, Thomas
and Feng, Yuanhua and Guo, Zhichao}, year={2015}, pages={262–279} }'
chicago: 'Gries, Thomas, Yuanhua Feng, and Zhichao Guo. “Changes of China’s Agri-Food
Exports to Germany Caused by Its Accession to WTO and the 2008 Financial Crisis.”
China Agricultural Economic Review 7, no. 2 (2015): 262–79. https://doi.org/10.1108/CAER-11-2013-0152.'
ieee: T. Gries, Y. Feng, and Z. Guo, “Changes of China’s agri-food exports to Germany
caused by its accession to WTO and the 2008 financial crisis,” China Agricultural
Economic Review, vol. 7, no. 2, pp. 262–279, 2015.
mla: Gries, Thomas, et al. “Changes of China’s Agri-Food Exports to Germany Caused
by Its Accession to WTO and the 2008 Financial Crisis.” China Agricultural
Economic Review, vol. 7, no. 2, 2015, pp. 262–79, doi:10.1108/CAER-11-2013-0152.
short: T. Gries, Y. Feng, Z. Guo, China Agricultural Economic Review 7 (2015) 262–279.
date_created: 2018-05-18T11:19:31Z
date_updated: 2022-01-06T06:57:52Z
department:
- _id: '19'
- _id: '200'
- _id: '475'
- _id: '202'
doi: 10.1108/CAER-11-2013-0152
intvolume: ' 7'
issue: '2'
language:
- iso: eng
page: 262-279
publication: China Agricultural Economic Review
status: public
title: Changes of China’s agri-food exports to Germany caused by its accession to
WTO and the 2008 financial crisis
type: journal_article
user_id: '186'
volume: 7
year: '2015'
...
---
_id: '282'
author:
- first_name: Michelle
full_name: Kirsch, Michelle
last_name: Kirsch
citation:
ama: Kirsch M. Koordinierter Patentschutz in einer globalisierten Welt - Effizienz-
und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern.
Universität Paderborn; 2015.
apa: Kirsch, M. (2015). Koordinierter Patentschutz in einer globalisierten Welt
- Effizienz- und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern.
Universität Paderborn.
bibtex: '@book{Kirsch_2015, title={Koordinierter Patentschutz in einer globalisierten
Welt - Effizienz- und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern},
publisher={Universität Paderborn}, author={Kirsch, Michelle}, year={2015} }'
chicago: Kirsch, Michelle. Koordinierter Patentschutz in einer globalisierten
Welt - Effizienz- und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern.
Universität Paderborn, 2015.
ieee: M. Kirsch, Koordinierter Patentschutz in einer globalisierten Welt - Effizienz-
und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern.
Universität Paderborn, 2015.
mla: Kirsch, Michelle. Koordinierter Patentschutz in einer globalisierten Welt
- Effizienz- und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern.
Universität Paderborn, 2015.
short: M. Kirsch, Koordinierter Patentschutz in einer globalisierten Welt - Effizienz-
und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern, Universität
Paderborn, 2015.
date_created: 2017-10-17T12:41:47Z
date_updated: 2022-01-06T06:57:53Z
department:
- _id: '280'
language:
- iso: ger
project:
- _id: '1'
name: SFB 901
- _id: '7'
name: SFB 901 - Subprojekt A3
- _id: '2'
name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Burkhard
full_name: Hehenkamp, Burkhard
id: '37339'
last_name: Hehenkamp
title: Koordinierter Patentschutz in einer globalisierten Welt - Effizienz- und Anreizwirkungen
auf die Arzneimittelversorgung in Entwicklungsländern
type: bachelorsthesis
user_id: '42447'
year: '2015'
...
---
_id: '28210'
author:
- first_name: Peter
full_name: Iwanek, Peter
last_name: Iwanek
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
- first_name: Felix
full_name: Reinhart, Felix
last_name: Reinhart
- first_name: Rinje
full_name: Brandis, Rinje
last_name: Brandis
citation:
ama: Iwanek P, Dumitrescu R, Reinhart F, Brandis R. Expertensystem zur Steigerung
der Effizienz im Bereich der Produktion. productivITy (4 / 2015). Published
online 2015:57-59.
apa: Iwanek, P., Dumitrescu, R., Reinhart, F., & Brandis, R. (2015). Expertensystem
zur Steigerung der Effizienz im Bereich der Produktion. productivITy (4 / 2015),
57–59.
bibtex: '@article{Iwanek_Dumitrescu_Reinhart_Brandis_2015, title={Expertensystem
zur Steigerung der Effizienz im Bereich der Produktion}, journal={productivITy
(4 / 2015)}, author={Iwanek, Peter and Dumitrescu, Roman and Reinhart, Felix and
Brandis, Rinje}, year={2015}, pages={57–59} }'
chicago: Iwanek, Peter, Roman Dumitrescu, Felix Reinhart, and Rinje Brandis. “Expertensystem
zur Steigerung der Effizienz im Bereich der Produktion.” productivITy (4 /
2015), 2015, 57–59.
ieee: P. Iwanek, R. Dumitrescu, F. Reinhart, and R. Brandis, “Expertensystem zur
Steigerung der Effizienz im Bereich der Produktion,” productivITy (4 / 2015),
pp. 57–59, 2015.
mla: Iwanek, Peter, et al. “Expertensystem zur Steigerung der Effizienz im Bereich
der Produktion.” productivITy (4 / 2015), 2015, pp. 57–59.
short: P. Iwanek, R. Dumitrescu, F. Reinhart, R. Brandis, productivITy (4 / 2015)
(2015) 57–59.
date_created: 2021-12-02T07:40:09Z
date_updated: 2022-01-06T06:57:53Z
department:
- _id: '676'
language:
- iso: ger
page: 57-59
publication: productivITy (4 / 2015)
status: public
title: Expertensystem zur Steigerung der Effizienz im Bereich der Produktion
type: journal_article
user_id: '21240'
year: '2015'
...
---
_id: '2822'
author:
- first_name: K.
full_name: Han, K.
last_name: Han
- first_name: Dennis
full_name: Kundisch, Dennis
id: '21117'
last_name: Kundisch
- first_name: C.
full_name: Weinhardt, C.
last_name: Weinhardt
- first_name: Steffen
full_name: Zimmermann, Steffen
last_name: Zimmermann
citation:
ama: Han K, Kundisch D, Weinhardt C, Zimmermann S. Economics and Value of IS.
Vol 57 (5).; 2015:295-297.
apa: Han, K., Kundisch, D., Weinhardt, C., & Zimmermann, S. (2015). Economics
and Value of IS (Vol. 57 (5), pp. 295–297).
bibtex: '@book{Han_Kundisch_Weinhardt_Zimmermann_2015, series={Business & Information
Systems Engineering}, title={Economics and Value of IS}, volume={57 (5)}, author={Han,
K. and Kundisch, Dennis and Weinhardt, C. and Zimmermann, Steffen}, year={2015},
pages={295–297}, collection={Business & Information Systems Engineering} }'
chicago: Han, K., Dennis Kundisch, C. Weinhardt, and Steffen Zimmermann. Economics
and Value of IS. Vol. 57 (5). Business & Information Systems Engineering,
2015.
ieee: K. Han, D. Kundisch, C. Weinhardt, and S. Zimmermann, Economics and Value
of IS, vol. 57 (5). 2015, pp. 295–297.
mla: Han, K., et al. Economics and Value of IS. Vol. 57 (5), 2015, pp. 295–97.
short: K. Han, D. Kundisch, C. Weinhardt, S. Zimmermann, Economics and Value of
IS, 2015.
date_created: 2018-05-18T12:38:29Z
date_updated: 2022-01-06T06:57:53Z
department:
- _id: '276'
language:
- iso: eng
page: 295-297
publication_status: published
series_title: Business & Information Systems Engineering
status: public
title: Economics and Value of IS
type: report
user_id: '16205'
volume: 57 (5)
year: '2015'
...
---
_id: '28222'
author:
- first_name: Frank
full_name: Bauer, Frank
last_name: Bauer
citation:
ama: Bauer F. Planungswerkzeug zur wissensbasierten Produktionssystemkonzipierung.
Vol 341. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2015.
apa: Bauer, F. (2015). Planungswerkzeug zur wissensbasierten Produktionssystemkonzipierung
(Vol. 341). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
bibtex: '@book{Bauer_2015, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn}, title={Planungswerkzeug zur wissensbasierten Produktionssystemkonzipierung},
volume={341}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn},
author={Bauer, Frank}, year={2015}, collection={Verlagsschriftenreihe des Heinz
Nixdorf Instituts, Paderborn} }'
chicago: Bauer, Frank. Planungswerkzeug zur wissensbasierten Produktionssystemkonzipierung.
Vol. 341. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn, 2015.
ieee: F. Bauer, Planungswerkzeug zur wissensbasierten Produktionssystemkonzipierung,
vol. 341. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.
mla: Bauer, Frank. Planungswerkzeug zur wissensbasierten Produktionssystemkonzipierung.
Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.
short: F. Bauer, Planungswerkzeug zur wissensbasierten Produktionssystemkonzipierung,
Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.
date_created: 2021-12-02T11:30:11Z
date_updated: 2022-01-06T06:57:53Z
department:
- _id: '26'
intvolume: ' 341'
language:
- iso: ger
publication_identifier:
isbn:
- 978-3-942647-60-1
publication_status: published
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Planungswerkzeug zur wissensbasierten Produktionssystemkonzipierung
type: dissertation
user_id: '60046'
volume: 341
year: '2015'
...
---
_id: '28223'
author:
- first_name: Jürgen
full_name: Gausemeier, Jürgen
id: '163'
last_name: Gausemeier
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
- first_name: Franz-Josef
full_name: Rammig, Franz-Josef
last_name: Rammig
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Ansgar
full_name: Trächtler, Ansgar
id: '552'
last_name: Trächtler
citation:
ama: Gausemeier J, Dumitrescu R, Rammig F-J, Schäfer W, Trächtler A. 10. Paderborner
Workshop Entwurf mechatronischer Systeme. Vol 343. Verlagsschriftenreihe des
Heinz Nixdorf Instituts, Paderborn; 2015.
apa: Gausemeier, J., Dumitrescu, R., Rammig, F.-J., Schäfer, W., & Trächtler,
A. (2015). 10. Paderborner Workshop Entwurf mechatronischer Systeme (Vol.
343). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
bibtex: '@book{Gausemeier_Dumitrescu_Rammig_Schäfer_Trächtler_2015, series={Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn}, title={10. Paderborner Workshop Entwurf
mechatronischer Systeme}, volume={343}, publisher={Verlagsschriftenreihe des Heinz
Nixdorf Instituts, Paderborn}, author={Gausemeier, Jürgen and Dumitrescu, Roman
and Rammig, Franz-Josef and Schäfer, Wilhelm and Trächtler, Ansgar}, year={2015},
collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }'
chicago: Gausemeier, Jürgen, Roman Dumitrescu, Franz-Josef Rammig, Wilhelm Schäfer,
and Ansgar Trächtler. 10. Paderborner Workshop Entwurf mechatronischer Systeme.
Vol. 343. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn, 2015.
ieee: J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, and A. Trächtler,
10. Paderborner Workshop Entwurf mechatronischer Systeme, vol. 343. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn, 2015.
mla: Gausemeier, Jürgen, et al. 10. Paderborner Workshop Entwurf mechatronischer
Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.
short: J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, A. Trächtler, 10.
Paderborner Workshop Entwurf mechatronischer Systeme, Verlagsschriftenreihe des
Heinz Nixdorf Instituts, Paderborn, 2015.
date_created: 2021-12-02T11:34:59Z
date_updated: 2022-01-06T06:57:53Z
department:
- _id: '26'
intvolume: ' 343'
language:
- iso: ger
publication_identifier:
isbn:
- 978-3-942647-62-5
publication_status: published
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: 10. Paderborner Workshop Entwurf mechatronischer Systeme
type: misc
user_id: '60046'
volume: 343
year: '2015'
...
---
_id: '28224'
author:
- first_name: Jürgen
full_name: Gausemeier, Jürgen
id: '163'
last_name: Gausemeier
citation:
ama: Gausemeier J. Vorausschau und Technologieplanung. 11. Symposium für Vorausschau
und Technologieplanung, Heinz Nixdorf Institut, 29. und 30. Oktober 2015.
Vol 347. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2015.
apa: Gausemeier, J. (2015). Vorausschau und Technologieplanung. 11. Symposium
für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 29. und 30. Oktober
2015 (Vol. 347). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
bibtex: '@book{Gausemeier_2015, series={Verlagsschriftenreihe des Heinz Nixdorf
Instituts, Paderborn}, title={Vorausschau und Technologieplanung. 11. Symposium
für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 29. und 30. Oktober
2015}, volume={347}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn}, author={Gausemeier, Jürgen}, year={2015}, collection={Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn} }'
chicago: Gausemeier, Jürgen. Vorausschau und Technologieplanung. 11. Symposium
für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 29. und 30. Oktober
2015. Vol. 347. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.
ieee: J. Gausemeier, Vorausschau und Technologieplanung. 11. Symposium für Vorausschau
und Technologieplanung, Heinz Nixdorf Institut, 29. und 30. Oktober 2015,
vol. 347. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.
mla: Gausemeier, Jürgen. Vorausschau und Technologieplanung. 11. Symposium für
Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 29. und 30. Oktober
2015. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.
short: J. Gausemeier, Vorausschau und Technologieplanung. 11. Symposium für Vorausschau
und Technologieplanung, Heinz Nixdorf Institut, 29. und 30. Oktober 2015, Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn, 2015.
date_created: 2021-12-02T11:37:38Z
date_updated: 2022-01-06T06:57:53Z
department:
- _id: '26'
intvolume: ' 347'
language:
- iso: ger
publication_identifier:
isbn:
- 978-3-942647-66-3
publication_status: published
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Vorausschau und Technologieplanung. 11. Symposium für Vorausschau und Technologieplanung,
Heinz Nixdorf Institut, 29. und 30. Oktober 2015
type: misc
user_id: '60046'
volume: 347
year: '2015'
...
---
_id: '283'
abstract:
- lang: eng
text: Today, software verification is an established analysis method which can provide
high guarantees for software safety. However, the resources (time and/or memory)
for an exhaustive verification are not always available, and analysis then has
to resort to other techniques, like testing. Most often, the already achieved
partial verification results arediscarded in this case, and testing has to start
from scratch.In this paper, we propose a method for combining verification and
testing in which testing only needs to check the residual fraction of an uncompleted
verification. To this end, the partial results of a verification run are used
to construct a residual program (and residual assertions to be checked on it).
The residual program can afterwards be fed into standardtesting tools. The proposed
technique is sound modulo the soundness of the testing procedure. Experimental
results show that this combinedusage of verification and testing can significantly
reduce the effort for the subsequent testing.
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: Egyed
A, Schaefer I, eds. Fundamental Approaches to Software Engineering. Lecture
Notes in Computer Science. ; 2015:100-114. doi:10.1007/978-3-662-46675-9_7'
apa: Czech, M., Jakobs, M.-C., & Wehrheim, H. (2015). Just test what you cannot
verify! In A. Egyed & I. Schaefer (Eds.), Fundamental Approaches to Software
Engineering (pp. 100–114). https://doi.org/10.1007/978-3-662-46675-9_7
bibtex: '@inproceedings{Czech_Jakobs_Wehrheim_2015, series={Lecture Notes in Computer
Science}, title={Just test what you cannot verify!}, DOI={10.1007/978-3-662-46675-9_7},
booktitle={Fundamental Approaches to Software Engineering}, author={Czech, Mike
and Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Egyed, Alexander and
Schaefer, InaEditors}, year={2015}, pages={100–114}, collection={Lecture Notes
in Computer Science} }'
chicago: Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What
You Cannot Verify!” In Fundamental Approaches to Software Engineering,
edited by Alexander Egyed and Ina Schaefer, 100–114. Lecture Notes in Computer
Science, 2015. https://doi.org/10.1007/978-3-662-46675-9_7.
ieee: M. Czech, M.-C. Jakobs, and H. Wehrheim, “Just test what you cannot verify!,”
in Fundamental Approaches to Software Engineering, 2015, pp. 100–114.
mla: Czech, Mike, et al. “Just Test What You Cannot Verify!” Fundamental Approaches
to Software Engineering, edited by Alexander Egyed and Ina Schaefer, 2015,
pp. 100–14, doi:10.1007/978-3-662-46675-9_7.
short: 'M. Czech, M.-C. Jakobs, H. Wehrheim, in: A. Egyed, I. Schaefer (Eds.), Fundamental
Approaches to Software Engineering, 2015, pp. 100–114.'
date_created: 2017-10-17T12:41:47Z
date_updated: 2022-01-06T06:58:00Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-662-46675-9_7
editor:
- first_name: Alexander
full_name: Egyed, Alexander
last_name: Egyed
- first_name: Ina
full_name: Schaefer, Ina
last_name: Schaefer
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:25:36Z
date_updated: 2018-03-21T09:25:36Z
file_id: '1469'
file_name: 283-FASEsubmission38_01.pdf
file_size: 391253
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:25:36Z
has_accepted_license: '1'
language:
- iso: eng
page: 100-114
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Fundamental Approaches to Software Engineering
series_title: Lecture Notes in Computer Science
status: public
title: Just test what you cannot verify!
type: conference
user_id: '477'
year: '2015'
...
---
_id: '28301'
author:
- first_name: Bassem
full_name: Hassan, Bassem
last_name: Hassan
- first_name: Jörg
full_name: Stöcklein, Jörg
last_name: Stöcklein
- first_name: Jan
full_name: Berssenbrügge, Jan
last_name: Berssenbrügge
citation:
ama: 'Hassan B, Stöcklein J, Berssenbrügge J. ARTiST - An Augmented Reality Testbed
for Intelligent Technical Systems. In: Shumaker R, Lackey S, eds. Virtual,
Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015;
LNCS 9179. Vol LNCS 9179. LNCS 9179. Springer International Publishing Switzerland;
2015:457-469.'
apa: 'Hassan, B., Stöcklein, J., & Berssenbrügge, J. (2015). ARTiST - An Augmented
Reality Testbed for Intelligent Technical Systems. In R. Shumaker & S. Lackey
(Eds.), Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI
International 2015; LNCS 9179: Vol. LNCS 9179 (pp. 457–469). Springer International
Publishing Switzerland.'
bibtex: '@inproceedings{Hassan_Stöcklein_Berssenbrügge_2015, place={Los Angeles,
CA, USA}, series={LNCS 9179}, title={ARTiST - An Augmented Reality Testbed for
Intelligent Technical Systems}, volume={LNCS 9179}, booktitle={Virtual, Augmented
and Mixed Reality VAMR 2015 Held as Part of HCI International 2015; LNCS 9179},
publisher={Springer International Publishing Switzerland}, author={Hassan, Bassem
and Stöcklein, Jörg and Berssenbrügge, Jan}, editor={Shumaker, Randall and Lackey,
Stephanie}, year={2015}, pages={457–469}, collection={LNCS 9179} }'
chicago: 'Hassan, Bassem, Jörg Stöcklein, and Jan Berssenbrügge. “ARTiST - An Augmented
Reality Testbed for Intelligent Technical Systems.” In Virtual, Augmented and
Mixed Reality VAMR 2015 Held as Part of HCI International 2015; LNCS 9179,
edited by Randall Shumaker and Stephanie Lackey, LNCS 9179:457–69. LNCS 9179.
Los Angeles, CA, USA: Springer International Publishing Switzerland, 2015.'
ieee: B. Hassan, J. Stöcklein, and J. Berssenbrügge, “ARTiST - An Augmented Reality
Testbed for Intelligent Technical Systems,” in Virtual, Augmented and Mixed
Reality VAMR 2015 Held as Part of HCI International 2015; LNCS 9179, 2015,
vol. LNCS 9179, pp. 457–469.
mla: Hassan, Bassem, et al. “ARTiST - An Augmented Reality Testbed for Intelligent
Technical Systems.” Virtual, Augmented and Mixed Reality VAMR 2015 Held as
Part of HCI International 2015; LNCS 9179, edited by Randall Shumaker and
Stephanie Lackey, vol. LNCS 9179, Springer International Publishing Switzerland,
2015, pp. 457–69.
short: 'B. Hassan, J. Stöcklein, J. Berssenbrügge, in: R. Shumaker, S. Lackey (Eds.),
Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International
2015; LNCS 9179, Springer International Publishing Switzerland, Los Angeles, CA,
USA, 2015, pp. 457–469.'
conference:
name: 2. - 7. Aug. 2015 HCI International
date_created: 2021-12-06T08:33:33Z
date_updated: 2022-01-06T06:58:00Z
department:
- _id: '676'
editor:
- first_name: Randall
full_name: Shumaker, Randall
last_name: Shumaker
- first_name: Stephanie
full_name: Lackey, Stephanie
last_name: Lackey
language:
- iso: eng
page: 457-469
place: Los Angeles, CA, USA
publication: Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International
2015; LNCS 9179
publisher: Springer International Publishing Switzerland
series_title: LNCS 9179
status: public
title: ARTiST - An Augmented Reality Testbed for Intelligent Technical Systems
type: conference
user_id: '21240'
volume: LNCS 9179
year: '2015'
...
---
_id: '28302'
author:
- first_name: Ansgar
full_name: Trächtler, Ansgar
id: '552'
last_name: Trächtler
- first_name: Peter
full_name: Iwanek, Peter
last_name: Iwanek
- first_name: Gerald
full_name: Scheffels, Gerald
last_name: Scheffels
citation:
ama: Trächtler A, Iwanek P, Scheffels G. Der Mensch als Vorbild. elektrotechnik
- Automatisierung Sonderausgabe. Published online 2015:32-33.
apa: Trächtler, A., Iwanek, P., & Scheffels, G. (2015). Der Mensch als Vorbild.
elektrotechnik - Automatisierung Sonderausgabe, 32–33.
bibtex: '@article{Trächtler_Iwanek_Scheffels_2015, title={Der Mensch als Vorbild},
journal={elektrotechnik - Automatisierung Sonderausgabe}, author={Trächtler, Ansgar
and Iwanek, Peter and Scheffels, Gerald}, year={2015}, pages={32–33} }'
chicago: Trächtler, Ansgar, Peter Iwanek, and Gerald Scheffels. “Der Mensch als
Vorbild.” elektrotechnik - Automatisierung Sonderausgabe, 2015, 32–33.
ieee: A. Trächtler, P. Iwanek, and G. Scheffels, “Der Mensch als Vorbild,” elektrotechnik
- Automatisierung Sonderausgabe, pp. 32–33, 2015.
mla: Trächtler, Ansgar, et al. “Der Mensch als Vorbild.” elektrotechnik - Automatisierung
Sonderausgabe, 2015, pp. 32–33.
short: A. Trächtler, P. Iwanek, G. Scheffels, elektrotechnik - Automatisierung Sonderausgabe
(2015) 32–33.
date_created: 2021-12-06T08:41:22Z
date_updated: 2022-01-06T06:58:00Z
department:
- _id: '676'
language:
- iso: ger
page: 32-33
publication: elektrotechnik - Automatisierung Sonderausgabe
status: public
title: Der Mensch als Vorbild
type: journal_article
user_id: '21240'
year: '2015'
...
---
_id: '28303'
abstract:
- lang: eng
text: The development of software-intensive technical systems (e.g., within the
automotive industry) involves several engineering disciplines like mechanical,
electrical, control, and software engineering. Model-based Systems Engineering
(MBSE) coordinates these disciplines throughout the development by means of discipline-spanning
processes and system models. Such a system model provides a common understanding
of the system under development and serves as a starting point for the discipline-specific
development. An integral part of MBSE is the requirements engineering on the system
level. However, for the discipline-specific development to start, these requirements
need to be refined, e.g., into specific requirements for the embedded software.
Since existing MBSE approaches lack support for this refinement step, we conceived
a systematic transition from MBSE to model-based software requirements engineering,
which we present in this paper. We automated the steps of the transition where
possible, in order to avoid error-prone and time-consuming manual tasks. We illustrate
the approach with an example of an automotive embedded system.
author:
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Ruslan
full_name: Bernijazov, Ruslan
last_name: Bernijazov
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: David
full_name: Schmelter, David
id: '40982'
last_name: Schmelter
orcid: 0000-0001-7787-5380
- first_name: Christian
full_name: Tschirner, Christian
last_name: Tschirner
citation:
ama: 'Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated Systems
Engineering and Software Requirements Engineering for Technical Systems. In: Proceedings
of the International Conference on Software and Systems Process (ICSSP). ;
2015:57-66. doi:http://dx.doi.org/10.1145/2785592.2785597'
apa: Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., & Tschirner, C.
(2015). Integrated Systems Engineering and Software Requirements Engineering for
Technical Systems. Proceedings of the International Conference on Software
and Systems Process (ICSSP), 57–66. http://dx.doi.org/10.1145/2785592.2785597
bibtex: '@inproceedings{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2015, place={New
York, NY, USA}, title={Integrated Systems Engineering and Software Requirements
Engineering for Technical Systems}, DOI={http://dx.doi.org/10.1145/2785592.2785597},
booktitle={Proceedings of the International Conference on Software and Systems
Process (ICSSP)}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias
and Schmelter, David and Tschirner, Christian}, year={2015}, pages={57–66} }'
chicago: Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and
Christian Tschirner. “Integrated Systems Engineering and Software Requirements
Engineering for Technical Systems.” In Proceedings of the International Conference
on Software and Systems Process (ICSSP), 57–66. New York, NY, USA, 2015. http://dx.doi.org/10.1145/2785592.2785597.
ieee: 'J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated
Systems Engineering and Software Requirements Engineering for Technical Systems,”
in Proceedings of the International Conference on Software and Systems Process
(ICSSP), 2015, pp. 57–66, doi: http://dx.doi.org/10.1145/2785592.2785597.'
mla: Holtmann, Jörg, et al. “Integrated Systems Engineering and Software Requirements
Engineering for Technical Systems.” Proceedings of the International Conference
on Software and Systems Process (ICSSP), 2015, pp. 57–66, doi:http://dx.doi.org/10.1145/2785592.2785597.
short: 'J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, in: Proceedings
of the International Conference on Software and Systems Process (ICSSP), New York,
NY, USA, 2015, pp. 57–66.'
conference:
name: Aug. 2015, ACM, Best full paper ICSSP 2015
date_created: 2021-12-06T08:45:50Z
date_updated: 2022-01-06T06:58:00Z
department:
- _id: '676'
doi: http://dx.doi.org/10.1145/2785592.2785597
language:
- iso: eng
page: 57-66
place: New York, NY, USA
publication: Proceedings of the International Conference on Software and Systems Process
(ICSSP)
status: public
title: Integrated Systems Engineering and Software Requirements Engineering for Technical
Systems
type: conference
user_id: '21240'
year: '2015'
...