---
_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: '20555'
author:
- first_name: Stefan
full_name: Krüger, Stefan
last_name: Krüger
- first_name: Johannes
full_name: Späth, Johannes
last_name: Späth
- first_name: Karim
full_name: Ali, Karim
last_name: Ali
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Mira
full_name: Mezini, Mira
last_name: Mezini
citation:
ama: 'Krüger S, Späth J, Ali K, Bodden E, Mezini M. CrySL: Validating Correct
Usage of Cryptographic APIs.; 2017.'
apa: 'Krüger, S., Späth, J., Ali, K., Bodden, E., & Mezini, M. (2017). CrySL:
Validating Correct Usage of Cryptographic APIs.'
bibtex: '@book{Krüger_Späth_Ali_Bodden_Mezini_2017, title={CrySL: Validating Correct
Usage of Cryptographic APIs}, author={Krüger, Stefan and Späth, Johannes and Ali,
Karim and Bodden, Eric and Mezini, Mira}, year={2017} }'
chicago: 'Krüger, Stefan, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini.
CrySL: Validating Correct Usage of Cryptographic APIs, 2017.'
ieee: 'S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, CrySL: Validating
Correct Usage of Cryptographic APIs. 2017.'
mla: 'Krüger, Stefan, et al. CrySL: Validating Correct Usage of Cryptographic
APIs. 2017.'
short: 'S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, CrySL: Validating Correct
Usage of Cryptographic APIs, 2017.'
date_created: 2020-11-30T10:29:41Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
keyword:
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: https://arxiv.org/abs/1710.00564
page: arXiv:1710.00564
status: public
title: 'CrySL: Validating Correct Usage of Cryptographic APIs'
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: '5204'
author:
- first_name: Johannes
full_name: Späth, Johannes
last_name: Späth
- first_name: Karim
full_name: Ali, Karim
last_name: Ali
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Späth J, Ali K, Bodden E. IDEal: Efficient and Precise Alias-aware Dataflow
Analysis. In: 2017 International Conference on Object-Oriented Programming,
Languages and Applications (OOPSLA/SPLASH). ACM Press; 2017.'
apa: 'Späth, J., Ali, K., & Bodden, E. (2017). IDEal: Efficient and Precise
Alias-aware Dataflow Analysis. In 2017 International Conference on Object-Oriented
Programming, Languages and Applications (OOPSLA/SPLASH). ACM Press.'
bibtex: '@inproceedings{Späth_Ali_Bodden_2017, title={IDEal: Efficient and Precise
Alias-aware Dataflow Analysis}, booktitle={2017 International Conference on Object-Oriented
Programming, Languages and Applications (OOPSLA/SPLASH)}, publisher={ACM Press},
author={Späth, Johannes and Ali, Karim and Bodden, Eric}, year={2017} }'
chicago: 'Späth, Johannes, Karim Ali, and Eric Bodden. “IDEal: Efficient and Precise
Alias-Aware Dataflow Analysis.” In 2017 International Conference on Object-Oriented
Programming, Languages and Applications (OOPSLA/SPLASH). ACM Press, 2017.'
ieee: 'J. Späth, K. Ali, and E. Bodden, “IDEal: Efficient and Precise Alias-aware
Dataflow Analysis,” in 2017 International Conference on Object-Oriented Programming,
Languages and Applications (OOPSLA/SPLASH), 2017.'
mla: 'Späth, Johannes, et al. “IDEal: Efficient and Precise Alias-Aware Dataflow
Analysis.” 2017 International Conference on Object-Oriented Programming, Languages
and Applications (OOPSLA/SPLASH), ACM Press, 2017.'
short: 'J. Späth, K. Ali, E. Bodden, in: 2017 International Conference on Object-Oriented
Programming, Languages and Applications (OOPSLA/SPLASH), ACM Press, 2017.'
date_created: 2018-10-31T12:46:50Z
date_updated: 2022-01-06T07:01:44Z
ddc:
- '000'
department:
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:28:13Z
date_updated: 2018-11-02T14:28:13Z
file_id: '5273'
file_name: sab17ideal.pdf
file_size: 1021251
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:28:13Z
has_accepted_license: '1'
keyword:
- ATTRACT
- ITSECWEBSITE
- CROSSING
language:
- iso: eng
main_file_link:
- url: ' http://bodden.de/pubs/sab17ideal.pdf'
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: 2017 International Conference on Object-Oriented Programming, Languages
and Applications (OOPSLA/SPLASH)
publisher: ACM Press
status: public
title: 'IDEal: Efficient and Precise Alias-aware Dataflow Analysis'
type: conference
user_id: '477'
year: '2017'
...
---
_id: '5209'
author:
- first_name: Andreas
full_name: Fischer, Andreas
last_name: Fischer
- first_name: Benny
full_name: Fuhry, Benny
last_name: Fuhry
- first_name: Florian
full_name: Kerschbaum, Florian
last_name: Kerschbaum
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: Fischer A, Fuhry B, Kerschbaum F, Bodden E. Computation on Encrypted Data using
Data Flow Authentication. CoRR. 2017;abs/1710.00390.
apa: Fischer, A., Fuhry, B., Kerschbaum, F., & Bodden, E. (2017). Computation
on Encrypted Data using Data Flow Authentication. CoRR, abs/1710.00390.
bibtex: '@article{Fischer_Fuhry_Kerschbaum_Bodden_2017, title={Computation on Encrypted
Data using Data Flow Authentication}, volume={abs/1710.00390}, journal={CoRR},
author={Fischer, Andreas and Fuhry, Benny and Kerschbaum, Florian and Bodden,
Eric}, year={2017} }'
chicago: Fischer, Andreas, Benny Fuhry, Florian Kerschbaum, and Eric Bodden. “Computation
on Encrypted Data Using Data Flow Authentication.” CoRR abs/1710.00390
(2017).
ieee: A. Fischer, B. Fuhry, F. Kerschbaum, and E. Bodden, “Computation on Encrypted
Data using Data Flow Authentication,” CoRR, vol. abs/1710.00390, 2017.
mla: Fischer, Andreas, et al. “Computation on Encrypted Data Using Data Flow Authentication.”
CoRR, vol. abs/1710.00390, 2017.
short: A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, CoRR abs/1710.00390 (2017).
date_created: 2018-10-31T13:12:32Z
date_updated: 2022-01-06T07:01:46Z
ddc:
- '000'
department:
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T16:03:01Z
date_updated: 2018-11-02T16:03:01Z
file_id: '5321'
file_name: 1710.00390.pdf
file_size: 2339380
relation: main_file
success: 1
file_date_updated: 2018-11-02T16:03:01Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: https://arxiv.org/pdf/1710.00390.pdf
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: CoRR
status: public
title: Computation on Encrypted Data using Data Flow Authentication
type: journal_article
user_id: '477'
volume: abs/1710.00390
year: '2017'
...
---
_id: '102'
author:
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
citation:
ama: Becker M. Engineering Self-Adaptive Systems with Simulation-Based Performence
Prediction. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-133
apa: Becker, M. (2017). Engineering Self-Adaptive Systems with Simulation-Based
Performence Prediction. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-133
bibtex: '@book{Becker_2017, title={Engineering Self-Adaptive Systems with Simulation-Based
Performence Prediction}, DOI={10.17619/UNIPB/1-133},
publisher={Universität Paderborn}, author={Becker, Matthias}, year={2017} }'
chicago: Becker, Matthias. Engineering Self-Adaptive Systems with Simulation-Based
Performence Prediction. Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-133.
ieee: M. Becker, Engineering Self-Adaptive Systems with Simulation-Based Performence
Prediction. Universität Paderborn, 2017.
mla: Becker, Matthias. Engineering Self-Adaptive Systems with Simulation-Based
Performence Prediction. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-133.
short: M. Becker, Engineering Self-Adaptive Systems with Simulation-Based Performence
Prediction, Universität Paderborn, 2017.
date_created: 2017-10-17T12:41:11Z
date_updated: 2022-01-06T06:50:31Z
department:
- _id: '76'
doi: 10.17619/UNIPB/1-133
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
title: Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction
type: dissertation
user_id: '477'
year: '2017'
...
---
_id: '195'
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
citation:
ama: Platenius MC. Fuzzy Matching of Comprehensive Service Specifications.
Universität Paderborn; 2016.
apa: Platenius, M. C. (2016). Fuzzy Matching of Comprehensive Service Specifications.
Universität Paderborn.
bibtex: '@book{Platenius_2016, title={Fuzzy Matching of Comprehensive Service Specifications},
publisher={Universität Paderborn}, author={Platenius, Marie Christin}, year={2016}
}'
chicago: Platenius, Marie Christin. Fuzzy Matching of Comprehensive Service Specifications.
Universität Paderborn, 2016.
ieee: M. C. Platenius, Fuzzy Matching of Comprehensive Service Specifications.
Universität Paderborn, 2016.
mla: Platenius, Marie Christin. Fuzzy Matching of Comprehensive Service Specifications.
Universität Paderborn, 2016.
short: M.C. Platenius, Fuzzy Matching of Comprehensive Service Specifications, Universität
Paderborn, 2016.
date_created: 2017-10-17T12:41:30Z
date_updated: 2022-01-06T06:54:06Z
ddc:
- '040'
department:
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T12:15:58Z
date_updated: 2018-03-21T12:15:58Z
file_id: '1527'
file_name: 195-Dissertation_-_Marie_Christin_Platenius.pdf
file_size: 18246710
relation: main_file
success: 1
file_date_updated: 2018-03-21T12:15:58Z
has_accepted_license: '1'
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
title: Fuzzy Matching of Comprehensive Service Specifications
type: dissertation
user_id: '14052'
year: '2016'
...
---
_id: '198'
author:
- first_name: Bahar
full_name: Jazayeri, Bahar
id: '36399'
last_name: Jazayeri
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Dennis
full_name: Kundisch, Dennis
id: '21117'
last_name: Kundisch
citation:
ama: 'Jazayeri B, Platenius MC, Engels G, Kundisch D. Features of IT Service
Markets: A Systematic Literature Review (Supplementary Material). Universität
Paderborn; 2016.'
apa: 'Jazayeri, B., Platenius, M. C., Engels, G., & Kundisch, D. (2016). Features
of IT Service Markets: A Systematic Literature Review (Supplementary Material).
Universität Paderborn.'
bibtex: '@book{Jazayeri_Platenius_Engels_Kundisch_2016, title={Features of IT Service
Markets: A Systematic Literature Review (Supplementary Material)}, publisher={Universität
Paderborn}, author={Jazayeri, Bahar and Platenius, Marie Christin and Engels,
Gregor and Kundisch, Dennis}, year={2016} }'
chicago: 'Jazayeri, Bahar, Marie Christin Platenius, Gregor Engels, and Dennis Kundisch.
Features of IT Service Markets: A Systematic Literature Review (Supplementary
Material). Universität Paderborn, 2016.'
ieee: 'B. Jazayeri, M. C. Platenius, G. Engels, and D. Kundisch, Features of
IT Service Markets: A Systematic Literature Review (Supplementary Material).
Universität Paderborn, 2016.'
mla: 'Jazayeri, Bahar, et al. Features of IT Service Markets: A Systematic Literature
Review (Supplementary Material). Universität Paderborn, 2016.'
short: 'B. Jazayeri, M.C. Platenius, G. Engels, D. Kundisch, Features of IT Service
Markets: A Systematic Literature Review (Supplementary Material), Universität
Paderborn, 2016.'
date_created: 2017-10-17T12:41:30Z
date_updated: 2022-01-06T06:54:13Z
ddc:
- '040'
department:
- _id: '276'
- _id: '66'
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: bahareh
date_created: 2018-11-12T19:11:20Z
date_updated: 2018-11-12T19:11:20Z
file_id: '5534'
file_name: MarketSurvey_Techreport (1).pdf
file_size: 1024328
relation: main_file
success: 1
file_date_updated: 2018-11-12T19:11:20Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '17'
name: SFB 901 - Subprojekt C5
- _id: '4'
name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
title: 'Features of IT Service Markets: A Systematic Literature Review (Supplementary
Material)'
type: report
user_id: '477'
year: '2016'
...
---
_id: '199'
abstract:
- lang: eng
text: The provision of IT solutions over electronic marketplaces became prominent
in recent years. We call such marketplaces IT service markets. IT service markets
have some core architectural building blocks that impact the quality attributes
of these markets. However, these building blocks and their impacts are not well-known.
Thus, design choices for IT service markets have been made ad-hoc until now. Furthermore,
only single aspects of such markets have been investigated until now, but a comprehensive
view is missing.In this paper, we identify common features and their interrelations
on the basis of a systematic literature review of 60 publications using grounded
theory.This knowledge provides an empirical evidence on the interdisciplinary
design choices of IT service markets and it serves as a basis to support market
providers and developers to integrate market features. Thereby, we make a first
step towards the creation of a reference model for IT service markets that provides
a holistic integrated view that can be used to create and maintain successful
markets in the future.
author:
- first_name: Bahar
full_name: Jazayeri, Bahar
id: '36399'
last_name: Jazayeri
- first_name: Marie
full_name: Platenius, Marie
last_name: Platenius
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Dennis
full_name: Kundisch, Dennis
id: '21117'
last_name: Kundisch
citation:
ama: 'Jazayeri B, Platenius M, Engels G, Kundisch D. Features of IT Service Markets:
A Systematic Literature Review. In: Proceedings of the 14th International Conference
on Service Oriented Computing (ICSOC). Vol 9936. Lecture Notes in Computer
Science (LNCS). Banff, Canada: Springer; 2016:301-316. doi:10.1007/978-3-319-46295-0_19'
apa: 'Jazayeri, B., Platenius, M., Engels, G., & Kundisch, D. (2016). Features
of IT Service Markets: A Systematic Literature Review. In Proceedings of the
14th International Conference on Service Oriented Computing (ICSOC) (Vol.
9936, pp. 301–316). Banff, Canada: Springer. https://doi.org/10.1007/978-3-319-46295-0_19'
bibtex: '@inproceedings{Jazayeri_Platenius_Engels_Kundisch_2016, place={Banff, Canada},
series={Lecture Notes in Computer Science (LNCS)}, title={Features of IT Service
Markets: A Systematic Literature Review}, volume={9936}, DOI={10.1007/978-3-319-46295-0_19},
booktitle={Proceedings of the 14th International Conference on Service Oriented
Computing (ICSOC)}, publisher={Springer}, author={Jazayeri, Bahar and Platenius,
Marie and Engels, Gregor and Kundisch, Dennis}, year={2016}, pages={301–316},
collection={Lecture Notes in Computer Science (LNCS)} }'
chicago: 'Jazayeri, Bahar, Marie Platenius, Gregor Engels, and Dennis Kundisch.
“Features of IT Service Markets: A Systematic Literature Review.” In Proceedings
of the 14th International Conference on Service Oriented Computing (ICSOC),
9936:301–16. Lecture Notes in Computer Science (LNCS). Banff, Canada: Springer,
2016. https://doi.org/10.1007/978-3-319-46295-0_19.'
ieee: 'B. Jazayeri, M. Platenius, G. Engels, and D. Kundisch, “Features of IT Service
Markets: A Systematic Literature Review,” in Proceedings of the 14th International
Conference on Service Oriented Computing (ICSOC), 2016, vol. 9936, pp. 301–316.'
mla: 'Jazayeri, Bahar, et al. “Features of IT Service Markets: A Systematic Literature
Review.” Proceedings of the 14th International Conference on Service Oriented
Computing (ICSOC), vol. 9936, Springer, 2016, pp. 301–16, doi:10.1007/978-3-319-46295-0_19.'
short: 'B. Jazayeri, M. Platenius, G. Engels, D. Kundisch, in: Proceedings of the
14th International Conference on Service Oriented Computing (ICSOC), Springer,
Banff, Canada, 2016, pp. 301–316.'
date_created: 2017-10-17T12:41:30Z
date_updated: 2022-01-06T06:54:14Z
ddc:
- '040'
department:
- _id: '66'
- _id: '276'
- _id: '76'
doi: 10.1007/978-3-319-46295-0_19
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T12:15:24Z
date_updated: 2018-03-21T12:15:24Z
file_id: '1526'
file_name: 199-chp_3A10.1007_2F978-3-319-46295-0_19.pdf
file_size: 765410
relation: main_file
success: 1
file_date_updated: 2018-03-21T12:15:24Z
has_accepted_license: '1'
intvolume: ' 9936'
language:
- iso: eng
page: 301-316
place: Banff, Canada
project:
- _id: '1'
name: SFB 901
- _id: '17'
name: SFB 901 - Subprojekt C5
- _id: '4'
name: SFB 901 - Project Area C
publication: Proceedings of the 14th International Conference on Service Oriented
Computing (ICSOC)
publisher: Springer
series_title: Lecture Notes in Computer Science (LNCS)
status: public
title: 'Features of IT Service Markets: A Systematic Literature Review'
type: conference
user_id: '477'
volume: 9936
year: '2016'
...
---
_id: '20556'
author:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Ka
full_name: I Pun, Ka
last_name: I Pun
- first_name: Martin
full_name: Steffen, Martin
last_name: Steffen
- first_name: Volker
full_name: Stolz, Volker
last_name: Stolz
- first_name: Anna-Katharina
full_name: Wickert, Anna-Katharina
last_name: Wickert
citation:
ama: 'Bodden E, I Pun K, Steffen M, Stolz V, Wickert A-K. Information Flow Analysis
for Go. In: Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu,
Greece, October 10-14, 2016, Proceedings, Part {I}. ; 2016:431-445. doi:10.1007/978-3-319-47166-2_30'
apa: 'Bodden, E., I Pun, K., Steffen, M., Stolz, V., & Wickert, A.-K. (2016).
Information Flow Analysis for Go. Leveraging Applications of Formal Methods,
Verification and Validation: Foundational Techniques - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I},
431–445. https://doi.org/10.1007/978-3-319-47166-2_30'
bibtex: '@inproceedings{Bodden_I Pun_Steffen_Stolz_Wickert_2016, title={Information
Flow Analysis for Go}, DOI={10.1007/978-3-319-47166-2_30},
booktitle={Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu,
Greece, October 10-14, 2016, Proceedings, Part {I}}, author={Bodden, Eric and
I Pun, Ka and Steffen, Martin and Stolz, Volker and Wickert, Anna-Katharina},
year={2016}, pages={431–445} }'
chicago: 'Bodden, Eric, Ka I Pun, Martin Steffen, Volker Stolz, and Anna-Katharina
Wickert. “Information Flow Analysis for Go.” In Leveraging Applications of
Formal Methods, Verification and Validation: Foundational Techniques - 7th International
Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {I}, 431–45, 2016. https://doi.org/10.1007/978-3-319-47166-2_30.'
ieee: 'E. Bodden, K. I Pun, M. Steffen, V. Stolz, and A.-K. Wickert, “Information
Flow Analysis for Go,” in Leveraging Applications of Formal Methods, Verification
and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}, 2016,
pp. 431–445, doi: 10.1007/978-3-319-47166-2_30.'
mla: 'Bodden, Eric, et al. “Information Flow Analysis for Go.” Leveraging Applications
of Formal Methods, Verification and Validation: Foundational Techniques - 7th
International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016,
Proceedings, Part {I}, 2016, pp. 431–45, doi:10.1007/978-3-319-47166-2_30.'
short: 'E. Bodden, K. I Pun, M. Steffen, V. Stolz, A.-K. Wickert, in: Leveraging
Applications of Formal Methods, Verification and Validation: Foundational Techniques
- 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14,
2016, Proceedings, Part {I}, 2016, pp. 431–445.'
date_created: 2020-11-30T11:02:52Z
date_updated: 2022-01-06T06:54:30Z
department:
- _id: '76'
doi: 10.1007/978-3-319-47166-2_30
language:
- iso: eng
page: 431-445
publication: 'Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu,
Greece, October 10-14, 2016, Proceedings, Part {I}'
status: public
title: Information Flow Analysis for Go
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20716'
author:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Michael
full_name: Eichberg, Michael
last_name: Eichberg
- first_name: Ka
full_name: I Pun, Ka
last_name: I Pun
- first_name: Martin
full_name: Steffen, Martin
last_name: Steffen
- first_name: Volker
full_name: Stolz, Volker
last_name: Stolz
- first_name: Anna-Katharina
full_name: Wickert, Anna-Katharina
last_name: Wickert
citation:
ama: 'Bodden E, Eichberg M, I Pun K, Steffen M, Stolz V, Wickert A-K. Don’t let
data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in
Go. In: Nordic Workshop on Programming Theory (NWPT’16). ; 2016.'
apa: Bodden, E., Eichberg, M., I Pun, K., Steffen, M., Stolz, V., & Wickert,
A.-K. (2016). Don’t let data Go astray---A Context-Sensitive Taint Analysis for
Concurrent Programs in Go. Nordic Workshop on Programming Theory (NWPT’16).
bibtex: '@inproceedings{Bodden_Eichberg_I Pun_Steffen_Stolz_Wickert_2016, title={Don’t
let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs
in Go}, booktitle={Nordic Workshop on Programming Theory (NWPT’16)}, author={Bodden,
Eric and Eichberg, Michael and I Pun, Ka and Steffen, Martin and Stolz, Volker
and Wickert, Anna-Katharina}, year={2016} }'
chicago: Bodden, Eric, Michael Eichberg, Ka I Pun, Martin Steffen, Volker Stolz,
and Anna-Katharina Wickert. “Don’t Let Data Go Astray---A Context-Sensitive Taint
Analysis for Concurrent Programs in Go.” In Nordic Workshop on Programming
Theory (NWPT’16), 2016.
ieee: E. Bodden, M. Eichberg, K. I Pun, M. Steffen, V. Stolz, and A.-K. Wickert,
“Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent
Programs in Go,” 2016.
mla: Bodden, Eric, et al. “Don’t Let Data Go Astray---A Context-Sensitive Taint
Analysis for Concurrent Programs in Go.” Nordic Workshop on Programming Theory
(NWPT’16), 2016.
short: 'E. Bodden, M. Eichberg, K. I Pun, M. Steffen, V. Stolz, A.-K. Wickert, in:
Nordic Workshop on Programming Theory (NWPT’16), 2016.'
date_created: 2020-12-14T11:56:15Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/bep16gotaint.pdf
publication: Nordic Workshop on Programming Theory (NWPT'16)
status: public
title: Don't let data Go astray---A Context-Sensitive Taint Analysis for Concurrent
Programs in Go
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20717'
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. Just-in-Time
Static Analysis.; 2016. doi:http://dx.doi.org/10.7939/DVN/10859
apa: Nguyen Quang Do, L., Ali, K., Livshits, B., Bodden, E., Smith, J., & Murphy-Hill,
E. (2016). Just-in-Time Static Analysis. http://dx.doi.org/10.7939/DVN/10859
bibtex: '@book{Nguyen Quang Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2016, title={Just-in-Time
Static Analysis}, DOI={http://dx.doi.org/10.7939/DVN/10859},
author={Nguyen Quang Do, Lisa and Ali, Karim and Livshits, Benjamin and Bodden,
Eric and Smith, Justin and Murphy-Hill, Emerson}, year={2016} }'
chicago: Nguyen Quang Do, Lisa, Karim Ali, Benjamin Livshits, Eric Bodden, Justin
Smith, and Emerson Murphy-Hill. Just-in-Time Static Analysis, 2016. http://dx.doi.org/10.7939/DVN/10859.
ieee: L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill,
Just-in-Time Static Analysis. 2016.
mla: Nguyen Quang Do, Lisa, et al. Just-in-Time Static Analysis. 2016, doi:http://dx.doi.org/10.7939/DVN/10859.
short: L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill,
Just-in-Time Static Analysis, 2016.
date_created: 2020-12-14T11:57:09Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
doi: http://dx.doi.org/10.7939/DVN/10859
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/dal16jit-tr.pdf
status: public
title: Just-in-Time Static Analysis
type: report
user_id: '5786'
year: '2016'
...
---
_id: '20718'
author:
- first_name: Siegfried
full_name: Rasthofer, Siegfried
last_name: Rasthofer
- first_name: Steven
full_name: Arzt, Steven
last_name: Arzt
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Marc
full_name: Miltenberger, Marc
last_name: Miltenberger
citation:
ama: Rasthofer S, Arzt S, Bodden E, Miltenberger M. Harvester - Vollautomatische
Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen. Datenschutz
und Datensicherheit. Published online 2016:718-722. doi:https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536
apa: Rasthofer, S., Arzt, S., Bodden, E., & Miltenberger, M. (2016). Harvester
- Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen.
Datenschutz Und Datensicherheit, 718–722. https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536
bibtex: '@article{Rasthofer_Arzt_Bodden_Miltenberger_2016, title={Harvester - Vollautomatische
Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen}, DOI={https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536},
journal={Datenschutz und Datensicherheit}, author={Rasthofer, Siegfried and Arzt,
Steven and Bodden, Eric and Miltenberger, Marc}, year={2016}, pages={718–722}
}'
chicago: Rasthofer, Siegfried, Steven Arzt, Eric Bodden, and Marc Miltenberger.
“Harvester - Vollautomatische Extraktion von Laufzeitwerten Aus Obfuskierten Android-Applikationen.”
Datenschutz Und Datensicherheit, 2016, 718–22. https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536.
ieee: 'S. Rasthofer, S. Arzt, E. Bodden, and M. Miltenberger, “Harvester - Vollautomatische
Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen,” Datenschutz
und Datensicherheit, pp. 718–722, 2016, doi: https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536.'
mla: Rasthofer, Siegfried, et al. “Harvester - Vollautomatische Extraktion von Laufzeitwerten
Aus Obfuskierten Android-Applikationen.” Datenschutz Und Datensicherheit,
2016, pp. 718–22, doi:https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536.
short: S. Rasthofer, S. Arzt, E. Bodden, M. Miltenberger, Datenschutz Und Datensicherheit
(2016) 718–722.
date_created: 2020-12-14T11:57:48Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
doi: https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/rabm16harvester.pdf
page: 718-722
publication: Datenschutz und Datensicherheit
status: public
title: Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten
Android-Applikationen
type: journal_article
user_id: '5786'
year: '2016'
...
---
_id: '20719'
author:
- first_name: Philipp
full_name: Holzinger, Philipp
last_name: Holzinger
- first_name: Stefan
full_name: Triller, Stefan
last_name: Triller
- first_name: Alexandre
full_name: Bartel, Alexandre
last_name: Bartel
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Holzinger P, Triller S, Bartel A, Bodden E. An In-Depth Study of More Than
Ten Years of Java Exploitation. In: Proceedings of the 2016 ACM SIGSAC Conference
on Computer and Communications Security. CCS ’16. ; 2016:779-790. doi:http://doi.acm.org/10.1145/2976749.2978361'
apa: Holzinger, P., Triller, S., Bartel, A., & Bodden, E. (2016). An In-Depth
Study of More Than Ten Years of Java Exploitation. Proceedings of the 2016
ACM SIGSAC Conference on Computer and Communications Security, 779–790. http://doi.acm.org/10.1145/2976749.2978361
bibtex: '@inproceedings{Holzinger_Triller_Bartel_Bodden_2016, series={CCS ’16},
title={An In-Depth Study of More Than Ten Years of Java Exploitation}, DOI={http://doi.acm.org/10.1145/2976749.2978361},
booktitle={Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications
Security}, author={Holzinger, Philipp and Triller, Stefan and Bartel, Alexandre
and Bodden, Eric}, year={2016}, pages={779–790}, collection={CCS ’16} }'
chicago: Holzinger, Philipp, Stefan Triller, Alexandre Bartel, and Eric Bodden.
“An In-Depth Study of More Than Ten Years of Java Exploitation.” In Proceedings
of the 2016 ACM SIGSAC Conference on Computer and Communications Security,
779–90. CCS ’16, 2016. http://doi.acm.org/10.1145/2976749.2978361.
ieee: 'P. Holzinger, S. Triller, A. Bartel, and E. Bodden, “An In-Depth Study of
More Than Ten Years of Java Exploitation,” in Proceedings of the 2016 ACM SIGSAC
Conference on Computer and Communications Security, 2016, pp. 779–790, doi:
http://doi.acm.org/10.1145/2976749.2978361.'
mla: Holzinger, Philipp, et al. “An In-Depth Study of More Than Ten Years of Java
Exploitation.” Proceedings of the 2016 ACM SIGSAC Conference on Computer and
Communications Security, 2016, pp. 779–90, doi:http://doi.acm.org/10.1145/2976749.2978361.
short: 'P. Holzinger, S. Triller, A. Bartel, E. Bodden, in: Proceedings of the 2016
ACM SIGSAC Conference on Computer and Communications Security, 2016, pp. 779–790.'
date_created: 2020-12-14T11:58:33Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
doi: http://doi.acm.org/10.1145/2976749.2978361
keyword:
- ATTRACT
- access control
- exploits
- java security
- security analysis
- ITSECWEBSITE
language:
- iso: eng
page: 779-790
publication: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications
Security
publication_identifier:
isbn:
- 978-1-4503-4139-4
series_title: CCS '16
status: public
title: An In-Depth Study of More Than Ten Years of Java Exploitation
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20720'
author:
- first_name: Andreas
full_name: Follner, Andreas
last_name: Follner
- first_name: Alexandre
full_name: Bartel, Alexandre
last_name: Bartel
- first_name: Hui
full_name: Peng, Hui
last_name: Peng
- first_name: Yu-Chen
full_name: Chang, Yu-Chen
last_name: Chang
- first_name: Kyriakos
full_name: Ispoglou, Kyriakos
last_name: Ispoglou
- first_name: Mathias
full_name: Payer, Mathias
last_name: Payer
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Follner A, Bartel A, Peng H, et al. PSHAPE: Automatically Combining Gadgets
for Arbitrary Method Execution. In: International Workshop on Security and
Trust Management (STM). ; 2016:212-228.'
apa: 'Follner, A., Bartel, A., Peng, H., Chang, Y.-C., Ispoglou, K., Payer, M.,
& Bodden, E. (2016). PSHAPE: Automatically Combining Gadgets for Arbitrary
Method Execution. International Workshop on Security and Trust Management (STM),
212–228.'
bibtex: '@inproceedings{Follner_Bartel_Peng_Chang_Ispoglou_Payer_Bodden_2016, title={PSHAPE:
Automatically Combining Gadgets for Arbitrary Method Execution}, booktitle={International
Workshop on Security and Trust Management (STM)}, author={Follner, Andreas and
Bartel, Alexandre and Peng, Hui and Chang, Yu-Chen and Ispoglou, Kyriakos and
Payer, Mathias and Bodden, Eric}, year={2016}, pages={212–228} }'
chicago: 'Follner, Andreas, Alexandre Bartel, Hui Peng, Yu-Chen Chang, Kyriakos
Ispoglou, Mathias Payer, and Eric Bodden. “PSHAPE: Automatically Combining Gadgets
for Arbitrary Method Execution.” In International Workshop on Security and
Trust Management (STM), 212–28, 2016.'
ieee: 'A. Follner et al., “PSHAPE: Automatically Combining Gadgets for Arbitrary
Method Execution,” in International Workshop on Security and Trust Management
(STM), 2016, pp. 212–228.'
mla: 'Follner, Andreas, et al. “PSHAPE: Automatically Combining Gadgets for Arbitrary
Method Execution.” International Workshop on Security and Trust Management
(STM), 2016, pp. 212–28.'
short: 'A. Follner, A. Bartel, H. Peng, Y.-C. Chang, K. Ispoglou, M. Payer, E. Bodden,
in: International Workshop on Security and Trust Management (STM), 2016, pp. 212–228.'
date_created: 2020-12-14T11:59:04Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/fbt+16pshape.pdf
page: 212-228
publication: International Workshop on Security and Trust Management (STM)
status: public
title: 'PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution'
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20721'
author:
- first_name: Lisa
full_name: Nguyen Quang Do, Lisa
last_name: Nguyen Quang Do
- first_name: Michael
full_name: Eichberg, Michael
last_name: Eichberg
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Nguyen Quang Do L, Eichberg M, Bodden E. Toward an Automated Benchmark Management
System. In: Proceedings of the 5th ACM SIGPLAN International Workshop on State
Of the Art in Program Analysis. SOAP 2016. ; 2016:13-17.'
apa: Nguyen Quang Do, L., Eichberg, M., & Bodden, E. (2016). Toward an Automated
Benchmark Management System. Proceedings of the 5th ACM SIGPLAN International
Workshop on State Of the Art in Program Analysis, 13–17.
bibtex: '@inproceedings{Nguyen Quang Do_Eichberg_Bodden_2016, series={SOAP 2016},
title={Toward an Automated Benchmark Management System}, booktitle={Proceedings
of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis},
author={Nguyen Quang Do, Lisa and Eichberg, Michael and Bodden, Eric}, year={2016},
pages={13–17}, collection={SOAP 2016} }'
chicago: Nguyen Quang Do, Lisa, Michael Eichberg, and Eric Bodden. “Toward an Automated
Benchmark Management System.” In Proceedings of the 5th ACM SIGPLAN International
Workshop on State Of the Art in Program Analysis, 13–17. SOAP 2016, 2016.
ieee: L. Nguyen Quang Do, M. Eichberg, and E. Bodden, “Toward an Automated Benchmark
Management System,” in Proceedings of the 5th ACM SIGPLAN International Workshop
on State Of the Art in Program Analysis, 2016, pp. 13–17.
mla: Nguyen Quang Do, Lisa, et al. “Toward an Automated Benchmark Management System.”
Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art
in Program Analysis, 2016, pp. 13–17.
short: 'L. Nguyen Quang Do, M. Eichberg, E. Bodden, in: Proceedings of the 5th ACM
SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016,
pp. 13–17.'
date_created: 2020-12-14T12:00:32Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
keyword:
- ATTRACT
language:
- iso: eng
main_file_link:
- url: http://bodden.de/pubs/neb16toward.pdf
page: 13-17
publication: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of
the Art in Program Analysis
series_title: SOAP 2016
status: public
title: Toward an Automated Benchmark Management System
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20722'
author:
- first_name: Steven
full_name: Arzt, Steven
last_name: Arzt
- first_name: Tobias
full_name: Kussmaul, Tobias
last_name: Kussmaul
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Arzt S, Kussmaul T, Bodden E. Towards Cross-Platform Cross-Language Analysis
with Soot. In: Proceedings of the 5th ACM SIGPLAN International Workshop on
State Of the Art in Program Analysis. SOAP 2016. ; 2016:1-6.'
apa: Arzt, S., Kussmaul, T., & Bodden, E. (2016). Towards Cross-Platform Cross-Language
Analysis with Soot. Proceedings of the 5th ACM SIGPLAN International Workshop
on State Of the Art in Program Analysis, 1–6.
bibtex: '@inproceedings{Arzt_Kussmaul_Bodden_2016, series={SOAP 2016}, title={Towards
Cross-Platform Cross-Language Analysis with Soot}, booktitle={Proceedings of the
5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis},
author={Arzt, Steven and Kussmaul, Tobias and Bodden, Eric}, year={2016}, pages={1–6},
collection={SOAP 2016} }'
chicago: Arzt, Steven, Tobias Kussmaul, and Eric Bodden. “Towards Cross-Platform
Cross-Language Analysis with Soot.” In Proceedings of the 5th ACM SIGPLAN International
Workshop on State Of the Art in Program Analysis, 1–6. SOAP 2016, 2016.
ieee: S. Arzt, T. Kussmaul, and E. Bodden, “Towards Cross-Platform Cross-Language
Analysis with Soot,” in Proceedings of the 5th ACM SIGPLAN International Workshop
on State Of the Art in Program Analysis, 2016, pp. 1–6.
mla: Arzt, Steven, et al. “Towards Cross-Platform Cross-Language Analysis with Soot.”
Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art
in Program Analysis, 2016, pp. 1–6.
short: 'S. Arzt, T. Kussmaul, E. Bodden, in: Proceedings of the 5th ACM SIGPLAN
International Workshop on State Of the Art in Program Analysis, 2016, pp. 1–6.'
date_created: 2020-12-14T12:02:21Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/akb16towards.pdf
page: 1-6
publication: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of
the Art in Program Analysis
series_title: SOAP 2016
status: public
title: Towards Cross-Platform Cross-Language Analysis with Soot
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20724'
author:
- first_name: Andreas
full_name: Follner, Andreas
last_name: Follner
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: Follner A, Bodden E. ROPocop — Dynamic mitigation of code-reuse attacks. Journal
of Information Security and Applications . 2016;29:16-26. doi:http://dx.doi.org/10.1016/j.jisa.2016.01.002
apa: Follner, A., & Bodden, E. (2016). ROPocop — Dynamic mitigation of code-reuse
attacks. Journal of Information Security and Applications , 29,
16–26. http://dx.doi.org/10.1016/j.jisa.2016.01.002
bibtex: '@article{Follner_Bodden_2016, title={ROPocop — Dynamic mitigation of code-reuse
attacks}, volume={29}, DOI={http://dx.doi.org/10.1016/j.jisa.2016.01.002},
journal={Journal of Information Security and Applications }, author={Follner,
Andreas and Bodden, Eric}, year={2016}, pages={16–26} }'
chicago: 'Follner, Andreas, and Eric Bodden. “ROPocop — Dynamic Mitigation of Code-Reuse
Attacks.” Journal of Information Security and Applications 29 (2016):
16–26. http://dx.doi.org/10.1016/j.jisa.2016.01.002.'
ieee: 'A. Follner and E. Bodden, “ROPocop — Dynamic mitigation of code-reuse attacks,”
Journal of Information Security and Applications , vol. 29, pp. 16–26,
2016, doi: http://dx.doi.org/10.1016/j.jisa.2016.01.002.'
mla: Follner, Andreas, and Eric Bodden. “ROPocop — Dynamic Mitigation of Code-Reuse
Attacks.” Journal of Information Security and Applications , vol. 29, 2016,
pp. 16–26, doi:http://dx.doi.org/10.1016/j.jisa.2016.01.002.
short: A. Follner, E. Bodden, Journal of Information Security and Applications 29
(2016) 16–26.
date_created: 2020-12-14T14:11:40Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
doi: http://dx.doi.org/10.1016/j.jisa.2016.01.002
intvolume: ' 29'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/fb2016ropocop.pdf
page: 16-26
publication: 'Journal of Information Security and Applications '
publication_identifier:
issn:
- 2214-2126
status: public
title: ROPocop — Dynamic mitigation of code-reuse attacks
type: journal_article
user_id: '5786'
volume: 29
year: '2016'
...
---
_id: '20725'
author:
- first_name: Andreas
full_name: Follner, Andreas
last_name: Follner
- first_name: Alexandre
full_name: Bartel, Alexandre
last_name: Bartel
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Follner A, Bartel A, Bodden E. Analyzing the Gadgets - Towards a Metric to
Measure Gadget Quality. In: International Symposium on Engineering Secure Software
and Systems (ESSoS). ; 2016.'
apa: Follner, A., Bartel, A., & Bodden, E. (2016). Analyzing the Gadgets - Towards
a Metric to Measure Gadget Quality. International Symposium on Engineering
Secure Software and Systems (ESSoS).
bibtex: '@inproceedings{Follner_Bartel_Bodden_2016, title={Analyzing the Gadgets
- Towards a Metric to Measure Gadget Quality}, booktitle={International Symposium
on Engineering Secure Software and Systems (ESSoS)}, author={Follner, Andreas
and Bartel, Alexandre and Bodden, Eric}, year={2016} }'
chicago: Follner, Andreas, Alexandre Bartel, and Eric Bodden. “Analyzing the Gadgets
- Towards a Metric to Measure Gadget Quality.” In International Symposium on
Engineering Secure Software and Systems (ESSoS), 2016.
ieee: A. Follner, A. Bartel, and E. Bodden, “Analyzing the Gadgets - Towards a Metric
to Measure Gadget Quality,” 2016.
mla: Follner, Andreas, et al. “Analyzing the Gadgets - Towards a Metric to Measure
Gadget Quality.” International Symposium on Engineering Secure Software and
Systems (ESSoS), 2016.
short: 'A. Follner, A. Bartel, E. Bodden, in: International Symposium on Engineering
Secure Software and Systems (ESSoS), 2016.'
date_created: 2020-12-14T14:12:36Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/fbb16analyzing.pdf
publication: International Symposium on Engineering Secure Software and Systems (ESSoS)
status: public
title: Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20726'
author:
- first_name: Kevin
full_name: Falzon, Kevin
last_name: Falzon
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Falzon K, Bodden E. Towards a Comprehensive Model of Isolation for Mitigating
Illicit Channels. In: Piessens F, Vigan’o L, eds. Principles of Security and
Trust: 5th International Conference, POST 2016, Held as Part of the European Joint
Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands,
April 2--8, 2016, Proceedings. Springer Berlin Heidelberg; 2016:116-138. doi:10.1007/978-3-662-49635-0_7'
apa: 'Falzon, K., & Bodden, E. (2016). Towards a Comprehensive Model of Isolation
for Mitigating Illicit Channels. In F. Piessens & L. Vigan’o (Eds.), Principles
of Security and Trust: 5th International Conference, POST 2016, Held as Part of
the European Joint Conferences on Theory and Practice of Software, ETAPS 2016,
Eindhoven, The Netherlands, April 2--8, 2016, Proceedings (pp. 116–138). Springer
Berlin Heidelberg. https://doi.org/10.1007/978-3-662-49635-0_7'
bibtex: '@inproceedings{Falzon_Bodden_2016, place={Berlin, Heidelberg}, title={Towards
a Comprehensive Model of Isolation for Mitigating Illicit Channels}, DOI={10.1007/978-3-662-49635-0_7},
booktitle={Principles of Security and Trust: 5th International Conference, POST
2016, Held as Part of the European Joint Conferences on Theory and Practice of
Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings},
publisher={Springer Berlin Heidelberg}, author={Falzon, Kevin and Bodden, Eric},
editor={Piessens, Frank and Vigan’o, Luca}, year={2016}, pages={116–138} }'
chicago: 'Falzon, Kevin, and Eric Bodden. “Towards a Comprehensive Model of Isolation
for Mitigating Illicit Channels.” In Principles of Security and Trust: 5th
International Conference, POST 2016, Held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April
2--8, 2016, Proceedings, edited by Frank Piessens and Luca Vigan’o, 116–38.
Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. https://doi.org/10.1007/978-3-662-49635-0_7.'
ieee: 'K. Falzon and E. Bodden, “Towards a Comprehensive Model of Isolation for
Mitigating Illicit Channels,” in Principles of Security and Trust: 5th International
Conference, POST 2016, Held as Part of the European Joint Conferences on Theory
and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8,
2016, Proceedings, 2016, pp. 116–138, doi: 10.1007/978-3-662-49635-0_7.'
mla: 'Falzon, Kevin, and Eric Bodden. “Towards a Comprehensive Model of Isolation
for Mitigating Illicit Channels.” Principles of Security and Trust: 5th International
Conference, POST 2016, Held as Part of the European Joint Conferences on Theory
and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8,
2016, Proceedings, edited by Frank Piessens and Luca Vigan’o, Springer Berlin
Heidelberg, 2016, pp. 116–38, doi:10.1007/978-3-662-49635-0_7.'
short: 'K. Falzon, E. Bodden, in: F. Piessens, L. Vigan’o (Eds.), Principles of
Security and Trust: 5th International Conference, POST 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven,
The Netherlands, April 2--8, 2016, Proceedings, Springer Berlin Heidelberg, Berlin,
Heidelberg, 2016, pp. 116–138.'
date_created: 2020-12-14T14:20:20Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
doi: 10.1007/978-3-662-49635-0_7
editor:
- first_name: Frank
full_name: Piessens, Frank
last_name: Piessens
- first_name: Luca
full_name: Vigan'o, Luca
last_name: Vigan'o
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/fb16mitigating.pdf
page: 116-138
place: Berlin, Heidelberg
publication: 'Principles of Security and Trust: 5th International Conference, POST
2016, Held as Part of the European Joint Conferences on Theory and Practice of Software,
ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings'
publication_identifier:
isbn:
- 978-3-662-49635-0
publisher: Springer Berlin Heidelberg
status: public
title: Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20727'
author:
- first_name: Siegfried
full_name: Rasthofer, Siegfried
last_name: Rasthofer
- first_name: Steven
full_name: Arzt, Steven
last_name: Arzt
- first_name: Marc
full_name: Miltenberger, Marc
last_name: Miltenberger
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Rasthofer S, Arzt S, Miltenberger M, Bodden E. Harvesting Runtime Values in
Android Applications That Feature Anti-Analysis Techniques. In: Network and
Distributed System Security Symposium (NDSS). ; 2016.'
apa: Rasthofer, S., Arzt, S., Miltenberger, M., & Bodden, E. (2016). Harvesting
Runtime Values in Android Applications That Feature Anti-Analysis Techniques.
Network and Distributed System Security Symposium (NDSS).
bibtex: '@inproceedings{Rasthofer_Arzt_Miltenberger_Bodden_2016, title={Harvesting
Runtime Values in Android Applications That Feature Anti-Analysis Techniques},
booktitle={Network and Distributed System Security Symposium (NDSS)}, author={Rasthofer,
Siegfried and Arzt, Steven and Miltenberger, Marc and Bodden, Eric}, year={2016}
}'
chicago: Rasthofer, Siegfried, Steven Arzt, Marc Miltenberger, and Eric Bodden.
“Harvesting Runtime Values in Android Applications That Feature Anti-Analysis
Techniques.” In Network and Distributed System Security Symposium (NDSS),
2016.
ieee: S. Rasthofer, S. Arzt, M. Miltenberger, and E. Bodden, “Harvesting Runtime
Values in Android Applications That Feature Anti-Analysis Techniques,” 2016.
mla: Rasthofer, Siegfried, et al. “Harvesting Runtime Values in Android Applications
That Feature Anti-Analysis Techniques.” Network and Distributed System Security
Symposium (NDSS), 2016.
short: 'S. Rasthofer, S. Arzt, M. Miltenberger, E. Bodden, in: Network and Distributed
System Security Symposium (NDSS), 2016.'
date_created: 2020-12-14T14:21:41Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/ssme16harvesting.pdf
publication: Network and Distributed System Security Symposium (NDSS)
status: public
title: Harvesting Runtime Values in Android Applications That Feature Anti-Analysis
Techniques
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20728'
author:
- first_name: Sarah
full_name: Nadi, Sarah
last_name: Nadi
- first_name: Stefan
full_name: Krüger, Stefan
last_name: Krüger
- 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
citation:
ama: 'Nadi S, Krüger S, Mezini M, Bodden E. Jumping Through Hoops: Why do Java Developers
Struggle With Cryptography APIs? In: International Conference for Software
Engineering (ICSE). ; 2016:935-946.'
apa: 'Nadi, S., Krüger, S., Mezini, M., & Bodden, E. (2016). Jumping Through
Hoops: Why do Java Developers Struggle With Cryptography APIs? International
Conference for Software Engineering (ICSE), 935–946.'
bibtex: '@inproceedings{Nadi_Krüger_Mezini_Bodden_2016, title={Jumping Through Hoops:
Why do Java Developers Struggle With Cryptography APIs?}, booktitle={International
Conference for Software Engineering (ICSE)}, author={Nadi, Sarah and Krüger, Stefan
and Mezini, Mira and Bodden, Eric}, year={2016}, pages={935–946} }'
chicago: 'Nadi, Sarah, Stefan Krüger, Mira Mezini, and Eric Bodden. “Jumping Through
Hoops: Why Do Java Developers Struggle With Cryptography APIs?” In International
Conference for Software Engineering (ICSE), 935–46, 2016.'
ieee: 'S. Nadi, S. Krüger, M. Mezini, and E. Bodden, “Jumping Through Hoops: Why
do Java Developers Struggle With Cryptography APIs?,” in International Conference
for Software Engineering (ICSE), 2016, pp. 935–946.'
mla: 'Nadi, Sarah, et al. “Jumping Through Hoops: Why Do Java Developers Struggle
With Cryptography APIs?” International Conference for Software Engineering
(ICSE), 2016, pp. 935–46.'
short: 'S. Nadi, S. Krüger, M. Mezini, E. Bodden, in: International Conference for
Software Engineering (ICSE), 2016, pp. 935–946.'
date_created: 2020-12-14T14:22:36Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
keyword:
- CROSSING
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/nkm+16jumping.pdf
page: 935-946
publication: International Conference for Software Engineering (ICSE)
status: public
title: 'Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs?'
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20729'
author:
- first_name: Steven
full_name: Arzt, Steven
last_name: Arzt
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Arzt S, Bodden E. StubDroid: Automatic Inference of Precise Data-flow Summaries
for the Android Framework. In: International Conference for Software Engineering
(ICSE). ; 2016.'
apa: 'Arzt, S., & Bodden, E. (2016). StubDroid: Automatic Inference of Precise
Data-flow Summaries for the Android Framework. International Conference for
Software Engineering (ICSE).'
bibtex: '@inproceedings{Arzt_Bodden_2016, title={StubDroid: Automatic Inference
of Precise Data-flow Summaries for the Android Framework}, booktitle={International
Conference for Software Engineering (ICSE)}, author={Arzt, Steven and Bodden,
Eric}, year={2016} }'
chicago: 'Arzt, Steven, and Eric Bodden. “StubDroid: Automatic Inference of Precise
Data-Flow Summaries for the Android Framework.” In International Conference
for Software Engineering (ICSE), 2016.'
ieee: 'S. Arzt and E. Bodden, “StubDroid: Automatic Inference of Precise Data-flow
Summaries for the Android Framework,” 2016.'
mla: 'Arzt, Steven, and Eric Bodden. “StubDroid: Automatic Inference of Precise
Data-Flow Summaries for the Android Framework.” International Conference for
Software Engineering (ICSE), 2016.'
short: 'S. Arzt, E. Bodden, in: International Conference for Software Engineering
(ICSE), 2016.'
date_created: 2020-12-14T14:23:29Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
keyword:
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/ab16stubdroid.pdf
publication: International Conference for Software Engineering (ICSE)
status: public
title: 'StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android
Framework'
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20730'
author:
- first_name: N.
full_name: Eling, N.
last_name: Eling
- first_name: S.
full_name: Rasthofer, S.
last_name: Rasthofer
- first_name: M.
full_name: Kolhagen, M.
last_name: Kolhagen
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: P.
full_name: Buxmann, P.
last_name: Buxmann
citation:
ama: 'Eling N, Rasthofer S, Kolhagen M, Bodden E, Buxmann P. Investigating Users’
Reaction to Fine-Grained Data Requests: A Market Experiment. In: 2016 49th
Hawaii International Conference on System Sciences (HICSS). ; 2016:3666-3675.
doi:10.1109/HICSS.2016.458'
apa: 'Eling, N., Rasthofer, S., Kolhagen, M., Bodden, E., & Buxmann, P. (2016).
Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment.
2016 49th Hawaii International Conference on System Sciences (HICSS), 3666–3675.
https://doi.org/10.1109/HICSS.2016.458'
bibtex: '@inproceedings{Eling_Rasthofer_Kolhagen_Bodden_Buxmann_2016, title={Investigating
Users’ Reaction to Fine-Grained Data Requests: A Market Experiment}, DOI={10.1109/HICSS.2016.458},
booktitle={2016 49th Hawaii International Conference on System Sciences (HICSS)},
author={Eling, N. and Rasthofer, S. and Kolhagen, M. and Bodden, Eric and Buxmann,
P.}, year={2016}, pages={3666–3675} }'
chicago: 'Eling, N., S. Rasthofer, M. Kolhagen, Eric Bodden, and P. Buxmann. “Investigating
Users’ Reaction to Fine-Grained Data Requests: A Market Experiment.” In 2016
49th Hawaii International Conference on System Sciences (HICSS), 3666–75,
2016. https://doi.org/10.1109/HICSS.2016.458.'
ieee: 'N. Eling, S. Rasthofer, M. Kolhagen, E. Bodden, and P. Buxmann, “Investigating
Users’ Reaction to Fine-Grained Data Requests: A Market Experiment,” in 2016
49th Hawaii International Conference on System Sciences (HICSS), 2016, pp.
3666–3675, doi: 10.1109/HICSS.2016.458.'
mla: 'Eling, N., et al. “Investigating Users’ Reaction to Fine-Grained Data Requests:
A Market Experiment.” 2016 49th Hawaii International Conference on System Sciences
(HICSS), 2016, pp. 3666–75, doi:10.1109/HICSS.2016.458.'
short: 'N. Eling, S. Rasthofer, M. Kolhagen, E. Bodden, P. Buxmann, in: 2016 49th
Hawaii International Conference on System Sciences (HICSS), 2016, pp. 3666–3675.'
date_created: 2020-12-14T14:24:12Z
date_updated: 2022-01-06T06:54:34Z
department:
- _id: '76'
doi: 10.1109/HICSS.2016.458
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/erk+15investigating.pdf
page: 3666-3675
publication: 2016 49th Hawaii International Conference on System Sciences (HICSS)
publication_identifier:
issn:
- 1530-1605
status: public
title: 'Investigating Users'' Reaction to Fine-Grained Data Requests: A Market Experiment'
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20822'
abstract:
- lang: eng
text: 'Several examples of mechatronic systems can be found nowadays in modern cars,
production systems, and medical technology. Day by day, the number of innovative
functionalities in such mechatronic systems is increasing. These functionalities
are realized with complex software. Such software exhibits hard real-time, safety
requirements. The adherence to these requirements must be thoroughly analyzed
and verified. Moreover, to obtain a significant increment in the reliability,
performance, and efficiency of such software, it needs to maintain the self-adaptation
of its properties. In order to develop such systems with a high quality and within
a short time, we need a systematic and consistent design method. For this purpose,
the software engineering group at the University of Paderborn and the Fraunhofer
IEM in Paderborn propose the MechatronicUML method. This method provides a comprehensive
model-driven process support, that starts from requirements and reaches the executable
software after passing through several design and analysis steps. This process
improves the comprehension during development and makes complex systems manageable.
MechatronicUML emphasizes mainly on: (1) modeling and (formal) verification of
reconfigurable software architectures, (2) the coordination among system components
in such architectures, and (3) the integration of discrete software events with
the continuous behavior of control devices.'
author:
- first_name: Stefan
full_name: Dziwok, Stefan
id: '3901'
last_name: Dziwok
orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Uwe
full_name: Pohlmann, Uwe
last_name: Pohlmann
- first_name: Goran
full_name: Piskachev, Goran
id: '41936'
last_name: Piskachev
orcid: 0000-0003-4424-5838
- first_name: David
full_name: Schubert, David
id: '9106'
last_name: Schubert
- first_name: Sebastian
full_name: Thiele, Sebastian
last_name: Thiele
- first_name: Christopher
full_name: Gerking, Christopher
last_name: Gerking
citation:
ama: 'Dziwok S, Pohlmann U, Piskachev G, Schubert D, Thiele S, Gerking C. The
MechatronicUML Design Method: Process and Language for Platform-Independent Modeling.;
2016.'
apa: 'Dziwok, S., Pohlmann, U., Piskachev, G., Schubert, D., Thiele, S., & Gerking,
C. (2016). The MechatronicUML Design Method: Process and Language for Platform-Independent
Modeling.'
bibtex: '@book{Dziwok_Pohlmann_Piskachev_Schubert_Thiele_Gerking_2016, place={Zukunftsmeile
1, 33102 Paderborn, Germany}, title={The MechatronicUML Design Method: Process
and Language for Platform-Independent Modeling}, author={Dziwok, Stefan and Pohlmann,
Uwe and Piskachev, Goran and Schubert, David and Thiele, Sebastian and Gerking,
Christopher}, year={2016} }'
chicago: 'Dziwok, Stefan, Uwe Pohlmann, Goran Piskachev, David Schubert, Sebastian
Thiele, and Christopher Gerking. The MechatronicUML Design Method: Process
and Language for Platform-Independent Modeling. Zukunftsmeile 1, 33102 Paderborn,
Germany, 2016.'
ieee: 'S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, and C. Gerking,
The MechatronicUML Design Method: Process and Language for Platform-Independent
Modeling. Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.'
mla: 'Dziwok, Stefan, et al. The MechatronicUML Design Method: Process and Language
for Platform-Independent Modeling. 2016.'
short: 'S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, C. Gerking,
The MechatronicUML Design Method: Process and Language for Platform-Independent
Modeling, Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.'
date_created: 2020-12-22T09:24:42Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
place: Zukunftsmeile 1, 33102 Paderborn, Germany
status: public
title: 'The MechatronicUML Design Method: Process and Language for Platform-Independent
Modeling'
type: report
user_id: '5786'
year: '2016'
...
---
_id: '20823'
abstract:
- lang: eng
text: 'In this technical report, we present the MechatronicUML requirements engineering
method. The method encompasses a process and a scenario-based modeling language
for the documentation and analysis of requirements on the message-based interaction
behavior of software-intensive systems. The modeling language uses a scenario
notation based on Modal Sequence Diagrams (MSDs), which borrows concepts of UML
Interactions as well as of Live Sequence Charts. Furthermore, we introduce the
so-called Emergency Braking & Evasion System (EBEAS) as a running example, which
is based on current and upcoming real-world driver assistance systems. '
author:
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Thorsten
full_name: Koch, Thorsten
id: '13616'
last_name: Koch
- first_name: David
full_name: Schmelter, David
id: '40982'
last_name: Schmelter
orcid: 0000-0001-7787-5380
- first_name: Christian
full_name: Brenner, Christian
last_name: Brenner
- first_name: Ruslan
full_name: Bernijazov, Ruslan
last_name: Bernijazov
- first_name: Marcel
full_name: Sander, Marcel
last_name: Sander
citation:
ama: 'Holtmann J, Fockel M, Koch T, et al. The MechatronicUML Requirements Engineering
Method: Process and Language.; 2016. doi:10.13140/RG.2.2.33223.29606'
apa: 'Holtmann, J., Fockel, M., Koch, T., Schmelter, D., Brenner, C., Bernijazov,
R., & Sander, M. (2016). The MechatronicUML Requirements Engineering Method:
Process and Language. https://doi.org/10.13140/RG.2.2.33223.29606'
bibtex: '@book{Holtmann_Fockel_Koch_Schmelter_Brenner_Bernijazov_Sander_2016, title={The
MechatronicUML Requirements Engineering Method: Process and Language}, DOI={10.13140/RG.2.2.33223.29606},
author={Holtmann, Jörg and Fockel, Markus and Koch, Thorsten and Schmelter, David
and Brenner, Christian and Bernijazov, Ruslan and Sander, Marcel}, year={2016}
}'
chicago: 'Holtmann, Jörg, Markus Fockel, Thorsten Koch, David Schmelter, Christian
Brenner, Ruslan Bernijazov, and Marcel Sander. The MechatronicUML Requirements
Engineering Method: Process and Language, 2016. https://doi.org/10.13140/RG.2.2.33223.29606.'
ieee: 'J. Holtmann et al., The MechatronicUML Requirements Engineering
Method: Process and Language. 2016.'
mla: 'Holtmann, Jörg, et al. The MechatronicUML Requirements Engineering Method:
Process and Language. 2016, doi:10.13140/RG.2.2.33223.29606.'
short: 'J. Holtmann, M. Fockel, T. Koch, D. Schmelter, C. Brenner, R. Bernijazov,
M. Sander, The MechatronicUML Requirements Engineering Method: Process and Language,
2016.'
date_created: 2020-12-22T09:28:23Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.13140/RG.2.2.33223.29606
language:
- iso: eng
status: public
title: 'The MechatronicUML Requirements Engineering Method: Process and Language'
type: report
user_id: '5786'
year: '2016'
...
---
_id: '20825'
abstract:
- lang: ger
text: Das Systemmodell ist der Kern des Model-Based Systems Engineering (MBSE).
Während jedoch im Systems Engineering dem Zusammenspiel von Produkt und Projekt
ein hoher Stellenwert beigemessen wird, liegt der Fokus im MBSE noch sehr stark
auf technischen Prozessen. Im Hinblick auf die Idee des Systemmodells als zentrale
Datenquelle sollten auch Stakeholder jenseits der direkten Entwicklungsaktivitäten
das Systemmodell entsprechend nutzen können und davon profitieren. Dazu wird ein
Demonstrator vorgestellt, welcher die Anwendung einer Komplexitätsanalyse auf
Basis des Systemmodells mechatronischer Systeme stellvertretend für Methoden in
Sinne der technischen Managementprozesse der ISO/IEC 15288 aufzeigt. Grundlage
des Demonstrators bildet das Systemmodell eines Pedelecs. Die darin modellierten
Strukturen dienen als Input für die Komplexitätsanalyse. Über die automatisierte
Anwendung der Komplexitätsanalyse ergibt sich als Output ein Portfolio, das die
Komplexität der funktionserfüllenden Komponenten mit der Bewertung der Funktionalität
in Beziehung setzt und somit eine Beurteilung und entsprechende Handlungsempfehlungen
der Komponenten ermöglicht.
author:
- first_name: Matthias
full_name: Greinert, Matthias
last_name: Greinert
- first_name: Christian
full_name: Tschirner, Christian
last_name: Tschirner
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
citation:
ama: 'Greinert M, Tschirner C, Holtmann J. Anwendung von Methoden der Produktentstehung
auf Basis des Systemmodells mechatronischer Systeme. In: Tag Des Systems Engineering
2016. Gesellschaft f{\"u}r Systems Engineering e.V.; 2016:77-86. doi:10.3139/9783446451414.008'
apa: Greinert, M., Tschirner, C., & Holtmann, J. (2016). Anwendung von Methoden
der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. Tag
Des Systems Engineering 2016, 77–86. https://doi.org/10.3139/9783446451414.008
bibtex: '@inproceedings{Greinert_Tschirner_Holtmann_2016, title={Anwendung von Methoden
der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme}, DOI={10.3139/9783446451414.008},
booktitle={Tag des Systems Engineering 2016}, publisher={Gesellschaft f{\"u}r
Systems Engineering e.V.}, author={Greinert, Matthias and Tschirner, Christian
and Holtmann, Jörg}, year={2016}, pages={77–86} }'
chicago: Greinert, Matthias, Christian Tschirner, and Jörg Holtmann. “Anwendung
von Methoden Der Produktentstehung Auf Basis Des Systemmodells Mechatronischer
Systeme.” In Tag Des Systems Engineering 2016, 77–86. Gesellschaft f{\"u}r
Systems Engineering e.V., 2016. https://doi.org/10.3139/9783446451414.008.
ieee: 'M. Greinert, C. Tschirner, and J. Holtmann, “Anwendung von Methoden der Produktentstehung
auf Basis des Systemmodells mechatronischer Systeme,” in Tag des Systems Engineering
2016, 2016, pp. 77–86, doi: 10.3139/9783446451414.008.'
mla: Greinert, Matthias, et al. “Anwendung von Methoden Der Produktentstehung Auf
Basis Des Systemmodells Mechatronischer Systeme.” Tag Des Systems Engineering
2016, Gesellschaft f{\"u}r Systems Engineering e.V., 2016, pp. 77–86, doi:10.3139/9783446451414.008.
short: 'M. Greinert, C. Tschirner, J. Holtmann, in: Tag Des Systems Engineering
2016, Gesellschaft f{\"u}r Systems Engineering e.V., 2016, pp. 77–86.'
date_created: 2020-12-22T09:32:08Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
doi: 10.3139/9783446451414.008
language:
- iso: eng
page: 77-86
publication: Tag des Systems Engineering 2016
publisher: Gesellschaft f{\"u}r Systems Engineering e.V.
status: public
title: Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer
Systeme
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '20830'
author:
- first_name: David
full_name: Schubert, David
id: '9106'
last_name: Schubert
- first_name: Christian
full_name: Heinzemann, Christian
last_name: Heinzemann
- first_name: Christopher
full_name: Gerking, Christopher
last_name: Gerking
citation:
ama: 'Schubert D, Heinzemann C, Gerking C. Towards Safe Execution of Reconfigurations
in Cyber-Physical Systems. In: Proceedings of the 19th International ACM Sigsoft
Symposium on Component-Based Software Engineering. ACM; 2016.'
apa: Schubert, D., Heinzemann, C., & Gerking, C. (2016). Towards Safe Execution
of Reconfigurations in Cyber-Physical Systems. Proceedings of the 19th International
ACM Sigsoft Symposium on Component-Based Software Engineering.
bibtex: '@inproceedings{Schubert_Heinzemann_Gerking_2016, title={Towards Safe Execution
of Reconfigurations in Cyber-Physical Systems}, booktitle={Proceedings of the
19th international ACM Sigsoft symposium on component-based software engineering},
publisher={ACM}, author={Schubert, David and Heinzemann, Christian and Gerking,
Christopher}, year={2016} }'
chicago: Schubert, David, Christian Heinzemann, and Christopher Gerking. “Towards
Safe Execution of Reconfigurations in Cyber-Physical Systems.” In Proceedings
of the 19th International ACM Sigsoft Symposium on Component-Based Software Engineering.
ACM, 2016.
ieee: D. Schubert, C. Heinzemann, and C. Gerking, “Towards Safe Execution of Reconfigurations
in Cyber-Physical Systems,” 2016.
mla: Schubert, David, et al. “Towards Safe Execution of Reconfigurations in Cyber-Physical
Systems.” Proceedings of the 19th International ACM Sigsoft Symposium on Component-Based
Software Engineering, ACM, 2016.
short: 'D. Schubert, C. Heinzemann, C. Gerking, in: Proceedings of the 19th International
ACM Sigsoft Symposium on Component-Based Software Engineering, ACM, 2016.'
date_created: 2020-12-22T09:41:56Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
publication: Proceedings of the 19th international ACM Sigsoft symposium on component-based
software engineering
publisher: ACM
status: public
title: Towards Safe Execution of Reconfigurations in Cyber-Physical Systems
type: conference
user_id: '5786'
year: '2016'
...
---
_id: '221'
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Klementina
full_name: Josifovska, Klementina
last_name: Josifovska
- first_name: Lorijn
full_name: van Rooijen, Lorijn
id: '58843'
last_name: van Rooijen
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: Platenius MC, Josifovska K, van Rooijen L, et al. An Overview of Service
Specification Language and Matching in On-The-Fly Computing (v0.3). Universität
Paderborn; 2016.
apa: Platenius, M. C., Josifovska, K., van Rooijen, L., Arifulina, S., Becker, M.,
Engels, G., & Schäfer, W. (2016). An Overview of Service Specification
Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn.
bibtex: '@book{Platenius_Josifovska_van Rooijen_Arifulina_Becker_Engels_Schäfer_2016,
title={An Overview of Service Specification Language and Matching in On-The-Fly
Computing (v0.3)}, publisher={Universität Paderborn}, author={Platenius, Marie
Christin and Josifovska, Klementina and van Rooijen, Lorijn and Arifulina, Svetlana
and Becker, Matthias and Engels, Gregor and Schäfer, Wilhelm}, year={2016} }'
chicago: Platenius, Marie Christin, Klementina Josifovska, Lorijn van Rooijen, Svetlana
Arifulina, Matthias Becker, Gregor Engels, and Wilhelm Schäfer. An Overview
of Service Specification Language and Matching in On-The-Fly Computing (v0.3).
Universität Paderborn, 2016.
ieee: M. C. Platenius et al., An Overview of Service Specification Language
and Matching in On-The-Fly Computing (v0.3). Universität Paderborn, 2016.
mla: Platenius, Marie Christin, et al. An Overview of Service Specification Language
and Matching in On-The-Fly Computing (v0.3). Universität Paderborn, 2016.
short: M.C. Platenius, K. Josifovska, L. van Rooijen, S. Arifulina, M. Becker, G.
Engels, W. Schäfer, An Overview of Service Specification Language and Matching
in On-The-Fly Computing (v0.3), Universität Paderborn, 2016.
date_created: 2017-10-17T12:41:35Z
date_updated: 2022-01-06T06:55:25Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T10:36:37Z
date_updated: 2018-03-21T10:36:37Z
file_id: '1512'
file_name: 221-SFB_SSL_Techreport.pdf
file_size: 6498677
relation: main_file
success: 1
file_date_updated: 2018-03-21T10:36:37Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '11'
name: SFB 901 - Subproject B3
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: An Overview of Service Specification Language and Matching in On-The-Fly Computing
(v0.3)
type: report
user_id: '477'
year: '2016'
...
---
_id: '5205'
author:
- first_name: Johannes
full_name: Späth, Johannes
last_name: Späth
- 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: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Späth J, Nguyen Quang Do L, Ali K, Bodden E. Boomerang: Demand-Driven Flow-
and Context-Sensitive Pointer Analysis for Java. In: European Conference on
Object-Oriented Programming (ECOOP). ; 2016.'
apa: 'Späth, J., Nguyen Quang Do, L., Ali, K., & Bodden, E. (2016). Boomerang:
Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. In European
Conference on Object-Oriented Programming (ECOOP).'
bibtex: '@inproceedings{Späth_Nguyen Quang Do_Ali_Bodden_2016, title={Boomerang:
Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java}, booktitle={European
Conference on Object-Oriented Programming (ECOOP)}, author={Späth, Johannes and
Nguyen Quang Do, Lisa and Ali, Karim and Bodden, Eric}, year={2016} }'
chicago: 'Späth, Johannes, Lisa Nguyen Quang Do, Karim Ali, and Eric Bodden. “Boomerang:
Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.” In European
Conference on Object-Oriented Programming (ECOOP), 2016.'
ieee: 'J. Späth, L. Nguyen Quang Do, K. Ali, and E. Bodden, “Boomerang: Demand-Driven
Flow- and Context-Sensitive Pointer Analysis for Java,” in European Conference
on Object-Oriented Programming (ECOOP), 2016.'
mla: 'Späth, Johannes, et al. “Boomerang: Demand-Driven Flow- and Context-Sensitive
Pointer Analysis for Java.” European Conference on Object-Oriented Programming
(ECOOP), 2016.'
short: 'J. Späth, L. Nguyen Quang Do, K. Ali, E. Bodden, in: European Conference
on Object-Oriented Programming (ECOOP), 2016.'
date_created: 2018-10-31T12:51:26Z
date_updated: 2022-01-06T07:01:45Z
ddc:
- '000'
department:
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:13:19Z
date_updated: 2018-11-02T14:13:19Z
file_id: '5265'
file_name: sna+16boomerang.pdf
file_size: 1921617
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:13:19Z
has_accepted_license: '1'
keyword:
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/sna+16boomerang.pdf
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: European Conference on Object-Oriented Programming (ECOOP)
status: public
title: 'Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for
Java'
type: conference
user_id: '477'
year: '2016'
...
---
_id: '280'
abstract:
- lang: eng
text: The Collaborative Research Centre "On-The-Fly Computing" works on foundations
and principles for the vision of the Future Internet. It proposes the paradigm
of On-The-Fly Computing, which tackles emerging worldwide service markets. In
these markets, service providers trade software, platform, and infrastructure
as a service. Service requesters state requirements on services. To satisfy these
requirements, the new role of brokers, who are (human) actors building service
compositions on the fly, is introduced. Brokers have to specify service compositions
formally and comprehensively using a domain-specific language (DSL), and to use
service matching for the discovery of the constituent services available in the
market. The broker's choice of the DSL and matching approaches influences her
success of building compositions as distinctive properties of different service
markets play a significant role. In this paper, we propose a new approach of engineering
a situation-specific DSL by customizing a comprehensive, modular DSL and its matching
for given service market properties. This enables the broker to create market-specific
composition specifications and to perform market-specific service matching. As
a result, the broker builds service compositions satisfying the requester's requirements
more accurately. We evaluated the presented concepts using case studies in service
markets for tourism and university management.
author:
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Arifulina S, Platenius MC, Mohr F, Engels G, Schäfer W. Market-Specific Service
Compositions: Specification and Matching. In: Proceedings of the IEEE 11th
World Congress on Services (SERVICES), Visionary Track: Service Composition for
the Future Internet. ; 2015:333--340. doi:10.1109/SERVICES.2015.58'
apa: 'Arifulina, S., Platenius, M. C., Mohr, F., Engels, G., & Schäfer, W. (2015).
Market-Specific Service Compositions: Specification and Matching. In Proceedings
of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service
Composition for the Future Internet (pp. 333--340). https://doi.org/10.1109/SERVICES.2015.58'
bibtex: '@inproceedings{Arifulina_Platenius_Mohr_Engels_Schäfer_2015, title={Market-Specific
Service Compositions: Specification and Matching}, DOI={10.1109/SERVICES.2015.58},
booktitle={Proceedings of the IEEE 11th World Congress on Services (SERVICES),
Visionary Track: Service Composition for the Future Internet}, author={Arifulina,
Svetlana and Platenius, Marie Christin and Mohr, Felix and Engels, Gregor and
Schäfer, Wilhelm}, year={2015}, pages={333--340} }'
chicago: 'Arifulina, Svetlana, Marie Christin Platenius, Felix Mohr, Gregor Engels,
and Wilhelm Schäfer. “Market-Specific Service Compositions: Specification and
Matching.” In Proceedings of the IEEE 11th World Congress on Services (SERVICES),
Visionary Track: Service Composition for the Future Internet, 333--340, 2015.
https://doi.org/10.1109/SERVICES.2015.58.'
ieee: 'S. Arifulina, M. C. Platenius, F. Mohr, G. Engels, and W. Schäfer, “Market-Specific
Service Compositions: Specification and Matching,” in Proceedings of the IEEE
11th World Congress on Services (SERVICES), Visionary Track: Service Composition
for the Future Internet, 2015, pp. 333--340.'
mla: 'Arifulina, Svetlana, et al. “Market-Specific Service Compositions: Specification
and Matching.” Proceedings of the IEEE 11th World Congress on Services (SERVICES),
Visionary Track: Service Composition for the Future Internet, 2015, pp. 333--340,
doi:10.1109/SERVICES.2015.58.'
short: 'S. Arifulina, M.C. Platenius, F. Mohr, G. Engels, W. Schäfer, in: Proceedings
of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service
Composition for the Future Internet, 2015, pp. 333--340.'
date_created: 2017-10-17T12:41:46Z
date_updated: 2022-01-06T06:57:49Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
- _id: '355'
doi: 10.1109/SERVICES.2015.58
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:26:04Z
date_updated: 2018-03-21T09:26:04Z
file_id: '1470'
file_name: 280-07196546.pdf
file_size: 234260
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:26:04Z
has_accepted_license: '1'
language:
- iso: eng
page: 333--340
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '10'
name: SFB 901 - Subproject B2
- _id: '3'
name: SFB 901 - Project Area B
publication: 'Proceedings of the IEEE 11th World Congress on Services (SERVICES),
Visionary Track: Service Composition for the Future Internet'
status: public
title: 'Market-Specific Service Compositions: Specification and Matching'
type: conference
user_id: '477'
year: '2015'
...
---
_id: '313'
abstract:
- lang: eng
text: 'Nowadays, many service providers offer software components in the form of
Software as a Service. Requesters that want to discover those services in order
to use or to integrate them, need to find out which service satisfies their requirements
best. For this purpose, service matching approaches determine how well the specifications
of provided services satisfy their requirements (including structural, behavioral,
and non-functional requirements). In this paper, we describe the tool-suite MatchBox
that allows the integration of existing service matchers and their combination
as part of flexibly configurable matching processes. Taking requirements and service
specifications as an input, MatchBox is able to execute such matching processes
and deliver rich matching results. In contrast to related tools, MatchBox allows
users to take into account many different kinds of requirements, while it also
provides the flexibility to control the matching process in many different ways. '
author:
- first_name: Paul
full_name: Börding, Paul
last_name: Börding
- first_name: Melanie
full_name: Bruns, Melanie
last_name: Bruns
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
citation:
ama: 'Börding P, Bruns M, Platenius MC. Comprehensive Service Matching with MatchBox.
In: 10th Joint Meeting of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15).
; 2015:974--977. doi:10.1145/2786805.2803181'
apa: Börding, P., Bruns, M., & Platenius, M. C. (2015). Comprehensive Service
Matching with MatchBox. In 10th Joint Meeting of the European Software Engineering
Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
(ESEC/FSE’15) (pp. 974--977). https://doi.org/10.1145/2786805.2803181
bibtex: '@inproceedings{Börding_Bruns_Platenius_2015, title={Comprehensive Service
Matching with MatchBox}, DOI={10.1145/2786805.2803181},
booktitle={10th Joint Meeting of the European Software Engineering Conference
and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15)},
author={Börding, Paul and Bruns, Melanie and Platenius, Marie Christin}, year={2015},
pages={974--977} }'
chicago: Börding, Paul, Melanie Bruns, and Marie Christin Platenius. “Comprehensive
Service Matching with MatchBox.” In 10th Joint Meeting of the European Software
Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software
Engineering (ESEC/FSE’15), 974--977, 2015. https://doi.org/10.1145/2786805.2803181.
ieee: P. Börding, M. Bruns, and M. C. Platenius, “Comprehensive Service Matching
with MatchBox,” in 10th Joint Meeting of the European Software Engineering
Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
(ESEC/FSE’15), 2015, pp. 974--977.
mla: Börding, Paul, et al. “Comprehensive Service Matching with MatchBox.” 10th
Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT
Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 2015,
pp. 974--977, doi:10.1145/2786805.2803181.
short: 'P. Börding, M. Bruns, M.C. Platenius, in: 10th Joint Meeting of the European
Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations
of Software Engineering (ESEC/FSE’15), 2015, pp. 974--977.'
date_created: 2017-10-17T12:41:53Z
date_updated: 2022-01-06T06:58:58Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1145/2786805.2803181
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:44:26Z
date_updated: 2018-03-20T07:44:26Z
file_id: '1438'
file_name: 313-p974-boerding.pdf
file_size: 875687
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:44:26Z
has_accepted_license: '1'
language:
- iso: eng
page: 974--977
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: 10th Joint Meeting of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'15)
status: public
title: Comprehensive Service Matching with MatchBox
type: conference
user_id: '477'
year: '2015'
...
---
_id: '279'
abstract:
- lang: eng
text: Service discovery in global software markets is performed by brokers who act
as intermediaries between service consumers and service providers.In order to
discover services, brokers apply service matching for determining whether the
specification of a provided service satisfies the consumer's requirements.Brokers
can already choose between a lot of different service matching approaches considering
different service properties (structural, behavioral, and non-functional properties).Different
matching approaches can be combined into configurable matching processes leading
to a high matching quality (e.g., accurate matching results). However, this combination
and configuration is a manual procedure and has to be repeated for different consumers'
or market requirements regarding matching quality. In this paper, we propose our
framework MatchBox, which supports a broker in reusing existing matching approaches
and combining them in a model-driven way based on a reconfigurable model of the
matching process.Using this reconfigurable model, MatchBox takes care of control
and data flow between matching approaches and executes the modeled processes automatically.As
a case study, we integrated eleven matchers into MatchBox to demonstrate that
it remains flexibility and reduces effort for a broker at the same time.
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Platenius MC, Arifulina S, Schäfer W. MatchBox: A Framework for Dynamic Configuration
of Service Matching Processes. In: Proceedings of the 18th International ACM
Sigsoft Symposium on Component-Based Software Engineering (CBSE’15). ; 2015:75-84.
doi:10.1145/2737166.2737174'
apa: 'Platenius, M. C., Arifulina, S., & Schäfer, W. (2015). MatchBox: A Framework
for Dynamic Configuration of Service Matching Processes. In Proceedings of
the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering
(CBSE’15) (pp. 75–84). https://doi.org/10.1145/2737166.2737174'
bibtex: '@inproceedings{Platenius_Arifulina_Schäfer_2015, title={MatchBox: A Framework
for Dynamic Configuration of Service Matching Processes}, DOI={10.1145/2737166.2737174},
booktitle={Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based
Software Engineering (CBSE’15)}, author={Platenius, Marie Christin and Arifulina,
Svetlana and Schäfer, Wilhelm}, year={2015}, pages={75–84} }'
chicago: 'Platenius, Marie Christin, Svetlana Arifulina, and Wilhelm Schäfer. “MatchBox:
A Framework for Dynamic Configuration of Service Matching Processes.” In Proceedings
of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering
(CBSE’15), 75–84, 2015. https://doi.org/10.1145/2737166.2737174.'
ieee: 'M. C. Platenius, S. Arifulina, and W. Schäfer, “MatchBox: A Framework for
Dynamic Configuration of Service Matching Processes,” in Proceedings of the
18th International ACM Sigsoft Symposium on Component-Based Software Engineering
(CBSE’15), 2015, pp. 75–84.'
mla: 'Platenius, Marie Christin, et al. “MatchBox: A Framework for Dynamic Configuration
of Service Matching Processes.” Proceedings of the 18th International ACM Sigsoft
Symposium on Component-Based Software Engineering (CBSE’15), 2015, pp. 75–84,
doi:10.1145/2737166.2737174.'
short: 'M.C. Platenius, S. Arifulina, W. Schäfer, in: Proceedings of the 18th International
ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15), 2015,
pp. 75–84.'
date_created: 2017-10-17T12:41:46Z
date_updated: 2022-01-06T06:57:48Z
ddc:
- '040'
department:
- _id: '76'
- _id: '66'
doi: 10.1145/2737166.2737174
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:26:40Z
date_updated: 2018-03-21T09:26:40Z
file_id: '1471'
file_name: 279-p75-platenius.pdf
file_size: 2090964
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:26:40Z
has_accepted_license: '1'
language:
- iso: eng
page: 75-84
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '9'
name: SFB 901 - Subproject B1
publication: Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based
Software Engineering (CBSE'15)
status: public
title: 'MatchBox: A Framework for Dynamic Configuration of Service Matching Processes'
type: conference
user_id: '477'
year: '2015'
...
---
_id: '20977'
author:
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Stefan
full_name: Dziwok, Stefan
id: '3901'
last_name: Dziwok
orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Uwe
full_name: Pohlmann, Uwe
last_name: Pohlmann
- first_name: Jan
full_name: Bobolz, Jan
last_name: Bobolz
- first_name: Mike
full_name: Czech, Mike
last_name: Czech
- first_name: Andreas Peter
full_name: Dann, Andreas Peter
last_name: Dann
- first_name: Johannes
full_name: Geismann, Johannes
last_name: Geismann
- first_name: Marcus
full_name: Hüwe, Marcus
id: '13606'
last_name: Hüwe
- first_name: Arthur
full_name: Krieger, Arthur
last_name: Krieger
- first_name: Goran
full_name: Piskachev, Goran
last_name: Piskachev
- first_name: David
full_name: Schubert, David
id: '9106'
last_name: Schubert
- first_name: Rebekka
full_name: Wohlrab, Rebekka
last_name: Wohlrab
citation:
ama: Schäfer W, Dziwok S, Pohlmann U, et al. Seminar Theses of the Project Group
Cybertron.; 2015.
apa: Schäfer, W., Dziwok, S., Pohlmann, U., Bobolz, J., Czech, M., Dann, A. P.,
Geismann, J., Hüwe, M., Krieger, A., Piskachev, G., Schubert, D., & Wohlrab,
R. (2015). Seminar Theses of the Project Group Cybertron.
bibtex: '@book{Schäfer_Dziwok_Pohlmann_Bobolz_Czech_Dann_Geismann_Hüwe_Krieger_Piskachev_et
al._2015, title={Seminar Theses of the Project Group Cybertron}, author={Schäfer,
Wilhelm and Dziwok, Stefan and Pohlmann, Uwe and Bobolz, Jan and Czech, Mike and
Dann, Andreas Peter and Geismann, Johannes and Hüwe, Marcus and Krieger, Arthur
and Piskachev, Goran and et al.}, year={2015} }'
chicago: Schäfer, Wilhelm, Stefan Dziwok, Uwe Pohlmann, Jan Bobolz, Mike Czech,
Andreas Peter Dann, Johannes Geismann, et al. Seminar Theses of the Project
Group Cybertron, 2015.
ieee: W. Schäfer et al., Seminar Theses of the Project Group Cybertron.
2015.
mla: Schäfer, Wilhelm, et al. Seminar Theses of the Project Group Cybertron.
2015.
short: W. Schäfer, S. Dziwok, U. Pohlmann, J. Bobolz, M. Czech, A.P. Dann, J. Geismann,
M. Hüwe, A. Krieger, G. Piskachev, D. Schubert, R. Wohlrab, Seminar Theses of
the Project Group Cybertron, 2015.
date_created: 2021-01-13T13:21:34Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
status: public
title: Seminar Theses of the Project Group Cybertron
type: report
user_id: '5786'
year: '2015'
...
---
_id: '20979'
author:
- first_name: Lars
full_name: Stockmann, Lars
id: '48144'
last_name: Stockmann
citation:
ama: 'Stockmann L. Debugging Models in the Context of Automotive Software Development.
In: Chechik M, Kolovos D, eds. Proceedings of the Doctoral Symposium of the
ACM/IEEE 18th International Conference on Model Driven Engineering Languages and
Systems. ; 2015.'
apa: Stockmann, L. (2015). Debugging Models in the Context of Automotive Software
Development. In M. Chechik & D. Kolovos (Eds.), Proceedings of the Doctoral
Symposium of the ACM/IEEE 18th International Conference on Model Driven Engineering
Languages and Systems.
bibtex: '@inproceedings{Stockmann_2015, title={Debugging Models in the Context of
Automotive Software Development}, booktitle={Proceedings of the Doctoral Symposium
of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages
and Systems}, author={Stockmann, Lars}, editor={Chechik, Marsha and Kolovos, Dimitris},
year={2015} }'
chicago: Stockmann, Lars. “Debugging Models in the Context of Automotive Software
Development.” In Proceedings of the Doctoral Symposium of the ACM/IEEE 18th
International Conference on Model Driven Engineering Languages and Systems,
edited by Marsha Chechik and Dimitris Kolovos, 2015.
ieee: L. Stockmann, “Debugging Models in the Context of Automotive Software Development,”
in Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International
Conference on Model Driven Engineering Languages and Systems, 2015.
mla: Stockmann, Lars. “Debugging Models in the Context of Automotive Software Development.”
Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International Conference
on Model Driven Engineering Languages and Systems, edited by Marsha Chechik
and Dimitris Kolovos, 2015.
short: 'L. Stockmann, in: M. Chechik, D. Kolovos (Eds.), Proceedings of the Doctoral
Symposium of the ACM/IEEE 18th International Conference on Model Driven Engineering
Languages and Systems, 2015.'
date_created: 2021-01-13T13:27:27Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
editor:
- first_name: Marsha
full_name: Chechik, Marsha
last_name: Chechik
- first_name: Dimitris
full_name: Kolovos, Dimitris
last_name: Kolovos
language:
- iso: eng
publication: Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International
Conference on Model Driven Engineering Languages and Systems
status: public
title: Debugging Models in the Context of Automotive Software Development
type: conference
user_id: '5786'
year: '2015'
...
---
_id: '20832'
author:
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Stefan
full_name: Dziwok, Stefan
id: '3901'
last_name: Dziwok
orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Uwe
full_name: Pohlmann, Uwe
last_name: Pohlmann
- first_name: Jan
full_name: Bobolz, Jan
id: '27207'
last_name: Bobolz
- first_name: Mike
full_name: Czech, Mike
last_name: Czech
- first_name: Andreas Peter
full_name: Dann, Andreas Peter
id: '26886'
last_name: Dann
- first_name: Johannes
full_name: Geismann, Johannes
id: '20063'
last_name: Geismann
orcid: https://orcid.org/0000-0003-2015-2047
- first_name: Marcus
full_name: Hüwe, Marcus
id: '13606'
last_name: Hüwe
- first_name: Arthur
full_name: Krieger, Arthur
last_name: Krieger
- first_name: Goran
full_name: Piskachev, Goran
id: '41936'
last_name: Piskachev
orcid: 0000-0003-4424-5838
- first_name: David
full_name: Schubert, David
id: '9106'
last_name: Schubert
- first_name: Rebekka
full_name: Wohlrab, Rebekka
last_name: Wohlrab
citation:
ama: Schäfer W, Dziwok S, Pohlmann U, et al. Seminar Theses of the Project Group
Cybertron.; 2015.
apa: Schäfer, W., Dziwok, S., Pohlmann, U., Bobolz, J., Czech, M., Dann, A. P.,
Geismann, J., Hüwe, M., Krieger, A., Piskachev, G., Schubert, D., & Wohlrab,
R. (2015). Seminar Theses of the Project Group Cybertron.
bibtex: '@book{Schäfer_Dziwok_Pohlmann_Bobolz_Czech_Dann_Geismann_Hüwe_Krieger_Piskachev_et
al._2015, title={Seminar Theses of the Project Group Cybertron}, author={Schäfer,
Wilhelm and Dziwok, Stefan and Pohlmann, Uwe and Bobolz, Jan and Czech, Mike and
Dann, Andreas Peter and Geismann, Johannes and Hüwe, Marcus and Krieger, Arthur
and Piskachev, Goran and et al.}, year={2015} }'
chicago: Schäfer, Wilhelm, Stefan Dziwok, Uwe Pohlmann, Jan Bobolz, Mike Czech,
Andreas Peter Dann, Johannes Geismann, et al. Seminar Theses of the Project
Group Cybertron, 2015.
ieee: W. Schäfer et al., Seminar Theses of the Project Group Cybertron.
2015.
mla: Schäfer, Wilhelm, et al. Seminar Theses of the Project Group Cybertron.
2015.
short: W. Schäfer, S. Dziwok, U. Pohlmann, J. Bobolz, M. Czech, A.P. Dann, J. Geismann,
M. Hüwe, A. Krieger, G. Piskachev, D. Schubert, R. Wohlrab, Seminar Theses of
the Project Group Cybertron, 2015.
date_created: 2020-12-22T10:03:05Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
language:
- iso: eng
status: public
title: Seminar Theses of the Project Group Cybertron
type: report
user_id: '5786'
year: '2015'
...
---
_id: '20833'
author:
- first_name: Johannes
full_name: Geismann, Johannes
id: '20063'
last_name: Geismann
orcid: https://orcid.org/0000-0003-2015-2047
citation:
ama: Geismann J. Multi-Core Execution of Safety-Critical Component-Based Software.
Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2015.
apa: Geismann, J. (2015). Multi-Core Execution of Safety-Critical Component-Based
Software. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
bibtex: '@book{Geismann_2015, title={Multi-Core Execution of Safety-Critical Component-Based
Software}, publisher={Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik},
author={Geismann, Johannes}, year={2015} }'
chicago: Geismann, Johannes. Multi-Core Execution of Safety-Critical Component-Based
Software. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik,
2015.
ieee: J. Geismann, Multi-Core Execution of Safety-Critical Component-Based Software.
Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2015.
mla: Geismann, Johannes. Multi-Core Execution of Safety-Critical Component-Based
Software. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik,
2015.
short: J. Geismann, Multi-Core Execution of Safety-Critical Component-Based Software,
Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2015.
date_created: 2020-12-22T10:04:54Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
language:
- iso: eng
publisher: Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik
status: public
title: Multi-Core Execution of Safety-Critical Component-Based Software
type: mastersthesis
user_id: '5786'
year: '2015'
...
---
_id: '20902'
abstract:
- lang: ger
text: Die Komplexität moderner Fahrzeuge steigt aufgrund der zunehmenden Anzahl
von Funktionen, die durch elektronische Systeme umgesetzt werden. Insbesondere
nehmen die Abhängigkeiten zwischen den an der Entwicklung beteiligten Fachdisziplinen
und der Softwareanteil massiv zu. Wir haben einen für die Automobilindustrie angepassten,
zum Reifegradmodell Automotive SPICE konformen Prozess für die Entwicklung von
Steuergeräten konzipiert, der ein fachdisziplinübergreifendes Systems Engineering
und einen systematischen Übergang in die Softwareentwicklung unterstützt. Im Kontext
dieses Entwicklungsprozess beschreiben wir in diesem Beitrag den Übergang vom
UML-basierten Softwareentwurf zum in der Automobilindustrie etablierten AUTOSAR-Standard
mit Hilfe einer automatischen Modelltransformation. So werden fehleranfällige
und zeitaufwändige manuelle Tätigkeiten reduziert. Wir haben die Generierung von
AUTOSAR-Modellen gemeinsam mit dem international tätigen Automobilzulieferer Hella
KGaA Hueck & Co. in seriennahen Entwicklungsprojekten praktisch erprobt und Zeit-
und Kostenersparnisse festgestellt.
author:
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Thorsten
full_name: Koch, Thorsten
id: '13616'
last_name: Koch
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
citation:
ama: 'Meyer J, Holtmann J, Koch T, Meyer M. Generierung von AUTOSAR-Modellen aus
UML-Spezifikationen. In: Gausemeier J, Dumitrescu R, Rammig F-J, Schäfer W, Trächtler
A, eds. 10. Paderborner Workshop Entwurf Mechatronischer Systeme. Vol 343.
Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut;
2015:159–172.'
apa: Meyer, J., Holtmann, J., Koch, T., & Meyer, M. (2015). Generierung von
AUTOSAR-Modellen aus UML-Spezifikationen. In J. Gausemeier, R. Dumitrescu, F.-J.
Rammig, W. Schäfer, & A. Trächtler (Eds.), 10. Paderborner Workshop Entwurf
mechatronischer Systeme (Vol. 343, pp. 159–172). Heinz Nixdorf Institut.
bibtex: '@inproceedings{Meyer_Holtmann_Koch_Meyer_2015, series={Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn}, title={Generierung von AUTOSAR-Modellen
aus UML-Spezifikationen}, volume={343}, booktitle={10. Paderborner Workshop Entwurf
mechatronischer Systeme}, publisher={Heinz Nixdorf Institut}, author={Meyer, Jan
and Holtmann, Jörg and Koch, Thorsten and Meyer, Matthias}, editor={Gausemeier,
Jürgen and Dumitrescu, Roman and Rammig, Franz-Josef and Schäfer, Wilhelm and
Trächtler, Ansgar}, year={2015}, pages={159–172}, collection={Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn} }'
chicago: Meyer, Jan, Jörg Holtmann, Thorsten Koch, and Matthias Meyer. “Generierung
von AUTOSAR-Modellen Aus UML-Spezifikationen.” In 10. Paderborner Workshop
Entwurf Mechatronischer Systeme, edited by Jürgen Gausemeier, Roman Dumitrescu,
Franz-Josef Rammig, Wilhelm Schäfer, and Ansgar Trächtler, 343:159–172. Verlagsschriftenreihe
Des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut, 2015.
ieee: J. Meyer, J. Holtmann, T. Koch, and M. Meyer, “Generierung von AUTOSAR-Modellen
aus UML-Spezifikationen,” in 10. Paderborner Workshop Entwurf mechatronischer
Systeme, 2015, vol. 343, pp. 159–172.
mla: Meyer, Jan, et al. “Generierung von AUTOSAR-Modellen Aus UML-Spezifikationen.”
10. Paderborner Workshop Entwurf Mechatronischer Systeme, edited by Jürgen
Gausemeier et al., vol. 343, Heinz Nixdorf Institut, 2015, pp. 159–172.
short: 'J. Meyer, J. Holtmann, T. Koch, M. Meyer, in: J. Gausemeier, R. Dumitrescu,
F.-J. Rammig, W. Schäfer, A. Trächtler (Eds.), 10. Paderborner Workshop Entwurf
Mechatronischer Systeme, Heinz Nixdorf Institut, 2015, pp. 159–172.'
date_created: 2021-01-12T13:56:52Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
editor:
- first_name: Jürgen
full_name: Gausemeier, Jürgen
last_name: Gausemeier
- first_name: Roman
full_name: Dumitrescu, Roman
last_name: Dumitrescu
- first_name: Franz-Josef
full_name: Rammig, Franz-Josef
last_name: Rammig
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Ansgar
full_name: Trächtler, Ansgar
last_name: Trächtler
intvolume: ' 343'
language:
- iso: eng
page: 159–172
publication: 10. Paderborner Workshop Entwurf mechatronischer Systeme
publisher: Heinz Nixdorf Institut
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Generierung von AUTOSAR-Modellen aus UML-Spezifikationen
type: conference
user_id: '5786'
volume: 343
year: '2015'
...
---
_id: '5207'
author:
- first_name: Li
full_name: Li, Li
last_name: Li
- first_name: Alexandre
full_name: Bartel, Alexandre
last_name: Bartel
- first_name: Tegawende F.
full_name: Bissyande, Tegawende F.
last_name: Bissyande
- first_name: Jacques
full_name: Klein, Jacques
last_name: Klein
- first_name: Yves
full_name: Le Traon, Yves
last_name: Le Traon
- first_name: Steven
full_name: Arzt, Steven
last_name: Arzt
- first_name: Siegfried
full_name: Rasthofer, Siegfried
last_name: Rasthofer
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Damien
full_name: Octeau, Damien
last_name: Octeau
- first_name: Patrick
full_name: McDaniel, Patrick
last_name: McDaniel
citation:
ama: 'Li L, Bartel A, Bissyande TF, et al. IccTA: Detecting Inter-Component Privacy
Leaks in Android Apps. In: 2015 International Conference on Software Engineering
(ICSE). ; 2015:280-291.'
apa: 'Li, L., Bartel, A., Bissyande, T. F., Klein, J., Le Traon, Y., Arzt, S., …
McDaniel, P. (2015). IccTA: Detecting Inter-Component Privacy Leaks in Android
Apps. In 2015 International Conference on Software Engineering (ICSE) (pp.
280–291).'
bibtex: '@inproceedings{Li_Bartel_Bissyande_Klein_Le Traon_Arzt_Rasthofer_Bodden_Octeau_McDaniel_2015,
title={IccTA: Detecting Inter-Component Privacy Leaks in Android Apps}, booktitle={2015
International Conference on Software Engineering (ICSE)}, author={Li, Li and Bartel,
Alexandre and Bissyande, Tegawende F. and Klein, Jacques and Le Traon, Yves and
Arzt, Steven and Rasthofer, Siegfried and Bodden, Eric and Octeau, Damien and
McDaniel, Patrick}, year={2015}, pages={280–291} }'
chicago: 'Li, Li, Alexandre Bartel, Tegawende F. Bissyande, Jacques Klein, Yves
Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, and Patrick
McDaniel. “IccTA: Detecting Inter-Component Privacy Leaks in Android Apps.” In
2015 International Conference on Software Engineering (ICSE), 280–91, 2015.'
ieee: 'L. Li et al., “IccTA: Detecting Inter-Component Privacy Leaks in Android
Apps,” in 2015 International Conference on Software Engineering (ICSE),
2015, pp. 280–291.'
mla: 'Li, Li, et al. “IccTA: Detecting Inter-Component Privacy Leaks in Android
Apps.” 2015 International Conference on Software Engineering (ICSE), 2015,
pp. 280–91.'
short: 'L. Li, A. Bartel, T.F. Bissyande, J. Klein, Y. Le Traon, S. Arzt, S. Rasthofer,
E. Bodden, D. Octeau, P. McDaniel, in: 2015 International Conference on Software
Engineering (ICSE), 2015, pp. 280–291.'
date_created: 2018-10-31T12:59:44Z
date_updated: 2022-01-06T07:01:46Z
ddc:
- '000'
department:
- _id: '76'
extern: '1'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:10:22Z
date_updated: 2018-11-02T14:10:22Z
file_id: '5263'
file_name: lbb+15iccta.pdf
file_size: 206378
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:10:22Z
has_accepted_license: '1'
keyword:
- CROSSING
- ATTRACT
- ITSECWEBSITE
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/lbb+15iccta.pdf
page: 280-291
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: 2015 International Conference on Software Engineering (ICSE)
publication_identifier:
isbn:
- 978-1-4799-1934-5
status: public
title: 'IccTA: Detecting Inter-Component Privacy Leaks in Android Apps'
type: conference
user_id: '477'
year: '2015'
...
---
_id: '346'
abstract:
- lang: eng
text: One future goal of service-oriented computing is to realize global markets
of composed services. On such markets, service providers offer services that can
be flexibly combined with each other. However, most often, market participants
are not able to individually estimate the quality of traded services in advance.
As a consequence, even potentially profitable transactions between customers and
providers might not take place. In the worst case, this can induce a market failure.
To overcome this problem, we propose the incorporation of reputation information
as an indicator for expected service quality. We address On-The-Fly Computing
as a representative environment of markets of composed services. In this environment,
customers provide feedback on transactions. We present a conceptual design of
a reputation system which collects and processes user feedback, and provides it
to participants in the market. Our contribution includes the identification of
requirements for such a reputation system from a technical and an economic perspective.
Based on these requirements, we propose a flexible solution that facilitates the
incorporation of reputation information into markets of composed services while
simultaneously preserving privacy of customers who provide feedback. The requirements
we formulate in this paper have just been partially met in literature. An integrated
approach, however, has not been addressed yet.
author:
- first_name: Sonja
full_name: Brangewitz, Sonja
last_name: Brangewitz
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Ronald
full_name: Petrlic, Ronald
last_name: Petrlic
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
citation:
ama: 'Brangewitz S, Jungmann A, Petrlic R, Platenius MC. Towards a Flexible and
Privacy-Preserving Reputation System for Markets of Composed Services. In: Proceedings
of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION).
; 2014:49-57.'
apa: Brangewitz, S., Jungmann, A., Petrlic, R., & Platenius, M. C. (2014). Towards
a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services.
In Proceedings of the 6th International Conferences on Advanced Service Computing
(SERVICE COMPUTATION) (pp. 49–57).
bibtex: '@inproceedings{Brangewitz_Jungmann_Petrlic_Platenius_2014, title={Towards
a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services},
booktitle={Proceedings of the 6th International Conferences on Advanced Service
Computing (SERVICE COMPUTATION)}, author={Brangewitz, Sonja and Jungmann, Alexander
and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={49–57}
}'
chicago: Brangewitz, Sonja, Alexander Jungmann, Ronald Petrlic, and Marie Christin
Platenius. “Towards a Flexible and Privacy-Preserving Reputation System for Markets
of Composed Services.” In Proceedings of the 6th International Conferences
on Advanced Service Computing (SERVICE COMPUTATION), 49–57, 2014.
ieee: S. Brangewitz, A. Jungmann, R. Petrlic, and M. C. Platenius, “Towards a Flexible
and Privacy-Preserving Reputation System for Markets of Composed Services,” in
Proceedings of the 6th International Conferences on Advanced Service Computing
(SERVICE COMPUTATION), 2014, pp. 49–57.
mla: Brangewitz, Sonja, et al. “Towards a Flexible and Privacy-Preserving Reputation
System for Markets of Composed Services.” Proceedings of the 6th International
Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp.
49–57.
short: 'S. Brangewitz, A. Jungmann, R. Petrlic, M.C. Platenius, in: Proceedings
of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION),
2014, pp. 49–57.'
date_created: 2017-10-17T12:41:59Z
date_updated: 2022-01-06T06:59:18Z
ddc:
- '040'
department:
- _id: '205'
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:26:49Z
date_updated: 2018-03-20T07:26:49Z
file_id: '1418'
file_name: 346-service_computation_2014_3_10_10005.pdf
file_size: 334101
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:26:49Z
has_accepted_license: '1'
language:
- iso: eng
page: 49-57
project:
- _id: '1'
name: SFB 901
- _id: '13'
name: SFB 901 - Subprojekt C1
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '7'
name: SFB 901 - Subprojekt A3
- _id: '10'
name: SFB 901 - Subproject B2
- _id: '2'
name: SFB 901 - Project Area A
- _id: '3'
name: SFB 901 - Project Area B
- _id: '4'
name: SFB 901 - Project Area C
publication: Proceedings of the 6th International Conferences on Advanced Service
Computing (SERVICE COMPUTATION)
status: public
title: Towards a Flexible and Privacy-Preserving Reputation System for Markets of
Composed Services
type: conference
user_id: '477'
year: '2014'
...
---
_id: '364'
abstract:
- lang: eng
text: 'Today, software components are traded on markets in form of services. These
services can also be service compositions consisting of several services. If a
software architect wants to provide such a service composition in the market for
trade, she needs to perform several tasks: she needs to model the composition,
to discover existing services to be part of that composition, and to analyze the
composition''s functional correctness as well as its quality, e.g., performance.
Up to now, the architect needed to find and use different tools for these tasks.
Typically, these tools are not interoperable with each other. We provide the tool
SeSAME that supports a software architect in all of these tasks. SeSAME is an
integrated Eclipse-based tool-suite providing a comprehensive service specification
language to model service compositions and existing services. Furthermore, it
includes modules for service matching, functional analysis, and non-functional
analysis. SeSAME is the first tool that integrates all these tasks into one tool-suite
and, thereby, provides holistic support for trading software services. Thus, it
contributes to a software provider''s market success.'
author:
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Sven
full_name: Walther, Sven
last_name: Walther
citation:
ama: 'Arifulina S, Becker M, Platenius MC, Walther S. SeSAME: Modeling and Analyzing
High-Quality Service Compositions. In: Proceedings of the 29th IEEE/ACM International
Conference on Automated Software Engineering (ASE 2014). ; 2014:839-842. doi:10.1145/2642937.2648621'
apa: 'Arifulina, S., Becker, M., Platenius, M. C., & Walther, S. (2014). SeSAME:
Modeling and Analyzing High-Quality Service Compositions. In Proceedings of
the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE
2014) (pp. 839–842). https://doi.org/10.1145/2642937.2648621'
bibtex: '@inproceedings{Arifulina_Becker_Platenius_Walther_2014, title={SeSAME:
Modeling and Analyzing High-Quality Service Compositions}, DOI={10.1145/2642937.2648621},
booktitle={Proceedings of the 29th IEEE/ACM International Conference on Automated
Software Engineering (ASE 2014)}, author={Arifulina, Svetlana and Becker, Matthias
and Platenius, Marie Christin and Walther, Sven}, year={2014}, pages={839–842}
}'
chicago: 'Arifulina, Svetlana, Matthias Becker, Marie Christin Platenius, and Sven
Walther. “SeSAME: Modeling and Analyzing High-Quality Service Compositions.” In
Proceedings of the 29th IEEE/ACM International Conference on Automated Software
Engineering (ASE 2014), 839–42, 2014. https://doi.org/10.1145/2642937.2648621.'
ieee: 'S. Arifulina, M. Becker, M. C. Platenius, and S. Walther, “SeSAME: Modeling
and Analyzing High-Quality Service Compositions,” in Proceedings of the 29th
IEEE/ACM International Conference on Automated Software Engineering (ASE 2014),
2014, pp. 839–842.'
mla: 'Arifulina, Svetlana, et al. “SeSAME: Modeling and Analyzing High-Quality Service
Compositions.” Proceedings of the 29th IEEE/ACM International Conference on
Automated Software Engineering (ASE 2014), 2014, pp. 839–42, doi:10.1145/2642937.2648621.'
short: 'S. Arifulina, M. Becker, M.C. Platenius, S. Walther, in: Proceedings of
the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE
2014), 2014, pp. 839–842.'
date_created: 2017-10-17T12:42:03Z
date_updated: 2022-01-06T06:59:28Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
doi: 10.1145/2642937.2648621
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:19:59Z
date_updated: 2018-03-20T07:19:59Z
file_id: '1407'
file_name: 364-ASE2014.pdf
file_size: 473308
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:19:59Z
has_accepted_license: '1'
language:
- iso: eng
page: 839-842
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '11'
name: SFB 901 - Subproject B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 29th IEEE/ACM International Conference on Automated
Software Engineering (ASE 2014)
status: public
title: 'SeSAME: Modeling and Analyzing High-Quality Service Compositions'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '366'
abstract:
- lang: eng
text: On-The-Fly (OTF) Computing constitutes an approach towards highly dynamic
and individualized software markets. Based on service-oriented computing, OTF
Computing is about realizing global markets of services that can be flexibly combined.
We report on our current research activities, the security and privacy implications
thereof, and our approaches to tackle the challenges. Furthermore, we discuss
how the security and privacy challenges are addressed in research projects similar
to OTF Computing.
author:
- first_name: Ronald
full_name: Petrlic, Ronald
last_name: Petrlic
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Christoph
full_name: Sorge, Christoph
last_name: Sorge
citation:
ama: 'Petrlic R, Jungmann A, Platenius MC, Schäfer W, Sorge C. Security and Privacy
Challenges in On-The-Fly Computing. In: Tagungsband Der 4. Konferenz Software-Technologien
Und -Prozesse (STeP 2014). ; 2014:131-142.'
apa: Petrlic, R., Jungmann, A., Platenius, M. C., Schäfer, W., & Sorge, C. (2014).
Security and Privacy Challenges in On-The-Fly Computing. In Tagungsband der
4. Konferenz Software-Technologien und -Prozesse (STeP 2014) (pp. 131–142).
bibtex: '@inproceedings{Petrlic_Jungmann_Platenius_Schäfer_Sorge_2014, title={Security
and Privacy Challenges in On-The-Fly Computing}, booktitle={Tagungsband der 4.
Konferenz Software-Technologien und -Prozesse (STeP 2014)}, author={Petrlic, Ronald
and Jungmann, Alexander and Platenius, Marie Christin and Schäfer, Wilhelm and
Sorge, Christoph}, year={2014}, pages={131–142} }'
chicago: Petrlic, Ronald, Alexander Jungmann, Marie Christin Platenius, Wilhelm
Schäfer, and Christoph Sorge. “Security and Privacy Challenges in On-The-Fly Computing.”
In Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014),
131–42, 2014.
ieee: R. Petrlic, A. Jungmann, M. C. Platenius, W. Schäfer, and C. Sorge, “Security
and Privacy Challenges in On-The-Fly Computing,” in Tagungsband der 4. Konferenz
Software-Technologien und -Prozesse (STeP 2014), 2014, pp. 131–142.
mla: Petrlic, Ronald, et al. “Security and Privacy Challenges in On-The-Fly Computing.”
Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014),
2014, pp. 131–42.
short: 'R. Petrlic, A. Jungmann, M.C. Platenius, W. Schäfer, C. Sorge, in: Tagungsband
Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014, pp. 131–142.'
date_created: 2017-10-17T12:42:03Z
date_updated: 2022-01-06T06:59:29Z
ddc:
- '040'
department:
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:18:47Z
date_updated: 2018-03-20T07:18:47Z
file_id: '1405'
file_name: 366-otf-security-privacy-final.pdf
file_size: 74488
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:18:47Z
has_accepted_license: '1'
language:
- iso: eng
page: 131-142
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '13'
name: SFB 901 - Subprojekt C1
- _id: '3'
name: SFB 901 - Project Area B
- _id: '4'
name: SFB 901 - Project Area C
- _id: '10'
name: SFB 901 - Subproject B2
publication: Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP
2014)
status: public
title: Security and Privacy Challenges in On-The-Fly Computing
type: conference
user_id: '477'
year: '2014'
...