---
_id: '20552'
abstract:
- lang: eng
text: Das Zukunftsszenario der Industrie 4.0 ist gepr{\"a}gt durch einen massiven
Anstieg der unternehmens{\"u}bergreifenden Vernetzung. Um einer Bedrohung durch
unautorisierte Weitergabe oder Sabotage vertraulicher Daten entgegenzuwirken,
muss der Informationssicherheit bereits im Entwurf der cyber-physischen Produktionssysteme
ein hoher Stellenwert einger{\"a}umt werden. Dieses Paradigma wird als Security
by Design bezeichnet. {\"U}ber den gesamten Entstehungsprozess hinweg muss nachverfolgt
werden k{\"o}nnen, ob die Systeme spezifische Anforderungen an die Informationssicherheit
erf{\"u}llen und damit die Eigenschaft der Industrial Security gew{\"a}hrleisten.
Dieser Beitrag stellt einen Entwurfsansatz zur Nachverfolgung der Informationssicherheit
vor, der durch Integration softwaretechnischer Methoden in das Systems Engineering
eine Entwicklung nach dem Paradigma Security by Design erm{\"o}glicht.
author:
- first_name: Christopher
full_name: Gerking, Christopher
last_name: Gerking
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Gerking C, Bodden E, Schäfer W. Industrial Security by Design. In: Maier GW,
Engels G, Steffen E, eds. Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten.
Springer Berlin Heidelberg; 2017:1-24. doi:10.1007/978-3-662-52903-4_8-1'
apa: Gerking, C., Bodden, E., & Schäfer, W. (2017). Industrial Security by Design.
In G. W. Maier, G. Engels, & E. Steffen (Eds.), Handbuch Gestaltung digitaler
und vernetzter Arbeitswelten (pp. 1–24). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-52903-4_8-1
bibtex: '@inbook{Gerking_Bodden_Schäfer_2017, place={Berlin, Heidelberg}, title={Industrial
Security by Design}, DOI={10.1007/978-3-662-52903-4_8-1},
booktitle={Handbuch Gestaltung digitaler und vernetzter Arbeitswelten}, publisher={Springer
Berlin Heidelberg}, author={Gerking, Christopher and Bodden, Eric and Schäfer,
Wilhelm}, editor={Maier, Günter W. and Engels, Gregor and Steffen, Eckhard}, year={2017},
pages={1–24} }'
chicago: 'Gerking, Christopher, Eric Bodden, and Wilhelm Schäfer. “Industrial Security
by Design.” In Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten,
edited by Günter W. Maier, Gregor Engels, and Eckhard Steffen, 1–24. Berlin, Heidelberg:
Springer Berlin Heidelberg, 2017. https://doi.org/10.1007/978-3-662-52903-4_8-1.'
ieee: 'C. Gerking, E. Bodden, and W. Schäfer, “Industrial Security by Design,” in
Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, G. W. Maier,
G. Engels, and E. Steffen, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg,
2017, pp. 1–24.'
mla: Gerking, Christopher, et al. “Industrial Security by Design.” Handbuch Gestaltung
Digitaler Und Vernetzter Arbeitswelten, edited by Günter W. Maier et al.,
Springer Berlin Heidelberg, 2017, pp. 1–24, doi:10.1007/978-3-662-52903-4_8-1.
short: 'C. Gerking, E. Bodden, W. Schäfer, in: G.W. Maier, G. Engels, E. Steffen
(Eds.), Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer Berlin
Heidelberg, Berlin, Heidelberg, 2017, pp. 1–24.'
date_created: 2020-11-30T09:56:23Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1007/978-3-662-52903-4_8-1
editor:
- first_name: Günter W.
full_name: Maier, Günter W.
last_name: Maier
- first_name: Gregor
full_name: Engels, Gregor
last_name: Engels
- first_name: Eckhard
full_name: Steffen, Eckhard
last_name: Steffen
keyword:
- ITSECWEBSITE
language:
- iso: eng
page: 1-24
place: Berlin, Heidelberg
publication: Handbuch Gestaltung digitaler und vernetzter Arbeitswelten
publication_identifier:
isbn:
- 978-3-662-52903-4
publisher: Springer Berlin Heidelberg
status: public
title: Industrial Security by Design
type: book_chapter
user_id: '5786'
year: '2017'
...
---
_id: '20553'
abstract:
- lang: eng
text: Finding and fixing software vulnerabilities have become a major struggle for
most software development companies. While generally without alternative, such
fixing efforts are a major cost factor, which is why companies have a vital interest
in focusing their secure software development activities such that they obtain
an optimal return on this investment. We investigate, in this paper, quantitatively
the major factors that impact the time it takes to fix a given security issue
based on data collected automatically within SAP's secure development process,
and we show how the issue fix time could be used to monitor the fixing process.
We use three machine learning methods and evaluate their predictive power in predicting
the time to fix issues. Interestingly, the models indicate that vulnerability
type has less dominant impact on issue fix time than previously believed. The
time it takes to fix an issue instead seems much more related to the component
in which the potential vulnerability resides, the project related to the issue,
the development groups that address the issue, and the closeness of the software
release date. This indicates that the software structure, the fixing processes,
and the development groups are the dominant factors that impact the time spent
to address security issues. SAP can use the models to implement a continuous improvement
of its secure software development process and to measure the impact of individual
improvements. The development teams at SAP develop different types of software,
adopt different internal development processes, use different programming languages
and platforms, and are located in different cities and countries. Other organizations,
may use the results---with precaution---and be learning organizations.
author:
- first_name: Lotfi
full_name: Ben Othmane, Lotfi
last_name: Ben Othmane
- first_name: Golriz
full_name: Chehrazi, Golriz
last_name: Chehrazi
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Petar
full_name: Tsalovski, Petar
last_name: Tsalovski
- first_name: Achim D.
full_name: Brucker, Achim D.
last_name: Brucker
citation:
ama: 'Ben Othmane L, Chehrazi G, Bodden E, Tsalovski P, Brucker AD. Time for Addressing
Software Security Issues: Prediction Models and Impacting Factors. Data Science
and Engineering. 2017;2(2):107-124. doi:https://doi.org/10.1007/s41019-016-0019-8'
apa: 'Ben Othmane, L., Chehrazi, G., Bodden, E., Tsalovski, P., & Brucker, A.
D. (2017). Time for Addressing Software Security Issues: Prediction Models and
Impacting Factors. Data Science and Engineering, 2(2), 107–124.
https://doi.org/10.1007/s41019-016-0019-8'
bibtex: '@article{Ben Othmane_Chehrazi_Bodden_Tsalovski_Brucker_2017, title={Time
for Addressing Software Security Issues: Prediction Models and Impacting Factors},
volume={2}, DOI={https://doi.org/10.1007/s41019-016-0019-8},
number={2}, journal={Data Science and Engineering}, author={Ben Othmane, Lotfi
and Chehrazi, Golriz and Bodden, Eric and Tsalovski, Petar and Brucker, Achim
D.}, year={2017}, pages={107–124} }'
chicago: 'Ben Othmane, Lotfi, Golriz Chehrazi, Eric Bodden, Petar Tsalovski, and
Achim D. Brucker. “Time for Addressing Software Security Issues: Prediction Models
and Impacting Factors.” Data Science and Engineering 2, no. 2 (2017): 107–24.
https://doi.org/10.1007/s41019-016-0019-8.'
ieee: 'L. Ben Othmane, G. Chehrazi, E. Bodden, P. Tsalovski, and A. D. Brucker,
“Time for Addressing Software Security Issues: Prediction Models and Impacting
Factors,” Data Science and Engineering, vol. 2, no. 2, pp. 107–124, 2017,
doi: https://doi.org/10.1007/s41019-016-0019-8.'
mla: 'Ben Othmane, Lotfi, et al. “Time for Addressing Software Security Issues:
Prediction Models and Impacting Factors.” Data Science and Engineering,
vol. 2, no. 2, 2017, pp. 107–24, doi:https://doi.org/10.1007/s41019-016-0019-8.'
short: L. Ben Othmane, G. Chehrazi, E. Bodden, P. Tsalovski, A.D. Brucker, Data
Science and Engineering 2 (2017) 107–124.
date_created: 2020-11-30T10:24:50Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: https://doi.org/10.1007/s41019-016-0019-8
intvolume: ' 2'
issue: '2'
language:
- iso: eng
page: 107-124
publication: Data Science and Engineering
publication_identifier:
issn:
- 2364-1541
related_material:
link:
- relation: confirmation
url: http://bodden.de/pubs/bcb17time.pdf
status: public
title: 'Time for Addressing Software Security Issues: Prediction Models and Impacting
Factors'
type: journal_article
user_id: '5786'
volume: 2
year: '2017'
...
---
_id: '20554'
author:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: Bodden E. Self-Adaptive Static Analysis.; 2017.
apa: Bodden, E. (2017). Self-adaptive static analysis.
bibtex: '@book{Bodden_2017, title={Self-adaptive static analysis}, author={Bodden,
Eric}, year={2017} }'
chicago: Bodden, Eric. Self-Adaptive Static Analysis, 2017.
ieee: E. Bodden, Self-adaptive static analysis. 2017.
mla: Bodden, Eric. Self-Adaptive Static Analysis. 2017.
short: E. Bodden, Self-Adaptive Static Analysis, 2017.
date_created: 2020-11-30T10:27:21Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: https://arxiv.org/abs/1710.07430
report_number: arXiv:1710.07430
status: public
title: Self-adaptive static analysis
type: report
user_id: '5786'
year: '2017'
...
---
_id: '20557'
author:
- first_name: Max
full_name: Lillack, Max
last_name: Lillack
- first_name: Christian
full_name: Kästner, Christian
last_name: Kästner
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: Lillack M, Kästner C, Bodden E. Tracking Load-time Configuration Options. IEEE
Transactions on Software Engineering. 2017;PP(99):1-1. doi:10.1109/TSE.2017.2756048
apa: Lillack, M., Kästner, C., & Bodden, E. (2017). Tracking Load-time Configuration
Options. IEEE Transactions on Software Engineering, PP(99), 1–1.
https://doi.org/10.1109/TSE.2017.2756048
bibtex: '@article{Lillack_Kästner_Bodden_2017, title={Tracking Load-time Configuration
Options}, volume={PP}, DOI={10.1109/TSE.2017.2756048},
number={99}, journal={IEEE Transactions on Software Engineering}, author={Lillack,
Max and Kästner, Christian and Bodden, Eric}, year={2017}, pages={1–1} }'
chicago: 'Lillack, Max, Christian Kästner, and Eric Bodden. “Tracking Load-Time
Configuration Options.” IEEE Transactions on Software Engineering PP, no.
99 (2017): 1–1. https://doi.org/10.1109/TSE.2017.2756048.'
ieee: 'M. Lillack, C. Kästner, and E. Bodden, “Tracking Load-time Configuration
Options,” IEEE Transactions on Software Engineering, vol. PP, no. 99, pp.
1–1, 2017, doi: 10.1109/TSE.2017.2756048.'
mla: Lillack, Max, et al. “Tracking Load-Time Configuration Options.” IEEE Transactions
on Software Engineering, vol. PP, no. 99, 2017, pp. 1–1, doi:10.1109/TSE.2017.2756048.
short: M. Lillack, C. Kästner, E. Bodden, IEEE Transactions on Software Engineering
PP (2017) 1–1.
date_created: 2020-11-30T11:06:43Z
date_updated: 2022-01-06T06:54:30Z
department:
- _id: '76'
doi: 10.1109/TSE.2017.2756048
issue: '99'
keyword:
- Androids
- Bluetooth
- Humanoid robots
- Java
- Software
- Tools
- Configuration options
- Static analysis
- Variability mining
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/lkb17lotrack.pdf
page: 1-1
publication: IEEE Transactions on Software Engineering
publication_identifier:
issn:
- 0098-5589
status: public
title: Tracking Load-time Configuration Options
type: journal_article
user_id: '5786'
volume: PP
year: '2017'
...
---
_id: '20558'
author:
- first_name: Stefan
full_name: Krüger, Stefan
last_name: Krüger
- first_name: Sarah
full_name: Nadi, Sarah
last_name: Nadi
- first_name: Michael
full_name: Reif, Michael
last_name: Reif
- first_name: Karim
full_name: Ali, Karim
last_name: Ali
- first_name: Mira
full_name: Mezini, Mira
last_name: Mezini
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Florian
full_name: Göpfert, Florian
last_name: Göpfert
- first_name: Felix
full_name: Günther, Felix
last_name: Günther
- first_name: Christian
full_name: Weinert, Christian
last_name: Weinert
- first_name: Daniel
full_name: Demmler, Daniel
last_name: Demmler
- first_name: Ram
full_name: Kamath, Ram
last_name: Kamath
citation:
ama: 'Krüger S, Nadi S, Reif M, et al. CogniCrypt: Supporting Developers in using
Cryptography. In: International Conference on Automated Software Engineering
(ASE 2017), Tool Demo Track. ; 2017.'
apa: 'Krüger, S., Nadi, S., Reif, M., Ali, K., Mezini, M., Bodden, E., Göpfert,
F., Günther, F., Weinert, C., Demmler, D., & Kamath, R. (2017). CogniCrypt:
Supporting Developers in using Cryptography. International Conference on Automated
Software Engineering (ASE 2017), Tool Demo Track.'
bibtex: '@inproceedings{Krüger_Nadi_Reif_Ali_Mezini_Bodden_Göpfert_Günther_Weinert_Demmler_et
al._2017, title={CogniCrypt: Supporting Developers in using Cryptography}, booktitle={International
Conference on Automated Software Engineering (ASE 2017), Tool Demo Track}, author={Krüger,
Stefan and Nadi, Sarah and Reif, Michael and Ali, Karim and Mezini, Mira and Bodden,
Eric and Göpfert, Florian and Günther, Felix and Weinert, Christian and Demmler,
Daniel and et al.}, year={2017} }'
chicago: 'Krüger, Stefan, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric
Bodden, Florian Göpfert, et al. “CogniCrypt: Supporting Developers in Using Cryptography.”
In International Conference on Automated Software Engineering (ASE 2017), Tool
Demo Track, 2017.'
ieee: 'S. Krüger et al., “CogniCrypt: Supporting Developers in using Cryptography,”
2017.'
mla: 'Krüger, Stefan, et al. “CogniCrypt: Supporting Developers in Using Cryptography.”
International Conference on Automated Software Engineering (ASE 2017), Tool
Demo Track, 2017.'
short: 'S. Krüger, S. Nadi, M. Reif, K. Ali, M. Mezini, E. Bodden, F. Göpfert, F.
Günther, C. Weinert, D. Demmler, R. Kamath, in: International Conference on Automated
Software Engineering (ASE 2017), Tool Demo Track, 2017.'
date_created: 2020-11-30T11:08:26Z
date_updated: 2022-01-06T06:54:30Z
department:
- _id: '76'
keyword:
- ITSECWEBSITE
- CROSSING
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/knr+17cognicrypt.pdf
publication: International Conference on Automated Software Engineering (ASE 2017),
Tool Demo Track
status: public
title: 'CogniCrypt: Supporting Developers in using Cryptography'
type: conference
user_id: '5786'
year: '2017'
...
---
_id: '20559'
author:
- first_name: Lisa Nguyen Quang
full_name: Do, Lisa Nguyen Quang
last_name: Do
- first_name: Karim
full_name: Ali, Karim
last_name: Ali
- first_name: Benjamin
full_name: Livshits, Benjamin
last_name: Livshits
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Justin
full_name: Smith, Justin
last_name: Smith
- first_name: Emerson
full_name: Murphy-Hill, Emerson
last_name: Murphy-Hill
citation:
ama: 'Do LNQ, Ali K, Livshits B, Bodden E, Smith J, Murphy-Hill E. Just-in-time
Static Analysis. In: Proceedings of the 26th ACM SIGSOFT International Symposium
on Software Testing and Analysis. ISSTA 2017. ACM; 2017:307-317. doi:10.1145/3092703.3092705'
apa: Do, L. N. Q., Ali, K., Livshits, B., Bodden, E., Smith, J., & Murphy-Hill,
E. (2017). Just-in-time Static Analysis. Proceedings of the 26th ACM SIGSOFT
International Symposium on Software Testing and Analysis, 307–317. https://doi.org/10.1145/3092703.3092705
bibtex: '@inproceedings{Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2017, place={New
York, NY, USA}, series={ISSTA 2017}, title={Just-in-time Static Analysis}, DOI={10.1145/3092703.3092705}, booktitle={Proceedings
of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis},
publisher={ACM}, author={Do, Lisa Nguyen Quang and Ali, Karim and Livshits, Benjamin
and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson}, year={2017}, pages={307–317},
collection={ISSTA 2017} }'
chicago: 'Do, Lisa Nguyen Quang, Karim Ali, Benjamin Livshits, Eric Bodden, Justin
Smith, and Emerson Murphy-Hill. “Just-in-Time Static Analysis.” In Proceedings
of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis,
307–17. ISSTA 2017. New York, NY, USA: ACM, 2017. https://doi.org/10.1145/3092703.3092705.'
ieee: 'L. N. Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill,
“Just-in-time Static Analysis,” in Proceedings of the 26th ACM SIGSOFT International
Symposium on Software Testing and Analysis, 2017, pp. 307–317, doi: 10.1145/3092703.3092705.'
mla: Do, Lisa Nguyen Quang, et al. “Just-in-Time Static Analysis.” Proceedings
of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis,
ACM, 2017, pp. 307–17, doi:10.1145/3092703.3092705.
short: 'L.N.Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, in:
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing
and Analysis, ACM, New York, NY, USA, 2017, pp. 307–317.'
date_created: 2020-11-30T11:10:01Z
date_updated: 2022-01-06T06:54:30Z
department:
- _id: '76'
doi: 10.1145/3092703.3092705
keyword:
- Just-in-Time
- Layered analysis
- Static analysis
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/nal+17jit.pdf
page: 307-317
place: New York, NY, USA
publication: Proceedings of the 26th ACM SIGSOFT International Symposium on Software
Testing and Analysis
publication_identifier:
isbn:
- 978-1-4503-5076-1
publisher: ACM
series_title: ISSTA 2017
status: public
title: Just-in-time Static Analysis
type: conference
user_id: '5786'
year: '2017'
...
---
_id: '20715'
author:
- first_name: Lisa
full_name: Nguyen Quang Do, Lisa
last_name: Nguyen Quang Do
- first_name: Karim
full_name: Ali, Karim
last_name: Ali
- first_name: Benjamin
full_name: Livshits, Benjamin
last_name: Livshits
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Justin
full_name: Smith, Justin
last_name: Smith
- first_name: Emerson
full_name: Murphy-Hill, Emerson
last_name: Murphy-Hill
citation:
ama: 'Nguyen Quang Do L, Ali K, Livshits B, Bodden E, Smith J, Murphy-Hill E. Cheetah:
Just-in-Time Taint Analysis for Android Apps. In: International Conference
for Software Engineering (ICSE), Tool Demonstrations Track. ; 2017.'
apa: 'Nguyen Quang Do, L., Ali, K., Livshits, B., Bodden, E., Smith, J., & Murphy-Hill,
E. (2017). Cheetah: Just-in-Time Taint Analysis for Android Apps. International
Conference for Software Engineering (ICSE), Tool Demonstrations Track.'
bibtex: '@inproceedings{Nguyen Quang Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2017,
title={Cheetah: Just-in-Time Taint Analysis for Android Apps}, booktitle={International
Conference for Software Engineering (ICSE), Tool Demonstrations Track}, author={Nguyen
Quang Do, Lisa and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith,
Justin and Murphy-Hill, Emerson}, year={2017} }'
chicago: 'Nguyen Quang Do, Lisa, Karim Ali, Benjamin Livshits, Eric Bodden, Justin
Smith, and Emerson Murphy-Hill. “Cheetah: Just-in-Time Taint Analysis for Android
Apps.” In International Conference for Software Engineering (ICSE), Tool Demonstrations
Track, 2017.'
ieee: 'L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill,
“Cheetah: Just-in-Time Taint Analysis for Android Apps,” 2017.'
mla: 'Nguyen Quang Do, Lisa, et al. “Cheetah: Just-in-Time Taint Analysis for Android
Apps.” International Conference for Software Engineering (ICSE), Tool Demonstrations
Track, 2017.'
short: 'L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill,
in: International Conference for Software Engineering (ICSE), Tool Demonstrations
Track, 2017.'
date_created: 2020-12-14T11:51:44Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/dal17cheetah.pdf
publication: International Conference for Software Engineering (ICSE), Tool Demonstrations
Track
status: public
title: 'Cheetah: Just-in-Time Taint Analysis for Android Apps'
type: conference
user_id: '5786'
year: '2017'
...
---
_id: '20792'
author:
- first_name: Stefano
full_name: Schivo, Stefano
last_name: Schivo
- first_name: Bugra M.
full_name: Yildiz., Bugra M.
last_name: Yildiz.
- first_name: Enno
full_name: Ruijters, Enno
last_name: Ruijters
- first_name: Christopher
full_name: Gerking, Christopher
last_name: Gerking
- first_name: Rajesh
full_name: Kumar, Rajesh
last_name: Kumar
- first_name: Stefan
full_name: Dziwok, Stefan
id: '3901'
last_name: Dziwok
orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Mariëlle
full_name: Stoelinga, Mariëlle
last_name: Stoelinga
citation:
ama: 'Schivo S, Yildiz. BM, Ruijters E, et al. How to Efficiently Build a Front-End
Tool for UPPAAL: A Model-Driven Approach. In: Larsen KG, Sokolsky O, Wang J, eds.
Dependable Software Engineering, 3rd International Symposium (SETTA 2017).
Lecture Notes in Computer Science. Springer; 2017:319-336. doi:10.1007/978-3-319-69483-2_19'
apa: 'Schivo, S., Yildiz., B. M., Ruijters, E., Gerking, C., Kumar, R., Dziwok,
S., Rensink, A., & Stoelinga, M. (2017). How to Efficiently Build a Front-End
Tool for UPPAAL: A Model-Driven Approach. In K. G. Larsen, O. Sokolsky, &
J. Wang (Eds.), Dependable Software Engineering, 3rd International Symposium
(SETTA 2017) (Issue 10606, pp. 319–336). Springer. https://doi.org/10.1007/978-3-319-69483-2_19'
bibtex: '@inproceedings{Schivo_Yildiz._Ruijters_Gerking_Kumar_Dziwok_Rensink_Stoelinga_2017,
place={Changsha}, series={Lecture Notes in Computer Science}, title={How to Efficiently
Build a Front-End Tool for UPPAAL: A Model-Driven Approach}, DOI={10.1007/978-3-319-69483-2_19},
number={10606}, booktitle={Dependable Software Engineering, 3rd International
Symposium (SETTA 2017)}, publisher={Springer}, author={Schivo, Stefano and Yildiz.,
Bugra M. and Ruijters, Enno and Gerking, Christopher and Kumar, Rajesh and Dziwok,
Stefan and Rensink, Arend and Stoelinga, Mariëlle}, editor={Larsen, Kim G. and
Sokolsky, Oleg and Wang, Ji}, year={2017}, pages={319–336}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Schivo, Stefano, Bugra M. Yildiz., Enno Ruijters, Christopher Gerking,
Rajesh Kumar, Stefan Dziwok, Arend Rensink, and Mariëlle Stoelinga. “How to Efficiently
Build a Front-End Tool for UPPAAL: A Model-Driven Approach.” In Dependable
Software Engineering, 3rd International Symposium (SETTA 2017), edited by
Kim G. Larsen, Oleg Sokolsky, and Ji Wang, 319–36. Lecture Notes in Computer Science.
Changsha: Springer, 2017. https://doi.org/10.1007/978-3-319-69483-2_19.'
ieee: 'S. Schivo et al., “How to Efficiently Build a Front-End Tool for UPPAAL:
A Model-Driven Approach,” in Dependable Software Engineering, 3rd International
Symposium (SETTA 2017), 2017, no. 10606, pp. 319–336, doi: 10.1007/978-3-319-69483-2_19.'
mla: 'Schivo, Stefano, et al. “How to Efficiently Build a Front-End Tool for UPPAAL:
A Model-Driven Approach.” Dependable Software Engineering, 3rd International
Symposium (SETTA 2017), edited by Kim G. Larsen et al., no. 10606, Springer,
2017, pp. 319–36, doi:10.1007/978-3-319-69483-2_19.'
short: 'S. Schivo, B.M. Yildiz., E. Ruijters, C. Gerking, R. Kumar, S. Dziwok, A.
Rensink, M. Stoelinga, in: K.G. Larsen, O. Sokolsky, J. Wang (Eds.), Dependable
Software Engineering, 3rd International Symposium (SETTA 2017), Springer, Changsha,
2017, pp. 319–336.'
date_created: 2020-12-17T13:30:15Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
doi: 10.1007/978-3-319-69483-2_19
editor:
- first_name: Kim G.
full_name: Larsen, Kim G.
last_name: Larsen
- first_name: Oleg
full_name: Sokolsky, Oleg
last_name: Sokolsky
- first_name: Ji
full_name: Wang, Ji
last_name: Wang
issue: '10606'
language:
- iso: eng
page: 319-336
place: Changsha
publication: Dependable Software Engineering, 3rd International Symposium (SETTA 2017)
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach'
type: conference
user_id: '5786'
year: '2017'
...
---
_id: '20794'
abstract:
- lang: eng
text: Cyber-physische Systeme (CPSs) sind die nächste Generation von eingebetteten
Systemen, die fortwährend ihre Zusammenarbeit koordinieren, um anspruchsvolle
Funktionen zu erfüllen. Die Koordination zwischen ihnen kann in Software mittels
asynchroner Nachrichtenkommunikation realisiert werden. Um die funktionale Korrektheit
der Software zu gewährleisten, ist aufgrund der Kritikalität dieser Systeme eine
formale Verifikation wie z.B. Model Checking notwendig. Die Eingabesprache eines
Model Checkers unterstützt jedoch domänenspezifische Aspekte wie asynchrone Kommunikation
nicht direkt, wodurch diese vom Softwareingenieur mittels zahlreicher Modellelemente
spezifiziert werden müssen. Dies ist hochgradig komplex und somit fehleranfällig.
Im Rahmen dieser Arbeit wird eine modellgetriebene Methode zur domänenspezifischen
Spezifikation und vollautomatischen Verifikation der nachrichtenbasierten Koordination
von CPSs präsentiert. Mit Hilfe dieser Methode kann der Softwareingenieur die
Koordination kompakt modellieren und muss nicht länger verstehen, wie seine Spezifikation
auf der Ebene des Model Checkers ausgedrückt wird. Insgesamt wird die Komplexität
für den Softwareingenieur somit deutlich handhabbarer. Bezüglich der Spezifikation
einer solchen Koordination definiert die Arbeit eine domänenspezifische Sprache
namens Real-Time Coordination Protocols (RTCPs). Darüber hinaus wird eine domänenspezifische
Sprache zur Spezifikation von Verifikationseigenschaften eingeführt und Entwurfsmuster
für RTCPs präsentiert, um die Anzahl der Modellierungsfehler zu senken.
author:
- first_name: Stefan
full_name: Dziwok, Stefan
id: '3901'
last_name: Dziwok
orcid: http://orcid.org/0000-0002-8679-6673
citation:
ama: Dziwok S. Specification and Verification for Real-Time Coordination Protocols
of Cyber-Physical Systems. Paderborn University; 2017.
apa: Dziwok, S. (2017). Specification and Verification for Real-Time Coordination
Protocols of Cyber-physical Systems. Paderborn University.
bibtex: '@book{Dziwok_2017, title={Specification and Verification for Real-Time
Coordination Protocols of Cyber-physical Systems}, publisher={Paderborn University},
author={Dziwok, Stefan}, year={2017} }'
chicago: Dziwok, Stefan. Specification and Verification for Real-Time Coordination
Protocols of Cyber-Physical Systems. Paderborn University, 2017.
ieee: S. Dziwok, Specification and Verification for Real-Time Coordination Protocols
of Cyber-physical Systems. Paderborn University, 2017.
mla: Dziwok, Stefan. Specification and Verification for Real-Time Coordination
Protocols of Cyber-Physical Systems. Paderborn University, 2017.
short: S. Dziwok, Specification and Verification for Real-Time Coordination Protocols
of Cyber-Physical Systems, Paderborn University, 2017.
date_created: 2020-12-17T13:32:52Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
publisher: Paderborn University
status: public
title: Specification and Verification for Real-Time Coordination Protocols of Cyber-physical
Systems
type: dissertation
user_id: '5786'
year: '2017'
...
---
_id: '20797'
author:
- first_name: Christopher
full_name: Gerking, Christopher
last_name: Gerking
- first_name: David
full_name: Schubert, David
id: '9106'
last_name: Schubert
- first_name: Ingo
full_name: Budde, Ingo
id: '13693'
last_name: Budde
orcid: https://orcid.org/0000-0003-0124-6291
citation:
ama: 'Gerking C, Schubert D, Budde I. Reducing the Verbosity of Imperative Model
Refinements by using General-Purpose Language Facilities. In: Guerra E, van den
Brand M, eds. Theory and Practice of Model Transformation, 10th International
Conference (ICMT 2017). Lecture Notes in Computer Science. Springer; 2017:19-34.'
apa: Gerking, C., Schubert, D., & Budde, I. (2017). Reducing the Verbosity of
Imperative Model Refinements by using General-Purpose Language Facilities. In
E. Guerra & M. van den Brand (Eds.), Theory and Practice of Model Transformation,
10th International Conference (ICMT 2017) (Issue 10374, pp. 19–34). Springer.
bibtex: '@inproceedings{Gerking_Schubert_Budde_2017, place={Marburg}, series={Lecture
Notes in Computer Science}, title={Reducing the Verbosity of Imperative Model
Refinements by using General-Purpose Language Facilities}, number={10374}, booktitle={Theory
and Practice of Model Transformation, 10th International Conference (ICMT 2017)},
publisher={Springer}, author={Gerking, Christopher and Schubert, David and Budde,
Ingo}, editor={Guerra, Esther and van den Brand, Mark}, year={2017}, pages={19–34},
collection={Lecture Notes in Computer Science} }'
chicago: 'Gerking, Christopher, David Schubert, and Ingo Budde. “Reducing the Verbosity
of Imperative Model Refinements by Using General-Purpose Language Facilities.”
In Theory and Practice of Model Transformation, 10th International Conference
(ICMT 2017), edited by Esther Guerra and Mark van den Brand, 19–34. Lecture
Notes in Computer Science. Marburg: Springer, 2017.'
ieee: C. Gerking, D. Schubert, and I. Budde, “Reducing the Verbosity of Imperative
Model Refinements by using General-Purpose Language Facilities,” in Theory
and Practice of Model Transformation, 10th International Conference (ICMT 2017),
2017, no. 10374, pp. 19–34.
mla: Gerking, Christopher, et al. “Reducing the Verbosity of Imperative Model Refinements
by Using General-Purpose Language Facilities.” Theory and Practice of Model
Transformation, 10th International Conference (ICMT 2017), edited by Esther
Guerra and Mark van den Brand, no. 10374, Springer, 2017, pp. 19–34.
short: 'C. Gerking, D. Schubert, I. Budde, in: E. Guerra, M. van den Brand (Eds.),
Theory and Practice of Model Transformation, 10th International Conference (ICMT
2017), Springer, Marburg, 2017, pp. 19–34.'
date_created: 2020-12-17T13:36:44Z
date_updated: 2022-01-06T06:54:39Z
department:
- _id: '76'
- _id: '241'
editor:
- first_name: Esther
full_name: Guerra, Esther
last_name: Guerra
- first_name: Mark
full_name: van den Brand, Mark
last_name: van den Brand
issue: '10374'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007/978-3-319-61473-1_2
page: 19-34
place: Marburg
publication: Theory and Practice of Model Transformation, 10th International Conference
(ICMT 2017)
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Reducing the Verbosity of Imperative Model Refinements by using General-Purpose
Language Facilities
type: conference
user_id: '5786'
year: '2017'
...
---
_id: '20804'
abstract:
- lang: eng
text: Modern Cyber-physical Systems are executed in physical environments and distributed
over several Electronic Control Units using multiple cores for execution. These
systems perform safety-critical tasks and, therefore, have to fulfill hard real-time
requirements. To face these requirements systematically, system engineers de-
velop these systems model-driven and prove the fulfillment of these requirements
via model checking. It is important to ensure that the runtime scheduling does
not violate the verified requirements by neglecting the model checking assumptions.
Currently, there is a gap in the process for model-driven approaches to derive
a feasible runtime scheduling that respects these assumptions. In this paper,
we present an approach for a semi- automatic synthesis of behavioral models into
a deterministic scheduling that respects real-time requirements at runtime. We
evaluate our approach using an example of a distributed automotive system with
hard real-time requirements specified with the MechatronicUML method.
author:
- first_name: Johannes
full_name: Geismann, Johannes
id: '20063'
last_name: Geismann
orcid: https://orcid.org/0000-0003-2015-2047
- first_name: Uwe
full_name: Pohlmann, Uwe
last_name: Pohlmann
- first_name: David
full_name: Schmelter, David
id: '40982'
last_name: Schmelter
orcid: 0000-0001-7787-5380
citation:
ama: 'Geismann J, Pohlmann U, Schmelter D. Towards an Automated Synthesis of a Real-time
Scheduling for Cyber-physical Multi-core Systems. In: Proceedings of the 5th
International Conference on Model-Driven Engineering and Software Development.
; 2017.'
apa: Geismann, J., Pohlmann, U., & Schmelter, D. (2017). Towards an Automated
Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. Proceedings
of the 5th International Conference on Model-Driven Engineering and Software Development.
bibtex: '@inproceedings{Geismann_Pohlmann_Schmelter_2017, title={Towards an Automated
Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems}, booktitle={Proceedings
of the 5th International Conference on Model-Driven Engineering and Software Development},
author={Geismann, Johannes and Pohlmann, Uwe and Schmelter, David}, year={2017}
}'
chicago: Geismann, Johannes, Uwe Pohlmann, and David Schmelter. “Towards an Automated
Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” In
Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development, 2017.
ieee: J. Geismann, U. Pohlmann, and D. Schmelter, “Towards an Automated Synthesis
of a Real-time Scheduling for Cyber-physical Multi-core Systems,” 2017.
mla: Geismann, Johannes, et al. “Towards an Automated Synthesis of a Real-Time Scheduling
for Cyber-Physical Multi-Core Systems.” Proceedings of the 5th International
Conference on Model-Driven Engineering and Software Development, 2017.
short: 'J. Geismann, U. Pohlmann, D. Schmelter, in: Proceedings of the 5th International
Conference on Model-Driven Engineering and Software Development, 2017.'
date_created: 2020-12-17T13:59:04Z
date_updated: 2022-01-06T06:54:39Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
language:
- iso: eng
publication: Proceedings of the 5th International Conference on Model-Driven Engineering
and Software Development
status: public
title: Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical
Multi-core Systems
type: conference
user_id: '5786'
year: '2017'
...
---
_id: '20805'
author:
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
citation:
ama: Becker M. Engineering Self-Adaptive Systems with Simulation-Based Performance
Prediction. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik;
2017.
apa: Becker, M. (2017). Engineering Self-Adaptive Systems with Simulation-Based
Performance Prediction. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
bibtex: '@book{Becker_2017, title={Engineering Self-Adaptive Systems with Simulation-Based
Performance Prediction}, publisher={Universität Paderborn, Heinz Nixdorf Institut,
Softwaretechnik}, author={Becker, Matthias}, year={2017} }'
chicago: Becker, Matthias. Engineering Self-Adaptive Systems with Simulation-Based
Performance Prediction. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik,
2017.
ieee: M. Becker, Engineering Self-Adaptive Systems with Simulation-Based Performance
Prediction. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik,
2017.
mla: Becker, Matthias. Engineering Self-Adaptive Systems with Simulation-Based
Performance Prediction. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik,
2017.
short: M. Becker, Engineering Self-Adaptive Systems with Simulation-Based Performance
Prediction, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2017.
date_created: 2020-12-17T14:00:21Z
date_updated: 2022-01-06T06:54:39Z
department:
- _id: '76'
language:
- iso: eng
publisher: Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik
status: public
title: Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction
type: dissertation
user_id: '5786'
year: '2017'
...
---
_id: '18026'
author:
- first_name: 'Michél '
full_name: 'Burkhardt, Michél '
last_name: Burkhardt
citation:
ama: Burkhardt M. Untersuchungen Zum Cone-Hashing. Universität Paderborn;
2017.
apa: Burkhardt, M. (2017). Untersuchungen zum Cone-Hashing. Universität Paderborn.
bibtex: '@book{Burkhardt_2017, title={Untersuchungen zum Cone-Hashing}, publisher={Universität
Paderborn}, author={Burkhardt, Michél }, year={2017} }'
chicago: Burkhardt, Michél . Untersuchungen Zum Cone-Hashing. Universität
Paderborn, 2017.
ieee: M. Burkhardt, Untersuchungen zum Cone-Hashing. Universität Paderborn,
2017.
mla: Burkhardt, Michél. Untersuchungen Zum Cone-Hashing. Universität Paderborn,
2017.
short: M. Burkhardt, Untersuchungen Zum Cone-Hashing, Universität Paderborn, 2017.
date_created: 2020-08-18T08:39:19Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '79'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '5'
name: SFB 901 - Subproject A1
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
title: Untersuchungen zum Cone-Hashing
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '18027'
author:
- first_name: Ngoc Chi
full_name: Banh, Ngoc Chi
last_name: Banh
citation:
ama: Banh NC. An Asynchronous Adaption of a Churn-Resistant Overlay Network.
Universität Paderborn; 2017.
apa: Banh, N. C. (2017). An Asynchronous Adaption of a Churn-resistant Overlay
Network. Universität Paderborn.
bibtex: '@book{Banh_2017, title={An Asynchronous Adaption of a Churn-resistant Overlay
Network}, publisher={Universität Paderborn}, author={Banh, Ngoc Chi}, year={2017}
}'
chicago: Banh, Ngoc Chi. An Asynchronous Adaption of a Churn-Resistant Overlay
Network. Universität Paderborn, 2017.
ieee: N. C. Banh, An Asynchronous Adaption of a Churn-resistant Overlay Network.
Universität Paderborn, 2017.
mla: Banh, Ngoc Chi. An Asynchronous Adaption of a Churn-Resistant Overlay Network.
Universität Paderborn, 2017.
short: N.C. Banh, An Asynchronous Adaption of a Churn-Resistant Overlay Network,
Universität Paderborn, 2017.
date_created: 2020-08-18T08:40:19Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '79'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '4'
name: SFB 901 - Project Area C
- _id: '13'
name: SFB 901 - Subproject C1
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
title: An Asynchronous Adaption of a Churn-resistant Overlay Network
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '18028'
author:
- first_name: Andreas
full_name: Schenk, Andreas
last_name: Schenk
citation:
ama: Schenk A. Monotone Suchbarkeit in Mehrdimensionalen Verteilten Datenstrukturen.
Universität Paderborn; 2017.
apa: Schenk, A. (2017). Monotone Suchbarkeit in mehrdimensionalen verteilten
Datenstrukturen. Universität Paderborn.
bibtex: '@book{Schenk_2017, title={Monotone Suchbarkeit in mehrdimensionalen verteilten
Datenstrukturen}, publisher={Universität Paderborn}, author={Schenk, Andreas},
year={2017} }'
chicago: Schenk, Andreas. Monotone Suchbarkeit in Mehrdimensionalen Verteilten
Datenstrukturen. Universität Paderborn, 2017.
ieee: A. Schenk, Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen.
Universität Paderborn, 2017.
mla: Schenk, Andreas. Monotone Suchbarkeit in Mehrdimensionalen Verteilten Datenstrukturen.
Universität Paderborn, 2017.
short: A. Schenk, Monotone Suchbarkeit in Mehrdimensionalen Verteilten Datenstrukturen,
Universität Paderborn, 2017.
date_created: 2020-08-18T08:41:42Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '79'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '5'
name: SFB 901 - Subproject A1
- _id: '2'
name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
title: Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '18029'
author:
- first_name: Björn
full_name: Beckendorf, Björn
last_name: Beckendorf
citation:
ama: Beckendorf B. Visualisierung Zu Algorithmen Verteilter Netzwerksysteme.
Universität Paderborn; 2017.
apa: Beckendorf, B. (2017). Visualisierung zu Algorithmen verteilter Netzwerksysteme.
Universität Paderborn.
bibtex: '@book{Beckendorf_2017, title={Visualisierung zu Algorithmen verteilter
Netzwerksysteme}, publisher={Universität Paderborn}, author={Beckendorf, Björn},
year={2017} }'
chicago: Beckendorf, Björn. Visualisierung Zu Algorithmen Verteilter Netzwerksysteme.
Universität Paderborn, 2017.
ieee: B. Beckendorf, Visualisierung zu Algorithmen verteilter Netzwerksysteme.
Universität Paderborn, 2017.
mla: Beckendorf, Björn. Visualisierung Zu Algorithmen Verteilter Netzwerksysteme.
Universität Paderborn, 2017.
short: B. Beckendorf, Visualisierung Zu Algorithmen Verteilter Netzwerksysteme,
Universität Paderborn, 2017.
date_created: 2020-08-18T08:42:36Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '79'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '5'
name: SFB 901 - Subproject A1
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
title: Visualisierung zu Algorithmen verteilter Netzwerksysteme
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '1812'
author:
- first_name: Andreas
full_name: Koutsopoulos, Andreas
last_name: Koutsopoulos
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Thim Frederik
full_name: Strothmann, Thim Frederik
id: '11319'
last_name: Strothmann
citation:
ama: Koutsopoulos A, Scheideler C, Strothmann TF. Towards a universal approach for
the finite departure problem in overlay networks. Inf Comput. 2017:408--424.
doi:10.1016/j.ic.2016.12.006
apa: Koutsopoulos, A., Scheideler, C., & Strothmann, T. F. (2017). Towards a
universal approach for the finite departure problem in overlay networks. Inf.
Comput., 408--424. https://doi.org/10.1016/j.ic.2016.12.006
bibtex: '@article{Koutsopoulos_Scheideler_Strothmann_2017, title={Towards a universal
approach for the finite departure problem in overlay networks}, DOI={10.1016/j.ic.2016.12.006},
journal={Inf. Comput.}, author={Koutsopoulos, Andreas and Scheideler, Christian
and Strothmann, Thim Frederik}, year={2017}, pages={408--424} }'
chicago: Koutsopoulos, Andreas, Christian Scheideler, and Thim Frederik Strothmann.
“Towards a Universal Approach for the Finite Departure Problem in Overlay Networks.”
Inf. Comput., 2017, 408--424. https://doi.org/10.1016/j.ic.2016.12.006.
ieee: A. Koutsopoulos, C. Scheideler, and T. F. Strothmann, “Towards a universal
approach for the finite departure problem in overlay networks,” Inf. Comput.,
pp. 408--424, 2017.
mla: Koutsopoulos, Andreas, et al. “Towards a Universal Approach for the Finite
Departure Problem in Overlay Networks.” Inf. Comput., 2017, pp. 408--424,
doi:10.1016/j.ic.2016.12.006.
short: A. Koutsopoulos, C. Scheideler, T.F. Strothmann, Inf. Comput. (2017) 408--424.
date_created: 2018-03-27T11:23:36Z
date_updated: 2022-01-06T06:53:26Z
department:
- _id: '79'
doi: 10.1016/j.ic.2016.12.006
language:
- iso: eng
page: 408--424
publication: Inf. Comput.
status: public
title: Towards a universal approach for the finite departure problem in overlay networks
type: journal_article
user_id: '15504'
year: '2017'
...
---
_id: '1813'
author:
- first_name: Sandor
full_name: P. Fekete, Sandor
last_name: P. Fekete
- first_name: Andrea
full_name: W. Richa, Andrea
last_name: W. Richa
- first_name: Kay
full_name: Römer, Kay
last_name: Römer
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
citation:
ama: P. Fekete S, W. Richa A, Römer K, Scheideler C. Algorithmic Foundations of
Programmable Matter Dagstuhl Seminar 16271. SIGACT News. 2017;(2):87--94.
doi:10.1145/3106700.3106713
apa: P. Fekete, S., W. Richa, A., Römer, K., & Scheideler, C. (2017). Algorithmic
Foundations of Programmable Matter Dagstuhl Seminar 16271. SIGACT News,
(2), 87--94. https://doi.org/10.1145/3106700.3106713
bibtex: '@article{P. Fekete_W. Richa_Römer_Scheideler_2017, title={Algorithmic Foundations
of Programmable Matter Dagstuhl Seminar 16271}, DOI={10.1145/3106700.3106713},
number={2}, journal={SIGACT News}, author={P. Fekete, Sandor and W. Richa, Andrea
and Römer, Kay and Scheideler, Christian}, year={2017}, pages={87--94} }'
chicago: 'P. Fekete, Sandor, Andrea W. Richa, Kay Römer, and Christian Scheideler.
“Algorithmic Foundations of Programmable Matter Dagstuhl Seminar 16271.” SIGACT
News, no. 2 (2017): 87--94. https://doi.org/10.1145/3106700.3106713.'
ieee: S. P. Fekete, A. W. Richa, K. Römer, and C. Scheideler, “Algorithmic Foundations
of Programmable Matter Dagstuhl Seminar 16271,” SIGACT News, no. 2, pp.
87--94, 2017.
mla: P. Fekete, Sandor, et al. “Algorithmic Foundations of Programmable Matter Dagstuhl
Seminar 16271.” SIGACT News, no. 2, 2017, pp. 87--94, doi:10.1145/3106700.3106713.
short: S. P. Fekete, A. W. Richa, K. Römer, C. Scheideler, SIGACT News (2017) 87--94.
date_created: 2018-03-27T11:24:15Z
date_updated: 2022-01-06T06:53:26Z
department:
- _id: '79'
doi: 10.1145/3106700.3106713
issue: '2'
page: 87--94
publication: SIGACT News
status: public
title: Algorithmic Foundations of Programmable Matter Dagstuhl Seminar 16271
type: journal_article
user_id: '15504'
year: '2017'
...
---
_id: '1814'
author:
- first_name: Zahra
full_name: Derakhshandeh, Zahra
last_name: Derakhshandeh
- first_name: Robert
full_name: Gmyr, Robert
last_name: Gmyr
- first_name: Andrea
full_name: W. Richa, Andrea
last_name: W. Richa
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Thim Frederik
full_name: Strothmann, Thim Frederik
id: '11319'
last_name: Strothmann
citation:
ama: Derakhshandeh Z, Gmyr R, W. Richa A, Scheideler C, Strothmann TF. Universal
coating for programmable matter. Theor Comput Sci. 2017:56--68. doi:10.1016/j.tcs.2016.02.039
apa: Derakhshandeh, Z., Gmyr, R., W. Richa, A., Scheideler, C., & Strothmann,
T. F. (2017). Universal coating for programmable matter. Theor. Comput. Sci.,
56--68. https://doi.org/10.1016/j.tcs.2016.02.039
bibtex: '@article{Derakhshandeh_Gmyr_W. Richa_Scheideler_Strothmann_2017, title={Universal
coating for programmable matter}, DOI={10.1016/j.tcs.2016.02.039},
journal={Theor. Comput. Sci.}, author={Derakhshandeh, Zahra and Gmyr, Robert and
W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}, year={2017},
pages={56--68} }'
chicago: Derakhshandeh, Zahra, Robert Gmyr, Andrea W. Richa, Christian Scheideler,
and Thim Frederik Strothmann. “Universal Coating for Programmable Matter.” Theor.
Comput. Sci., 2017, 56--68. https://doi.org/10.1016/j.tcs.2016.02.039.
ieee: Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, and T. F. Strothmann,
“Universal coating for programmable matter,” Theor. Comput. Sci., pp. 56--68,
2017.
mla: Derakhshandeh, Zahra, et al. “Universal Coating for Programmable Matter.” Theor.
Comput. Sci., 2017, pp. 56--68, doi:10.1016/j.tcs.2016.02.039.
short: Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, Theor.
Comput. Sci. (2017) 56--68.
date_created: 2018-03-27T11:24:57Z
date_updated: 2022-01-06T06:53:26Z
department:
- _id: '79'
doi: 10.1016/j.tcs.2016.02.039
language:
- iso: eng
page: 56--68
publication: Theor. Comput. Sci.
status: public
title: Universal coating for programmable matter
type: journal_article
user_id: '15504'
year: '2017'
...
---
_id: '1815'
author:
- first_name: Joshua
full_name: J. Daymude, Joshua
last_name: J. Daymude
- first_name: Robert
full_name: Gmyr, Robert
last_name: Gmyr
- first_name: Andrea
full_name: W. Richa, Andrea
last_name: W. Richa
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Thim Frederik
full_name: Strothmann, Thim Frederik
id: '11319'
last_name: Strothmann
citation:
ama: 'J. Daymude J, Gmyr R, W. Richa A, Scheideler C, Strothmann TF. Improved Leader
Election for Self-organizing Programmable Matter. In: Algorithms for Sensor
Systems - 13th International Symposium on Algorithms and Experiments for Wireless
Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised
Selected Papers. ; 2017:127--140. doi:10.1007/978-3-319-72751-6_10'
apa: J. Daymude, J., Gmyr, R., W. Richa, A., Scheideler, C., & Strothmann, T.
F. (2017). Improved Leader Election for Self-organizing Programmable Matter. In
Algorithms for Sensor Systems - 13th International Symposium on Algorithms
and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria,
September 7-8, 2017, Revised Selected Papers (pp. 127--140). https://doi.org/10.1007/978-3-319-72751-6_10
bibtex: '@inproceedings{J. Daymude_Gmyr_W. Richa_Scheideler_Strothmann_2017, title={Improved
Leader Election for Self-organizing Programmable Matter}, DOI={10.1007/978-3-319-72751-6_10},
booktitle={Algorithms for Sensor Systems - 13th International Symposium on Algorithms
and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria,
September 7-8, 2017, Revised Selected Papers}, author={J. Daymude, Joshua and
Gmyr, Robert and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim
Frederik}, year={2017}, pages={127--140} }'
chicago: J. Daymude, Joshua, Robert Gmyr, Andrea W. Richa, Christian Scheideler,
and Thim Frederik Strothmann. “Improved Leader Election for Self-Organizing Programmable
Matter.” In Algorithms for Sensor Systems - 13th International Symposium on
Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna,
Austria, September 7-8, 2017, Revised Selected Papers, 127--140, 2017. https://doi.org/10.1007/978-3-319-72751-6_10.
ieee: J. J. Daymude, R. Gmyr, A. W. Richa, C. Scheideler, and T. F. Strothmann,
“Improved Leader Election for Self-organizing Programmable Matter,” in Algorithms
for Sensor Systems - 13th International Symposium on Algorithms and Experiments
for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8,
2017, Revised Selected Papers, 2017, pp. 127--140.
mla: J. Daymude, Joshua, et al. “Improved Leader Election for Self-Organizing Programmable
Matter.” Algorithms for Sensor Systems - 13th International Symposium on Algorithms
and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria,
September 7-8, 2017, Revised Selected Papers, 2017, pp. 127--140, doi:10.1007/978-3-319-72751-6_10.
short: 'J. J. Daymude, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, in:
Algorithms for Sensor Systems - 13th International Symposium on Algorithms and
Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September
7-8, 2017, Revised Selected Papers, 2017, pp. 127--140.'
date_created: 2018-03-27T11:25:58Z
date_updated: 2022-01-06T06:53:26Z
department:
- _id: '79'
doi: 10.1007/978-3-319-72751-6_10
language:
- iso: eng
page: 127--140
publication: Algorithms for Sensor Systems - 13th International Symposium on Algorithms
and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria,
September 7-8, 2017, Revised Selected Papers
status: public
title: Improved Leader Election for Self-organizing Programmable Matter
type: conference
user_id: '15504'
year: '2017'
...