---
_id: '44382'
abstract:
- lang: eng
text: 'The success of engineering complex technical systems is determined
by meeting customer requirements and institutional regulations. One example relevant
to the automobile industry is the United Nations Economic Commission of Europe
(UN ECE), which specifies the homologation of automobile series and requires proof
of traceability. The required traceability can be achieved by modeling system
artifacts and their relations in a consistent, seamless model—an effect-chain
model. Currently, no in-depth methodology exists to support engineers in developing
certification-compliant effect-chain models. For this purpose, a new methodology
for certification-compliant effect-chain modeling was developed, which includes
extensions of an existing method, suitable models, and tools to support engineers
in the modeling process. For evaluation purposes, applicability is proven based
on the experience of more than 300 workshops at an automotive OEM and an automotive
supplier. The following case example is chosen to demonstrate applicability: the
development of a window lifter that has to meet the demands of UN ECE Regulations
R156 and R21. Results indicate multiple benefits in supporting engineers with
the certification-compliant modeling of effect chains. Three benefits are goal-oriented
modeling to reduce the necessary modeling capacity, increasing model quality by
applying information quality criteria, and the potential to reduce costs through
automatable effect-chain analyses for technical changes. Further, companies in
the automotive and other industries will benefit from increased modeling capabilities
that can be used for architecture modeling and to comply with other regulations
such as ASPICE or ISO 26262.'
article_number: '154'
author:
- first_name: Iris
full_name: Gräßler, Iris
id: '47565'
last_name: Gräßler
orcid: 0000-0001-5765-971X
- first_name: Dominik
full_name: Wiechel, Dominik
id: '67161'
last_name: Wiechel
- first_name: Anna-Sophie
full_name: Koch, Anna-Sophie
id: '44158'
last_name: Koch
- first_name: Tim
full_name: Sturm, Tim
last_name: Sturm
- first_name: Thomas
full_name: Markfelder, Thomas
last_name: Markfelder
citation:
ama: Gräßler I, Wiechel D, Koch A-S, Sturm T, Markfelder T. Methodology for Certification-Compliant
Effect-Chain Modeling. Systems. 2023;11(3). doi:10.3390/systems11030154
apa: Gräßler, I., Wiechel, D., Koch, A.-S., Sturm, T., & Markfelder, T. (2023).
Methodology for Certification-Compliant Effect-Chain Modeling. Systems,
11(3), Article 154. https://doi.org/10.3390/systems11030154
bibtex: '@article{Gräßler_Wiechel_Koch_Sturm_Markfelder_2023, title={Methodology
for Certification-Compliant Effect-Chain Modeling}, volume={11}, DOI={10.3390/systems11030154},
number={3154}, journal={Systems}, publisher={MDPI AG}, author={Gräßler, Iris and
Wiechel, Dominik and Koch, Anna-Sophie and Sturm, Tim and Markfelder, Thomas},
year={2023} }'
chicago: Gräßler, Iris, Dominik Wiechel, Anna-Sophie Koch, Tim Sturm, and Thomas
Markfelder. “Methodology for Certification-Compliant Effect-Chain Modeling.” Systems
11, no. 3 (2023). https://doi.org/10.3390/systems11030154.
ieee: 'I. Gräßler, D. Wiechel, A.-S. Koch, T. Sturm, and T. Markfelder, “Methodology
for Certification-Compliant Effect-Chain Modeling,” Systems, vol. 11, no.
3, Art. no. 154, 2023, doi: 10.3390/systems11030154.'
mla: Gräßler, Iris, et al. “Methodology for Certification-Compliant Effect-Chain
Modeling.” Systems, vol. 11, no. 3, 154, MDPI AG, 2023, doi:10.3390/systems11030154.
short: I. Gräßler, D. Wiechel, A.-S. Koch, T. Sturm, T. Markfelder, Systems 11 (2023).
date_created: 2023-05-03T08:37:36Z
date_updated: 2023-05-03T08:40:22Z
department:
- _id: '152'
doi: 10.3390/systems11030154
intvolume: ' 11'
issue: '3'
keyword:
- Information Systems and Management
- Computer Networks and Communications
- Modeling and Simulation
- Control and Systems Engineering
- Software
language:
- iso: eng
publication: Systems
publication_identifier:
issn:
- 2079-8954
publication_status: published
publisher: MDPI AG
quality_controlled: '1'
status: public
title: Methodology for Certification-Compliant Effect-Chain Modeling
type: journal_article
user_id: '5905'
volume: 11
year: '2023'
...
---
_id: '45361'
abstract:
- lang: eng
text: The non-orthogonal local submatrix method applied to electronic structure–based
molecular dynamics simulations is shown to exceed 1.1 EFLOP/s in FP16/FP32-mixed
floating-point arithmetic when using 4400 NVIDIA A100 GPUs of the Perlmutter system.
This is enabled by a modification of the original method that pushes the sustained
fraction of the peak performance to about 80%. Example calculations are performed
for SARS-CoV-2 spike proteins with up to 83 million atoms.
article_number: '109434202311776'
article_type: original
author:
- first_name: Robert
full_name: Schade, Robert
id: '75963'
last_name: Schade
orcid: 0000-0002-6268-539
- first_name: Tobias
full_name: Kenter, Tobias
id: '3145'
last_name: Kenter
- first_name: Hossam
full_name: Elgabarty, Hossam
id: '60250'
last_name: Elgabarty
orcid: 0000-0002-4945-1481
- first_name: Michael
full_name: Lass, Michael
id: '24135'
last_name: Lass
orcid: 0000-0002-5708-7632
- first_name: Thomas
full_name: Kühne, Thomas
id: '49079'
last_name: Kühne
- first_name: Christian
full_name: Plessl, Christian
id: '16153'
last_name: Plessl
orcid: 0000-0001-5728-9982
citation:
ama: Schade R, Kenter T, Elgabarty H, Lass M, Kühne T, Plessl C. Breaking the exascale
barrier for the electronic structure problem in ab-initio molecular dynamics.
The International Journal of High Performance Computing Applications. Published
online 2023. doi:10.1177/10943420231177631
apa: Schade, R., Kenter, T., Elgabarty, H., Lass, M., Kühne, T., & Plessl, C.
(2023). Breaking the exascale barrier for the electronic structure problem in
ab-initio molecular dynamics. The International Journal of High Performance
Computing Applications, Article 109434202311776. https://doi.org/10.1177/10943420231177631
bibtex: '@article{Schade_Kenter_Elgabarty_Lass_Kühne_Plessl_2023, title={Breaking
the exascale barrier for the electronic structure problem in ab-initio molecular
dynamics}, DOI={10.1177/10943420231177631},
number={109434202311776}, journal={The International Journal of High Performance
Computing Applications}, publisher={SAGE Publications}, author={Schade, Robert
and Kenter, Tobias and Elgabarty, Hossam and Lass, Michael and Kühne, Thomas and
Plessl, Christian}, year={2023} }'
chicago: Schade, Robert, Tobias Kenter, Hossam Elgabarty, Michael Lass, Thomas Kühne,
and Christian Plessl. “Breaking the Exascale Barrier for the Electronic Structure
Problem in Ab-Initio Molecular Dynamics.” The International Journal of High
Performance Computing Applications, 2023. https://doi.org/10.1177/10943420231177631.
ieee: 'R. Schade, T. Kenter, H. Elgabarty, M. Lass, T. Kühne, and C. Plessl, “Breaking
the exascale barrier for the electronic structure problem in ab-initio molecular
dynamics,” The International Journal of High Performance Computing Applications,
Art. no. 109434202311776, 2023, doi: 10.1177/10943420231177631.'
mla: Schade, Robert, et al. “Breaking the Exascale Barrier for the Electronic Structure
Problem in Ab-Initio Molecular Dynamics.” The International Journal of High
Performance Computing Applications, 109434202311776, SAGE Publications, 2023,
doi:10.1177/10943420231177631.
short: R. Schade, T. Kenter, H. Elgabarty, M. Lass, T. Kühne, C. Plessl, The International
Journal of High Performance Computing Applications (2023).
date_created: 2023-05-30T09:19:09Z
date_updated: 2023-08-02T15:04:53Z
department:
- _id: '27'
- _id: '518'
doi: 10.1177/10943420231177631
keyword:
- Hardware and Architecture
- Theoretical Computer Science
- Software
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://journals.sagepub.com/doi/10.1177/10943420231177631
oa: '1'
project:
- _id: '52'
name: 'PC2: Computing Resources Provided by the Paderborn Center for Parallel Computing'
publication: The International Journal of High Performance Computing Applications
publication_identifier:
issn:
- 1094-3420
- 1741-2846
publication_status: published
publisher: SAGE Publications
quality_controlled: '1'
status: public
title: Breaking the exascale barrier for the electronic structure problem in ab-initio
molecular dynamics
type: journal_article
user_id: '75963'
year: '2023'
...
---
_id: '50262'
abstract:
- lang: eng
text: AbstractExplainable artificial intelligence
has mainly focused on static learning scenarios so far. We are interested in dynamic
scenarios where data is sampled progressively, and learning is done in an incremental
rather than a batch mode. We seek efficient incremental algorithms for computing
feature importance (FI). Permutation feature importance (PFI) is a well-established
model-agnostic measure to obtain global FI based on feature marginalization of
absent features. We propose an efficient, model-agnostic algorithm called iPFI
to estimate this measure incrementally and under dynamic modeling conditions including
concept drift. We prove theoretical guarantees on the approximation quality in
terms of expectation and variance. To validate our theoretical findings and the
efficacy of our approaches in incremental scenarios dealing with streaming data
rather than traditional batch settings, we conduct multiple experimental studies
on benchmark data with and without concept drift.
author:
- first_name: Fabian
full_name: Fumagalli, Fabian
last_name: Fumagalli
- first_name: Maximilian
full_name: Muschalik, Maximilian
last_name: Muschalik
- first_name: Eyke
full_name: Hüllermeier, Eyke
last_name: Hüllermeier
- first_name: Barbara
full_name: Hammer, Barbara
last_name: Hammer
citation:
ama: 'Fumagalli F, Muschalik M, Hüllermeier E, Hammer B. Incremental permutation
feature importance (iPFI): towards online explanations on data streams. Machine
Learning. 2023;112(12):4863-4903. doi:10.1007/s10994-023-06385-y'
apa: 'Fumagalli, F., Muschalik, M., Hüllermeier, E., & Hammer, B. (2023). Incremental
permutation feature importance (iPFI): towards online explanations on data streams.
Machine Learning, 112(12), 4863–4903. https://doi.org/10.1007/s10994-023-06385-y'
bibtex: '@article{Fumagalli_Muschalik_Hüllermeier_Hammer_2023, title={Incremental
permutation feature importance (iPFI): towards online explanations on data streams},
volume={112}, DOI={10.1007/s10994-023-06385-y},
number={12}, journal={Machine Learning}, publisher={Springer Science and Business
Media LLC}, author={Fumagalli, Fabian and Muschalik, Maximilian and Hüllermeier,
Eyke and Hammer, Barbara}, year={2023}, pages={4863–4903} }'
chicago: 'Fumagalli, Fabian, Maximilian Muschalik, Eyke Hüllermeier, and Barbara
Hammer. “Incremental Permutation Feature Importance (IPFI): Towards Online Explanations
on Data Streams.” Machine Learning 112, no. 12 (2023): 4863–4903. https://doi.org/10.1007/s10994-023-06385-y.'
ieee: 'F. Fumagalli, M. Muschalik, E. Hüllermeier, and B. Hammer, “Incremental permutation
feature importance (iPFI): towards online explanations on data streams,” Machine
Learning, vol. 112, no. 12, pp. 4863–4903, 2023, doi: 10.1007/s10994-023-06385-y.'
mla: 'Fumagalli, Fabian, et al. “Incremental Permutation Feature Importance (IPFI):
Towards Online Explanations on Data Streams.” Machine Learning, vol. 112,
no. 12, Springer Science and Business Media LLC, 2023, pp. 4863–903, doi:10.1007/s10994-023-06385-y.'
short: F. Fumagalli, M. Muschalik, E. Hüllermeier, B. Hammer, Machine Learning 112
(2023) 4863–4903.
date_created: 2024-01-05T21:52:28Z
date_updated: 2025-01-16T16:20:12Z
department:
- _id: '660'
doi: 10.1007/s10994-023-06385-y
intvolume: ' 112'
issue: '12'
keyword:
- Artificial Intelligence
- Software
language:
- iso: eng
page: 4863-4903
project:
- _id: '126'
name: 'TRR 318 - C3: TRR 318 - Subproject C3'
- _id: '117'
name: 'TRR 318 - C: TRR 318 - Project Area C'
- _id: '109'
grant_number: '438445824'
name: 'TRR 318: TRR 318 - Erklärbarkeit konstruieren'
publication: Machine Learning
publication_identifier:
issn:
- 0885-6125
- 1573-0565
publication_status: published
publisher: Springer Science and Business Media LLC
status: public
title: 'Incremental permutation feature importance (iPFI): towards online explanations
on data streams'
type: journal_article
user_id: '93420'
volume: 112
year: '2023'
...
---
_id: '29842'
abstract:
- lang: eng
text: To build successful software products, developers continuously have to discover
what features the users really need. This discovery can be achieved with continuous
experimentation, testing different software variants with distinct user groups,
and deploying the superior variant for all users. However, existing approaches
do not focus on explicit modeling of variants and experiments, which offers advantages
such as traceability of decisions and combinability of experiments. Therefore,
our vision is the provision of model-driven continuous experimentation, which
provides the developer with a framework for structuring the experimentation process.
For that, we introduce the overall concept, apply it to the experimentation on
component-based software architectures and point out future research questions.
In particular, we show the applicability by combining feature models for modeling
the software variants, users, and experiments (i.e., model-driven) with MAPE-K
for the adaptation (i.e., continuous experimentation) and implementing the concept
based on the component-based Angular framework.
author:
- first_name: Sebastian
full_name: Gottschalk, Sebastian
id: '47208'
last_name: Gottschalk
- first_name: Enes
full_name: Yigitbas, Enes
id: '8447'
last_name: Yigitbas
orcid: 0000-0002-5967-833X
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Gottschalk S, Yigitbas E, Engels G. Model-driven Continuous Experimentation
on Component-based Software Architectures . In: Proceedings of the 18th International
Conference on Software Architecture Companion . IEEE; 2022. doi:10.1109/ICSA-C54293.2022.00011'
apa: Gottschalk, S., Yigitbas, E., & Engels, G. (2022). Model-driven Continuous
Experimentation on Component-based Software Architectures . Proceedings of
the 18th International Conference on Software Architecture Companion . 18th
International Conference on Software Architecture , Hawaii. https://doi.org/10.1109/ICSA-C54293.2022.00011
bibtex: '@inproceedings{Gottschalk_Yigitbas_Engels_2022, title={Model-driven Continuous
Experimentation on Component-based Software Architectures }, DOI={10.1109/ICSA-C54293.2022.00011},
booktitle={Proceedings of the 18th International Conference on Software Architecture
Companion }, publisher={IEEE}, author={Gottschalk, Sebastian and Yigitbas, Enes
and Engels, Gregor}, year={2022} }'
chicago: Gottschalk, Sebastian, Enes Yigitbas, and Gregor Engels. “Model-Driven
Continuous Experimentation on Component-Based Software Architectures .” In Proceedings
of the 18th International Conference on Software Architecture Companion .
IEEE, 2022. https://doi.org/10.1109/ICSA-C54293.2022.00011.
ieee: 'S. Gottschalk, E. Yigitbas, and G. Engels, “Model-driven Continuous Experimentation
on Component-based Software Architectures ,” presented at the 18th International
Conference on Software Architecture , Hawaii, 2022, doi: 10.1109/ICSA-C54293.2022.00011.'
mla: Gottschalk, Sebastian, et al. “Model-Driven Continuous Experimentation on Component-Based
Software Architectures .” Proceedings of the 18th International Conference
on Software Architecture Companion , IEEE, 2022, doi:10.1109/ICSA-C54293.2022.00011.
short: 'S. Gottschalk, E. Yigitbas, G. Engels, in: Proceedings of the 18th International
Conference on Software Architecture Companion , IEEE, 2022.'
conference:
end_date: 2022-03-15
location: Hawaii
name: '18th International Conference on Software Architecture '
start_date: 2022-03-12
date_created: 2022-02-15T07:32:10Z
date_updated: 2022-07-04T12:34:53Z
ddc:
- '000'
department:
- _id: '66'
- _id: '534'
doi: 10.1109/ICSA-C54293.2022.00011
file:
- access_level: open_access
content_type: application/pdf
creator: sego
date_created: 2022-07-04T12:33:18Z
date_updated: 2022-07-04T12:34:52Z
file_id: '32322'
file_name: ICSA_CR.pdf
file_size: 183185
relation: main_file
file_date_updated: 2022-07-04T12:34:52Z
has_accepted_license: '1'
keyword:
- continuous experimentation
- model-driven
- component-based software architectures
- self-adaptation
language:
- iso: eng
oa: '1'
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '4'
name: 'SFB 901 - C: SFB 901 - Project Area C'
- _id: '17'
name: 'SFB 901 - C5: SFB 901 - Subproject C5'
publication: 'Proceedings of the 18th International Conference on Software Architecture
Companion '
publisher: IEEE
status: public
title: 'Model-driven Continuous Experimentation on Component-based Software Architectures '
type: conference
user_id: '47208'
year: '2022'
...
---
_id: '32410'
abstract:
- lang: eng
text: "Static analysis tools support developers in detecting potential coding issues,
such as bugs or vulnerabilities. Research on static analysis emphasizes its technical
challenges but also mentions severe usability shortcomings. These shortcomings
hinder the adoption of static analysis tools, and in some cases, user dissatisfaction
even leads to tool abandonment.\r\nTo comprehensively assess the current state
of the art, this paper presents the first systematic usability evaluation in a
wide range of static analysis tools. We derived a set of 36 relevant criteria
from the scientific literature and gathered a collection of 46 static analysis
tools complying with our inclusion and exclusion criteria - a representative set
of mainly non-proprietary tools. Then, we evaluated how well these tools fulfill
the aforementioned criteria.\r\nThe evaluation shows that more than half of the
considered tools offer poor warning messages, while about three-quarters of the
tools provide hardly any fix support. Furthermore, the integration of user knowledge
is strongly neglected, which could be used for improved handling of false positives
and tuning the results for the corresponding developer. Finally, issues regarding
workflow integration and specialized user interfaces are proved further.\r\nThese
findings should prove useful in guiding and focusing further research and development
in the area of user experience for static code analyses."
author:
- first_name: Marcus
full_name: Nachtigall, Marcus
id: '41213'
last_name: Nachtigall
- first_name: Michael
full_name: Schlichtig, Michael
id: '32312'
last_name: Schlichtig
orcid: 0000-0001-6600-6171
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Nachtigall M, Schlichtig M, Bodden E. A Large-Scale Study of Usability Criteria
Addressed by Static Analysis Tools. In: Proceedings of the 31st ACM SIGSOFT
International Symposium on Software Testing and Analysis. ACM; 2022:532-543.
doi:10.1145/3533767'
apa: Nachtigall, M., Schlichtig, M., & Bodden, E. (2022). A Large-Scale Study
of Usability Criteria Addressed by Static Analysis Tools. Proceedings of the
31st ACM SIGSOFT International Symposium on Software Testing and Analysis,
532–543. https://doi.org/10.1145/3533767
bibtex: '@inproceedings{Nachtigall_Schlichtig_Bodden_2022, title={A Large-Scale
Study of Usability Criteria Addressed by Static Analysis Tools}, DOI={10.1145/3533767},
booktitle={Proceedings of the 31st ACM SIGSOFT International Symposium on Software
Testing and Analysis}, publisher={ACM}, author={Nachtigall, Marcus and Schlichtig,
Michael and Bodden, Eric}, year={2022}, pages={532–543} }'
chicago: Nachtigall, Marcus, Michael Schlichtig, and Eric Bodden. “A Large-Scale
Study of Usability Criteria Addressed by Static Analysis Tools.” In Proceedings
of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,
532–43. ACM, 2022. https://doi.org/10.1145/3533767.
ieee: 'M. Nachtigall, M. Schlichtig, and E. Bodden, “A Large-Scale Study of Usability
Criteria Addressed by Static Analysis Tools,” in Proceedings of the 31st ACM
SIGSOFT International Symposium on Software Testing and Analysis, 2022, pp.
532–543, doi: 10.1145/3533767.'
mla: Nachtigall, Marcus, et al. “A Large-Scale Study of Usability Criteria Addressed
by Static Analysis Tools.” Proceedings of the 31st ACM SIGSOFT International
Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–43, doi:10.1145/3533767.
short: 'M. Nachtigall, M. Schlichtig, E. Bodden, in: Proceedings of the 31st ACM
SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp.
532–543.'
date_created: 2022-07-25T08:02:36Z
date_updated: 2022-07-26T11:42:23Z
department:
- _id: '76'
doi: 10.1145/3533767
keyword:
- Automated static analysis
- Software usability
language:
- iso: eng
page: 532 - 543
publication: Proceedings of the 31st ACM SIGSOFT International Symposium on Software
Testing and Analysis
publication_identifier:
isbn:
- '9781450393799'
publication_status: published
publisher: ACM
quality_controlled: '1'
related_material:
link:
- relation: confirmation
url: https://dl.acm.org/doi/10.1145/3533767.3534374
status: public
title: A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools
type: conference
user_id: '32312'
year: '2022'
...
---
_id: '31071'
abstract:
- lang: eng
text: Distributed, software-intensive systems (e.g., in the automotive sector) must
fulfill communication requirements under hard real-time constraints. The requirements
have to be documented and validated carefully using a systematic requirements
engineering (RE) approach, for example, by applying scenario-based requirements
notations. The resources of the execution platforms and their properties (e.g.,
CPU frequency or bus throughput) induce effects on the timing behavior, which
may lead to violations of the real-time requirements. Nowadays, the platform properties
and their induced timing effects are verified against the real-time requirements
by means of timing analysis techniques mostly implemented in commercial-off-the-shelf
tools. However, such timing analyses are conducted in late development phases
since they rely on artifacts produced during these phases (e.g., the platform-specific
code). In order to enable early timing analyses already during RE, we extend a
scenario-based requirements notation with allocation means to platform models
and define operational semantics for the purpose of simulation-based, platform-aware
timing analyses. We illustrate and evaluate the approach with an automotive software-intensive
system.
author:
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Julien
full_name: Deantoni, Julien
last_name: Deantoni
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
citation:
ama: Holtmann J, Deantoni J, Fockel M. Early timing analysis based on scenario requirements
and platform models. Software and Systems Modeling. Published online 2022.
doi:10.1007/s10270-022-01002-3
apa: Holtmann, J., Deantoni, J., & Fockel, M. (2022). Early timing analysis
based on scenario requirements and platform models. Software and Systems Modeling.
https://doi.org/10.1007/s10270-022-01002-3
bibtex: '@article{Holtmann_Deantoni_Fockel_2022, title={Early timing analysis based
on scenario requirements and platform models}, DOI={10.1007/s10270-022-01002-3},
journal={Software and Systems Modeling}, publisher={Springer Science and Business
Media LLC}, author={Holtmann, Jörg and Deantoni, Julien and Fockel, Markus}, year={2022}
}'
chicago: Holtmann, Jörg, Julien Deantoni, and Markus Fockel. “Early Timing Analysis
Based on Scenario Requirements and Platform Models.” Software and Systems Modeling,
2022. https://doi.org/10.1007/s10270-022-01002-3.
ieee: 'J. Holtmann, J. Deantoni, and M. Fockel, “Early timing analysis based on
scenario requirements and platform models,” Software and Systems Modeling,
2022, doi: 10.1007/s10270-022-01002-3.'
mla: Holtmann, Jörg, et al. “Early Timing Analysis Based on Scenario Requirements
and Platform Models.” Software and Systems Modeling, Springer Science and
Business Media LLC, 2022, doi:10.1007/s10270-022-01002-3.
short: J. Holtmann, J. Deantoni, M. Fockel, Software and Systems Modeling (2022).
date_created: 2022-05-05T14:05:32Z
date_updated: 2022-05-05T14:09:41Z
department:
- _id: '241'
- _id: '662'
doi: 10.1007/s10270-022-01002-3
keyword:
- Modeling and Simulation
- Software
language:
- iso: eng
publication: Software and Systems Modeling
publication_identifier:
issn:
- 1619-1366
- 1619-1374
publication_status: published
publisher: Springer Science and Business Media LLC
status: public
title: Early timing analysis based on scenario requirements and platform models
type: journal_article
user_id: '8472'
year: '2022'
...
---
_id: '33835'
abstract:
- lang: eng
text: "\r\n Nowadays, an increasing number of applications uses
deserialization. This technique, based on rebuilding the instance of objects from
serialized byte streams, can be dangerous since it can open the application to
attacks such as remote code execution (RCE) if the data to deserialize is originating
from an untrusted source. Deserialization vulnerabilities are so critical that
they are in OWASP’s list of top 10 security risks for web applications. This is
mainly caused by faults in the development process of applications and by flaws
in their dependencies, i.e., flaws in the libraries used by these applications.
No previous work has studied deserialization attacks in-depth: How are they performed?
How are weaknesses introduced and patched? And for how long are vulnerabilities
present in the codebase? To yield a deeper understanding of this important kind
of vulnerability, we perform two main analyses: one on attack gadgets, i.e., exploitable
pieces of code, present in Java libraries, and one on vulnerabilities present
in Java applications. For the first analysis, we conduct an exploratory large-scale
study by running 256 515 experiments in which we vary the versions of libraries
for each of the 19 publicly available exploits. Such attacks rely on a combination
of\r\n gadgets\r\n present in
one or multiple Java libraries. A gadget is a method which is using objects or
fields that can be attacker-controlled. Our goal is to precisely identify library
versions containing gadgets and to understand how gadgets have been introduced
and how they have been patched. We observe that the modification of one innocent-looking
detail in a class – such as making it\r\n public\r\n
\ – can already introduce a gadget. Furthermore, we noticed that among
the studied libraries, 37.5% are not patched, leaving gadgets available for future
attacks.\r\n \r\n For the second analysis,
we manually analyze 104 deserialization vulnerabilities CVEs to understand how
vulnerabilities are introduced and patched in real-life Java applications. Results
indicate that the vulnerabilities are not always completely patched or that a
workaround solution is proposed. With a workaround solution, applications are
still vulnerable since the code itself is unchanged."
author:
- first_name: Imen
full_name: Sayar, Imen
last_name: Sayar
- first_name: Alexandre
full_name: Bartel, Alexandre
last_name: Bartel
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Yves
full_name: Le Traon, Yves
last_name: Le Traon
citation:
ama: Sayar I, Bartel A, Bodden E, Le Traon Y. An In-depth Study of Java Deserialization
Remote-Code Execution Exploits and Vulnerabilities. ACM Transactions on Software
Engineering and Methodology. Published online 2022. doi:10.1145/3554732
apa: Sayar, I., Bartel, A., Bodden, E., & Le Traon, Y. (2022). An In-depth Study
of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities. ACM
Transactions on Software Engineering and Methodology. https://doi.org/10.1145/3554732
bibtex: '@article{Sayar_Bartel_Bodden_Le Traon_2022, title={An In-depth Study of
Java Deserialization Remote-Code Execution Exploits and Vulnerabilities}, DOI={10.1145/3554732}, journal={ACM Transactions
on Software Engineering and Methodology}, publisher={Association for Computing
Machinery (ACM)}, author={Sayar, Imen and Bartel, Alexandre and Bodden, Eric and
Le Traon, Yves}, year={2022} }'
chicago: Sayar, Imen, Alexandre Bartel, Eric Bodden, and Yves Le Traon. “An In-Depth
Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities.”
ACM Transactions on Software Engineering and Methodology, 2022. https://doi.org/10.1145/3554732.
ieee: 'I. Sayar, A. Bartel, E. Bodden, and Y. Le Traon, “An In-depth Study of Java
Deserialization Remote-Code Execution Exploits and Vulnerabilities,” ACM Transactions
on Software Engineering and Methodology, 2022, doi: 10.1145/3554732.'
mla: Sayar, Imen, et al. “An In-Depth Study of Java Deserialization Remote-Code
Execution Exploits and Vulnerabilities.” ACM Transactions on Software Engineering
and Methodology, Association for Computing Machinery (ACM), 2022, doi:10.1145/3554732.
short: I. Sayar, A. Bartel, E. Bodden, Y. Le Traon, ACM Transactions on Software
Engineering and Methodology (2022).
date_created: 2022-10-20T12:31:49Z
date_updated: 2022-10-20T12:32:31Z
department:
- _id: '76'
doi: 10.1145/3554732
keyword:
- Software
language:
- iso: eng
publication: ACM Transactions on Software Engineering and Methodology
publication_identifier:
issn:
- 1049-331X
- 1557-7392
publication_status: published
publisher: Association for Computing Machinery (ACM)
status: public
title: An In-depth Study of Java Deserialization Remote-Code Execution Exploits and
Vulnerabilities
type: journal_article
user_id: '15249'
year: '2022'
...
---
_id: '34414'
abstract:
- lang: eng
text: Given a steadily increasing demand on multi-material lightweight designs,
fast and cost-efficient production technologies, such as the mechanical joining
process clinching, are becoming more and more relevant for series production.
Since the application of such joining techniques often base on the ability to
reach similar or even better joint loading capacities compared to established
joining processes (e.g., spot welding), few contributions investigated the systematic
improvement of clinch joint characteristics. In this regard, the use of data-driven
methods in combination with optimization algorithms showed already high potentials
for the analysis of individual joints and the definition of optimal tool configurations.
However, the often missing consideration of uncertainties, such as varying material
properties, and the related calculation of their impact on clinch joint properties
can lead to poor estimation results and thus to a decreased reliability of the
entire joint connection. This can cause major challenges, especially for the design
and dimensioning of safety-relevant components, such as in car bodies. Motivated
by this, the presented contribution introduces a novel method for the robust estimation
of clinch joint characteristics including uncertainties of varying and versatile
process chains in mechanical joining. Therefore, the utilization of Gaussian process
regression models is demonstrated and evaluated regarding the ability to achieve
sufficient prediction qualities.
author:
- first_name: Christoph
full_name: Zirngibl, Christoph
last_name: Zirngibl
- first_name: Benjamin
full_name: Schleich, Benjamin
last_name: Schleich
- first_name: Sandro
full_name: Wartzack, Sandro
last_name: Wartzack
citation:
ama: Zirngibl C, Schleich B, Wartzack S. Robust estimation of clinch joint characteristics
based on data-driven methods. The International Journal of Advanced Manufacturing
Technology. Published online 2022. doi:10.1007/s00170-022-10441-7
apa: Zirngibl, C., Schleich, B., & Wartzack, S. (2022). Robust estimation of
clinch joint characteristics based on data-driven methods. The International
Journal of Advanced Manufacturing Technology. https://doi.org/10.1007/s00170-022-10441-7
bibtex: '@article{Zirngibl_Schleich_Wartzack_2022, title={Robust estimation of clinch
joint characteristics based on data-driven methods}, DOI={10.1007/s00170-022-10441-7},
journal={The International Journal of Advanced Manufacturing Technology}, publisher={Springer
Science and Business Media LLC}, author={Zirngibl, Christoph and Schleich, Benjamin
and Wartzack, Sandro}, year={2022} }'
chicago: Zirngibl, Christoph, Benjamin Schleich, and Sandro Wartzack. “Robust Estimation
of Clinch Joint Characteristics Based on Data-Driven Methods.” The International
Journal of Advanced Manufacturing Technology, 2022. https://doi.org/10.1007/s00170-022-10441-7.
ieee: 'C. Zirngibl, B. Schleich, and S. Wartzack, “Robust estimation of clinch joint
characteristics based on data-driven methods,” The International Journal of
Advanced Manufacturing Technology, 2022, doi: 10.1007/s00170-022-10441-7.'
mla: Zirngibl, Christoph, et al. “Robust Estimation of Clinch Joint Characteristics
Based on Data-Driven Methods.” The International Journal of Advanced Manufacturing
Technology, Springer Science and Business Media LLC, 2022, doi:10.1007/s00170-022-10441-7.
short: C. Zirngibl, B. Schleich, S. Wartzack, The International Journal of Advanced
Manufacturing Technology (2022).
date_created: 2022-12-14T12:24:29Z
date_updated: 2023-01-02T11:14:26Z
department:
- _id: '630'
doi: 10.1007/s00170-022-10441-7
keyword:
- Industrial and Manufacturing Engineering
- Computer Science Applications
- Mechanical Engineering
- Software
- Control and Systems Engineering
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://link.springer.com/article/10.1007/s00170-022-10441-7
oa: '1'
project:
- _id: '130'
grant_number: '418701707'
name: 'TRR 285: TRR 285'
- _id: '132'
name: 'TRR 285 - B: TRR 285 - Project Area B'
- _id: '144'
name: 'TRR 285 – B05: TRR 285 - Subproject B05'
publication: The International Journal of Advanced Manufacturing Technology
publication_identifier:
issn:
- 0268-3768
- 1433-3015
publication_status: published
publisher: Springer Science and Business Media LLC
status: public
title: Robust estimation of clinch joint characteristics based on data-driven methods
type: journal_article
user_id: '14931'
year: '2022'
...
---
_id: '45847'
abstract:
- lang: eng
text: "Abstract\r\n In this paper,
we investigate the parameterized complexity of model checking for Dependence and
Independence logic, which are well studied logics in the area of Team Semantics.
We start with a list of nine immediate parameterizations for this problem, namely
the number of disjunctions (i.e. splits)/(free) variables/universal quantifiers,
formula-size, the tree-width of the Gaifman graph of the input structure, the
size of the universe/team and the arity of dependence atoms. We present a comprehensive
picture of the parameterized complexity of model checking and obtain a division
of the problem into tractable and various intractable degrees. Furthermore, we
also consider the complexity of the most important variants (data and expression
complexity) of the model checking problem by fixing parts of the input."
author:
- first_name: Juha
full_name: Kontinen, Juha
last_name: Kontinen
- first_name: Arne
full_name: Meier, Arne
last_name: Meier
- first_name: Yasir
full_name: Mahmood, Yasir
id: '99353'
last_name: Mahmood
citation:
ama: Kontinen J, Meier A, Mahmood Y. A parameterized view on the complexity of dependence
and independence logic. Journal of Logic and Computation. 2022;32(8):1624-1644.
doi:10.1093/logcom/exac070
apa: Kontinen, J., Meier, A., & Mahmood, Y. (2022). A parameterized view on
the complexity of dependence and independence logic. Journal of Logic and Computation,
32(8), 1624–1644. https://doi.org/10.1093/logcom/exac070
bibtex: '@article{Kontinen_Meier_Mahmood_2022, title={A parameterized view on the
complexity of dependence and independence logic}, volume={32}, DOI={10.1093/logcom/exac070},
number={8}, journal={Journal of Logic and Computation}, publisher={Oxford University
Press (OUP)}, author={Kontinen, Juha and Meier, Arne and Mahmood, Yasir}, year={2022},
pages={1624–1644} }'
chicago: 'Kontinen, Juha, Arne Meier, and Yasir Mahmood. “A Parameterized View on
the Complexity of Dependence and Independence Logic.” Journal of Logic and
Computation 32, no. 8 (2022): 1624–44. https://doi.org/10.1093/logcom/exac070.'
ieee: 'J. Kontinen, A. Meier, and Y. Mahmood, “A parameterized view on the complexity
of dependence and independence logic,” Journal of Logic and Computation,
vol. 32, no. 8, pp. 1624–1644, 2022, doi: 10.1093/logcom/exac070.'
mla: Kontinen, Juha, et al. “A Parameterized View on the Complexity of Dependence
and Independence Logic.” Journal of Logic and Computation, vol. 32, no.
8, Oxford University Press (OUP), 2022, pp. 1624–44, doi:10.1093/logcom/exac070.
short: J. Kontinen, A. Meier, Y. Mahmood, Journal of Logic and Computation 32 (2022)
1624–1644.
date_created: 2023-07-03T11:36:55Z
date_updated: 2024-06-04T16:06:37Z
doi: 10.1093/logcom/exac070
extern: '1'
intvolume: ' 32'
issue: '8'
keyword:
- Logic
- Hardware and Architecture
- Arts and Humanities (miscellaneous)
- Software
- Theoretical Computer Science
language:
- iso: eng
page: 1624-1644
publication: Journal of Logic and Computation
publication_identifier:
issn:
- 0955-792X
- 1465-363X
publication_status: published
publisher: Oxford University Press (OUP)
status: public
title: A parameterized view on the complexity of dependence and independence logic
type: journal_article
user_id: '99353'
volume: 32
year: '2022'
...
---
_id: '32309'
abstract:
- lang: eng
text: "Due to the increasing influences of a VUCA world, design thinking workshops
have been established as a standard technique to build solutions according to
uncertain customer needs. Concerning the ongoing pandemic and rising development
of solutions across organizations, more and more workshops were conducted online
with software support. However, existing software tools insufficiently address
the different workshop situations in terms of the process (i.e., fixed tasks to
conduct), the place (e.g., static online whiteboards), and people (i.e., synchronous
working of all stakeholders).\r\nTherefore, we propose a design science study
to develop a situation-specific software support that can be configured with flexible
development processes, different places, and task-related people. Based on practical
experience in existing research projects, we derive the initial design requirements
and map them to a set of design principles. Out of that, we design a concept with
its implementation as a software tool and point out open challenges. "
author:
- first_name: Sebastian
full_name: Gottschalk, Sebastian
id: '47208'
last_name: Gottschalk
- first_name: Enes
full_name: Yigitbas, Enes
id: '8447'
last_name: Yigitbas
orcid: 0000-0002-5967-833X
- first_name: Alexander
full_name: Nowosad, Alexander
last_name: Nowosad
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Gottschalk S, Yigitbas E, Nowosad A, Engels G. Towards Situation-specific
Software Support for Cross-organizational Design Thinking Processes. In: Proceedings
of the 5th International Workshop on Software-Intensive Business (IWSiB’22) .
ACM; 2022.'
apa: Gottschalk, S., Yigitbas, E., Nowosad, A., & Engels, G. (2022). Towards
Situation-specific Software Support for Cross-organizational Design Thinking Processes.
Proceedings of the 5th International Workshop on Software-Intensive Business
(IWSiB’22) .
bibtex: '@inproceedings{Gottschalk_Yigitbas_Nowosad_Engels_2022, title={Towards
Situation-specific Software Support for Cross-organizational Design Thinking Processes},
booktitle={Proceedings of the 5th International Workshop on Software-intensive
Business (IWSiB’22) }, publisher={ACM}, author={Gottschalk, Sebastian and Yigitbas,
Enes and Nowosad, Alexander and Engels, Gregor}, year={2022} }'
chicago: Gottschalk, Sebastian, Enes Yigitbas, Alexander Nowosad, and Gregor Engels.
“Towards Situation-Specific Software Support for Cross-Organizational Design Thinking
Processes.” In Proceedings of the 5th International Workshop on Software-Intensive
Business (IWSiB’22) . ACM, 2022.
ieee: S. Gottschalk, E. Yigitbas, A. Nowosad, and G. Engels, “Towards Situation-specific
Software Support for Cross-organizational Design Thinking Processes,” 2022.
mla: Gottschalk, Sebastian, et al. “Towards Situation-Specific Software Support
for Cross-Organizational Design Thinking Processes.” Proceedings of the 5th
International Workshop on Software-Intensive Business (IWSiB’22) , ACM, 2022.
short: 'S. Gottschalk, E. Yigitbas, A. Nowosad, G. Engels, in: Proceedings of the
5th International Workshop on Software-Intensive Business (IWSiB’22) , ACM, 2022.'
date_created: 2022-07-01T08:14:16Z
date_updated: 2023-03-14T09:59:05Z
department:
- _id: '66'
- _id: '534'
keyword:
- design thinking
- situation-specific
- cross-organizational
- software support
language:
- iso: eng
project:
- _id: '1'
name: 'SFB 901: SFB 901'
- _id: '4'
name: 'SFB 901 - C: SFB 901 - Project Area C'
- _id: '17'
name: 'SFB 901 - C5: SFB 901 - Subproject C5'
publication: 'Proceedings of the 5th International Workshop on Software-intensive
Business (IWSiB''22) '
publisher: ACM
status: public
title: Towards Situation-specific Software Support for Cross-organizational Design
Thinking Processes
type: conference
user_id: '8447'
year: '2022'
...
---
_id: '33684'
article_number: '102920'
author:
- first_name: Robert
full_name: Schade, Robert
id: '75963'
last_name: Schade
orcid: 0000-0002-6268-539
- first_name: Tobias
full_name: Kenter, Tobias
id: '3145'
last_name: Kenter
- first_name: Hossam
full_name: Elgabarty, Hossam
id: '60250'
last_name: Elgabarty
orcid: 0000-0002-4945-1481
- first_name: Michael
full_name: Lass, Michael
id: '24135'
last_name: Lass
orcid: 0000-0002-5708-7632
- first_name: Ole
full_name: Schütt, Ole
last_name: Schütt
- first_name: Alfio
full_name: Lazzaro, Alfio
last_name: Lazzaro
- first_name: Hans
full_name: Pabst, Hans
last_name: Pabst
- first_name: Stephan
full_name: Mohr, Stephan
last_name: Mohr
- first_name: Jürg
full_name: Hutter, Jürg
last_name: Hutter
- first_name: Thomas
full_name: Kühne, Thomas
id: '49079'
last_name: Kühne
- first_name: Christian
full_name: Plessl, Christian
id: '16153'
last_name: Plessl
orcid: 0000-0001-5728-9982
citation:
ama: Schade R, Kenter T, Elgabarty H, et al. Towards electronic structure-based
ab-initio molecular dynamics simulations with hundreds of millions of atoms. Parallel
Computing. 2022;111. doi:10.1016/j.parco.2022.102920
apa: Schade, R., Kenter, T., Elgabarty, H., Lass, M., Schütt, O., Lazzaro, A., Pabst,
H., Mohr, S., Hutter, J., Kühne, T., & Plessl, C. (2022). Towards electronic
structure-based ab-initio molecular dynamics simulations with hundreds of millions
of atoms. Parallel Computing, 111, Article 102920. https://doi.org/10.1016/j.parco.2022.102920
bibtex: '@article{Schade_Kenter_Elgabarty_Lass_Schütt_Lazzaro_Pabst_Mohr_Hutter_Kühne_et
al._2022, title={Towards electronic structure-based ab-initio molecular dynamics
simulations with hundreds of millions of atoms}, volume={111}, DOI={10.1016/j.parco.2022.102920},
number={102920}, journal={Parallel Computing}, publisher={Elsevier BV}, author={Schade,
Robert and Kenter, Tobias and Elgabarty, Hossam and Lass, Michael and Schütt,
Ole and Lazzaro, Alfio and Pabst, Hans and Mohr, Stephan and Hutter, Jürg and
Kühne, Thomas and et al.}, year={2022} }'
chicago: Schade, Robert, Tobias Kenter, Hossam Elgabarty, Michael Lass, Ole Schütt,
Alfio Lazzaro, Hans Pabst, et al. “Towards Electronic Structure-Based Ab-Initio
Molecular Dynamics Simulations with Hundreds of Millions of Atoms.” Parallel
Computing 111 (2022). https://doi.org/10.1016/j.parco.2022.102920.
ieee: 'R. Schade et al., “Towards electronic structure-based ab-initio molecular
dynamics simulations with hundreds of millions of atoms,” Parallel Computing,
vol. 111, Art. no. 102920, 2022, doi: 10.1016/j.parco.2022.102920.'
mla: Schade, Robert, et al. “Towards Electronic Structure-Based Ab-Initio Molecular
Dynamics Simulations with Hundreds of Millions of Atoms.” Parallel Computing,
vol. 111, 102920, Elsevier BV, 2022, doi:10.1016/j.parco.2022.102920.
short: R. Schade, T. Kenter, H. Elgabarty, M. Lass, O. Schütt, A. Lazzaro, H. Pabst,
S. Mohr, J. Hutter, T. Kühne, C. Plessl, Parallel Computing 111 (2022).
date_created: 2022-10-11T08:17:02Z
date_updated: 2023-08-02T15:03:55Z
department:
- _id: '613'
- _id: '27'
- _id: '518'
doi: 10.1016/j.parco.2022.102920
intvolume: ' 111'
keyword:
- Artificial Intelligence
- Computer Graphics and Computer-Aided Design
- Computer Networks and Communications
- Hardware and Architecture
- Theoretical Computer Science
- Software
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.sciencedirect.com/science/article/pii/S0167819122000242
oa: '1'
project:
- _id: '52'
name: 'PC2: Computing Resources Provided by the Paderborn Center for Parallel Computing'
publication: Parallel Computing
publication_identifier:
issn:
- 0167-8191
publication_status: published
publisher: Elsevier BV
quality_controlled: '1'
status: public
title: Towards electronic structure-based ab-initio molecular dynamics simulations
with hundreds of millions of atoms
type: journal_article
user_id: '75963'
volume: 111
year: '2022'
...
---
_id: '30511'
abstract:
- lang: eng
text: AbstractMany critical codebases are written
in C, and most of them use preprocessor directives to encode variability, effectively
encoding software product lines. These preprocessor directives, however, challenge
any static code analysis. SPLlift, a previously presented approach for analyzing
software product lines, is limited to Java programs that use a rather simple feature
encoding and to analysis problems with a finite and ideally small domain. Other
approaches that allow the analysis of real-world C software product lines use
special-purpose analyses, preventing the reuse of existing analysis infrastructures
and ignoring the progress made by the static analysis community. This work presents
VarAlyzer, a novel static analysis approach for software product
lines. VarAlyzer first transforms preprocessor constructs to
plain C while preserving their variability and semantics. It then solves any given
distributive analysis problem on transformed product lines in a variability-aware
manner. VarAlyzer ’s analysis results are annotated with feature
constraints that encode in which configurations each result holds. Our experiments
with 95 compilation units of OpenSSL show that applying VarAlyzer
enables one to conduct inter-procedural, flow-, field- and context-sensitive data-flow
analyses on entire product lines for the first time, outperforming the product-based
approach for highly-configurable systems.
alternative_title:
- Revoking the preprocessor’s special role
article_number: '35'
article_type: original
author:
- first_name: Philipp
full_name: Schubert, Philipp
id: '60543'
last_name: Schubert
orcid: 0000-0002-8674-1859
- first_name: Paul
full_name: Gazzillo, Paul
last_name: Gazzillo
- first_name: Zach
full_name: Patterson, Zach
last_name: Patterson
- first_name: Julian
full_name: Braha, Julian
last_name: Braha
- first_name: Fabian Benedikt
full_name: Schiebel, Fabian Benedikt
id: '55745'
last_name: Schiebel
orcid: 0009-0008-6867-9802
- first_name: Ben
full_name: Hermann, Ben
id: '66173'
last_name: Hermann
orcid: 0000-0001-9848-2017
- first_name: Shiyi
full_name: Wei, Shiyi
last_name: Wei
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: Schubert P, Gazzillo P, Patterson Z, et al. Static data-flow analysis for software
product lines in C. Automated Software Engineering. 2022;29(1). doi:10.1007/s10515-022-00333-1
apa: Schubert, P., Gazzillo, P., Patterson, Z., Braha, J., Schiebel, F. B., Hermann,
B., Wei, S., & Bodden, E. (2022). Static data-flow analysis for software product
lines in C. Automated Software Engineering, 29(1), Article 35. https://doi.org/10.1007/s10515-022-00333-1
bibtex: '@article{Schubert_Gazzillo_Patterson_Braha_Schiebel_Hermann_Wei_Bodden_2022,
title={Static data-flow analysis for software product lines in C}, volume={29},
DOI={10.1007/s10515-022-00333-1},
number={135}, journal={Automated Software Engineering}, publisher={Springer Science
and Business Media LLC}, author={Schubert, Philipp and Gazzillo, Paul and Patterson,
Zach and Braha, Julian and Schiebel, Fabian Benedikt and Hermann, Ben and Wei,
Shiyi and Bodden, Eric}, year={2022} }'
chicago: Schubert, Philipp, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian
Benedikt Schiebel, Ben Hermann, Shiyi Wei, and Eric Bodden. “Static Data-Flow
Analysis for Software Product Lines in C.” Automated Software Engineering
29, no. 1 (2022). https://doi.org/10.1007/s10515-022-00333-1.
ieee: 'P. Schubert et al., “Static data-flow analysis for software product
lines in C,” Automated Software Engineering, vol. 29, no. 1, Art. no. 35,
2022, doi: 10.1007/s10515-022-00333-1.'
mla: Schubert, Philipp, et al. “Static Data-Flow Analysis for Software Product Lines
in C.” Automated Software Engineering, vol. 29, no. 1, 35, Springer Science
and Business Media LLC, 2022, doi:10.1007/s10515-022-00333-1.
short: P. Schubert, P. Gazzillo, Z. Patterson, J. Braha, F.B. Schiebel, B. Hermann,
S. Wei, E. Bodden, Automated Software Engineering 29 (2022).
date_created: 2022-03-25T07:41:26Z
date_updated: 2025-12-04T10:42:38Z
department:
- _id: '76'
doi: 10.1007/s10515-022-00333-1
intvolume: ' 29'
issue: '1'
keyword:
- inter-procedural static analysis
- software product lines
- preprocessor
- LLVM
- C/C++
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://link.springer.com/article/10.1007/s10515-022-00333-1
oa: '1'
project:
- _id: '12'
name: 'SFB 901 - B4: SFB 901 - Subproject B4'
- _id: '3'
name: 'SFB 901 - B: SFB 901 - Project Area B'
- _id: '1'
name: 'SFB 901: SFB 901'
publication: Automated Software Engineering
publication_identifier:
issn:
- 0928-8910
- 1573-7535
publication_status: published
publisher: Springer Science and Business Media LLC
status: public
title: Static data-flow analysis for software product lines in C
type: journal_article
user_id: '15249'
volume: 29
year: '2022'
...
---
_id: '26049'
abstract:
- lang: eng
text: 'Content is the new oil. Users consume billions of terabytes a day while surfing
on news sites or blogs, posting on social media sites, and sending chat messages
around the globe. While content is heterogeneous, the dominant form of web content
is text. There are situations where more diversity needs to be introduced into
text content, for example, to reuse it on websites or to allow a chatbot to base
its models on the information conveyed rather than of the language used. In order
to achieve this, paraphrasing techniques have been developed: One example is Text
spinning, a technique that automatically paraphrases text while leaving the intent
intact. This makes it easier to reuse content, or to change the language generated
by the bot more human. One method for modifying texts is a combination of translation
and back-translation. This paper presents NATTS, a naive approach that uses transformer-based
translation models to create diversified text, combining translation steps in
one model. An advantage of this approach is that it can be fine-tuned and handle
technical language.'
author:
- first_name: Frederik Simon
full_name: Bäumer, Frederik Simon
last_name: Bäumer
- first_name: Joschka
full_name: Kersting, Joschka
id: '58701'
last_name: Kersting
- first_name: Sergej
full_name: Denisov, Sergej
last_name: Denisov
- first_name: Michaela
full_name: Geierhos, Michaela
id: '42496'
last_name: Geierhos
orcid: 0000-0002-8180-5606
citation:
ama: 'Bäumer FS, Kersting J, Denisov S, Geierhos M. IN OTHER WORDS: A NAIVE APPROACH
TO TEXT SPINNING. In: PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET
2021 AND APPLIED COMPUTING 2021. IADIS; 2021:221--225.'
apa: 'Bäumer, F. S., Kersting, J., Denisov, S., & Geierhos, M. (2021). IN OTHER
WORDS: A NAIVE APPROACH TO TEXT SPINNING. PROCEEDINGS OF THE INTERNATIONAL
CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021, 221--225.'
bibtex: '@inproceedings{Bäumer_Kersting_Denisov_Geierhos_2021, title={IN OTHER WORDS:
A NAIVE APPROACH TO TEXT SPINNING}, booktitle={PROCEEDINGS OF THE INTERNATIONAL
CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021}, publisher={IADIS},
author={Bäumer, Frederik Simon and Kersting, Joschka and Denisov, Sergej and Geierhos,
Michaela}, year={2021}, pages={221--225} }'
chicago: 'Bäumer, Frederik Simon, Joschka Kersting, Sergej Denisov, and Michaela
Geierhos. “IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING.” In PROCEEDINGS
OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021,
221--225. IADIS, 2021.'
ieee: 'F. S. Bäumer, J. Kersting, S. Denisov, and M. Geierhos, “IN OTHER WORDS:
A NAIVE APPROACH TO TEXT SPINNING,” in PROCEEDINGS OF THE INTERNATIONAL CONFERENCES
ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021, Lisbon, Portugal, 2021, pp.
221--225.'
mla: 'Bäumer, Frederik Simon, et al. “IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING.”
PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED
COMPUTING 2021, IADIS, 2021, pp. 221--225.'
short: 'F.S. Bäumer, J. Kersting, S. Denisov, M. Geierhos, in: PROCEEDINGS OF THE
INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021, IADIS,
2021, pp. 221--225.'
conference:
end_date: 15.10.2021
location: Lisbon, Portugal
name: 18th International Conference on Applied Computing
start_date: 13.10.2021
date_created: 2021-10-11T15:26:58Z
date_updated: 2022-01-06T06:57:16Z
ddc:
- '000'
file:
- access_level: closed
content_type: application/pdf
creator: jkers
date_created: 2021-10-15T15:54:41Z
date_updated: 2021-10-15T15:54:41Z
file_id: '26282'
file_name: Bäumer et al. (2021), Baeumer2021.pdf
file_size: 411667
relation: main_file
success: 1
file_date_updated: 2021-10-15T15:54:41Z
has_accepted_license: '1'
keyword:
- Software Requirements
- Natural Language Processing
- Transfer Learning
- On-The-Fly Computing
language:
- iso: eng
page: 221--225
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '9'
name: SFB 901 - Subproject B1
publication: PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND
APPLIED COMPUTING 2021
publisher: IADIS
status: public
title: 'IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING'
type: conference
user_id: '58701'
year: '2021'
...
---
_id: '21639'
abstract:
- lang: eng
text: 'The development of effective business models is an essential task in highly
competitive markets like mobile ecosystems. Existing development methods for these
business models do not specifically focus that the development process profoundly
depends on the situation (e.g., market size, regulations) of the mobile app developer.
Here, a mismatch between method and situation can lead to poor resource management
and longer development cycles. In software engineering, situational method engineering
is used for software projects to configure a development method out of a method
repository based on the project situation. Analogously, we support creating situation-specific
business model development methods with a method base and new user roles. Here,
the method engineer obtains the knowledge of the domain expert and stores it in
the method base as elements, building blocks, and patterns. The expert knowledge
is derived from a grey literature review on mobile development processes. After
this, the method engineer constructs the development method based on the described
situation of the business developer. We provide an open-source tool and evaluate
it by constructing a local event platform''s business model development method. '
author:
- first_name: Sebastian
full_name: Gottschalk, Sebastian
id: '47208'
last_name: Gottschalk
- first_name: Enes
full_name: Yigitbas, Enes
id: '8447'
last_name: Yigitbas
orcid: 0000-0002-5967-833X
- first_name: Alexander
full_name: Nowosad, Alexander
last_name: Nowosad
- first_name: Gregor
full_name: Engels, Gregor
last_name: Engels
citation:
ama: 'Gottschalk S, Yigitbas E, Nowosad A, Engels G. Situation-specific Business
Model Development Methods for Mobile App Developers. In: Enterprise, Business-Process
and Information Systems Modeling. Springer; 2021. doi:10.1007/978-3-030-79186-5_17'
apa: Gottschalk, S., Yigitbas, E., Nowosad, A., & Engels, G. (2021). Situation-specific
Business Model Development Methods for Mobile App Developers. In Enterprise,
Business-Process and Information Systems Modeling. Springer. https://doi.org/10.1007/978-3-030-79186-5_17
bibtex: '@inproceedings{Gottschalk_Yigitbas_Nowosad_Engels_2021, title={Situation-specific
Business Model Development Methods for Mobile App Developers}, DOI={10.1007/978-3-030-79186-5_17},
booktitle={Enterprise, Business-Process and Information Systems Modeling}, publisher={Springer},
author={Gottschalk, Sebastian and Yigitbas, Enes and Nowosad, Alexander and Engels,
Gregor}, year={2021} }'
chicago: Gottschalk, Sebastian, Enes Yigitbas, Alexander Nowosad, and Gregor Engels.
“Situation-Specific Business Model Development Methods for Mobile App Developers.”
In Enterprise, Business-Process and Information Systems Modeling. Springer,
2021. https://doi.org/10.1007/978-3-030-79186-5_17.
ieee: S. Gottschalk, E. Yigitbas, A. Nowosad, and G. Engels, “Situation-specific
Business Model Development Methods for Mobile App Developers,” in Enterprise,
Business-Process and Information Systems Modeling, 2021.
mla: Gottschalk, Sebastian, et al. “Situation-Specific Business Model Development
Methods for Mobile App Developers.” Enterprise, Business-Process and Information
Systems Modeling, Springer, 2021, doi:10.1007/978-3-030-79186-5_17.
short: 'S. Gottschalk, E. Yigitbas, A. Nowosad, G. Engels, in: Enterprise, Business-Process
and Information Systems Modeling, Springer, 2021.'
date_created: 2021-04-20T13:23:41Z
date_updated: 2022-01-06T06:55:08Z
ddc:
- '000'
department:
- _id: '66'
- _id: '534'
doi: 10.1007/978-3-030-79186-5_17
file:
- access_level: open_access
content_type: application/pdf
creator: sego
date_created: 2021-07-20T16:19:27Z
date_updated: 2021-07-20T16:20:15Z
file_id: '22769'
file_name: EMMSAD21.pdf
file_size: 638707
relation: main_file
file_date_updated: 2021-07-20T16:20:15Z
has_accepted_license: '1'
keyword:
- Business Model Development
- Situational Method Engineering
- Mobile App
- Business Model Development Tools
language:
- iso: eng
oa: '1'
project:
- _id: '1'
name: SFB 901
- _id: '4'
name: SFB 901 - Project Area C
- _id: '17'
name: SFB 901 - Subproject C5
publication: Enterprise, Business-Process and Information Systems Modeling
publisher: Springer
status: public
title: Situation-specific Business Model Development Methods for Mobile App Developers
type: conference
user_id: '47208'
year: '2021'
...
---
_id: '30907'
author:
- first_name: Alfonso
full_name: Rodriguez, Alfonso
last_name: Rodriguez
- first_name: Andres
full_name: Otero, Andres
last_name: Otero
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Eduardo
full_name: De la Torre, Eduardo
last_name: De la Torre
citation:
ama: Rodriguez A, Otero A, Platzner M, De la Torre E. Exploiting Hardware-Based
Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable
FPGAs. IEEE Transactions on Computers. Published online 2021:1-1. doi:10.1109/tc.2021.3107196
apa: Rodriguez, A., Otero, A., Platzner, M., & De la Torre, E. (2021). Exploiting
Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing
in Reconfigurable FPGAs. IEEE Transactions on Computers, 1–1. https://doi.org/10.1109/tc.2021.3107196
bibtex: '@article{Rodriguez_Otero_Platzner_De la Torre_2021, title={Exploiting Hardware-Based
Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable
FPGAs}, DOI={10.1109/tc.2021.3107196},
journal={IEEE Transactions on Computers}, publisher={Institute of Electrical and
Electronics Engineers (IEEE)}, author={Rodriguez, Alfonso and Otero, Andres and
Platzner, Marco and De la Torre, Eduardo}, year={2021}, pages={1–1} }'
chicago: Rodriguez, Alfonso, Andres Otero, Marco Platzner, and Eduardo De la Torre.
“Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge
Computing in Reconfigurable FPGAs.” IEEE Transactions on Computers, 2021,
1–1. https://doi.org/10.1109/tc.2021.3107196.
ieee: 'A. Rodriguez, A. Otero, M. Platzner, and E. De la Torre, “Exploiting Hardware-Based
Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable
FPGAs,” IEEE Transactions on Computers, pp. 1–1, 2021, doi: 10.1109/tc.2021.3107196.'
mla: Rodriguez, Alfonso, et al. “Exploiting Hardware-Based Data-Parallel and Multithreading
Models for Smart Edge Computing in Reconfigurable FPGAs.” IEEE Transactions
on Computers, Institute of Electrical and Electronics Engineers (IEEE), 2021,
pp. 1–1, doi:10.1109/tc.2021.3107196.
short: A. Rodriguez, A. Otero, M. Platzner, E. De la Torre, IEEE Transactions on
Computers (2021) 1–1.
date_created: 2022-04-18T10:03:16Z
date_updated: 2022-04-18T10:04:21Z
department:
- _id: '78'
doi: 10.1109/tc.2021.3107196
keyword:
- Computational Theory and Mathematics
- Hardware and Architecture
- Theoretical Computer Science
- Software
language:
- iso: eng
page: 1-1
publication: IEEE Transactions on Computers
publication_identifier:
issn:
- 0018-9340
- 1557-9956
- 2326-3814
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart
Edge Computing in Reconfigurable FPGAs
type: journal_article
user_id: '398'
year: '2021'
...
---
_id: '45844'
abstract:
- lang: eng
text: "Abstract\r\n Abductive reasoning
is a non-monotonic formalism stemming from the work of Peirce. It describes the
process of deriving the most plausible explanations of known facts. Considering
the positive version, asking for sets of variables as explanations, we study,
besides the problem of wether there exists a set of explanations, two explanation
size limited variants of this reasoning problem (less than or equal to, and equal
to a given size bound). In this paper, we present a thorough two-dimensional classification
of these problems: the first dimension is regarding the parameterized complexity
under a wealth of different parameterizations, and the second dimension spans
through all possible Boolean fragments of these problems in Schaefer’s constraint
satisfaction framework with co-clones (T. J. Schaefer. The complexity of satisfiability
problems. In Proceedings of the 10th Annual ACM Symposium on Theory of Computing,
May 1–3, 1978, San Diego, California, USA, R.J. Lipton, W.A. Burkhard, W.J. Savitch,
E.P. Friedman, A.V. Aho eds, pp. 216–226. ACM, 1978). Thereby, we almost complete
the parameterized complexity classification program initiated by Fellows et al.
(The parameterized complexity of abduction. In Proceedings of the Twenty-Sixth
AAAI Conference on Articial Intelligence, July 22–26, 2012, Toronto, Ontario,
Canada, J. Homann, B. Selman eds. AAAI Press, 2012), partially building on the
results by Nordh and Zanuttini (What makes propositional abduction tractable.
Artificial Intelligence, 172, 1245–1284, 2008). In this process, we outline a
fine-grained analysis of the inherent parameterized intractability of these problems
and pinpoint their FPT parts. As the standard algebraic approach is not applicable
to our problems, we develop an alternative method that makes the algebraic tools
partially available again."
author:
- first_name: Yasir
full_name: Mahmood, Yasir
last_name: Mahmood
- first_name: Arne
full_name: Meier, Arne
last_name: Meier
- first_name: Johannes
full_name: Schmidt, Johannes
last_name: Schmidt
citation:
ama: Mahmood Y, Meier A, Schmidt J. Parameterized complexity of abduction in Schaefer’s
framework. Journal of Logic and Computation. 2021;31(1):266-296. doi:10.1093/logcom/exaa079
apa: Mahmood, Y., Meier, A., & Schmidt, J. (2021). Parameterized complexity
of abduction in Schaefer’s framework. Journal of Logic and Computation,
31(1), 266–296. https://doi.org/10.1093/logcom/exaa079
bibtex: '@article{Mahmood_Meier_Schmidt_2021, title={Parameterized complexity of
abduction in Schaefer’s framework}, volume={31}, DOI={10.1093/logcom/exaa079},
number={1}, journal={Journal of Logic and Computation}, publisher={Oxford University
Press (OUP)}, author={Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2021},
pages={266–296} }'
chicago: 'Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterized Complexity
of Abduction in Schaefer’s Framework.” Journal of Logic and Computation
31, no. 1 (2021): 266–96. https://doi.org/10.1093/logcom/exaa079.'
ieee: 'Y. Mahmood, A. Meier, and J. Schmidt, “Parameterized complexity of abduction
in Schaefer’s framework,” Journal of Logic and Computation, vol. 31, no.
1, pp. 266–296, 2021, doi: 10.1093/logcom/exaa079.'
mla: Mahmood, Yasir, et al. “Parameterized Complexity of Abduction in Schaefer’s
Framework.” Journal of Logic and Computation, vol. 31, no. 1, Oxford University
Press (OUP), 2021, pp. 266–96, doi:10.1093/logcom/exaa079.
short: Y. Mahmood, A. Meier, J. Schmidt, Journal of Logic and Computation 31 (2021)
266–296.
date_created: 2023-07-03T11:35:23Z
date_updated: 2024-06-04T16:03:14Z
department:
- _id: '574'
doi: 10.1093/logcom/exaa079
extern: '1'
intvolume: ' 31'
issue: '1'
keyword:
- Logic
- Hardware and Architecture
- Arts and Humanities (miscellaneous)
- Software
- Theoretical Computer Science
language:
- iso: eng
page: 266-296
publication: Journal of Logic and Computation
publication_identifier:
issn:
- 0955-792X
- 1465-363X
publication_status: published
publisher: Oxford University Press (OUP)
status: public
title: Parameterized complexity of abduction in Schaefer’s framework
type: journal_article
user_id: '99353'
volume: 31
year: '2021'
...
---
_id: '37146'
abstract:
- lang: eng
text: AbstractOrganizations increasingly introduce
collaborative technologies in form of virtual assistants (VAs) to save valuable
resources, especially when employees are assisted with work-related tasks. However,
the effect of VAs on virtual teams and collaboration remains uncertain, particularly
whether employees show social loafing (SL) tendencies, i.e., applying less effort
for collective tasks compared to working alone. While extant research indicates
that VAs collaboratively working in teams exert greater results, less is known
about SL in virtual collaboration and how responsibility attribution alters. An
online experiment with N = 102 was conducted in which participants were assisted
by a VA in solving a task. The results indicate SL tendencies in virtual collaboration
with VAs and that participants tend to cede responsibility to the VA. This study
makes a first foray and extends the information systems (IS) literature by analyzing
SL and responsibility attribution thus updates our knowledge on virtual collaboration
with VAs.
author:
- first_name: Stefan
full_name: Stieglitz, Stefan
last_name: Stieglitz
- first_name: Milad
full_name: Mirbabaie, Milad
id: '88691'
last_name: Mirbabaie
- first_name: Nicholas R. J.
full_name: Möllmann, Nicholas R. J.
last_name: Möllmann
- first_name: Jannik
full_name: Rzyski, Jannik
last_name: Rzyski
citation:
ama: 'Stieglitz S, Mirbabaie M, Möllmann NRJ, Rzyski J. Collaborating with Virtual
Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility
Attribution. Information Systems Frontiers. 2021;24(3):745-770. doi:10.1007/s10796-021-10201-0'
apa: 'Stieglitz, S., Mirbabaie, M., Möllmann, N. R. J., & Rzyski, J. (2021).
Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing
Tendencies and Responsibility Attribution. Information Systems Frontiers,
24(3), 745–770. https://doi.org/10.1007/s10796-021-10201-0'
bibtex: '@article{Stieglitz_Mirbabaie_Möllmann_Rzyski_2021, title={Collaborating
with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies
and Responsibility Attribution}, volume={24}, DOI={10.1007/s10796-021-10201-0},
number={3}, journal={Information Systems Frontiers}, publisher={Springer Science
and Business Media LLC}, author={Stieglitz, Stefan and Mirbabaie, Milad and Möllmann,
Nicholas R. J. and Rzyski, Jannik}, year={2021}, pages={745–770} }'
chicago: 'Stieglitz, Stefan, Milad Mirbabaie, Nicholas R. J. Möllmann, and Jannik
Rzyski. “Collaborating with Virtual Assistants in Organizations: Analyzing Social
Loafing Tendencies and Responsibility Attribution.” Information Systems Frontiers
24, no. 3 (2021): 745–70. https://doi.org/10.1007/s10796-021-10201-0.'
ieee: 'S. Stieglitz, M. Mirbabaie, N. R. J. Möllmann, and J. Rzyski, “Collaborating
with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies
and Responsibility Attribution,” Information Systems Frontiers, vol. 24,
no. 3, pp. 745–770, 2021, doi: 10.1007/s10796-021-10201-0.'
mla: 'Stieglitz, Stefan, et al. “Collaborating with Virtual Assistants in Organizations:
Analyzing Social Loafing Tendencies and Responsibility Attribution.” Information
Systems Frontiers, vol. 24, no. 3, Springer Science and Business Media LLC,
2021, pp. 745–70, doi:10.1007/s10796-021-10201-0.'
short: S. Stieglitz, M. Mirbabaie, N.R.J. Möllmann, J. Rzyski, Information Systems
Frontiers 24 (2021) 745–770.
date_created: 2023-01-17T15:25:22Z
date_updated: 2023-01-18T07:57:25Z
doi: 10.1007/s10796-021-10201-0
intvolume: ' 24'
issue: '3'
keyword:
- Computer Networks and Communications
- Information Systems
- Theoretical Computer Science
- Software
language:
- iso: eng
page: 745-770
publication: Information Systems Frontiers
publication_identifier:
issn:
- 1387-3326
- 1572-9419
publication_status: published
publisher: Springer Science and Business Media LLC
status: public
title: 'Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing
Tendencies and Responsibility Attribution'
type: journal_article
user_id: '80546'
volume: 24
year: '2021'
...
---
_id: '27841'
abstract:
- lang: eng
text: Verification of software and processor hardware usually proceeds separately,
software analysis relying on the correctness of processors executing machine instructions.
This assumption is valid as long as the software runs on standard CPUs that have
been extensively validated and are in wide use. However, for processors exploiting
custom instruction set extensions to meet performance and energy constraints the
validation might be less extensive, challenging the correctness assumption. In
this paper we present a novel formal approach for hardware/software co-verification
targeting processors with custom instruction set extensions. We detail two different
approaches for checking whether the hardware fulfills the requirements expected
by the software analysis. The approaches are designed to explore a trade-off between
generality of the verification and computational effort. Then, we describe the
integration of software and hardware analyses for both techniques and describe
a fully automated tool chain implementing the approaches. Finally, we demonstrate
and compare the two approaches on example source code with custom instructions,
using state-of-the-art software analysis and hardware verification techniques.
author:
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Felix
full_name: Pauck, Felix
id: '22398'
last_name: Pauck
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
citation:
ama: Jakobs M-C, Pauck F, Platzner M, Wehrheim H, Wiersema T. Software/Hardware
Co-Verification for Custom Instruction Set Processors. IEEE Access. Published
online 2021. doi:10.1109/ACCESS.2021.3131213
apa: Jakobs, M.-C., Pauck, F., Platzner, M., Wehrheim, H., & Wiersema, T. (2021).
Software/Hardware Co-Verification for Custom Instruction Set Processors. IEEE
Access. https://doi.org/10.1109/ACCESS.2021.3131213
bibtex: '@article{Jakobs_Pauck_Platzner_Wehrheim_Wiersema_2021, title={Software/Hardware
Co-Verification for Custom Instruction Set Processors}, DOI={10.1109/ACCESS.2021.3131213},
journal={IEEE Access}, publisher={IEEE}, author={Jakobs, Marie-Christine and Pauck,
Felix and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias}, year={2021}
}'
chicago: Jakobs, Marie-Christine, Felix Pauck, Marco Platzner, Heike Wehrheim, and
Tobias Wiersema. “Software/Hardware Co-Verification for Custom Instruction Set
Processors.” IEEE Access, 2021. https://doi.org/10.1109/ACCESS.2021.3131213.
ieee: 'M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, and T. Wiersema, “Software/Hardware
Co-Verification for Custom Instruction Set Processors,” IEEE Access, 2021,
doi: 10.1109/ACCESS.2021.3131213.'
mla: Jakobs, Marie-Christine, et al. “Software/Hardware Co-Verification for Custom
Instruction Set Processors.” IEEE Access, IEEE, 2021, doi:10.1109/ACCESS.2021.3131213.
short: M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, T. Wiersema, IEEE Access
(2021).
date_created: 2021-11-25T14:12:22Z
date_updated: 2023-01-18T08:34:50Z
department:
- _id: '78'
doi: 10.1109/ACCESS.2021.3131213
funded_apc: '1'
keyword:
- Software Analysis
- Abstract Interpretation
- Custom Instruction
- Hardware Verification
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: IEEE Access
publication_status: published
publisher: IEEE
quality_controlled: '1'
status: public
title: Software/Hardware Co-Verification for Custom Instruction Set Processors
type: journal_article
user_id: '22398'
year: '2021'
...
---
_id: '31132'
author:
- first_name: Andreas Peter
full_name: Dann, Andreas Peter
id: '26886'
last_name: Dann
- first_name: Henrik
full_name: Plate, Henrik
last_name: Plate
- first_name: Ben
full_name: Hermann, Ben
id: '66173'
last_name: Hermann
orcid: 0000-0001-9848-2017
- first_name: Serena Elisa
full_name: Ponta, Serena Elisa
last_name: Ponta
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: Dann AP, Plate H, Hermann B, Ponta SE, Bodden E. Identifying Challenges for
OSS Vulnerability Scanners - A Study & Test Suite. IEEE Transactions
on Software Engineering. Published online 2021:1-1. doi:10.1109/tse.2021.3101739
apa: Dann, A. P., Plate, H., Hermann, B., Ponta, S. E., & Bodden, E. (2021).
Identifying Challenges for OSS Vulnerability Scanners - A Study & Test
Suite. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/tse.2021.3101739
bibtex: '@article{Dann_Plate_Hermann_Ponta_Bodden_2021, title={Identifying Challenges
for OSS Vulnerability Scanners - A Study & Test Suite}, DOI={10.1109/tse.2021.3101739},
journal={IEEE Transactions on Software Engineering}, publisher={Institute of Electrical
and Electronics Engineers (IEEE)}, author={Dann, Andreas Peter and Plate, Henrik
and Hermann, Ben and Ponta, Serena Elisa and Bodden, Eric}, year={2021}, pages={1–1}
}'
chicago: Dann, Andreas Peter, Henrik Plate, Ben Hermann, Serena Elisa Ponta, and
Eric Bodden. “Identifying Challenges for OSS Vulnerability Scanners - A Study
& Test Suite.” IEEE Transactions on Software Engineering, 2021,
1–1. https://doi.org/10.1109/tse.2021.3101739.
ieee: 'A. P. Dann, H. Plate, B. Hermann, S. E. Ponta, and E. Bodden, “Identifying
Challenges for OSS Vulnerability Scanners - A Study & Test Suite,” IEEE
Transactions on Software Engineering, pp. 1–1, 2021, doi: 10.1109/tse.2021.3101739.'
mla: Dann, Andreas Peter, et al. “Identifying Challenges for OSS Vulnerability Scanners
- A Study & Test Suite.” IEEE Transactions on Software Engineering,
Institute of Electrical and Electronics Engineers (IEEE), 2021, pp. 1–1, doi:10.1109/tse.2021.3101739.
short: A.P. Dann, H. Plate, B. Hermann, S.E. Ponta, E. Bodden, IEEE Transactions
on Software Engineering (2021) 1–1.
date_created: 2022-05-09T13:02:35Z
date_updated: 2025-11-11T14:28:46Z
department:
- _id: '76'
doi: 10.1109/tse.2021.3101739
keyword:
- Software
language:
- iso: eng
page: 1-1
project:
- _id: '107'
name: 'Reaktor: SFB 901 - Automatisierte Risikoanalyse in Bezug auf Open-Source-Abhängigkeiten
(Hektor) (Transferproject T3)'
- _id: '1'
name: 'SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in
dynamischen Märkten'
- _id: '82'
name: 'SFB 901; Projektbereich T: Transferprojekte des Sonderforschungsbereichs'
- _id: '107'
name: 'SFB 901; TP T3: Automatisierte Risikoanalyse in Bezug auf Open-Source-Abhängigkeiten
(Hektor)'
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: Identifying Challenges for OSS Vulnerability Scanners - A Study & Test
Suite
type: journal_article
user_id: '477'
year: '2021'
...
---
_id: '18686'
author:
- first_name: Joschka
full_name: Kersting, Joschka
id: '58701'
last_name: Kersting
- first_name: Frederik Simon
full_name: Bäumer, Frederik Simon
id: '38837'
last_name: Bäumer
citation:
ama: 'Kersting J, Bäumer FS. SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED
APPROACH. In: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING
2020. IADIS; 2020:119--123.'
apa: 'Kersting, J., & Bäumer, F. S. (2020). SEMANTIC TAGGING OF REQUIREMENT
DESCRIPTIONS: A TRANSFORMER-BASED APPROACH. PROCEEDINGS OF THE INTERNATIONAL
CONFERENCE ON APPLIED COMPUTING 2020, 119--123.'
bibtex: '@inproceedings{Kersting_Bäumer_2020, title={SEMANTIC TAGGING OF REQUIREMENT
DESCRIPTIONS: A TRANSFORMER-BASED APPROACH}, booktitle={PROCEEDINGS OF THE INTERNATIONAL
CONFERENCE ON APPLIED COMPUTING 2020}, publisher={IADIS}, author={Kersting, Joschka
and Bäumer, Frederik Simon}, year={2020}, pages={119--123} }'
chicago: 'Kersting, Joschka, and Frederik Simon Bäumer. “SEMANTIC TAGGING OF REQUIREMENT
DESCRIPTIONS: A TRANSFORMER-BASED APPROACH.” In PROCEEDINGS OF THE INTERNATIONAL
CONFERENCE ON APPLIED COMPUTING 2020, 119--123. IADIS, 2020.'
ieee: 'J. Kersting and F. S. Bäumer, “SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS:
A TRANSFORMER-BASED APPROACH,” in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE
ON APPLIED COMPUTING 2020, Lisbon, Portugal, 2020, pp. 119--123.'
mla: 'Kersting, Joschka, and Frederik Simon Bäumer. “SEMANTIC TAGGING OF REQUIREMENT
DESCRIPTIONS: A TRANSFORMER-BASED APPROACH.” PROCEEDINGS OF THE INTERNATIONAL
CONFERENCE ON APPLIED COMPUTING 2020, IADIS, 2020, pp. 119--123.'
short: 'J. Kersting, F.S. Bäumer, in: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE
ON APPLIED COMPUTING 2020, IADIS, 2020, pp. 119--123.'
conference:
end_date: 20.11.2020
location: Lisbon, Portugal
name: 17th International Conference on Applied Computing
start_date: 18.11.2020
date_created: 2020-08-31T10:59:54Z
date_updated: 2022-01-06T06:53:51Z
ddc:
- '000'
department:
- _id: '579'
file:
- access_level: closed
content_type: application/pdf
creator: jkers
date_created: 2020-11-19T17:29:03Z
date_updated: 2020-11-19T17:29:03Z
file_id: '20443'
file_name: Kersting & Bäumer (2020), Kersting2020d.pdf
file_size: 1064877
relation: main_file
success: 1
file_date_updated: 2020-11-19T17:29:03Z
has_accepted_license: '1'
keyword:
- Software Requirements
- Natural Language Processing
- Transfer Learning
- On-The-Fly Computing
language:
- iso: eng
page: 119--123
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '9'
name: SFB 901 - Subproject B1
publication: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020
publisher: IADIS
status: public
title: 'SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH'
type: conference
user_id: '58701'
year: '2020'
...