--- _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' ...