---
_id: '28350'
abstract:
- lang: eng
text: "In recent years, we observe an increasing amount of software with machine
learning components being deployed. This poses the question of quality assurance
for such components: how can we validate whether specified requirements are fulfilled
by a machine learned software? Current testing and verification approaches either
focus on a single requirement (e.g., fairness) or specialize on a single type
of machine learning model (e.g., neural networks).\r\nIn this paper, we propose
property-driven testing of machine learning models. Our approach MLCheck encompasses
(1) a language for property specification, and (2) a technique for systematic
test case generation. The specification language is comparable to property-based
testing languages. Test case generation employs advanced verification technology
for a systematic, property dependent construction of test suites, without additional
user supplied generator functions. We evaluate MLCheck using requirements and
data sets from three different application areas (software\r\ndiscrimination,
learning on knowledge graphs and security). Our evaluation shows that despite
its generality MLCheck can even outperform specialised testing approaches while
having a comparable runtime"
author:
- first_name: Arnab
full_name: Sharma, Arnab
id: '67200'
last_name: Sharma
- first_name: Caglar
full_name: Demir, Caglar
id: '43817'
last_name: Demir
- first_name: Axel-Cyrille
full_name: Ngonga Ngomo, Axel-Cyrille
id: '65716'
last_name: Ngonga Ngomo
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Sharma A, Demir C, Ngonga Ngomo A-C, Wehrheim H. MLCHECK–Property-Driven Testing
of Machine Learning Classifiers. In: Proceedings of the 20th IEEE International
Conference on Machine Learning and Applications (ICMLA). IEEE.'
apa: Sharma, A., Demir, C., Ngonga Ngomo, A.-C., & Wehrheim, H. (n.d.). MLCHECK–Property-Driven
Testing of Machine Learning Classifiers. Proceedings of the 20th IEEE International
Conference on Machine Learning and Applications (ICMLA).
bibtex: '@inproceedings{Sharma_Demir_Ngonga Ngomo_Wehrheim, title={MLCHECK–Property-Driven
Testing of Machine Learning Classifiers}, booktitle={Proceedings of the 20th IEEE
International Conference on Machine Learning and Applications (ICMLA)}, publisher={IEEE},
author={Sharma, Arnab and Demir, Caglar and Ngonga Ngomo, Axel-Cyrille and Wehrheim,
Heike} }'
chicago: Sharma, Arnab, Caglar Demir, Axel-Cyrille Ngonga Ngomo, and Heike Wehrheim.
“MLCHECK–Property-Driven Testing of Machine Learning Classifiers.” In Proceedings
of the 20th IEEE International Conference on Machine Learning and Applications
(ICMLA). IEEE, n.d.
ieee: A. Sharma, C. Demir, A.-C. Ngonga Ngomo, and H. Wehrheim, “MLCHECK–Property-Driven
Testing of Machine Learning Classifiers.”
mla: Sharma, Arnab, et al. “MLCHECK–Property-Driven Testing of Machine Learning
Classifiers.” Proceedings of the 20th IEEE International Conference on Machine
Learning and Applications (ICMLA), IEEE.
short: 'A. Sharma, C. Demir, A.-C. Ngonga Ngomo, H. Wehrheim, in: Proceedings of
the 20th IEEE International Conference on Machine Learning and Applications (ICMLA),
IEEE, n.d.'
date_created: 2021-12-07T11:11:36Z
date_updated: 2022-01-06T06:58:02Z
department:
- _id: '7'
- _id: '77'
- _id: '574'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '11'
name: SFB 901 - Subproject B3
- _id: '10'
name: SFB 901 - Subproject B2
publication: Proceedings of the 20th IEEE International Conference on Machine Learning
and Applications (ICMLA)
publication_status: accepted
publisher: IEEE
status: public
title: MLCHECK–Property-Driven Testing of Machine Learning Classifiers
type: conference
user_id: '477'
year: '2021'
...
---
_id: '24143'
author:
- first_name: Jan Peter
full_name: Drees, Jan Peter
last_name: Drees
- first_name: Pritha
full_name: Gupta, Pritha
id: '54803'
last_name: Gupta
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
- first_name: Tibor
full_name: Jager, Tibor
last_name: Jager
- first_name: Alexander
full_name: Konze, Alexander
last_name: Konze
- first_name: Claudia
full_name: Priesterjahn, Claudia
last_name: Priesterjahn
- first_name: Arunselvan
full_name: Ramaswamy, Arunselvan
id: '66937'
last_name: Ramaswamy
orcid: https://orcid.org/ 0000-0001-7547-8111
- first_name: Juraj
full_name: Somorovsky, Juraj
id: '83504'
last_name: Somorovsky
orcid: 0000-0002-3593-7720
citation:
ama: 'Drees JP, Gupta P, Hüllermeier E, et al. Automated Detection of Side Channels
in Cryptographic Protocols: DROWN the ROBOTs! 14th ACM Workshop on Artificial
Intelligence and Security. Published online 2021.'
apa: 'Drees, J. P., Gupta, P., Hüllermeier, E., Jager, T., Konze, A., Priesterjahn,
C., Ramaswamy, A., & Somorovsky, J. (2021). Automated Detection of Side Channels
in Cryptographic Protocols: DROWN the ROBOTs! 14th ACM Workshop on Artificial
Intelligence and Security.'
bibtex: '@article{Drees_Gupta_Hüllermeier_Jager_Konze_Priesterjahn_Ramaswamy_Somorovsky_2021,
title={Automated Detection of Side Channels in Cryptographic Protocols: DROWN
the ROBOTs!}, journal={14th ACM Workshop on Artificial Intelligence and Security},
author={Drees, Jan Peter and Gupta, Pritha and Hüllermeier, Eyke and Jager, Tibor
and Konze, Alexander and Priesterjahn, Claudia and Ramaswamy, Arunselvan and Somorovsky,
Juraj}, year={2021} }'
chicago: 'Drees, Jan Peter, Pritha Gupta, Eyke Hüllermeier, Tibor Jager, Alexander
Konze, Claudia Priesterjahn, Arunselvan Ramaswamy, and Juraj Somorovsky. “Automated
Detection of Side Channels in Cryptographic Protocols: DROWN the ROBOTs!” 14th
ACM Workshop on Artificial Intelligence and Security, 2021.'
ieee: 'J. P. Drees et al., “Automated Detection of Side Channels in Cryptographic
Protocols: DROWN the ROBOTs!,” 14th ACM Workshop on Artificial Intelligence
and Security, 2021.'
mla: 'Drees, Jan Peter, et al. “Automated Detection of Side Channels in Cryptographic
Protocols: DROWN the ROBOTs!” 14th ACM Workshop on Artificial Intelligence
and Security, 2021.'
short: J.P. Drees, P. Gupta, E. Hüllermeier, T. Jager, A. Konze, C. Priesterjahn,
A. Ramaswamy, J. Somorovsky, 14th ACM Workshop on Artificial Intelligence and
Security (2021).
date_created: 2021-09-10T09:56:27Z
date_updated: 2022-01-06T06:56:08Z
department:
- _id: '632'
language:
- iso: eng
publication: 14th ACM Workshop on Artificial Intelligence and Security
status: public
title: 'Automated Detection of Side Channels in Cryptographic Protocols: DROWN the
ROBOTs!'
type: journal_article
user_id: '83504'
year: '2021'
...
---
_id: '24169'
article_number: '133018'
author:
- first_name: Feliks
full_name: Nüske, Feliks
id: '81513'
last_name: Nüske
orcid: 0000-0003-2444-7889
- first_name: Patrick
full_name: Gelß, Patrick
last_name: Gelß
- first_name: Stefan
full_name: Klus, Stefan
last_name: Klus
- first_name: Cecilia
full_name: Clementi, Cecilia
last_name: Clementi
citation:
ama: 'Nüske F, Gelß P, Klus S, Clementi C. Tensor-based computation of metastable
and coherent sets. Physica D: Nonlinear Phenomena. Published online 2021.
doi:10.1016/j.physd.2021.133018'
apa: 'Nüske, F., Gelß, P., Klus, S., & Clementi, C. (2021). Tensor-based computation
of metastable and coherent sets. Physica D: Nonlinear Phenomena, Article
133018. https://doi.org/10.1016/j.physd.2021.133018'
bibtex: '@article{Nüske_Gelß_Klus_Clementi_2021, title={Tensor-based computation
of metastable and coherent sets}, DOI={10.1016/j.physd.2021.133018},
number={133018}, journal={Physica D: Nonlinear Phenomena}, author={Nüske, Feliks
and Gelß, Patrick and Klus, Stefan and Clementi, Cecilia}, year={2021} }'
chicago: 'Nüske, Feliks, Patrick Gelß, Stefan Klus, and Cecilia Clementi. “Tensor-Based
Computation of Metastable and Coherent Sets.” Physica D: Nonlinear Phenomena,
2021. https://doi.org/10.1016/j.physd.2021.133018.'
ieee: 'F. Nüske, P. Gelß, S. Klus, and C. Clementi, “Tensor-based computation of
metastable and coherent sets,” Physica D: Nonlinear Phenomena, Art. no.
133018, 2021, doi: 10.1016/j.physd.2021.133018.'
mla: 'Nüske, Feliks, et al. “Tensor-Based Computation of Metastable and Coherent
Sets.” Physica D: Nonlinear Phenomena, 133018, 2021, doi:10.1016/j.physd.2021.133018.'
short: 'F. Nüske, P. Gelß, S. Klus, C. Clementi, Physica D: Nonlinear Phenomena
(2021).'
date_created: 2021-09-12T08:51:24Z
date_updated: 2022-01-06T06:56:08Z
department:
- _id: '101'
doi: 10.1016/j.physd.2021.133018
language:
- iso: eng
publication: 'Physica D: Nonlinear Phenomena'
publication_identifier:
issn:
- 0167-2789
publication_status: published
status: public
title: Tensor-based computation of metastable and coherent sets
type: journal_article
user_id: '81513'
year: '2021'
...
---
_id: '24170'
article_number: '045016'
author:
- first_name: Stefan
full_name: Klus, Stefan
last_name: Klus
- first_name: Patrick
full_name: Gelß, Patrick
last_name: Gelß
- first_name: Feliks
full_name: Nüske, Feliks
id: '81513'
last_name: Nüske
orcid: 0000-0003-2444-7889
- first_name: Frank
full_name: Noé, Frank
last_name: Noé
citation:
ama: 'Klus S, Gelß P, Nüske F, Noé F. Symmetric and antisymmetric kernels for machine
learning problems in quantum physics and chemistry. Machine Learning: Science
and Technology. Published online 2021. doi:10.1088/2632-2153/ac14ad'
apa: 'Klus, S., Gelß, P., Nüske, F., & Noé, F. (2021). Symmetric and antisymmetric
kernels for machine learning problems in quantum physics and chemistry. Machine
Learning: Science and Technology, Article 045016. https://doi.org/10.1088/2632-2153/ac14ad'
bibtex: '@article{Klus_Gelß_Nüske_Noé_2021, title={Symmetric and antisymmetric kernels
for machine learning problems in quantum physics and chemistry}, DOI={10.1088/2632-2153/ac14ad},
number={045016}, journal={Machine Learning: Science and Technology}, author={Klus,
Stefan and Gelß, Patrick and Nüske, Feliks and Noé, Frank}, year={2021} }'
chicago: 'Klus, Stefan, Patrick Gelß, Feliks Nüske, and Frank Noé. “Symmetric and
Antisymmetric Kernels for Machine Learning Problems in Quantum Physics and Chemistry.”
Machine Learning: Science and Technology, 2021. https://doi.org/10.1088/2632-2153/ac14ad.'
ieee: 'S. Klus, P. Gelß, F. Nüske, and F. Noé, “Symmetric and antisymmetric kernels
for machine learning problems in quantum physics and chemistry,” Machine Learning:
Science and Technology, Art. no. 045016, 2021, doi: 10.1088/2632-2153/ac14ad.'
mla: 'Klus, Stefan, et al. “Symmetric and Antisymmetric Kernels for Machine Learning
Problems in Quantum Physics and Chemistry.” Machine Learning: Science and Technology,
045016, 2021, doi:10.1088/2632-2153/ac14ad.'
short: 'S. Klus, P. Gelß, F. Nüske, F. Noé, Machine Learning: Science and Technology
(2021).'
date_created: 2021-09-12T08:52:57Z
date_updated: 2022-01-06T06:56:08Z
department:
- _id: '101'
doi: 10.1088/2632-2153/ac14ad
language:
- iso: eng
publication: 'Machine Learning: Science and Technology'
publication_identifier:
issn:
- 2632-2153
publication_status: published
status: public
title: Symmetric and antisymmetric kernels for machine learning problems in quantum
physics and chemistry
type: journal_article
user_id: '81513'
year: '2021'
...
---
_id: '24382'
author:
- first_name: Karina
full_name: Gevers, Karina
id: '83151'
last_name: Gevers
- first_name: Volker
full_name: Schöppner, Volker
id: '20530'
last_name: Schöppner
- first_name: Eyke
full_name: Hüllermeier, Eyke
last_name: Hüllermeier
citation:
ama: 'Gevers K, Schöppner V, Hüllermeier E. Heated tool butt welding of two different
materials – Established methods versus artificial intelligence. In: ; 2021.'
apa: Gevers, K., Schöppner, V., & Hüllermeier, E. (2021). Heated tool butt
welding of two different materials – Established methods versus artificial intelligence.
International Institute of Welding, online.
bibtex: '@inproceedings{Gevers_Schöppner_Hüllermeier_2021, title={Heated tool butt
welding of two different materials – Established methods versus artificial intelligence},
author={Gevers, Karina and Schöppner, Volker and Hüllermeier, Eyke}, year={2021}
}'
chicago: Gevers, Karina, Volker Schöppner, and Eyke Hüllermeier. “Heated Tool Butt
Welding of Two Different Materials – Established Methods versus Artificial Intelligence,”
2021.
ieee: K. Gevers, V. Schöppner, and E. Hüllermeier, “Heated tool butt welding of
two different materials – Established methods versus artificial intelligence,”
presented at the International Institute of Welding, online, 2021.
mla: Gevers, Karina, et al. Heated Tool Butt Welding of Two Different Materials
– Established Methods versus Artificial Intelligence. 2021.
short: 'K. Gevers, V. Schöppner, E. Hüllermeier, in: 2021.'
conference:
end_date: 2021-07-14
location: online
name: International Institute of Welding
start_date: 2021-07-12
date_created: 2021-09-14T11:34:31Z
date_updated: 2022-01-06T06:56:19Z
department:
- _id: '367'
- _id: '355'
- _id: '321'
language:
- iso: eng
status: public
title: Heated tool butt welding of two different materials – Established methods
versus artificial intelligence
type: conference
user_id: '83151'
year: '2021'
...
---
_id: '24719'
author:
- first_name: Hamada
full_name: M. Zahera, Hamada
last_name: M. Zahera
- first_name: Rricha
full_name: Jalota, Rricha
last_name: Jalota
- first_name: Mohamed
full_name: Ahmed Sherif, Mohamed
last_name: Ahmed Sherif
- first_name: Axel-Cyrille
full_name: Ngonga Ngomo, Axel-Cyrille
id: '65716'
last_name: Ngonga Ngomo
citation:
ama: 'M. Zahera H, Jalota R, Ahmed Sherif M, Ngonga Ngomo A-C. I-AID: Identifying
Actionable Information From Disaster-Related Tweets. {IEEE} Access. 2021;9:118861-118870.
doi:10.1109/ACCESS.2021.3107812'
apa: 'M. Zahera, H., Jalota, R., Ahmed Sherif, M., & Ngonga Ngomo, A.-C. (2021).
I-AID: Identifying Actionable Information From Disaster-Related Tweets. {IEEE}
Access, 9, 118861–118870. https://doi.org/10.1109/ACCESS.2021.3107812'
bibtex: '@article{M. Zahera_Jalota_Ahmed Sherif_Ngonga Ngomo_2021, title={I-AID:
Identifying Actionable Information From Disaster-Related Tweets}, volume={9},
DOI={10.1109/ACCESS.2021.3107812},
journal={{IEEE} Access}, author={M. Zahera, Hamada and Jalota, Rricha and Ahmed
Sherif, Mohamed and Ngonga Ngomo, Axel-Cyrille}, year={2021}, pages={118861–118870}
}'
chicago: 'M. Zahera, Hamada, Rricha Jalota, Mohamed Ahmed Sherif, and Axel-Cyrille
Ngonga Ngomo. “I-AID: Identifying Actionable Information From Disaster-Related
Tweets.” {IEEE} Access 9 (2021): 118861–70. https://doi.org/10.1109/ACCESS.2021.3107812.'
ieee: 'H. M. Zahera, R. Jalota, M. Ahmed Sherif, and A.-C. Ngonga Ngomo, “I-AID:
Identifying Actionable Information From Disaster-Related Tweets,” {IEEE} Access,
vol. 9, pp. 118861–118870, 2021, doi: 10.1109/ACCESS.2021.3107812.'
mla: 'M. Zahera, Hamada, et al. “I-AID: Identifying Actionable Information From
Disaster-Related Tweets.” {IEEE} Access, vol. 9, 2021, pp. 118861–70, doi:10.1109/ACCESS.2021.3107812.'
short: H. M. Zahera, R. Jalota, M. Ahmed Sherif, A.-C. Ngonga Ngomo, {IEEE} Access
9 (2021) 118861–118870.
date_created: 2021-09-20T13:01:18Z
date_updated: 2022-01-06T06:56:32Z
department:
- _id: '574'
doi: 10.1109/ACCESS.2021.3107812
intvolume: ' 9'
language:
- iso: eng
page: 118861-118870
publication: '{IEEE} Access'
status: public
title: 'I-AID: Identifying Actionable Information From Disaster-Related Tweets'
type: journal_article
user_id: '65716'
volume: 9
year: '2021'
...
---
_id: '24720'
author:
- first_name: Aidan
full_name: Hogan, Aidan
last_name: Hogan
- first_name: Eva
full_name: Blomqvist, Eva
last_name: Blomqvist
- first_name: Michael
full_name: Cochez, Michael
last_name: Cochez
- first_name: Claudia
full_name: d'Amato, Claudia
last_name: d'Amato
- first_name: Gerard
full_name: de Melo, Gerard
last_name: de Melo
- first_name: Claudio
full_name: Guti{\'{e}}rrez, Claudio
last_name: Guti{\'{e}}rrez
- first_name: Sabrina
full_name: Kirrane, Sabrina
last_name: Kirrane
- first_name: Jos{\'{e}}
full_name: Emilio Labra Gayo, Jos{\'{e}}
last_name: Emilio Labra Gayo
- first_name: Roberto
full_name: Navigli, Roberto
last_name: Navigli
- first_name: Sebastian
full_name: Neumaier, Sebastian
last_name: Neumaier
- first_name: Axel-Cyrille
full_name: Ngonga Ngomo, Axel-Cyrille
id: '65716'
last_name: Ngonga Ngomo
- first_name: Axel
full_name: Polleres, Axel
last_name: Polleres
- first_name: Sabbir
full_name: M. Rashid, Sabbir
last_name: M. Rashid
- first_name: Anisa
full_name: Rula, Anisa
last_name: Rula
- first_name: Lukas
full_name: Schmelzeisen, Lukas
last_name: Schmelzeisen
- first_name: Juan
full_name: F. Sequeda, Juan
last_name: F. Sequeda
- first_name: Steffen
full_name: Staab, Steffen
last_name: Staab
- first_name: Antoine
full_name: Zimmermann, Antoine
last_name: Zimmermann
citation:
ama: Hogan A, Blomqvist E, Cochez M, et al. Knowledge Graphs. {ACM} Comput Surv.
2021;54(4):71:1-71:37. doi:10.1145/3447772
apa: Hogan, A., Blomqvist, E., Cochez, M., d’Amato, C., de Melo, G., Guti{\’{e}}rrez,
C., Kirrane, S., Emilio Labra Gayo, J., Navigli, R., Neumaier, S., Ngonga Ngomo,
A.-C., Polleres, A., M. Rashid, S., Rula, A., Schmelzeisen, L., F. Sequeda, J.,
Staab, S., & Zimmermann, A. (2021). Knowledge Graphs. {ACM} Comput. Surv.,
54(4), 71:1-71:37. https://doi.org/10.1145/3447772
bibtex: '@article{Hogan_Blomqvist_Cochez_d’Amato_de Melo_Guti{\’{e}}rrez_Kirrane_Emilio
Labra Gayo_Navigli_Neumaier_et al._2021, title={Knowledge Graphs}, volume={54},
DOI={10.1145/3447772}, number={4},
journal={{ACM} Comput. Surv.}, author={Hogan, Aidan and Blomqvist, Eva and Cochez,
Michael and d’Amato, Claudia and de Melo, Gerard and Guti{\’{e}}rrez, Claudio
and Kirrane, Sabrina and Emilio Labra Gayo, Jos{\’{e}} and Navigli, Roberto and
Neumaier, Sebastian and et al.}, year={2021}, pages={71:1-71:37} }'
chicago: 'Hogan, Aidan, Eva Blomqvist, Michael Cochez, Claudia d’Amato, Gerard de
Melo, Claudio Guti{\’{e}}rrez, Sabrina Kirrane, et al. “Knowledge Graphs.” {ACM}
Comput. Surv. 54, no. 4 (2021): 71:1-71:37. https://doi.org/10.1145/3447772.'
ieee: 'A. Hogan et al., “Knowledge Graphs,” {ACM} Comput. Surv., vol.
54, no. 4, p. 71:1-71:37, 2021, doi: 10.1145/3447772.'
mla: Hogan, Aidan, et al. “Knowledge Graphs.” {ACM} Comput. Surv., vol. 54,
no. 4, 2021, p. 71:1-71:37, doi:10.1145/3447772.
short: A. Hogan, E. Blomqvist, M. Cochez, C. d’Amato, G. de Melo, C. Guti{\’{e}}rrez,
S. Kirrane, J. Emilio Labra Gayo, R. Navigli, S. Neumaier, A.-C. Ngonga Ngomo,
A. Polleres, S. M. Rashid, A. Rula, L. Schmelzeisen, J. F. Sequeda, S. Staab,
A. Zimmermann, {ACM} Comput. Surv. 54 (2021) 71:1-71:37.
date_created: 2021-09-20T13:02:51Z
date_updated: 2022-01-06T06:56:33Z
department:
- _id: '574'
doi: 10.1145/3447772
intvolume: ' 54'
issue: '4'
language:
- iso: eng
page: 71:1-71:37
publication: '{ACM} Comput. Surv.'
status: public
title: Knowledge Graphs
type: journal_article
user_id: '65716'
volume: 54
year: '2021'
...
---
_id: '26033'
author:
- first_name: Henning
full_name: Zeipert, Henning
id: '32580'
last_name: Zeipert
- first_name: Sarah
full_name: Johannesmann, Sarah
id: '29190'
last_name: Johannesmann
- first_name: Marcel
full_name: Nicolai, Marcel
last_name: Nicolai
- first_name: Yevgeniya
full_name: Lugovtsova, Yevgeniya
last_name: Lugovtsova
- first_name: Jens
full_name: Prager, Jens
last_name: Prager
- first_name: Bernd
full_name: Henning, Bernd
id: '213'
last_name: Henning
citation:
ama: 'Zeipert H, Johannesmann S, Nicolai M, Lugovtsova Y, Prager J, Henning B. Quantifying
the coupling strength of adhesively bonded materials by investigating mode repulsion
regions. In: Fortschritte Der Akustik - DAGA 2021. ; 2021.'
apa: Zeipert, H., Johannesmann, S., Nicolai, M., Lugovtsova, Y., Prager, J., &
Henning, B. (2021). Quantifying the coupling strength of adhesively bonded materials
by investigating mode repulsion regions. Fortschritte Der Akustik - DAGA 2021.
DAGA 2021 - 47. Jahrestagung für Akustik, Wien.
bibtex: '@inproceedings{Zeipert_Johannesmann_Nicolai_Lugovtsova_Prager_Henning_2021,
title={Quantifying the coupling strength of adhesively bonded materials by investigating
mode repulsion regions}, booktitle={Fortschritte der Akustik - DAGA 2021}, author={Zeipert,
Henning and Johannesmann, Sarah and Nicolai, Marcel and Lugovtsova, Yevgeniya
and Prager, Jens and Henning, Bernd}, year={2021} }'
chicago: Zeipert, Henning, Sarah Johannesmann, Marcel Nicolai, Yevgeniya Lugovtsova,
Jens Prager, and Bernd Henning. “Quantifying the Coupling Strength of Adhesively
Bonded Materials by Investigating Mode Repulsion Regions.” In Fortschritte
Der Akustik - DAGA 2021, 2021.
ieee: H. Zeipert, S. Johannesmann, M. Nicolai, Y. Lugovtsova, J. Prager, and B.
Henning, “Quantifying the coupling strength of adhesively bonded materials by
investigating mode repulsion regions,” presented at the DAGA 2021 - 47. Jahrestagung
für Akustik, Wien, 2021.
mla: Zeipert, Henning, et al. “Quantifying the Coupling Strength of Adhesively Bonded
Materials by Investigating Mode Repulsion Regions.” Fortschritte Der Akustik
- DAGA 2021, 2021.
short: 'H. Zeipert, S. Johannesmann, M. Nicolai, Y. Lugovtsova, J. Prager, B. Henning,
in: Fortschritte Der Akustik - DAGA 2021, 2021.'
conference:
location: Wien
name: DAGA 2021 - 47. Jahrestagung für Akustik
date_created: 2021-10-11T11:29:50Z
date_updated: 2022-01-06T06:57:15Z
department:
- _id: '49'
language:
- iso: eng
project:
- _id: '105'
grant_number: '449607253'
name: Vermiedene Kreuzungen von Lamb-Wellenmoden in mehrlagigen Strukturen
publication: Fortschritte der Akustik - DAGA 2021
status: public
title: Quantifying the coupling strength of adhesively bonded materials by investigating
mode repulsion regions
type: conference
user_id: '32580'
year: '2021'
...
---
_id: '26050'
author:
- first_name: Patrick
full_name: Ködding, Patrick
id: '45402'
last_name: Ködding
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Ködding P, Dumitrescu R. Szenario-Technik mit digitalen Technologien (in Druck).
In: Hartmann EA, ed. Digitalisierung Souverän Gestalten. Springer Vieweg;
2021.'
apa: Ködding, P., & Dumitrescu, R. (2021). Szenario-Technik mit digitalen Technologien
(in Druck). In E. A. Hartmann (Ed.), Digitalisierung souverän gestalten.
Springer Vieweg.
bibtex: '@inproceedings{Ködding_Dumitrescu_2021, place={Berlin, Heidelberg}, title={Szenario-Technik
mit digitalen Technologien (in Druck)}, booktitle={Digitalisierung souverän gestalten},
publisher={Springer Vieweg}, author={Ködding, Patrick and Dumitrescu, Roman},
editor={Hartmann, Ernst A.}, year={2021} }'
chicago: 'Ködding, Patrick, and Roman Dumitrescu. “Szenario-Technik Mit Digitalen
Technologien (in Druck).” In Digitalisierung Souverän Gestalten, edited
by Ernst A. Hartmann. Berlin, Heidelberg: Springer Vieweg, 2021.'
ieee: P. Ködding and R. Dumitrescu, “Szenario-Technik mit digitalen Technologien
(in Druck),” in Digitalisierung souverän gestalten, 2021.
mla: Ködding, Patrick, and Roman Dumitrescu. “Szenario-Technik Mit Digitalen Technologien
(in Druck).” Digitalisierung Souverän Gestalten, edited by Ernst A. Hartmann,
Springer Vieweg, 2021.
short: 'P. Ködding, R. Dumitrescu, in: E.A. Hartmann (Ed.), Digitalisierung Souverän
Gestalten, Springer Vieweg, Berlin, Heidelberg, 2021.'
date_created: 2021-10-11T18:16:07Z
date_updated: 2022-01-06T06:57:16Z
department:
- _id: '563'
editor:
- first_name: Ernst A.
full_name: Hartmann, Ernst A.
last_name: Hartmann
language:
- iso: eng
place: Berlin, Heidelberg
publication: Digitalisierung souverän gestalten
publisher: Springer Vieweg
status: public
title: Szenario-Technik mit digitalen Technologien (in Druck)
type: conference
user_id: '45402'
year: '2021'
...
---
_id: '26401'
author:
- first_name: Magdalena
full_name: Förster, Magdalena
last_name: Förster
- first_name: Martin
full_name: Rabe, Martin
last_name: Rabe
- first_name: Arno
full_name: Kühn, Arno
last_name: Kühn
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Förster M, Rabe M, Kühn A, Dumitrescu R. Practical approach for the development
of digital guidelines for smart cities. In: Proceedings of the IEEE E-TEMS
2021. ; 2021.'
apa: Förster, M., Rabe, M., Kühn, A., & Dumitrescu, R. (2021). Practical approach
for the development of digital guidelines for smart cities. Proceedings of
the IEEE E-TEMS 2021. IEEE E-TEMS 2021.
bibtex: '@inproceedings{Förster_Rabe_Kühn_Dumitrescu_2021, title={Practical approach
for the development of digital guidelines for smart cities}, booktitle={Proceedings
of the IEEE E-TEMS 2021}, author={Förster, Magdalena and Rabe, Martin and Kühn,
Arno and Dumitrescu, Roman}, year={2021} }'
chicago: Förster, Magdalena, Martin Rabe, Arno Kühn, and Roman Dumitrescu. “Practical
Approach for the Development of Digital Guidelines for Smart Cities.” In Proceedings
of the IEEE E-TEMS 2021, 2021.
ieee: M. Förster, M. Rabe, A. Kühn, and R. Dumitrescu, “Practical approach for the
development of digital guidelines for smart cities,” presented at the IEEE E-TEMS
2021, 2021.
mla: Förster, Magdalena, et al. “Practical Approach for the Development of Digital
Guidelines for Smart Cities.” Proceedings of the IEEE E-TEMS 2021, 2021.
short: 'M. Förster, M. Rabe, A. Kühn, R. Dumitrescu, in: Proceedings of the IEEE
E-TEMS 2021, 2021.'
conference:
end_date: 2021-03-20
name: IEEE E-TEMS 2021
start_date: 2021-03-18
date_created: 2021-10-18T12:19:51Z
date_updated: 2022-01-06T06:57:20Z
department:
- _id: '563'
language:
- iso: eng
publication: Proceedings of the IEEE E-TEMS 2021
publication_status: published
status: public
title: Practical approach for the development of digital guidelines for smart cities
type: conference
user_id: '15782'
year: '2021'
...
---
_id: '26402'
author:
- first_name: Julian
full_name: Tekaat, Julian
last_name: Tekaat
- first_name: Harald
full_name: Anacker, Harald
last_name: Anacker
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Tekaat J, Anacker H, Dumitrescu R. The Paradigm of Design Thinking and Systems
Engineering in the Design of Cyber-Physical Systems: A Systematic Literature Review.
In: Proceedings of the 7th IEEE International Symposium on Systems Engineering.
; 2021.'
apa: 'Tekaat, J., Anacker, H., & Dumitrescu, R. (2021). The Paradigm of Design
Thinking and Systems Engineering in the Design of Cyber-Physical Systems: A Systematic
Literature Review. Proceedings of the 7th IEEE International Symposium on
Systems Engineering. 7th IEEE International Symposium on Systems Engineering.'
bibtex: '@inproceedings{Tekaat_Anacker_Dumitrescu_2021, title={The Paradigm of Design
Thinking and Systems Engineering in the Design of Cyber-Physical Systems: A Systematic
Literature Review}, booktitle={ Proceedings of the 7th IEEE International Symposium
on Systems Engineering}, author={Tekaat, Julian and Anacker, Harald and Dumitrescu,
Roman}, year={2021} }'
chicago: 'Tekaat, Julian, Harald Anacker, and Roman Dumitrescu. “The Paradigm of
Design Thinking and Systems Engineering in the Design of Cyber-Physical Systems:
A Systematic Literature Review.” In Proceedings of the 7th IEEE International
Symposium on Systems Engineering, 2021.'
ieee: 'J. Tekaat, H. Anacker, and R. Dumitrescu, “The Paradigm of Design Thinking
and Systems Engineering in the Design of Cyber-Physical Systems: A Systematic
Literature Review,” presented at the 7th IEEE International Symposium on Systems
Engineering, 2021.'
mla: 'Tekaat, Julian, et al. “The Paradigm of Design Thinking and Systems Engineering
in the Design of Cyber-Physical Systems: A Systematic Literature Review.”
Proceedings of the 7th IEEE International Symposium on Systems Engineering,
2021.'
short: 'J. Tekaat, H. Anacker, R. Dumitrescu, in: Proceedings of the 7th IEEE International
Symposium on Systems Engineering, 2021.'
conference:
end_date: 2021-09-15
name: 7th IEEE International Symposium on Systems Engineering
start_date: 2021-09-13
date_created: 2021-10-18T12:23:57Z
date_updated: 2022-01-06T06:57:20Z
department:
- _id: '563'
language:
- iso: eng
publication: ' Proceedings of the 7th IEEE International Symposium on Systems Engineering'
publication_status: published
status: public
title: 'The Paradigm of Design Thinking and Systems Engineering in the Design of Cyber-Physical
Systems: A Systematic Literature Review'
type: conference
user_id: '15782'
year: '2021'
...
---
_id: '26403'
author:
- first_name: Daria
full_name: Wilke, Daria
last_name: Wilke
- first_name: Anja
full_name: Schierbaum, Anja
last_name: Schierbaum
- first_name: Lydia
full_name: Kaiser, Lydia
last_name: Kaiser
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Wilke D, Schierbaum A, Kaiser L, Dumitrescu R. Need for Action for a Company-Wide
Introduction of Systems Engineering in Machinery and Plant Engineering. In: Proceedings
of the International Conference on Engineering Design, ICED 2021. ; 2021.'
apa: Wilke, D., Schierbaum, A., Kaiser, L., & Dumitrescu, R. (2021). Need for
Action for a Company-Wide Introduction of Systems Engineering in Machinery and
Plant Engineering. Proceedings of the International Conference on Engineering
Design, ICED 2021. ICED 2021, Gothenburg, Sweden.
bibtex: '@inproceedings{Wilke_Schierbaum_Kaiser_Dumitrescu_2021, title={Need for
Action for a Company-Wide Introduction of Systems Engineering in Machinery and
Plant Engineering}, booktitle={Proceedings of the International Conference on
Engineering Design, ICED 2021}, author={Wilke, Daria and Schierbaum, Anja and
Kaiser, Lydia and Dumitrescu, Roman}, year={2021} }'
chicago: Wilke, Daria, Anja Schierbaum, Lydia Kaiser, and Roman Dumitrescu. “Need
for Action for a Company-Wide Introduction of Systems Engineering in Machinery
and Plant Engineering.” In Proceedings of the International Conference on Engineering
Design, ICED 2021, 2021.
ieee: D. Wilke, A. Schierbaum, L. Kaiser, and R. Dumitrescu, “Need for Action for
a Company-Wide Introduction of Systems Engineering in Machinery and Plant Engineering,”
presented at the ICED 2021, Gothenburg, Sweden, 2021.
mla: Wilke, Daria, et al. “Need for Action for a Company-Wide Introduction of Systems
Engineering in Machinery and Plant Engineering.” Proceedings of the International
Conference on Engineering Design, ICED 2021, 2021.
short: 'D. Wilke, A. Schierbaum, L. Kaiser, R. Dumitrescu, in: Proceedings of the
International Conference on Engineering Design, ICED 2021, 2021.'
conference:
end_date: 2021-08-20
location: Gothenburg, Sweden
name: ICED 2021
start_date: 2021-08-16
date_created: 2021-10-18T12:31:29Z
date_updated: 2022-01-06T06:57:20Z
department:
- _id: '563'
language:
- iso: eng
publication: Proceedings of the International Conference on Engineering Design, ICED
2021
publication_status: published
status: public
title: Need for Action for a Company-Wide Introduction of Systems Engineering in Machinery
and Plant Engineering
type: conference
user_id: '15782'
year: '2021'
...
---
_id: '26404'
author:
- first_name: Daniel
full_name: Eckertz, Daniel
last_name: Eckertz
- first_name: Harald
full_name: Anacker, Harald
last_name: Anacker
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Eckertz D, Anacker H, Dumitrescu R. Augmented Reality-based Product Validation
to Support Collaborative Engineering of Complex Technical Systems. In: Auer ME,
Bhimavaram KR, Yue X-G, eds. Proceedings of the 18th International Conference
on Remote Engineering and Virtual Instrumentation, Online Engineering and Society
4.0. Vol 298. Springer International Publishing; 2021:451-463.'
apa: Eckertz, D., Anacker, H., & Dumitrescu, R. (2021). Augmented Reality-based
Product Validation to Support Collaborative Engineering of Complex Technical Systems.
In M. E. Auer, K. R. Bhimavaram, & X.-G. Yue (Eds.), Proceedings of the
18th International Conference on Remote Engineering and Virtual Instrumentation,
Online Engineering and Society 4.0 (Vol. 298, pp. 451–463). Springer International
Publishing.
bibtex: '@inproceedings{Eckertz_Anacker_Dumitrescu_2021, title={Augmented Reality-based
Product Validation to Support Collaborative Engineering of Complex Technical Systems},
volume={298}, booktitle={Proceedings of the 18th International Conference on Remote
Engineering and Virtual Instrumentation, Online Engineering and Society 4.0},
publisher={Springer International Publishing}, author={Eckertz, Daniel and Anacker,
Harald and Dumitrescu, Roman}, editor={Auer, Michael E. and Bhimavaram, Kalyan
Ram and Yue, Xiao-Guang}, year={2021}, pages={451–463} }'
chicago: Eckertz, Daniel, Harald Anacker, and Roman Dumitrescu. “Augmented Reality-Based
Product Validation to Support Collaborative Engineering of Complex Technical Systems.”
In Proceedings of the 18th International Conference on Remote Engineering and
Virtual Instrumentation, Online Engineering and Society 4.0, edited by Michael
E. Auer, Kalyan Ram Bhimavaram, and Xiao-Guang Yue, 298:451–63. Springer International
Publishing, 2021.
ieee: D. Eckertz, H. Anacker, and R. Dumitrescu, “Augmented Reality-based Product
Validation to Support Collaborative Engineering of Complex Technical Systems,”
in Proceedings of the 18th International Conference on Remote Engineering and
Virtual Instrumentation, Online Engineering and Society 4.0, 2021, vol. 298,
pp. 451–463.
mla: Eckertz, Daniel, et al. “Augmented Reality-Based Product Validation to Support
Collaborative Engineering of Complex Technical Systems.” Proceedings of the
18th International Conference on Remote Engineering and Virtual Instrumentation,
Online Engineering and Society 4.0, edited by Michael E. Auer et al., vol.
298, Springer International Publishing, 2021, pp. 451–63.
short: 'D. Eckertz, H. Anacker, R. Dumitrescu, in: M.E. Auer, K.R. Bhimavaram, X.-G.
Yue (Eds.), Proceedings of the 18th International Conference on Remote Engineering
and Virtual Instrumentation, Online Engineering and Society 4.0, Springer International
Publishing, 2021, pp. 451–463.'
date_created: 2021-10-18T13:01:07Z
date_updated: 2022-01-06T06:57:20Z
department:
- _id: '563'
editor:
- first_name: Michael E.
full_name: Auer, Michael E.
last_name: Auer
- first_name: Kalyan Ram
full_name: Bhimavaram, Kalyan Ram
last_name: Bhimavaram
- first_name: Xiao-Guang
full_name: Yue, Xiao-Guang
last_name: Yue
language:
- iso: eng
page: 451-463
publication: Proceedings of the 18th International Conference on Remote Engineering
and Virtual Instrumentation, Online Engineering and Society 4.0
publication_identifier:
isbn:
- 978-3-030-82528-7
publication_status: published
publisher: Springer International Publishing
status: public
title: Augmented Reality-based Product Validation to Support Collaborative Engineering
of Complex Technical Systems
type: conference
user_id: '15782'
volume: vol. 298
year: '2021'
...
---
_id: '26492'
author:
- first_name: Stefan
full_name: Gabriel, Stefan
last_name: Gabriel
- first_name: Tobias
full_name: Grauthoff, Tobias
last_name: Grauthoff
- first_name: Robert
full_name: Joppen, Robert
last_name: Joppen
- first_name: Arno
full_name: Kühn, Arno
last_name: Kühn
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Gabriel S, Grauthoff T, Joppen R, Kühn A, Dumitrescu R. Analyzing socio-technical
risks in implementation of Industry 4.0-use cases. In: Procedia CIRP. Vol
100. ; 2021:241-246.'
apa: Gabriel, S., Grauthoff, T., Joppen, R., Kühn, A., & Dumitrescu, R. (2021).
Analyzing socio-technical risks in implementation of Industry 4.0-use cases. Procedia
CIRP, 100, 241–246.
bibtex: '@inproceedings{Gabriel_Grauthoff_Joppen_Kühn_Dumitrescu_2021, title={Analyzing
socio-technical risks in implementation of Industry 4.0-use cases}, volume={100},
booktitle={Procedia CIRP}, author={Gabriel, Stefan and Grauthoff, Tobias and Joppen,
Robert and Kühn, Arno and Dumitrescu, Roman}, year={2021}, pages={241–246} }'
chicago: Gabriel, Stefan, Tobias Grauthoff, Robert Joppen, Arno Kühn, and Roman
Dumitrescu. “Analyzing Socio-Technical Risks in Implementation of Industry 4.0-Use
Cases.” In Procedia CIRP, 100:241–46, 2021.
ieee: S. Gabriel, T. Grauthoff, R. Joppen, A. Kühn, and R. Dumitrescu, “Analyzing
socio-technical risks in implementation of Industry 4.0-use cases,” in Procedia
CIRP, Enschede, the Netherlands, 2021, vol. 100, pp. 241–246.
mla: Gabriel, Stefan, et al. “Analyzing Socio-Technical Risks in Implementation
of Industry 4.0-Use Cases.” Procedia CIRP, vol. 100, 2021, pp. 241–46.
short: 'S. Gabriel, T. Grauthoff, R. Joppen, A. Kühn, R. Dumitrescu, in: Procedia
CIRP, 2021, pp. 241–246.'
conference:
end_date: 2021-05-21
location: Enschede, the Netherlands
name: 31st CIRP Design Conference
start_date: 2021-05-19
date_created: 2021-10-19T07:01:06Z
date_updated: 2022-01-06T06:57:21Z
department:
- _id: '563'
language:
- iso: eng
page: 241-246
publication: Procedia CIRP
publication_status: published
status: public
title: Analyzing socio-technical risks in implementation of Industry 4.0-use cases
type: conference
user_id: '15782'
volume: vol. 100
year: '2021'
...
---
_id: '26746'
abstract:
- lang: eng
text: "Previous research in proof-carrying hardware has established the feasibility
and utility of the approach, and provided a concrete solution for employing it
for the certification of functional equivalence checking against a specification,
but fell short in connecting it to state-of-the-art formal verification insights,
methods and tools. Due to the immense complexity of modern circuits, and verification
challenges such as the state explosion problem for sequential circuits, this restriction
of readily-available verification solutions severely limited the applicability
of the approach in wider contexts.\r\n\r\nThis thesis closes the gap between the
PCH approach and current advances in formal hardware verification, provides methods
and tools to express and certify a wide range of circuit properties, both functional
and non-functional, and presents for the first time prototypes in which circuits
that are implemented on actual reconfigurable hardware are verified with PCH methods.
Using these results, designers can now apply PCH to establish trust in more complex
circuits, by using more diverse properties which they can express using modern,
efficient property specification techniques."
- lang: ger
text: "Die bisherige Forschung zu Proof-Carrying Hardware (PCH) hat dessen Machbarkeit
und Nützlichkeit gezeigt und einen Ansatz zur Zertifizierung der funktionalen
Äquivalenz zu einer Spezifikation geliefert, jedoch ohne PCH mit aktuellen Erkenntnissen,
Methoden oder Werkzeugen formaler Hardwareverifikation zu verknüpfen. Aufgrund
der Komplexität moderner Schaltungen und Verifikationsherausforderungen wie der
Zustandsexplosion bei sequentiellen Schaltungen, limitiert diese Einschränkung
sofort verfügbarer Verifikationslösungen die Anwendbarkeit des Ansatzes in einem
größeren Kontext signifikant.\r\n\r\nDiese Dissertation schließt die Lücke zwischen
PCH und modernen Entwicklungen in der Schaltungsverifikation und stellt Methoden
und Werkzeuge zur Verfügung, welche die Zertifizierung einer großen Bandbreite
von Schaltungseigenschaften ermöglicht; sowohl funktionale, als auch nicht-funktionale.
Überdies werden erstmals Prototypen vorgestellt in welchen Schaltungen mittels
PCH verifiziert werden, die auf tatsächlicher rekonfigurierbarer Hardware realisiert
sind. Dank dieser Ergebnisse können Entwickler PCH zur Herstellung von Vertrauen
in weit komplexere Schaltungen verwenden, unter Zuhilfenahme einer größeren Vielfalt
von Eigenschaften, welche durch moderne, effiziente Spezifikationstechniken ausgedrückt
werden können."
author:
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
citation:
ama: Wiersema T. Guaranteeing Properties of Reconfigurable Hardware Circuits
with Proof-Carrying Hardware. Paderborn University; 2021.
apa: Wiersema, T. (2021). Guaranteeing Properties of Reconfigurable Hardware
Circuits with Proof-Carrying Hardware. Paderborn University.
bibtex: '@book{Wiersema_2021, place={Paderborn}, title={Guaranteeing Properties
of Reconfigurable Hardware Circuits with Proof-Carrying Hardware}, publisher={Paderborn
University}, author={Wiersema, Tobias}, year={2021} }'
chicago: 'Wiersema, Tobias. Guaranteeing Properties of Reconfigurable Hardware
Circuits with Proof-Carrying Hardware. Paderborn: Paderborn University, 2021.'
ieee: 'T. Wiersema, Guaranteeing Properties of Reconfigurable Hardware Circuits
with Proof-Carrying Hardware. Paderborn: Paderborn University, 2021.'
mla: Wiersema, Tobias. Guaranteeing Properties of Reconfigurable Hardware Circuits
with Proof-Carrying Hardware. Paderborn University, 2021.
short: T. Wiersema, Guaranteeing Properties of Reconfigurable Hardware Circuits
with Proof-Carrying Hardware, Paderborn University, Paderborn, 2021.
date_created: 2021-10-25T06:35:41Z
date_updated: 2022-01-06T06:57:26Z
ddc:
- '006'
department:
- _id: '78'
keyword:
- Proof-Carrying Hardware
- Formal Verification
- Sequential Circuits
- Non-Functional Properties
- Functional Properties
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://nbn-resolving.de/urn:nbn:de:hbz:466:2-39800
oa: '1'
page: '293'
place: Paderborn
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication_status: published
publisher: Paderborn University
status: public
supervisor:
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
title: Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying
Hardware
type: dissertation
user_id: '3118'
year: '2021'
...
---
_id: '26823'
author:
- first_name: Aschot
full_name: Kharatyan, Aschot
last_name: Kharatyan
- first_name: Christoph
full_name: Jürgenhake, Christoph
last_name: Jürgenhake
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Kharatyan A, Jürgenhake C, Dumitrescu R. Towards generative design in the
development of mechatronic integrated devices (MID). In: Procedia CIRP.
Vol Vol. 100. ; 2021:373-378.'
apa: Kharatyan, A., Jürgenhake, C., & Dumitrescu, R. (2021). Towards generative
design in the development of mechatronic integrated devices (MID). Procedia
CIRP, Vol. 100, 373–378.
bibtex: '@inproceedings{Kharatyan_Jürgenhake_Dumitrescu_2021, title={Towards generative
design in the development of mechatronic integrated devices (MID)}, volume={Vol.
100}, booktitle={Procedia CIRP}, author={Kharatyan, Aschot and Jürgenhake, Christoph
and Dumitrescu, Roman}, year={2021}, pages={373–378} }'
chicago: Kharatyan, Aschot, Christoph Jürgenhake, and Roman Dumitrescu. “Towards
Generative Design in the Development of Mechatronic Integrated Devices (MID).”
In Procedia CIRP, Vol. 100:373–78, 2021.
ieee: A. Kharatyan, C. Jürgenhake, and R. Dumitrescu, “Towards generative design
in the development of mechatronic integrated devices (MID),” in Procedia CIRP,
2021, vol. Vol. 100, pp. 373–378.
mla: Kharatyan, Aschot, et al. “Towards Generative Design in the Development of
Mechatronic Integrated Devices (MID).” Procedia CIRP, vol. Vol. 100, 2021,
pp. 373–78.
short: 'A. Kharatyan, C. Jürgenhake, R. Dumitrescu, in: Procedia CIRP, 2021, pp.
373–378.'
conference:
end_date: 2021-05-21
name: 31st CIRP Design Conference
start_date: 2021-05-19
date_created: 2021-10-25T12:18:36Z
date_updated: 2022-01-06T06:57:29Z
department:
- _id: '563'
language:
- iso: eng
page: 373-378
publication: Procedia CIRP
publication_status: published
status: public
title: Towards generative design in the development of mechatronic integrated devices
(MID)
type: conference
user_id: '15782'
volume: Vol. 100
year: '2021'
...
---
_id: '26830'
author:
- first_name: Thomas
full_name: Mager, Thomas
last_name: Mager
- first_name: Christoph
full_name: Jürgenhake, Christoph
last_name: Jürgenhake
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Mager T, Jürgenhake C, Dumitrescu R. Approach for a modular design methodology
for an efficient development of 3D MID components. In: 14th International Congress
Molded Interconnect Devices (MID). ; 2021:1-9.'
apa: Mager, T., Jürgenhake, C., & Dumitrescu, R. (2021). Approach for a modular
design methodology for an efficient development of 3D MID components. 14th
International Congress Molded Interconnect Devices (MID), 1–9.
bibtex: '@inproceedings{Mager_Jürgenhake_Dumitrescu_2021, title={Approach for a
modular design methodology for an efficient development of 3D MID components},
booktitle={14th International Congress Molded Interconnect Devices (MID)}, author={Mager,
Thomas and Jürgenhake, Christoph and Dumitrescu, Roman}, year={2021}, pages={1–9}
}'
chicago: Mager, Thomas, Christoph Jürgenhake, and Roman Dumitrescu. “Approach for
a Modular Design Methodology for an Efficient Development of 3D MID Components.”
In 14th International Congress Molded Interconnect Devices (MID), 1–9,
2021.
ieee: T. Mager, C. Jürgenhake, and R. Dumitrescu, “Approach for a modular design
methodology for an efficient development of 3D MID components,” in 14th International
Congress Molded Interconnect Devices (MID), Amberg, 2021, pp. 1–9.
mla: Mager, Thomas, et al. “Approach for a Modular Design Methodology for an Efficient
Development of 3D MID Components.” 14th International Congress Molded Interconnect
Devices (MID), 2021, pp. 1–9.
short: 'T. Mager, C. Jürgenhake, R. Dumitrescu, in: 14th International Congress
Molded Interconnect Devices (MID), 2021, pp. 1–9.'
conference:
end_date: 2021-02-10
location: Amberg
name: International Congress Molded Interconnect Devices (MID)
start_date: 2021-02-9
date_created: 2021-10-25T12:24:20Z
date_updated: 2022-01-06T06:57:29Z
department:
- _id: '563'
language:
- iso: eng
page: 1-9
publication: 14th International Congress Molded Interconnect Devices (MID)
publication_status: published
status: public
title: Approach for a modular design methodology for an efficient development of 3D
MID components
type: conference
user_id: '15782'
year: '2021'
...
---
_id: '26833'
author:
- first_name: Florian
full_name: Hemmelgarn, Florian
last_name: Hemmelgarn
- first_name: Patrick
full_name: Ehlert, Patrick
last_name: Ehlert
- first_name: Thomas
full_name: Mager, Thomas
last_name: Mager
- first_name: Christoph
full_name: Jürgenhake, Christoph
last_name: Jürgenhake
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Hemmelgarn F, Ehlert P, Mager T, Jürgenhake C, Dumitrescu R. Evaluation of
different additive manufacturing technologies for MIDs in the context of smart
sensor systems for retrofit applications. In: 14th International Congress Molded
Interconnect Devices (MID). ; 2021.'
apa: Hemmelgarn, F., Ehlert, P., Mager, T., Jürgenhake, C., & Dumitrescu, R.
(2021). Evaluation of different additive manufacturing technologies for MIDs in
the context of smart sensor systems for retrofit applications. 14th International
Congress Molded Interconnect Devices (MID). International Congress Molded
Interconnect Devices (MID), Amberg.
bibtex: '@inproceedings{Hemmelgarn_Ehlert_Mager_Jürgenhake_Dumitrescu_2021, title={Evaluation
of different additive manufacturing technologies for MIDs in the context of smart
sensor systems for retrofit applications}, booktitle={14th International Congress
Molded Interconnect Devices (MID)}, author={Hemmelgarn, Florian and Ehlert, Patrick
and Mager, Thomas and Jürgenhake, Christoph and Dumitrescu, Roman}, year={2021}
}'
chicago: Hemmelgarn, Florian, Patrick Ehlert, Thomas Mager, Christoph Jürgenhake,
and Roman Dumitrescu. “Evaluation of Different Additive Manufacturing Technologies
for MIDs in the Context of Smart Sensor Systems for Retrofit Applications.” In
14th International Congress Molded Interconnect Devices (MID), 2021.
ieee: F. Hemmelgarn, P. Ehlert, T. Mager, C. Jürgenhake, and R. Dumitrescu, “Evaluation
of different additive manufacturing technologies for MIDs in the context of smart
sensor systems for retrofit applications,” presented at the International Congress
Molded Interconnect Devices (MID), Amberg, 2021.
mla: Hemmelgarn, Florian, et al. “Evaluation of Different Additive Manufacturing
Technologies for MIDs in the Context of Smart Sensor Systems for Retrofit Applications.”
14th International Congress Molded Interconnect Devices (MID), 2021.
short: 'F. Hemmelgarn, P. Ehlert, T. Mager, C. Jürgenhake, R. Dumitrescu, in: 14th
International Congress Molded Interconnect Devices (MID), 2021.'
conference:
end_date: 2021-02-10
location: Amberg
name: International Congress Molded Interconnect Devices (MID)
start_date: 2021-02-9
date_created: 2021-10-25T12:27:28Z
date_updated: 2022-01-06T06:57:29Z
department:
- _id: '563'
language:
- iso: eng
publication: 14th International Congress Molded Interconnect Devices (MID)
publication_status: published
status: public
title: Evaluation of different additive manufacturing technologies for MIDs in the
context of smart sensor systems for retrofit applications
type: conference
user_id: '15782'
year: '2021'
...
---
_id: '26839'
author:
- first_name: Jörn Steffen
full_name: Menzefricke, Jörn Steffen
id: '29799'
last_name: Menzefricke
- first_name: Ingrid
full_name: Wiederkehr, Ingrid
id: '38169'
last_name: Wiederkehr
- 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, Wiederkehr I, Koldewey C, Dumitrescu R. Socio-technical risk
management in the age of digital transformation – identification and analysis
of existing approaches. In: Procedia CIRP. Vol 100. ; 2021:708-713.'
apa: Menzefricke, J. S., Wiederkehr, I., Koldewey, C., & Dumitrescu, R. (2021).
Socio-technical risk management in the age of digital transformation – identification
and analysis of existing approaches. Procedia CIRP, 100, 708–713.
bibtex: '@inproceedings{Menzefricke_Wiederkehr_Koldewey_Dumitrescu_2021, title={Socio-technical
risk management in the age of digital transformation – identification and analysis
of existing approaches}, volume={100}, booktitle={Procedia CIRP}, author={Menzefricke,
Jörn Steffen and Wiederkehr, Ingrid and Koldewey, Christian and Dumitrescu, Roman},
year={2021}, pages={708–713} }'
chicago: Menzefricke, Jörn Steffen, Ingrid Wiederkehr, Christian Koldewey, and Roman
Dumitrescu. “Socio-Technical Risk Management in the Age of Digital Transformation
– Identification and Analysis of Existing Approaches.” In Procedia CIRP,
100:708–13, 2021.
ieee: J. S. Menzefricke, I. Wiederkehr, C. Koldewey, and R. Dumitrescu, “Socio-technical
risk management in the age of digital transformation – identification and analysis
of existing approaches,” in Procedia CIRP, 2021, vol. 100, pp. 708–713.
mla: Menzefricke, Jörn Steffen, et al. “Socio-Technical Risk Management in the Age
of Digital Transformation – Identification and Analysis of Existing Approaches.”
Procedia CIRP, vol. 100, 2021, pp. 708–13.
short: 'J.S. Menzefricke, I. Wiederkehr, C. Koldewey, R. Dumitrescu, in: Procedia
CIRP, 2021, pp. 708–713.'
conference:
end_date: 2021-05-21
name: 31st CIRP Design Conference
start_date: 2021-05-19
date_created: 2021-10-25T12:35:16Z
date_updated: 2022-01-06T06:57:29Z
department:
- _id: '563'
language:
- iso: eng
page: 708-713
publication: Procedia CIRP
publication_status: published
status: public
title: Socio-technical risk management in the age of digital transformation – identification
and analysis of existing approaches
type: conference
user_id: '15782'
volume: vol. 100
year: '2021'
...
---
_id: '26843'
author:
- first_name: Felix
full_name: Schnasse, Felix
last_name: Schnasse
- first_name: Jörn Steffen
full_name: Menzefricke, Jörn Steffen
id: '29799'
last_name: Menzefricke
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: 'Schnasse F, Menzefricke JS, Dumitrescu R. Identification of Socio-Technical
Risks and Their Correlations in the Context of Digital Transformation for the
Manufacturing Sector. In: Proceedings of the IEEE 8th International Conference
on Industrial Engineering and Applications (ICIEA). ; 2021:159-166.'
apa: Schnasse, F., Menzefricke, J. S., & Dumitrescu, R. (2021). Identification
of Socio-Technical Risks and Their Correlations in the Context of Digital Transformation
for the Manufacturing Sector. Proceedings of the IEEE 8th International Conference
on Industrial Engineering and Applications (ICIEA), 159–166.
bibtex: '@inproceedings{Schnasse_Menzefricke_Dumitrescu_2021, title={Identification
of Socio-Technical Risks and Their Correlations in the Context of Digital Transformation
for the Manufacturing Sector}, booktitle={Proceedings of the IEEE 8th International
Conference on Industrial Engineering and Applications (ICIEA)}, author={Schnasse,
Felix and Menzefricke, Jörn Steffen and Dumitrescu, Roman}, year={2021}, pages={159–166}
}'
chicago: Schnasse, Felix, Jörn Steffen Menzefricke, and Roman Dumitrescu. “Identification
of Socio-Technical Risks and Their Correlations in the Context of Digital Transformation
for the Manufacturing Sector.” In Proceedings of the IEEE 8th International
Conference on Industrial Engineering and Applications (ICIEA), 159–66, 2021.
ieee: F. Schnasse, J. S. Menzefricke, and R. Dumitrescu, “Identification of Socio-Technical
Risks and Their Correlations in the Context of Digital Transformation for the
Manufacturing Sector,” in Proceedings of the IEEE 8th International Conference
on Industrial Engineering and Applications (ICIEA), 2021, pp. 159–166.
mla: Schnasse, Felix, et al. “Identification of Socio-Technical Risks and Their
Correlations in the Context of Digital Transformation for the Manufacturing Sector.”
Proceedings of the IEEE 8th International Conference on Industrial Engineering
and Applications (ICIEA), 2021, pp. 159–66.
short: 'F. Schnasse, J.S. Menzefricke, R. Dumitrescu, in: Proceedings of the IEEE
8th International Conference on Industrial Engineering and Applications (ICIEA),
2021, pp. 159–166.'
conference:
end_date: 2021-04-26
name: IEEE 8th International Conference on Industrial Engineering and Applications
(ICIEA)
start_date: 2021-04-23
date_created: 2021-10-25T12:53:11Z
date_updated: 2022-01-06T06:57:29Z
department:
- _id: '563'
language:
- iso: eng
page: 159 - 166
publication: Proceedings of the IEEE 8th International Conference on Industrial Engineering
and Applications (ICIEA)
publication_status: published
status: public
title: Identification of Socio-Technical Risks and Their Correlations in the Context
of Digital Transformation for the Manufacturing Sector
type: conference
user_id: '15782'
year: '2021'
...