---
_id: '47836'
author:
- first_name: Patrick
full_name: Ködding, Patrick
id: '45402'
last_name: Ködding
- first_name: Christian
full_name: Koldewey, Christian
id: '43136'
last_name: Koldewey
orcid: https://orcid.org/0000-0001-7992-6399
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Ködding P, Koldewey C, Dumitrescu R. A Reference Process Model for Scenario-based
Foresight. In: Proceedings of the XXXII ISPIM Innovation Conference. ;
2023.'
apa: 'Ködding, P., Koldewey, C., & Dumitrescu, R. (2023). A Reference Process
Model for Scenario-based Foresight. Proceedings of the XXXII ISPIM Innovation
Conference. ISPIM Innovation Conference: Innovation and Circular Economy.'
bibtex: '@inproceedings{Ködding_Koldewey_Dumitrescu_2023, title={A Reference Process
Model for Scenario-based Foresight}, booktitle={Proceedings of the XXXII ISPIM
Innovation Conference}, author={Ködding, Patrick and Koldewey, Christian and Dumitrescu,
Roman}, year={2023} }'
chicago: Ködding, Patrick, Christian Koldewey, and Roman Dumitrescu. “A Reference
Process Model for Scenario-Based Foresight.” In Proceedings of the XXXII ISPIM
Innovation Conference, 2023.
ieee: 'P. Ködding, C. Koldewey, and R. Dumitrescu, “A Reference Process Model for
Scenario-based Foresight,” presented at the ISPIM Innovation Conference: Innovation
and Circular Economy, 2023.'
mla: Ködding, Patrick, et al. “A Reference Process Model for Scenario-Based Foresight.”
Proceedings of the XXXII ISPIM Innovation Conference, 2023.
short: 'P. Ködding, C. Koldewey, R. Dumitrescu, in: Proceedings of the XXXII ISPIM
Innovation Conference, 2023.'
conference:
name: 'ISPIM Innovation Conference: Innovation and Circular Economy'
date_created: 2023-10-06T12:41:17Z
date_updated: 2023-11-30T11:46:09Z
department:
- _id: '563'
language:
- iso: eng
publication: Proceedings of the XXXII ISPIM Innovation Conference
status: public
title: A Reference Process Model for Scenario-based Foresight
type: conference
user_id: '45402'
year: '2023'
...
---
_id: '49368'
author:
- first_name: Jörn Steffen
full_name: Menzefricke, Jörn Steffen
id: '29799'
last_name: Menzefricke
- first_name: Christian
full_name: Koldewey, Christian
id: '43136'
last_name: Koldewey
orcid: https://orcid.org/0000-0001-7992-6399
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Menzefricke JS, Koldewey C, Dumitrescu R. Enhancing Risk Management for Digitalisation
Projects in the Context of Socio-Technical Systems. In: The Digital Twin of
Humans. Springer International Publishing; 2023. doi:10.1007/978-3-031-26104-6_3'
apa: Menzefricke, J. S., Koldewey, C., & Dumitrescu, R. (2023). Enhancing Risk
Management for Digitalisation Projects in the Context of Socio-Technical Systems.
In The Digital Twin of Humans. Springer International Publishing. https://doi.org/10.1007/978-3-031-26104-6_3
bibtex: '@inbook{Menzefricke_Koldewey_Dumitrescu_2023, place={Cham}, title={Enhancing
Risk Management for Digitalisation Projects in the Context of Socio-Technical
Systems}, DOI={10.1007/978-3-031-26104-6_3},
booktitle={The Digital Twin of Humans}, publisher={Springer International Publishing},
author={Menzefricke, Jörn Steffen and Koldewey, Christian and Dumitrescu, Roman},
year={2023} }'
chicago: 'Menzefricke, Jörn Steffen, Christian Koldewey, and Roman Dumitrescu. “Enhancing
Risk Management for Digitalisation Projects in the Context of Socio-Technical
Systems.” In The Digital Twin of Humans. Cham: Springer International Publishing,
2023. https://doi.org/10.1007/978-3-031-26104-6_3.'
ieee: 'J. S. Menzefricke, C. Koldewey, and R. Dumitrescu, “Enhancing Risk Management
for Digitalisation Projects in the Context of Socio-Technical Systems,” in The
Digital Twin of Humans, Cham: Springer International Publishing, 2023.'
mla: Menzefricke, Jörn Steffen, et al. “Enhancing Risk Management for Digitalisation
Projects in the Context of Socio-Technical Systems.” The Digital Twin of Humans,
Springer International Publishing, 2023, doi:10.1007/978-3-031-26104-6_3.
short: 'J.S. Menzefricke, C. Koldewey, R. Dumitrescu, in: The Digital Twin of Humans,
Springer International Publishing, Cham, 2023.'
date_created: 2023-11-30T14:36:15Z
date_updated: 2023-11-30T14:37:11Z
department:
- _id: '563'
doi: 10.1007/978-3-031-26104-6_3
language:
- iso: eng
place: Cham
publication: The Digital Twin of Humans
publication_identifier:
isbn:
- '9783031261039'
- '9783031261046'
publication_status: published
publisher: Springer International Publishing
status: public
title: Enhancing Risk Management for Digitalisation Projects in the Context of Socio-Technical
Systems
type: book_chapter
user_id: '43136'
year: '2023'
...
---
_id: '48601'
abstract:
- lang: eng
text: AbstractIn global competition, companies
are continuously searching for a competitive advantage. A growing number of companies
have identified the design of their products as a major success factor. The promises
for companies associated with outstanding design are extremely attractive, ranging
from better customer experience to higher sales growth. But even though the advantages
of design seem to be compelling, companies are still having difficulties in leveraging
the benefits of design.In this paper, we want to identify the
underlying challenges that explain this gap. We are especially interested in the
role and challenges of design in interdisciplinary product development. Therefore,
we perform a literature review that clarifies terminology, analyses research approaches
and identifies challenges. We determine seven key challenges for design in interdisciplinary
product development. Furthermore, we observe a limited scope of research approaches
in the reviewed literature. Based on these findings, we propose three further
research directions to strengthen the role of design in interdisciplinary product
development in the future.
author:
- first_name: Bernd
full_name: Stöhr, Bernd
last_name: Stöhr
- first_name: Christian
full_name: Koldewey, Christian
id: '43136'
last_name: Koldewey
orcid: https://orcid.org/0000-0001-7992-6399
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Stöhr B, Koldewey C, Dumitrescu R. The Role of Design in interdisciplinary
Product Development – Challenges, Research Approaches and Further Research needs.
In: Proceedings of the Design Society. Vol 3. Cambridge University Press
(CUP); 2023:3473-3482. doi:10.1017/pds.2023.348'
apa: Stöhr, B., Koldewey, C., & Dumitrescu, R. (2023). The Role of Design in
interdisciplinary Product Development – Challenges, Research Approaches and Further
Research needs. Proceedings of the Design Society, 3, 3473–3482.
https://doi.org/10.1017/pds.2023.348
bibtex: '@inproceedings{Stöhr_Koldewey_Dumitrescu_2023, title={The Role of Design
in interdisciplinary Product Development – Challenges, Research Approaches and
Further Research needs}, volume={3}, DOI={10.1017/pds.2023.348},
booktitle={Proceedings of the Design Society}, publisher={Cambridge University
Press (CUP)}, author={Stöhr, Bernd and Koldewey, Christian and Dumitrescu, Roman},
year={2023}, pages={3473–3482} }'
chicago: Stöhr, Bernd, Christian Koldewey, and Roman Dumitrescu. “The Role of Design
in Interdisciplinary Product Development – Challenges, Research Approaches and
Further Research Needs.” In Proceedings of the Design Society, 3:3473–82.
Cambridge University Press (CUP), 2023. https://doi.org/10.1017/pds.2023.348.
ieee: 'B. Stöhr, C. Koldewey, and R. Dumitrescu, “The Role of Design in interdisciplinary
Product Development – Challenges, Research Approaches and Further Research needs,”
in Proceedings of the Design Society, 2023, vol. 3, pp. 3473–3482, doi:
10.1017/pds.2023.348.'
mla: Stöhr, Bernd, et al. “The Role of Design in Interdisciplinary Product Development
– Challenges, Research Approaches and Further Research Needs.” Proceedings
of the Design Society, vol. 3, Cambridge University Press (CUP), 2023, pp.
3473–82, doi:10.1017/pds.2023.348.
short: 'B. Stöhr, C. Koldewey, R. Dumitrescu, in: Proceedings of the Design Society,
Cambridge University Press (CUP), 2023, pp. 3473–3482.'
date_created: 2023-11-03T10:16:35Z
date_updated: 2023-12-01T08:16:38Z
department:
- _id: '563'
doi: 10.1017/pds.2023.348
intvolume: ' 3'
language:
- iso: eng
page: 3473-3482
publication: Proceedings of the Design Society
publication_identifier:
issn:
- 2732-527X
publication_status: published
publisher: Cambridge University Press (CUP)
status: public
title: The Role of Design in interdisciplinary Product Development – Challenges, Research
Approaches and Further Research needs
type: conference
user_id: '15782'
volume: 3
year: '2023'
...
---
_id: '47850'
abstract:
- lang: eng
text: AbstractThe megatrend sustainability will
significantly change the future value creation of manufacturing companies. Their
current linear value creation models need to change to conform to the requirements
of sustainability. To face the challenges the circular economy has emerged as
a promising economic model. With the shift from a linear to a circular economy,
companies have to adjust their current business models. However, they still lack
knowledge and adequate methods to develop circular business models. Hence, the
aim of the paper is a circular business model canvas (CBMC) for designing circular
businesses. A systematic literature review was conducted to identify significant
criteria for circular business models. The criteria were analyzed utilizing a
qualitative content analysis to derive the business model elements required for
the circular economy. Existing elements from the Business Model Canvas were enriched
and five new elements, e.g., reverse logistics, were found. Then, the business
model elements were logically arranged resulting in the CBMC. It guides companies
to systematically develop business models for the circular economy. The CBMC was
evaluated by applying it within a mediumsized company in the electronics sector.
author:
- first_name: Michel
full_name: Scholtysik, Michel
id: '50562'
last_name: Scholtysik
- first_name: Malte
full_name: Rohde, Malte
last_name: Rohde
- first_name: Christian
full_name: Koldewey, Christian
id: '43136'
last_name: Koldewey
orcid: https://orcid.org/0000-0001-7992-6399
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: Scholtysik M, Rohde M, Koldewey C, Dumitrescu R. Designing Business Models
for a Circular Economy. Proceedings of the Design Society. 2023;3:1347-1356.
doi:10.1017/pds.2023.135
apa: Scholtysik, M., Rohde, M., Koldewey, C., & Dumitrescu, R. (2023). Designing
Business Models for a Circular Economy. Proceedings of the Design Society,
3, 1347–1356. https://doi.org/10.1017/pds.2023.135
bibtex: '@article{Scholtysik_Rohde_Koldewey_Dumitrescu_2023, title={Designing Business
Models for a Circular Economy}, volume={3}, DOI={10.1017/pds.2023.135},
journal={Proceedings of the Design Society}, publisher={Cambridge University Press
(CUP)}, author={Scholtysik, Michel and Rohde, Malte and Koldewey, Christian and
Dumitrescu, Roman}, year={2023}, pages={1347–1356} }'
chicago: 'Scholtysik, Michel, Malte Rohde, Christian Koldewey, and Roman Dumitrescu.
“Designing Business Models for a Circular Economy.” Proceedings of the Design
Society 3 (2023): 1347–56. https://doi.org/10.1017/pds.2023.135.'
ieee: 'M. Scholtysik, M. Rohde, C. Koldewey, and R. Dumitrescu, “Designing Business
Models for a Circular Economy,” Proceedings of the Design Society, vol.
3, pp. 1347–1356, 2023, doi: 10.1017/pds.2023.135.'
mla: Scholtysik, Michel, et al. “Designing Business Models for a Circular Economy.”
Proceedings of the Design Society, vol. 3, Cambridge University Press (CUP),
2023, pp. 1347–56, doi:10.1017/pds.2023.135.
short: M. Scholtysik, M. Rohde, C. Koldewey, R. Dumitrescu, Proceedings of the Design
Society 3 (2023) 1347–1356.
date_created: 2023-10-09T06:25:07Z
date_updated: 2023-12-01T08:17:25Z
department:
- _id: '563'
doi: 10.1017/pds.2023.135
intvolume: ' 3'
language:
- iso: eng
page: 1347-1356
publication: Proceedings of the Design Society
publication_identifier:
issn:
- 2732-527X
publication_status: published
publisher: Cambridge University Press (CUP)
status: public
title: Designing Business Models for a Circular Economy
type: journal_article
user_id: '15782'
volume: 3
year: '2023'
...
---
_id: '47813'
abstract:
- lang: eng
text: AbstractThe development of modern vehicles
is complex, especially regarding compliance with security and safety. ISO/SAE
21434 considers security and safety along the entire product life cycle. According
to the standard, a system architecture, a risk analysis, and the application of
countermeasures are carried out in the early system design. Design patterns are
solutions to known design problems. Security Design Patterns (SDP) describe countermeasures
and are used to reduce risk. After our literature review, we did not find a suitable
approach that presents SDPs that would be applicable in early system design. In
this paper, we present 10 SDPs for early system design, which we evaluated during
an 11-week student project with 28 teams. We present the results of the quantitative
analysis and the evaluation of the feedback.
author:
- first_name: Sergej
full_name: Japs, Sergej
last_name: Japs
- first_name: Faizan
full_name: Faheem, Faizan
last_name: Faheem
- first_name: Harald
full_name: Anacker, Harald
last_name: Anacker
- first_name: Stephan
full_name: Husung, Stephan
last_name: Husung
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: Japs S, Faheem F, Anacker H, Husung S, Dumitrescu R. Model-based Systems Engineering
using Security Design Patterns in the Context of ISO/SAE 21434. Proceedings
of the Design Society. 2023;3:2675-2684. doi:10.1017/pds.2023.268
apa: Japs, S., Faheem, F., Anacker, H., Husung, S., & Dumitrescu, R. (2023).
Model-based Systems Engineering using Security Design Patterns in the Context
of ISO/SAE 21434. Proceedings of the Design Society, 3, 2675–2684.
https://doi.org/10.1017/pds.2023.268
bibtex: '@article{Japs_Faheem_Anacker_Husung_Dumitrescu_2023, title={Model-based
Systems Engineering using Security Design Patterns in the Context of ISO/SAE 21434},
volume={3}, DOI={10.1017/pds.2023.268},
journal={Proceedings of the Design Society}, publisher={Cambridge University Press
(CUP)}, author={Japs, Sergej and Faheem, Faizan and Anacker, Harald and Husung,
Stephan and Dumitrescu, Roman}, year={2023}, pages={2675–2684} }'
chicago: 'Japs, Sergej, Faizan Faheem, Harald Anacker, Stephan Husung, and Roman
Dumitrescu. “Model-Based Systems Engineering Using Security Design Patterns in
the Context of ISO/SAE 21434.” Proceedings of the Design Society 3 (2023):
2675–84. https://doi.org/10.1017/pds.2023.268.'
ieee: 'S. Japs, F. Faheem, H. Anacker, S. Husung, and R. Dumitrescu, “Model-based
Systems Engineering using Security Design Patterns in the Context of ISO/SAE 21434,”
Proceedings of the Design Society, vol. 3, pp. 2675–2684, 2023, doi: 10.1017/pds.2023.268.'
mla: Japs, Sergej, et al. “Model-Based Systems Engineering Using Security Design
Patterns in the Context of ISO/SAE 21434.” Proceedings of the Design Society,
vol. 3, Cambridge University Press (CUP), 2023, pp. 2675–84, doi:10.1017/pds.2023.268.
short: S. Japs, F. Faheem, H. Anacker, S. Husung, R. Dumitrescu, Proceedings of
the Design Society 3 (2023) 2675–2684.
date_created: 2023-10-06T09:31:17Z
date_updated: 2023-12-01T08:14:39Z
department:
- _id: '563'
doi: 10.1017/pds.2023.268
intvolume: ' 3'
language:
- iso: eng
page: 2675-2684
publication: Proceedings of the Design Society
publication_identifier:
issn:
- 2732-527X
publication_status: published
publisher: Cambridge University Press (CUP)
status: public
title: Model-based Systems Engineering using Security Design Patterns in the Context
of ISO/SAE 21434
type: journal_article
user_id: '15782'
volume: 3
year: '2023'
...
---
_id: '46816'
author:
- first_name: Adriano
full_name: Torres, Adriano
last_name: Torres
- first_name: Pedro
full_name: Costa, Pedro
last_name: Costa
- first_name: Luis
full_name: Amaral, Luis
last_name: Amaral
- first_name: Jonata
full_name: Pastro, Jonata
last_name: Pastro
- first_name: Rodrigo
full_name: Bonifácio, Rodrigo
last_name: Bonifácio
- first_name: Marcelo
full_name: d'Amorim, Marcelo
last_name: d'Amorim
- first_name: Owolabi
full_name: Legunsen, Owolabi
last_name: Legunsen
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Edna
full_name: Dias Canedo, Edna
last_name: Dias Canedo
citation:
ama: 'Torres A, Costa P, Amaral L, et al. Runtime Verification of Crypto APIs: An
Empirical Study. IEEE Transactions on Software Engineering. 2023;49(10):4510-4525.
doi:10.1109/tse.2023.3301660'
apa: 'Torres, A., Costa, P., Amaral, L., Pastro, J., Bonifácio, R., d’Amorim, M.,
Legunsen, O., Bodden, E., & Dias Canedo, E. (2023). Runtime Verification of
Crypto APIs: An Empirical Study. IEEE Transactions on Software Engineering,
49(10), 4510–4525. https://doi.org/10.1109/tse.2023.3301660'
bibtex: '@article{Torres_Costa_Amaral_Pastro_Bonifácio_d’Amorim_Legunsen_Bodden_Dias
Canedo_2023, title={Runtime Verification of Crypto APIs: An Empirical Study},
volume={49}, DOI={10.1109/tse.2023.3301660},
number={10}, journal={IEEE Transactions on Software Engineering}, publisher={Institute
of Electrical and Electronics Engineers (IEEE)}, author={Torres, Adriano and Costa,
Pedro and Amaral, Luis and Pastro, Jonata and Bonifácio, Rodrigo and d’Amorim,
Marcelo and Legunsen, Owolabi and Bodden, Eric and Dias Canedo, Edna}, year={2023},
pages={4510–4525} }'
chicago: 'Torres, Adriano, Pedro Costa, Luis Amaral, Jonata Pastro, Rodrigo Bonifácio,
Marcelo d’Amorim, Owolabi Legunsen, Eric Bodden, and Edna Dias Canedo. “Runtime
Verification of Crypto APIs: An Empirical Study.” IEEE Transactions on Software
Engineering 49, no. 10 (2023): 4510–25. https://doi.org/10.1109/tse.2023.3301660.'
ieee: 'A. Torres et al., “Runtime Verification of Crypto APIs: An Empirical
Study,” IEEE Transactions on Software Engineering, vol. 49, no. 10, pp.
4510–4525, 2023, doi: 10.1109/tse.2023.3301660.'
mla: 'Torres, Adriano, et al. “Runtime Verification of Crypto APIs: An Empirical
Study.” IEEE Transactions on Software Engineering, vol. 49, no. 10, Institute
of Electrical and Electronics Engineers (IEEE), 2023, pp. 4510–25, doi:10.1109/tse.2023.3301660.'
short: A. Torres, P. Costa, L. Amaral, J. Pastro, R. Bonifácio, M. d’Amorim, O.
Legunsen, E. Bodden, E. Dias Canedo, IEEE Transactions on Software Engineering
49 (2023) 4510–4525.
date_created: 2023-09-06T07:42:40Z
date_updated: 2023-12-04T11:05:26Z
department:
- _id: '76'
doi: 10.1109/tse.2023.3301660
intvolume: ' 49'
issue: '10'
keyword:
- Software
language:
- iso: eng
page: 4510 - 4525
publication: IEEE Transactions on Software Engineering
publication_identifier:
issn:
- 0098-5589
- 1939-3520
- 2326-3881
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: 'Runtime Verification of Crypto APIs: An Empirical Study'
type: journal_article
user_id: '15249'
volume: 49
year: '2023'
...
---
_id: '49439'
abstract:
- lang: eng
text: AbstractThe use of static analysis security
testing (SAST) tools has been increasing in recent years. However, previous studies
have shown that, when shipped to end users such as development or security teams,
the findings of these tools are often unsatisfying. Users report high numbers
of false positives or long analysis times, making the tools unusable in the daily
workflow. To address this, SAST tool creators provide a wide range of configuration
options, such as customization of rules through domain-specific languages or specification
of the application-specific analysis scope. In this paper, we study the configuration
space of selected existing SAST tools when used within the integrated development
environment (IDE). We focus on the configuration options that impact three dimensions,
for which a trade-off is unavoidable, i.e., precision, recall, and analysis runtime.
We perform a between-subjects user study with 40 users from multiple development
and security teams - to our knowledge, the largest population for this kind of
user study in the software engineering community. The results show that users
who configure SAST tools are more effective in resolving security vulnerabilities
detected by the tools than those using the default configuration. Based on post-study
interviews, we identify common strategies that users have while configuring the
SAST tools to provide further insights for tool creators. Finally, an evaluation
of the configuration options of two commercial SAST tools, Fortify
and CheckMarx, reveals that a quarter of the users do not understand
the configuration options provided. The configuration options that are found most
useful relate to the analysis scope.
article_number: '118'
author:
- first_name: Goran
full_name: Piskachev, Goran
id: '41936'
last_name: Piskachev
orcid: 0000-0003-4424-5838
- first_name: Matthias
full_name: Becker, Matthias
id: '4870'
last_name: Becker
orcid: https://orcid.org/0000-0003-2465-9347
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: Piskachev G, Becker M, Bodden E. Can the configuration of static analyses make
resolving security vulnerabilities more effective? - A user study. Empirical
Software Engineering. 2023;28(5). doi:10.1007/s10664-023-10354-3
apa: Piskachev, G., Becker, M., & Bodden, E. (2023). Can the configuration of
static analyses make resolving security vulnerabilities more effective? - A user
study. Empirical Software Engineering, 28(5), Article 118. https://doi.org/10.1007/s10664-023-10354-3
bibtex: '@article{Piskachev_Becker_Bodden_2023, title={Can the configuration of
static analyses make resolving security vulnerabilities more effective? - A user
study}, volume={28}, DOI={10.1007/s10664-023-10354-3},
number={5118}, journal={Empirical Software Engineering}, publisher={Springer Science
and Business Media LLC}, author={Piskachev, Goran and Becker, Matthias and Bodden,
Eric}, year={2023} }'
chicago: Piskachev, Goran, Matthias Becker, and Eric Bodden. “Can the Configuration
of Static Analyses Make Resolving Security Vulnerabilities More Effective? - A
User Study.” Empirical Software Engineering 28, no. 5 (2023). https://doi.org/10.1007/s10664-023-10354-3.
ieee: 'G. Piskachev, M. Becker, and E. Bodden, “Can the configuration of static
analyses make resolving security vulnerabilities more effective? - A user study,”
Empirical Software Engineering, vol. 28, no. 5, Art. no. 118, 2023, doi:
10.1007/s10664-023-10354-3.'
mla: Piskachev, Goran, et al. “Can the Configuration of Static Analyses Make Resolving
Security Vulnerabilities More Effective? - A User Study.” Empirical Software
Engineering, vol. 28, no. 5, 118, Springer Science and Business Media LLC,
2023, doi:10.1007/s10664-023-10354-3.
short: G. Piskachev, M. Becker, E. Bodden, Empirical Software Engineering 28 (2023).
date_created: 2023-12-04T11:14:34Z
date_updated: 2023-12-04T11:29:49Z
department:
- _id: '76'
- _id: '662'
doi: 10.1007/s10664-023-10354-3
intvolume: ' 28'
issue: '5'
keyword:
- Software
language:
- iso: eng
publication: Empirical Software Engineering
publication_identifier:
issn:
- 1382-3256
- 1573-7616
publication_status: published
publisher: Springer Science and Business Media LLC
status: public
title: Can the configuration of static analyses make resolving security vulnerabilities
more effective? - A user study
type: journal_article
user_id: '15249'
volume: 28
year: '2023'
...
---
_id: '49494'
author:
- first_name: Alexander
full_name: Nickel, Alexander
last_name: Nickel
citation:
ama: Nickel A. Entwicklung Und Analyse von Formeln Zur Abschätzung Der Renderingzeit
Eines Frames.; 2023.
apa: Nickel, A. (2023). Entwicklung und Analyse von Formeln zur Abschätzung der
Renderingzeit eines Frames.
bibtex: '@book{Nickel_2023, title={Entwicklung und Analyse von Formeln zur Abschätzung
der Renderingzeit eines Frames}, author={Nickel, Alexander}, year={2023} }'
chicago: Nickel, Alexander. Entwicklung Und Analyse von Formeln Zur Abschätzung
Der Renderingzeit Eines Frames, 2023.
ieee: A. Nickel, Entwicklung und Analyse von Formeln zur Abschätzung der Renderingzeit
eines Frames. 2023.
mla: Nickel, Alexander. Entwicklung Und Analyse von Formeln Zur Abschätzung Der
Renderingzeit Eines Frames. 2023.
short: A. Nickel, Entwicklung Und Analyse von Formeln Zur Abschätzung Der Renderingzeit
Eines Frames, 2023.
date_created: 2023-12-05T15:22:55Z
date_updated: 2023-12-05T15:23:12Z
department:
- _id: '34'
- _id: '7'
- _id: '79'
language:
- iso: eng
status: public
supervisor:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Matthias
full_name: Fischer, Matthias
id: '146'
last_name: Fischer
title: Entwicklung und Analyse von Formeln zur Abschätzung der Renderingzeit eines
Frames
type: bachelorsthesis
user_id: '15578'
year: '2023'
...
---
_id: '49493'
author:
- first_name: Vipasyan
full_name: Telaprolu, Vipasyan
last_name: Telaprolu
citation:
ama: Telaprolu V. Reconstruction of 3D Surfels from Neural Radiance Fields.;
2023.
apa: Telaprolu, V. (2023). Reconstruction of 3D Surfels from Neural Radiance
Fields.
bibtex: '@book{Telaprolu_2023, title={Reconstruction of 3D Surfels from Neural Radiance
Fields}, author={Telaprolu, Vipasyan}, year={2023} }'
chicago: Telaprolu, Vipasyan. Reconstruction of 3D Surfels from Neural Radiance
Fields, 2023.
ieee: V. Telaprolu, Reconstruction of 3D Surfels from Neural Radiance Fields.
2023.
mla: Telaprolu, Vipasyan. Reconstruction of 3D Surfels from Neural Radiance Fields.
2023.
short: V. Telaprolu, Reconstruction of 3D Surfels from Neural Radiance Fields, 2023.
date_created: 2023-12-05T15:19:46Z
date_updated: 2023-12-05T15:20:10Z
department:
- _id: '34'
- _id: '7'
- _id: '79'
language:
- iso: eng
status: public
supervisor:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
title: Reconstruction of 3D Surfels from Neural Radiance Fields
type: mastersthesis
user_id: '15578'
year: '2023'
...
---
_id: '49492'
author:
- first_name: Jonas
full_name: Friemel, Jonas
last_name: Friemel
citation:
ama: Friemel J. Shape Reconfiguration by Hybrid Programmable Matter.; 2023.
apa: Friemel, J. (2023). Shape Reconfiguration by Hybrid Programmable Matter.
bibtex: '@book{Friemel_2023, title={Shape Reconfiguration by Hybrid Programmable
Matter}, author={Friemel, Jonas}, year={2023} }'
chicago: Friemel, Jonas. Shape Reconfiguration by Hybrid Programmable Matter,
2023.
ieee: J. Friemel, Shape Reconfiguration by Hybrid Programmable Matter. 2023.
mla: Friemel, Jonas. Shape Reconfiguration by Hybrid Programmable Matter.
2023.
short: J. Friemel, Shape Reconfiguration by Hybrid Programmable Matter, 2023.
date_created: 2023-12-05T15:18:17Z
date_updated: 2023-12-05T15:18:41Z
department:
- _id: '34'
- _id: '7'
- _id: '79'
language:
- iso: eng
status: public
supervisor:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
title: Shape Reconfiguration by Hybrid Programmable Matter
type: mastersthesis
user_id: '15578'
year: '2023'
...
---
_id: '49361'
author:
- first_name: Tobias
full_name: Seidenberg, Tobias
last_name: Seidenberg
- first_name: Jan-Philipp
full_name: Disselkamp, Jan-Philipp
last_name: Disselkamp
- first_name: Christoph
full_name: Jürgenhake, Christoph
last_name: Jürgenhake
- first_name: Ansgar
full_name: Wicker, Ansgar
last_name: Wicker
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
- first_name: Edmund
full_name: Tolo, Edmund
last_name: Tolo
citation:
ama: 'Seidenberg T, Disselkamp J-P, Jürgenhake C, Wicker A, Dumitrescu R, Tolo E.
TCO analysis of a modular and integral product architecture in shipbuilding. In:
; 2023. doi: 10.1109/ICE/ITMC58018.2023.10332277'
apa: Seidenberg, T., Disselkamp, J.-P., Jürgenhake, C., Wicker, A., Dumitrescu,
R., & Tolo, E. (2023). TCO analysis of a modular and integral product architecture
in shipbuilding. IEEE Ice Conference 2023, Edingburgh. https://doi.org/ 10.1109/ICE/ITMC58018.2023.10332277
bibtex: '@inproceedings{Seidenberg_Disselkamp_Jürgenhake_Wicker_Dumitrescu_Tolo_2023,
title={TCO analysis of a modular and integral product architecture in shipbuilding},
DOI={ 10.1109/ICE/ITMC58018.2023.10332277},
author={Seidenberg, Tobias and Disselkamp, Jan-Philipp and Jürgenhake, Christoph
and Wicker, Ansgar and Dumitrescu, Roman and Tolo, Edmund}, year={2023} }'
chicago: Seidenberg, Tobias, Jan-Philipp Disselkamp, Christoph Jürgenhake, Ansgar
Wicker, Roman Dumitrescu, and Edmund Tolo. “TCO Analysis of a Modular and Integral
Product Architecture in Shipbuilding,” 2023. https://doi.org/
10.1109/ICE/ITMC58018.2023.10332277.
ieee: 'T. Seidenberg, J.-P. Disselkamp, C. Jürgenhake, A. Wicker, R. Dumitrescu,
and E. Tolo, “TCO analysis of a modular and integral product architecture in shipbuilding,”
presented at the IEEE Ice Conference 2023, Edingburgh, 2023, doi: 10.1109/ICE/ITMC58018.2023.10332277.'
mla: Seidenberg, Tobias, et al. TCO Analysis of a Modular and Integral Product
Architecture in Shipbuilding. 2023, doi:
10.1109/ICE/ITMC58018.2023.10332277.
short: 'T. Seidenberg, J.-P. Disselkamp, C. Jürgenhake, A. Wicker, R. Dumitrescu,
E. Tolo, in: 2023.'
conference:
end_date: 2023-06-22
location: Edingburgh
name: IEEE Ice Conference 2023
start_date: 2023-06-19
date_created: 2023-11-30T10:27:50Z
date_updated: 2023-12-06T07:46:08Z
department:
- _id: '563'
doi: ' 10.1109/ICE/ITMC58018.2023.10332277'
language:
- iso: eng
status: public
title: TCO analysis of a modular and integral product architecture in shipbuilding
type: conference
user_id: '15782'
year: '2023'
...
---
_id: '49360'
author:
- first_name: Jan-Philipp
full_name: Disselkamp, Jan-Philipp
last_name: Disselkamp
- first_name: Tobias
full_name: Seidenberg, Tobias
last_name: Seidenberg
- first_name: Christoph
full_name: Jürgenhake, Christoph
last_name: Jürgenhake
- first_name: Harald
full_name: Anacker, Harald
last_name: Anacker
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Disselkamp J-P, Seidenberg T, Jürgenhake C, Anacker H, Dumitrescu R. Future
production of ships – case study for modular high-speed ferries. In: ; 2023. doi: 10.1109/ICE/ITMC58018.2023.10332382'
apa: Disselkamp, J.-P., Seidenberg, T., Jürgenhake, C., Anacker, H., & Dumitrescu,
R. (2023). Future production of ships – case study for modular high-speed ferries.
IEEE Ice Conference 2023, Edingburgh. https://doi.org/
10.1109/ICE/ITMC58018.2023.10332382
bibtex: '@inproceedings{Disselkamp_Seidenberg_Jürgenhake_Anacker_Dumitrescu_2023,
title={Future production of ships – case study for modular high-speed ferries},
DOI={ 10.1109/ICE/ITMC58018.2023.10332382},
author={Disselkamp, Jan-Philipp and Seidenberg, Tobias and Jürgenhake, Christoph
and Anacker, Harald and Dumitrescu, Roman}, year={2023} }'
chicago: Disselkamp, Jan-Philipp, Tobias Seidenberg, Christoph Jürgenhake, Harald
Anacker, and Roman Dumitrescu. “Future Production of Ships – Case Study for Modular
High-Speed Ferries,” 2023. https://doi.org/
10.1109/ICE/ITMC58018.2023.10332382.
ieee: 'J.-P. Disselkamp, T. Seidenberg, C. Jürgenhake, H. Anacker, and R. Dumitrescu,
“Future production of ships – case study for modular high-speed ferries,” presented
at the IEEE Ice Conference 2023, Edingburgh, 2023, doi: 10.1109/ICE/ITMC58018.2023.10332382.'
mla: Disselkamp, Jan-Philipp, et al. Future Production of Ships – Case Study
for Modular High-Speed Ferries. 2023, doi:
10.1109/ICE/ITMC58018.2023.10332382.
short: 'J.-P. Disselkamp, T. Seidenberg, C. Jürgenhake, H. Anacker, R. Dumitrescu,
in: 2023.'
conference:
end_date: 2023-06-22
location: Edingburgh
name: IEEE Ice Conference 2023
start_date: 2023-06-19
date_created: 2023-11-30T10:26:12Z
date_updated: 2023-12-06T07:45:25Z
department:
- _id: '563'
doi: ' 10.1109/ICE/ITMC58018.2023.10332382'
language:
- iso: eng
status: public
title: Future production of ships – case study for modular high-speed ferries
type: conference
user_id: '15782'
year: '2023'
...
---
_id: '48869'
abstract:
- lang: eng
text: Evolutionary algorithms have been shown to obtain good solutions for complex
optimization problems in static and dynamic environments. It is important to understand
the behaviour of evolutionary algorithms for complex optimization problems that
also involve dynamic and/or stochastic components in a systematic way in order
to further increase their applicability to real-world problems. We investigate
the node weighted traveling salesperson problem (W-TSP), which provides an abstraction
of a wide range of weighted TSP problems, in dynamic settings. In the dynamic
setting of the problem, items that have to be collected as part of a TSP tour
change over time. We first present a dynamic setup for the dynamic W-TSP parameterized
by different types of changes that are applied to the set of items to be collected
when traversing the tour. Our first experimental investigations study the impact
of such changes on resulting optimized tours in order to provide structural insights
of optimization solutions. Afterwards, we investigate simple mutation-based evolutionary
algorithms and study the impact of the mutation operators and the use of populations
with dealing with the dynamic changes to the node weights of the problem.
author:
- first_name: Jakob
full_name: Bossek, Jakob
id: '102979'
last_name: Bossek
orcid: 0000-0002-4121-4668
- first_name: Aneta
full_name: Neumann, Aneta
last_name: Neumann
- first_name: Frank
full_name: Neumann, Frank
last_name: Neumann
citation:
ama: 'Bossek J, Neumann A, Neumann F. On the Impact of Basic Mutation Operators
and Populations within Evolutionary Algorithms for the Dynamic Weighted Traveling
Salesperson Problem. In: Proceedings of the Genetic and Evolutionary Computation
Conference. GECCO’23. Association for Computing Machinery; 2023:248–256. doi:10.1145/3583131.3590384'
apa: Bossek, J., Neumann, A., & Neumann, F. (2023). On the Impact of Basic Mutation
Operators and Populations within Evolutionary Algorithms for the Dynamic Weighted
Traveling Salesperson Problem. Proceedings of the Genetic and Evolutionary
Computation Conference, 248–256. https://doi.org/10.1145/3583131.3590384
bibtex: '@inproceedings{Bossek_Neumann_Neumann_2023, place={New York, NY, USA},
series={GECCO’23}, title={On the Impact of Basic Mutation Operators and Populations
within Evolutionary Algorithms for the Dynamic Weighted Traveling Salesperson
Problem}, DOI={10.1145/3583131.3590384},
booktitle={Proceedings of the Genetic and Evolutionary Computation Conference},
publisher={Association for Computing Machinery}, author={Bossek, Jakob and Neumann,
Aneta and Neumann, Frank}, year={2023}, pages={248–256}, collection={GECCO’23}
}'
chicago: 'Bossek, Jakob, Aneta Neumann, and Frank Neumann. “On the Impact of Basic
Mutation Operators and Populations within Evolutionary Algorithms for the Dynamic
Weighted Traveling Salesperson Problem.” In Proceedings of the Genetic and
Evolutionary Computation Conference, 248–256. GECCO’23. New York, NY, USA:
Association for Computing Machinery, 2023. https://doi.org/10.1145/3583131.3590384.'
ieee: 'J. Bossek, A. Neumann, and F. Neumann, “On the Impact of Basic Mutation Operators
and Populations within Evolutionary Algorithms for the Dynamic Weighted Traveling
Salesperson Problem,” in Proceedings of the Genetic and Evolutionary Computation
Conference, 2023, pp. 248–256, doi: 10.1145/3583131.3590384.'
mla: Bossek, Jakob, et al. “On the Impact of Basic Mutation Operators and Populations
within Evolutionary Algorithms for the Dynamic Weighted Traveling Salesperson
Problem.” Proceedings of the Genetic and Evolutionary Computation Conference,
Association for Computing Machinery, 2023, pp. 248–256, doi:10.1145/3583131.3590384.
short: 'J. Bossek, A. Neumann, F. Neumann, in: Proceedings of the Genetic and Evolutionary
Computation Conference, Association for Computing Machinery, New York, NY, USA,
2023, pp. 248–256.'
date_created: 2023-11-14T15:58:56Z
date_updated: 2023-12-13T10:46:27Z
department:
- _id: '819'
doi: 10.1145/3583131.3590384
extern: '1'
keyword:
- dynamic optimization
- evolutionary algorithms
- re-optimization
- weighted traveling salesperson problem
language:
- iso: eng
page: 248–256
place: New York, NY, USA
publication: Proceedings of the Genetic and Evolutionary Computation Conference
publication_identifier:
isbn:
- '9798400701191'
publisher: Association for Computing Machinery
series_title: GECCO’23
status: public
title: On the Impact of Basic Mutation Operators and Populations within Evolutionary
Algorithms for the Dynamic Weighted Traveling Salesperson Problem
type: conference
user_id: '102979'
year: '2023'
...
---
_id: '48872'
abstract:
- lang: eng
text: Quality diversity (QD) is a branch of evolutionary computation that gained
increasing interest in recent years. The Map-Elites QD approach defines a feature
space, i.e., a partition of the search space, and stores the best solution for
each cell of this space. We study a simple QD algorithm in the context of pseudo-Boolean
optimisation on the "number of ones" feature space, where the ith cell stores
the best solution amongst those with a number of ones in [(i - 1)k, ik - 1]. Here
k is a granularity parameter 1 {$\leq$} k {$\leq$} n+1. We give a tight bound
on the expected time until all cells are covered for arbitrary fitness functions
and for all k and analyse the expected optimisation time of QD on OneMax and other
problems whose structure aligns favourably with the feature space. On combinatorial
problems we show that QD finds a (1 - 1/e)-approximation when maximising any monotone
sub-modular function with a single uniform cardinality constraint efficiently.
Defining the feature space as the number of connected components of a connected
graph, we show that QD finds a minimum spanning tree in expected polynomial time.
author:
- first_name: Jakob
full_name: Bossek, Jakob
id: '102979'
last_name: Bossek
orcid: 0000-0002-4121-4668
- first_name: Dirk
full_name: Sudholt, Dirk
last_name: Sudholt
citation:
ama: 'Bossek J, Sudholt D. Runtime Analysis of Quality Diversity Algorithms. In:
Proceedings of the Genetic and Evolutionary Computation Conference. GECCO’23.
Association for Computing Machinery; 2023:1546–1554. doi:10.1145/3583131.3590383'
apa: Bossek, J., & Sudholt, D. (2023). Runtime Analysis of Quality Diversity
Algorithms. Proceedings of the Genetic and Evolutionary Computation Conference,
1546–1554. https://doi.org/10.1145/3583131.3590383
bibtex: '@inproceedings{Bossek_Sudholt_2023, place={New York, NY, USA}, series={GECCO’23},
title={Runtime Analysis of Quality Diversity Algorithms}, DOI={10.1145/3583131.3590383},
booktitle={Proceedings of the Genetic and Evolutionary Computation Conference},
publisher={Association for Computing Machinery}, author={Bossek, Jakob and Sudholt,
Dirk}, year={2023}, pages={1546–1554}, collection={GECCO’23} }'
chicago: 'Bossek, Jakob, and Dirk Sudholt. “Runtime Analysis of Quality Diversity
Algorithms.” In Proceedings of the Genetic and Evolutionary Computation Conference,
1546–1554. GECCO’23. New York, NY, USA: Association for Computing Machinery, 2023.
https://doi.org/10.1145/3583131.3590383.'
ieee: 'J. Bossek and D. Sudholt, “Runtime Analysis of Quality Diversity Algorithms,”
in Proceedings of the Genetic and Evolutionary Computation Conference,
2023, pp. 1546–1554, doi: 10.1145/3583131.3590383.'
mla: Bossek, Jakob, and Dirk Sudholt. “Runtime Analysis of Quality Diversity Algorithms.”
Proceedings of the Genetic and Evolutionary Computation Conference, Association
for Computing Machinery, 2023, pp. 1546–1554, doi:10.1145/3583131.3590383.
short: 'J. Bossek, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation
Conference, Association for Computing Machinery, New York, NY, USA, 2023, pp.
1546–1554.'
date_created: 2023-11-14T15:58:57Z
date_updated: 2023-12-13T10:48:26Z
department:
- _id: '819'
doi: 10.1145/3583131.3590383
extern: '1'
keyword:
- quality diversity
- runtime analysis
language:
- iso: eng
page: 1546–1554
place: New York, NY, USA
publication: Proceedings of the Genetic and Evolutionary Computation Conference
publication_identifier:
isbn:
- '9798400701191'
publisher: Association for Computing Machinery
series_title: GECCO’23
status: public
title: Runtime Analysis of Quality Diversity Algorithms
type: conference
user_id: '102979'
year: '2023'
...
---
_id: '48886'
abstract:
- lang: eng
text: 'Generating new instances via evolutionary methods is commonly used to create
new benchmarking data-sets, with a focus on attempting to cover an instance-space
as completely as possible. Recent approaches have exploited Quality-Diversity
methods to evolve sets of instances that are both diverse and discriminatory with
respect to a portfolio of solvers, but these methods can be challenging when attempting
to find diversity in a high-dimensional feature-space. We address this issue by
training a model based on Principal Component Analysis on existing instances to
create a low-dimension projection of the high-dimension feature-vectors, and then
apply Novelty Search directly in the new low-dimension space. We conduct experiments
to evolve diverse and discriminatory instances of Knapsack Problems, comparing
the use of Novelty Search in the original feature-space to using Novelty Search
in a low-dimensional projection, and repeat over a given set of dimensions. We
find that the methods are complementary: if treated as an ensemble, they collectively
provide increased coverage of the space. Specifically, searching for novelty in
a low-dimension space contributes 56% of the filled regions of the space, while
searching directly in the feature-space covers the remaining 44%.'
author:
- first_name: Alejandro
full_name: Marrero, Alejandro
last_name: Marrero
- first_name: Eduardo
full_name: Segredo, Eduardo
last_name: Segredo
- first_name: Emma
full_name: Hart, Emma
last_name: Hart
- first_name: Jakob
full_name: Bossek, Jakob
id: '102979'
last_name: Bossek
orcid: 0000-0002-4121-4668
- first_name: Aneta
full_name: Neumann, Aneta
last_name: Neumann
citation:
ama: 'Marrero A, Segredo E, Hart E, Bossek J, Neumann A. Generating Diverse and
Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions
of Feature-Space. In: Proceedings of the Genetic} and Evolutionary Computation
Conference. GECCO’23. Association for Computing Machinery; 2023:312–320. doi:10.1145/3583131.3590504'
apa: Marrero, A., Segredo, E., Hart, E., Bossek, J., & Neumann, A. (2023). Generating
Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable
Dimensions of Feature-Space. Proceedings of the Genetic} and Evolutionary Computation
Conference, 312–320. https://doi.org/10.1145/3583131.3590504
bibtex: '@inproceedings{Marrero_Segredo_Hart_Bossek_Neumann_2023, place={New York,
NY, USA}, series={GECCO’23}, title={Generating Diverse and Discriminatory Knapsack
Instances by Searching for Novelty in Variable Dimensions of Feature-Space}, DOI={10.1145/3583131.3590504}, booktitle={Proceedings
of the Genetic} and Evolutionary Computation Conference}, publisher={Association
for Computing Machinery}, author={Marrero, Alejandro and Segredo, Eduardo and
Hart, Emma and Bossek, Jakob and Neumann, Aneta}, year={2023}, pages={312–320},
collection={GECCO’23} }'
chicago: 'Marrero, Alejandro, Eduardo Segredo, Emma Hart, Jakob Bossek, and Aneta
Neumann. “Generating Diverse and Discriminatory Knapsack Instances by Searching
for Novelty in Variable Dimensions of Feature-Space.” In Proceedings of the
Genetic} and Evolutionary Computation Conference, 312–320. GECCO’23. New York,
NY, USA: Association for Computing Machinery, 2023. https://doi.org/10.1145/3583131.3590504.'
ieee: 'A. Marrero, E. Segredo, E. Hart, J. Bossek, and A. Neumann, “Generating Diverse
and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions
of Feature-Space,” in Proceedings of the Genetic} and Evolutionary Computation
Conference, 2023, pp. 312–320, doi: 10.1145/3583131.3590504.'
mla: Marrero, Alejandro, et al. “Generating Diverse and Discriminatory Knapsack
Instances by Searching for Novelty in Variable Dimensions of Feature-Space.” Proceedings
of the Genetic} and Evolutionary Computation Conference, Association for Computing
Machinery, 2023, pp. 312–320, doi:10.1145/3583131.3590504.
short: 'A. Marrero, E. Segredo, E. Hart, J. Bossek, A. Neumann, in: Proceedings
of the Genetic} and Evolutionary Computation Conference, Association for Computing
Machinery, New York, NY, USA, 2023, pp. 312–320.'
date_created: 2023-11-14T15:58:59Z
date_updated: 2023-12-13T10:49:32Z
department:
- _id: '819'
doi: 10.1145/3583131.3590504
extern: '1'
keyword:
- evolutionary computation
- instance generation
- instance-space analysis
- knapsack problem
- novelty search
language:
- iso: eng
page: 312–320
place: New York, NY, USA
publication: Proceedings of the Genetic} and Evolutionary Computation Conference
publication_identifier:
isbn:
- '9798400701191'
publisher: Association for Computing Machinery
series_title: GECCO’23
status: public
title: Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty
in Variable Dimensions of Feature-Space
type: conference
user_id: '102979'
year: '2023'
...
---
_id: '48871'
abstract:
- lang: eng
text: 'Most runtime analyses of randomised search heuristics focus on the expected
number of function evaluations to find a unique global optimum. We ask a fundamental
question: if additional search points are declared optimal, or declared as desirable
target points, do these additional optima speed up evolutionary algorithms? More
formally, we analyse the expected hitting time of a target set OPT{$\cup$}S where
S is a set of non-optimal search points and OPT is the set of optima and compare
it to the expected hitting time of OPT. We show that the answer to our question
depends on the number and placement of search points in S. For all black-box algorithms
and all fitness functions with polynomial expected optimisation times we show
that, if additional optima are placed randomly, even an exponential number of
optima has a negligible effect on the expected optimisation time. Considering
Hamming balls around all global optima gives an easier target for some algorithms
and functions and can shift the phase transition with respect to offspring population
sizes in the (1,{$\lambda$}) EA on OneMax. However, for the one-dimensional Ising
model the time to reach Hamming balls of radius (1/2-{$ϵ$})n around optima does
not reduce the asymptotic expected optimisation time in the worst case. Finally,
on functions where search trajectories typically join in a single search point,
turning one search point into an optimum drastically reduces the expected optimisation
time.'
author:
- first_name: Jakob
full_name: Bossek, Jakob
id: '102979'
last_name: Bossek
orcid: 0000-0002-4121-4668
- first_name: Dirk
full_name: Sudholt, Dirk
last_name: Sudholt
citation:
ama: Bossek J, Sudholt D. Do Additional Target Points Speed Up Evolutionary Algorithms?
Theoretical Computer Science. Published online 2023:113757. doi:10.1016/j.tcs.2023.113757
apa: Bossek, J., & Sudholt, D. (2023). Do Additional Target Points Speed Up
Evolutionary Algorithms? Theoretical Computer Science, 113757. https://doi.org/10.1016/j.tcs.2023.113757
bibtex: '@article{Bossek_Sudholt_2023, title={Do Additional Target Points Speed
Up Evolutionary Algorithms?}, DOI={10.1016/j.tcs.2023.113757},
journal={Theoretical Computer Science}, author={Bossek, Jakob and Sudholt, Dirk},
year={2023}, pages={113757} }'
chicago: Bossek, Jakob, and Dirk Sudholt. “Do Additional Target Points Speed Up
Evolutionary Algorithms?” Theoretical Computer Science, 2023, 113757. https://doi.org/10.1016/j.tcs.2023.113757.
ieee: 'J. Bossek and D. Sudholt, “Do Additional Target Points Speed Up Evolutionary
Algorithms?,” Theoretical Computer Science, p. 113757, 2023, doi: 10.1016/j.tcs.2023.113757.'
mla: Bossek, Jakob, and Dirk Sudholt. “Do Additional Target Points Speed Up Evolutionary
Algorithms?” Theoretical Computer Science, 2023, p. 113757, doi:10.1016/j.tcs.2023.113757.
short: J. Bossek, D. Sudholt, Theoretical Computer Science (2023) 113757.
date_created: 2023-11-14T15:58:56Z
date_updated: 2023-12-13T10:51:07Z
department:
- _id: '819'
doi: 10.1016/j.tcs.2023.113757
keyword:
- Evolutionary algorithms
- pseudo-Boolean functions
- runtime analysis
language:
- iso: eng
page: '113757'
publication: Theoretical Computer Science
publication_identifier:
issn:
- 0304-3975
status: public
title: Do Additional Target Points Speed Up Evolutionary Algorithms?
type: journal_article
user_id: '102979'
year: '2023'
...
---
_id: '48859'
abstract:
- lang: eng
text: We contribute to the efficient approximation of the Pareto-set for the classical
NP-hard multi-objective minimum spanning tree problem (moMST) adopting evolutionary
computation. More precisely, by building upon preliminary work, we analyse the
neighborhood structure of Pareto-optimal spanning trees and design several highly
biased sub-graph-based mutation operators founded on the gained insights. In a
nutshell, these operators replace (un)connected sub-trees of candidate solutions
with locally optimal sub-trees. The latter (biased) step is realized by applying
Kruskal’s single-objective MST algorithm to a weighted sum scalarization of a
sub-graph.We prove runtime complexity results for the introduced operators and
investigate the desirable Pareto-beneficial property. This property states that
mutants cannot be dominated by their parent. Moreover, we perform an extensive
experimental benchmark study to showcase the operator’s practical suitability.
Our results confirm that the subgraph based operators beat baseline algorithms
from the literature even with severely restricted computational budget in terms
of function evaluations on four different classes of complete graphs with different
shapes of the Pareto-front.
author:
- first_name: Jakob
full_name: Bossek, Jakob
id: '102979'
last_name: Bossek
orcid: 0000-0002-4121-4668
- first_name: Christian
full_name: Grimme, Christian
last_name: Grimme
citation:
ama: Bossek J, Grimme C. On Single-Objective Sub-Graph-Based Mutation for Solving
the Bi-Objective Minimum Spanning Tree Problem. Evolutionary Computation.
Published online 2023:1–35. doi:10.1162/evco_a_00335
apa: Bossek, J., & Grimme, C. (2023). On Single-Objective Sub-Graph-Based Mutation
for Solving the Bi-Objective Minimum Spanning Tree Problem. Evolutionary Computation,
1–35. https://doi.org/10.1162/evco_a_00335
bibtex: '@article{Bossek_Grimme_2023, title={On Single-Objective Sub-Graph-Based
Mutation for Solving the Bi-Objective Minimum Spanning Tree Problem}, DOI={10.1162/evco_a_00335}, journal={Evolutionary
Computation}, author={Bossek, Jakob and Grimme, Christian}, year={2023}, pages={1–35}
}'
chicago: Bossek, Jakob, and Christian Grimme. “On Single-Objective Sub-Graph-Based
Mutation for Solving the Bi-Objective Minimum Spanning Tree Problem.” Evolutionary
Computation, 2023, 1–35. https://doi.org/10.1162/evco_a_00335.
ieee: 'J. Bossek and C. Grimme, “On Single-Objective Sub-Graph-Based Mutation for
Solving the Bi-Objective Minimum Spanning Tree Problem,” Evolutionary Computation,
pp. 1–35, 2023, doi: 10.1162/evco_a_00335.'
mla: Bossek, Jakob, and Christian Grimme. “On Single-Objective Sub-Graph-Based Mutation
for Solving the Bi-Objective Minimum Spanning Tree Problem.” Evolutionary Computation,
2023, pp. 1–35, doi:10.1162/evco_a_00335.
short: J. Bossek, C. Grimme, Evolutionary Computation (2023) 1–35.
date_created: 2023-11-14T15:58:55Z
date_updated: 2023-12-13T10:51:42Z
department:
- _id: '819'
doi: 10.1162/evco_a_00335
language:
- iso: eng
page: 1–35
publication: Evolutionary Computation
publication_identifier:
issn:
- 1063-6560
status: public
title: On Single-Objective Sub-Graph-Based Mutation for Solving the Bi-Objective Minimum
Spanning Tree Problem
type: journal_article
user_id: '102979'
year: '2023'
...
---
_id: '49649'
author:
- first_name: Timour
full_name: Igamberdiev, Timour
last_name: Igamberdiev
- first_name: Doan Nam Long
full_name: Vu, Doan Nam Long
last_name: Vu
- first_name: Felix
full_name: Künnecke, Felix
last_name: Künnecke
- first_name: Zhuo
full_name: Yu, Zhuo
last_name: Yu
- first_name: Jannik
full_name: Holmer, Jannik
last_name: Holmer
- first_name: Ivan
full_name: Habernal, Ivan
id: '101881'
last_name: Habernal
citation:
ama: 'Igamberdiev T, Vu DNL, Künnecke F, Yu Z, Holmer J, Habernal I. DP-NMT: Scalable
Differentially-Private Machine Translation. Published online 2023.'
apa: 'Igamberdiev, T., Vu, D. N. L., Künnecke, F., Yu, Z., Holmer, J., & Habernal,
I. (2023). DP-NMT: Scalable Differentially-Private Machine Translation.'
bibtex: '@article{Igamberdiev_Vu_Künnecke_Yu_Holmer_Habernal_2023, title={DP-NMT:
Scalable Differentially-Private Machine Translation}, author={Igamberdiev, Timour
and Vu, Doan Nam Long and Künnecke, Felix and Yu, Zhuo and Holmer, Jannik and
Habernal, Ivan}, year={2023} }'
chicago: 'Igamberdiev, Timour, Doan Nam Long Vu, Felix Künnecke, Zhuo Yu, Jannik
Holmer, and Ivan Habernal. “DP-NMT: Scalable Differentially-Private Machine Translation,”
2023.'
ieee: 'T. Igamberdiev, D. N. L. Vu, F. Künnecke, Z. Yu, J. Holmer, and I. Habernal,
“DP-NMT: Scalable Differentially-Private Machine Translation.” 2023.'
mla: 'Igamberdiev, Timour, et al. DP-NMT: Scalable Differentially-Private Machine
Translation. 2023.'
short: T. Igamberdiev, D.N.L. Vu, F. Künnecke, Z. Yu, J. Holmer, I. Habernal, (2023).
date_created: 2023-12-15T07:00:42Z
date_updated: 2023-12-15T07:21:45Z
department:
- _id: '820'
- _id: '34'
language:
- iso: eng
status: public
title: 'DP-NMT: Scalable Differentially-Private Machine Translation'
type: preprint
user_id: '15504'
year: '2023'
...
---
_id: '49650'
author:
- first_name: Lena
full_name: Held, Lena
last_name: Held
- first_name: Ivan
full_name: Habernal, Ivan
id: '101881'
last_name: Habernal
citation:
ama: 'Held L, Habernal I. LaCour!: Enabling Research on Argumentation in Hearings
of the European Court of Human Rights. Published online 2023.'
apa: 'Held, L., & Habernal, I. (2023). LaCour!: Enabling Research on Argumentation
in Hearings of the European Court of Human Rights.'
bibtex: '@article{Held_Habernal_2023, title={LaCour!: Enabling Research on Argumentation
in Hearings of the European Court of Human Rights}, author={Held, Lena and Habernal,
Ivan}, year={2023} }'
chicago: 'Held, Lena, and Ivan Habernal. “LaCour!: Enabling Research on Argumentation
in Hearings of the European Court of Human Rights,” 2023.'
ieee: 'L. Held and I. Habernal, “LaCour!: Enabling Research on Argumentation in
Hearings of the European Court of Human Rights.” 2023.'
mla: 'Held, Lena, and Ivan Habernal. LaCour!: Enabling Research on Argumentation
in Hearings of the European Court of Human Rights. 2023.'
short: L. Held, I. Habernal, (2023).
date_created: 2023-12-15T07:18:35Z
date_updated: 2023-12-15T07:21:39Z
department:
- _id: '820'
- _id: '34'
language:
- iso: eng
status: public
title: 'LaCour!: Enabling Research on Argumentation in Hearings of the European Court
of Human Rights'
type: preprint
user_id: '15504'
year: '2023'
...
---
_id: '48946'
abstract:
- lang: ger
text: inhalt Der verlässliche Betrieb von technischen Produkten wird zunehmend durch
bewusste Angriffe bedroht. Vollständige Sicherheit ist dabei nicht möglich, durchschlagende
Angriffe sind unvermeidbar (Assume Breach). Dies erfordert einen Paradigmenwechsel
in der sicherheitsgerechten Entwicklung mechatronischer und cyber-physischer Systeme
hin zu Defense-in-Depth. Systeme müssen so ausgelegt werden, dass sie auch bei
gezielten Angriffen möglichst hohe Zuverlässigkeit und Sicherheit gewährleisten.
Der hier beschriebene Lösungsansatz erweitert das Systemmodell um Angriffsszenarien
und Verteidigungslinien. Diese werden am Beispiel eines industriellen Schließsystems
zur Anlagensicherheit erläutert. Entwickler werden sensibilisiert, Angriffe systematisch
zu berücksichtigen und interdisziplinär Verteidigungselemente gegenüber Bedrohungen
und Angriffen zu spezifizieren.
- lang: eng
text: The reliable operation of technical products is increasingly threatened by
deliberate attacks. Complete security is not possible, striking attacks are unavoidable
(assume breach). This requires a paradigm shift in security-oriented engineering
of mechatronic and cyber-physical systems towards Defense-in-Depth. Systems need
to be engineered in a way that full reliability and security are ensured even
in case of targeted attacks. The solution approach described here expands the
system model to include attack scenarios and lines of defence. It is applied to
an industrial locking system for plant security as an example. Developers are
sensitised to systematically consider attacks and to specify interdisciplinary
defence elements against threats and attacks.
article_type: original
author:
- first_name: Iris
full_name: Gräßler, Iris
id: '47565'
last_name: Gräßler
orcid: 0000-0001-5765-971X
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Dominik
full_name: Wiechel, Dominik
id: '67161'
last_name: Wiechel
- first_name: Jens
full_name: Pottebaum, Jens
id: '405'
last_name: Pottebaum
orcid: http://orcid.org/0000-0001-8778-2989
citation:
ama: 'Gräßler I, Bodden E, Wiechel D, Pottebaum J. Defense-in-Depth als neues Paradigma
der sicherheitsgerechten Produktentwicklung: interdisziplinäre, bedrohungsbewusste
und lösungsorientierte Security. Konstruktion. 2023;75(11-12):60-65. doi:10.37544/0720-5953-2023-11-12-60'
apa: 'Gräßler, I., Bodden, E., Wiechel, D., & Pottebaum, J. (2023). Defense-in-Depth
als neues Paradigma der sicherheitsgerechten Produktentwicklung: interdisziplinäre,
bedrohungsbewusste und lösungsorientierte Security. Konstruktion, 75(11–12),
60–65. https://doi.org/10.37544/0720-5953-2023-11-12-60'
bibtex: '@article{Gräßler_Bodden_Wiechel_Pottebaum_2023, title={Defense-in-Depth
als neues Paradigma der sicherheitsgerechten Produktentwicklung: interdisziplinäre,
bedrohungsbewusste und lösungsorientierte Security}, volume={75}, DOI={10.37544/0720-5953-2023-11-12-60},
number={11–12}, journal={Konstruktion}, publisher={VDI Fachmedien GmbH and Co.
KG}, author={Gräßler, Iris and Bodden, Eric and Wiechel, Dominik and Pottebaum,
Jens}, year={2023}, pages={60–65} }'
chicago: 'Gräßler, Iris, Eric Bodden, Dominik Wiechel, and Jens Pottebaum. “Defense-in-Depth
als neues Paradigma der sicherheitsgerechten Produktentwicklung: interdisziplinäre,
bedrohungsbewusste und lösungsorientierte Security.” Konstruktion 75, no.
11–12 (2023): 60–65. https://doi.org/10.37544/0720-5953-2023-11-12-60.'
ieee: 'I. Gräßler, E. Bodden, D. Wiechel, and J. Pottebaum, “Defense-in-Depth als
neues Paradigma der sicherheitsgerechten Produktentwicklung: interdisziplinäre,
bedrohungsbewusste und lösungsorientierte Security,” Konstruktion, vol.
75, no. 11–12, pp. 60–65, 2023, doi: 10.37544/0720-5953-2023-11-12-60.'
mla: 'Gräßler, Iris, et al. “Defense-in-Depth als neues Paradigma der sicherheitsgerechten
Produktentwicklung: interdisziplinäre, bedrohungsbewusste und lösungsorientierte
Security.” Konstruktion, vol. 75, no. 11–12, VDI Fachmedien GmbH and Co.
KG, 2023, pp. 60–65, doi:10.37544/0720-5953-2023-11-12-60.'
short: I. Gräßler, E. Bodden, D. Wiechel, J. Pottebaum, Konstruktion 75 (2023) 60–65.
date_created: 2023-11-16T08:23:12Z
date_updated: 2023-12-20T14:10:51Z
department:
- _id: '152'
- _id: '76'
doi: 10.37544/0720-5953-2023-11-12-60
intvolume: ' 75'
issue: 11-12
keyword:
- Mechanical Engineering
- Mechanics of Materials
- General Materials Science
- Theoretical Computer Science
language:
- iso: ger
page: 60-65
publication: Konstruktion
publication_identifier:
issn:
- 0720-5953
publication_status: published
publisher: VDI Fachmedien GmbH and Co. KG
quality_controlled: '1'
status: public
title: 'Defense-in-Depth als neues Paradigma der sicherheitsgerechten Produktentwicklung:
interdisziplinäre, bedrohungsbewusste und lösungsorientierte Security'
type: journal_article
user_id: '405'
volume: 75
year: '2023'
...