[{"citation":{"mla":"Bodden, Eric. <i>Self-Adaptive Static Analysis</i>. 2017.","bibtex":"@book{Bodden_2017, title={Self-adaptive static analysis}, author={Bodden, Eric}, year={2017} }","ama":"Bodden E. <i>Self-Adaptive Static Analysis</i>.; 2017.","ieee":"E. Bodden, <i>Self-adaptive static analysis</i>. 2017.","apa":"Bodden, E. (2017). <i>Self-adaptive static analysis</i>.","chicago":"Bodden, Eric. <i>Self-Adaptive Static Analysis</i>, 2017.","short":"E. Bodden, Self-Adaptive Static Analysis, 2017."},"report_number":"arXiv:1710.07430","date_created":"2020-11-30T10:27:21Z","type":"report","department":[{"_id":"76"}],"status":"public","title":"Self-adaptive static analysis","year":"2017","author":[{"first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"}],"date_updated":"2022-01-06T06:54:29Z","main_file_link":[{"url":"https://arxiv.org/abs/1710.07430"}],"_id":"20554","language":[{"iso":"eng"}],"user_id":"5786"},{"date_updated":"2022-01-06T06:54:30Z","publication_identifier":{"issn":["0098-5589"]},"author":[{"full_name":"Lillack, Max","last_name":"Lillack","first_name":"Max"},{"last_name":"Kästner","first_name":"Christian","full_name":"Kästner, Christian"},{"full_name":"Bodden, Eric","last_name":"Bodden","first_name":"Eric","orcid":"0000-0003-3470-3647","id":"59256"}],"year":"2017","status":"public","title":"Tracking Load-time Configuration Options","volume":"PP","user_id":"5786","doi":"10.1109/TSE.2017.2756048","language":[{"iso":"eng"}],"_id":"20557","main_file_link":[{"url":"http://bodden.de/pubs/lkb17lotrack.pdf"}],"page":"1-1","citation":{"chicago":"Lillack, Max, Christian Kästner, and Eric Bodden. “Tracking Load-Time Configuration Options.” <i>IEEE Transactions on Software Engineering</i> PP, no. 99 (2017): 1–1. <a href=\"https://doi.org/10.1109/TSE.2017.2756048\">https://doi.org/10.1109/TSE.2017.2756048</a>.","short":"M. Lillack, C. Kästner, E. Bodden, IEEE Transactions on Software Engineering PP (2017) 1–1.","ieee":"M. Lillack, C. Kästner, and E. Bodden, “Tracking Load-time Configuration Options,” <i>IEEE Transactions on Software Engineering</i>, vol. PP, no. 99, pp. 1–1, 2017, doi: <a href=\"https://doi.org/10.1109/TSE.2017.2756048\">10.1109/TSE.2017.2756048</a>.","apa":"Lillack, M., Kästner, C., &#38; Bodden, E. (2017). Tracking Load-time Configuration Options. <i>IEEE Transactions on Software Engineering</i>, <i>PP</i>(99), 1–1. <a href=\"https://doi.org/10.1109/TSE.2017.2756048\">https://doi.org/10.1109/TSE.2017.2756048</a>","bibtex":"@article{Lillack_Kästner_Bodden_2017, title={Tracking Load-time Configuration Options}, volume={PP}, DOI={<a href=\"https://doi.org/10.1109/TSE.2017.2756048\">10.1109/TSE.2017.2756048</a>}, number={99}, journal={IEEE Transactions on Software Engineering}, author={Lillack, Max and Kästner, Christian and Bodden, Eric}, year={2017}, pages={1–1} }","ama":"Lillack M, Kästner C, Bodden E. Tracking Load-time Configuration Options. <i>IEEE Transactions on Software Engineering</i>. 2017;PP(99):1-1. doi:<a href=\"https://doi.org/10.1109/TSE.2017.2756048\">10.1109/TSE.2017.2756048</a>","mla":"Lillack, Max, et al. “Tracking Load-Time Configuration Options.” <i>IEEE Transactions on Software Engineering</i>, vol. PP, no. 99, 2017, pp. 1–1, doi:<a href=\"https://doi.org/10.1109/TSE.2017.2756048\">10.1109/TSE.2017.2756048</a>."},"publication":"IEEE Transactions on Software Engineering","issue":"99","department":[{"_id":"76"}],"type":"journal_article","keyword":["Androids","Bluetooth","Humanoid robots","Java","Software","Tools","Configuration options","Static analysis","Variability mining"],"date_created":"2020-11-30T11:06:43Z"},{"citation":{"ieee":"S. Krüger <i>et al.</i>, “CogniCrypt: Supporting Developers in using Cryptography,” 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., &#38; Kamath, R. (2017). CogniCrypt: Supporting Developers in using Cryptography. <i>International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track</i>.","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 <i>International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track</i>, 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.","mla":"Krüger, Stefan, et al. “CogniCrypt: Supporting Developers in Using Cryptography.” <i>International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track</i>, 2017.","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} }","ama":"Krüger S, Nadi S, Reif M, et al. CogniCrypt: Supporting Developers in using Cryptography. In: <i>International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track</i>. ; 2017."},"publication":"International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track","date_created":"2020-11-30T11:08:26Z","department":[{"_id":"76"}],"keyword":["ITSECWEBSITE","CROSSING"],"type":"conference","author":[{"full_name":"Krüger, Stefan","last_name":"Krüger","first_name":"Stefan"},{"full_name":"Nadi, Sarah","last_name":"Nadi","first_name":"Sarah"},{"first_name":"Michael","last_name":"Reif","full_name":"Reif, Michael"},{"full_name":"Ali, Karim","last_name":"Ali","first_name":"Karim"},{"first_name":"Mira","last_name":"Mezini","full_name":"Mezini, Mira"},{"full_name":"Bodden, Eric","first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","id":"59256"},{"full_name":"Göpfert, Florian","last_name":"Göpfert","first_name":"Florian"},{"first_name":"Felix","last_name":"Günther","full_name":"Günther, Felix"},{"full_name":"Weinert, Christian","last_name":"Weinert","first_name":"Christian"},{"last_name":"Demmler","first_name":"Daniel","full_name":"Demmler, Daniel"},{"first_name":"Ram","last_name":"Kamath","full_name":"Kamath, Ram"}],"year":"2017","title":"CogniCrypt: Supporting Developers in using Cryptography","status":"public","date_updated":"2022-01-06T06:54:30Z","language":[{"iso":"eng"}],"_id":"20558","main_file_link":[{"url":"http://bodden.de/pubs/knr+17cognicrypt.pdf"}],"user_id":"5786"},{"publication":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis","date_created":"2020-11-30T11:10:01Z","type":"conference","keyword":["Just-in-Time","Layered analysis","Static analysis"],"department":[{"_id":"76"}],"title":"Just-in-time Static Analysis","year":"2017","author":[{"full_name":"Do, Lisa Nguyen Quang","last_name":"Do","first_name":"Lisa Nguyen Quang"},{"full_name":"Ali, Karim","first_name":"Karim","last_name":"Ali"},{"last_name":"Livshits","first_name":"Benjamin","full_name":"Livshits, Benjamin"},{"first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"},{"full_name":"Smith, Justin","last_name":"Smith","first_name":"Justin"},{"full_name":"Murphy-Hill, Emerson","last_name":"Murphy-Hill","first_name":"Emerson"}],"publication_identifier":{"isbn":["978-1-4503-5076-1"]},"date_updated":"2022-01-06T06:54:30Z","main_file_link":[{"url":"http://bodden.de/pubs/nal+17jit.pdf"}],"series_title":"ISSTA 2017","language":[{"iso":"eng"}],"doi":"10.1145/3092703.3092705","citation":{"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.","chicago":"Do, Lisa Nguyen Quang, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill. “Just-in-Time Static Analysis.” In <i>Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis</i>, 307–17. ISSTA 2017. New York, NY, USA: ACM, 2017. <a href=\"https://doi.org/10.1145/3092703.3092705\">https://doi.org/10.1145/3092703.3092705</a>.","apa":"Do, L. N. Q., Ali, K., Livshits, B., Bodden, E., Smith, J., &#38; Murphy-Hill, E. (2017). Just-in-time Static Analysis. <i>Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis</i>, 307–317. <a href=\"https://doi.org/10.1145/3092703.3092705\">https://doi.org/10.1145/3092703.3092705</a>","ieee":"L. N. Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill, “Just-in-time Static Analysis,” in <i>Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis</i>, 2017, pp. 307–317, doi: <a href=\"https://doi.org/10.1145/3092703.3092705\">10.1145/3092703.3092705</a>.","ama":"Do LNQ, Ali K, Livshits B, Bodden E, Smith J, Murphy-Hill E. Just-in-time Static Analysis. In: <i>Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis</i>. ISSTA 2017. ACM; 2017:307-317. doi:<a href=\"https://doi.org/10.1145/3092703.3092705\">10.1145/3092703.3092705</a>","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={<a href=\"https://doi.org/10.1145/3092703.3092705\">10.1145/3092703.3092705</a>}, 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} }","mla":"Do, Lisa Nguyen Quang, et al. “Just-in-Time Static Analysis.” <i>Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis</i>, ACM, 2017, pp. 307–17, doi:<a href=\"https://doi.org/10.1145/3092703.3092705\">10.1145/3092703.3092705</a>."},"place":"New York, NY, USA","status":"public","page":"307-317","publisher":"ACM","_id":"20559","user_id":"5786"},{"main_file_link":[{"url":"http://bodden.de/pubs/dal17cheetah.pdf"}],"_id":"20715","language":[{"iso":"eng"}],"user_id":"5786","status":"public","title":"Cheetah: Just-in-Time Taint Analysis for Android Apps","year":"2017","author":[{"full_name":"Nguyen Quang Do, Lisa","last_name":"Nguyen Quang Do","first_name":"Lisa"},{"first_name":"Karim","last_name":"Ali","full_name":"Ali, Karim"},{"first_name":"Benjamin","last_name":"Livshits","full_name":"Livshits, Benjamin"},{"id":"59256","orcid":"0000-0003-3470-3647","last_name":"Bodden","first_name":"Eric","full_name":"Bodden, Eric"},{"full_name":"Smith, Justin","first_name":"Justin","last_name":"Smith"},{"full_name":"Murphy-Hill, Emerson","last_name":"Murphy-Hill","first_name":"Emerson"}],"date_updated":"2022-01-06T06:54:34Z","date_created":"2020-12-14T11:51:44Z","type":"conference","keyword":["ATTRACT","ITSECWEBSITE"],"department":[{"_id":"76"}],"publication":"International Conference for Software Engineering (ICSE), Tool Demonstrations Track","citation":{"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.","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 <i>International Conference for Software Engineering (ICSE), Tool Demonstrations Track</i>, 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.","apa":"Nguyen Quang Do, L., Ali, K., Livshits, B., Bodden, E., Smith, J., &#38; Murphy-Hill, E. (2017). Cheetah: Just-in-Time Taint Analysis for Android Apps. <i>International Conference for Software Engineering (ICSE), Tool Demonstrations Track</i>.","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} }","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: <i>International Conference for Software Engineering (ICSE), Tool Demonstrations Track</i>. ; 2017.","mla":"Nguyen Quang Do, Lisa, et al. “Cheetah: Just-in-Time Taint Analysis for Android Apps.” <i>International Conference for Software Engineering (ICSE), Tool Demonstrations Track</i>, 2017."}},{"publication":"Dependable Software Engineering, 3rd International Symposium (SETTA 2017)","issue":"10606","citation":{"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 <i>Dependable Software Engineering, 3rd International Symposium (SETTA 2017)</i>, edited by Kim G. Larsen, Oleg Sokolsky, and Ji Wang, 319–36. Lecture Notes in Computer Science. Changsha: Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-69483-2_19\">https://doi.org/10.1007/978-3-319-69483-2_19</a>.","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. <i>Dependable Software Engineering, 3rd International Symposium (SETTA 2017)</i>. Lecture Notes in Computer Science. Springer; 2017:319-336. doi:<a href=\"https://doi.org/10.1007/978-3-319-69483-2_19\">10.1007/978-3-319-69483-2_19</a>","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.","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={<a href=\"https://doi.org/10.1007/978-3-319-69483-2_19\">10.1007/978-3-319-69483-2_19</a>}, 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} }","mla":"Schivo, Stefano, et al. “How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.” <i>Dependable Software Engineering, 3rd International Symposium (SETTA 2017)</i>, edited by Kim G. Larsen et al., no. 10606, Springer, 2017, pp. 319–36, doi:<a href=\"https://doi.org/10.1007/978-3-319-69483-2_19\">10.1007/978-3-319-69483-2_19</a>.","apa":"Schivo, S., Yildiz., B. M., Ruijters, E., Gerking, C., Kumar, R., Dziwok, S., Rensink, A., &#38; Stoelinga, M. (2017). How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In K. G. Larsen, O. Sokolsky, &#38; J. Wang (Eds.), <i>Dependable Software Engineering, 3rd International Symposium (SETTA 2017)</i> (Issue 10606, pp. 319–336). Springer. <a href=\"https://doi.org/10.1007/978-3-319-69483-2_19\">https://doi.org/10.1007/978-3-319-69483-2_19</a>","ieee":"S. Schivo <i>et al.</i>, “How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach,” in <i>Dependable Software Engineering, 3rd International Symposium (SETTA 2017)</i>, 2017, no. 10606, pp. 319–336, doi: <a href=\"https://doi.org/10.1007/978-3-319-69483-2_19\">10.1007/978-3-319-69483-2_19</a>."},"place":"Changsha","date_created":"2020-12-17T13:30:15Z","type":"conference","department":[{"_id":"76"},{"_id":"241"}],"status":"public","year":"2017","title":"How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach","author":[{"last_name":"Schivo","first_name":"Stefano","full_name":"Schivo, Stefano"},{"first_name":"Bugra M.","last_name":"Yildiz.","full_name":"Yildiz., Bugra M."},{"last_name":"Ruijters","first_name":"Enno","full_name":"Ruijters, Enno"},{"full_name":"Gerking, Christopher","last_name":"Gerking","first_name":"Christopher"},{"last_name":"Kumar","first_name":"Rajesh","full_name":"Kumar, Rajesh"},{"last_name":"Dziwok","orcid":"http://orcid.org/0000-0002-8679-6673","first_name":"Stefan","full_name":"Dziwok, Stefan","id":"3901"},{"last_name":"Rensink","first_name":"Arend","full_name":"Rensink, Arend"},{"last_name":"Stoelinga","first_name":"Mariëlle","full_name":"Stoelinga, Mariëlle"}],"date_updated":"2022-01-06T06:54:38Z","page":"319-336","_id":"20792","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"publisher":"Springer","doi":"10.1007/978-3-319-69483-2_19","user_id":"5786","editor":[{"full_name":"Larsen, Kim G.","first_name":"Kim G.","last_name":"Larsen"},{"full_name":"Sokolsky, Oleg","last_name":"Sokolsky","first_name":"Oleg"},{"full_name":"Wang, Ji","last_name":"Wang","first_name":"Ji"}]},{"language":[{"iso":"eng"}],"_id":"20794","publisher":"Paderborn University","user_id":"5786","status":"public","title":"Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems","year":"2017","author":[{"id":"3901","full_name":"Dziwok, Stefan","first_name":"Stefan","orcid":"http://orcid.org/0000-0002-8679-6673","last_name":"Dziwok"}],"date_updated":"2022-01-06T06:54:38Z","date_created":"2020-12-17T13:32:52Z","type":"dissertation","department":[{"_id":"76"},{"_id":"241"}],"citation":{"chicago":"Dziwok, Stefan. <i>Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems</i>. Paderborn University, 2017.","short":"S. Dziwok, Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems, Paderborn University, 2017.","apa":"Dziwok, S. (2017). <i>Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems</i>. Paderborn University.","ieee":"S. Dziwok, <i>Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems</i>. Paderborn University, 2017.","ama":"Dziwok S. <i>Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems</i>. Paderborn University; 2017.","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} }","mla":"Dziwok, Stefan. <i>Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems</i>. Paderborn University, 2017."},"abstract":[{"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.","lang":"eng"}]},{"citation":{"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.","chicago":"Gerking, Christopher, David Schubert, and Ingo Budde. “Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities.” In <i>Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017)</i>, edited by Esther Guerra and Mark van den Brand, 19–34. Lecture Notes in Computer Science. Marburg: Springer, 2017.","apa":"Gerking, C., Schubert, D., &#38; Budde, I. (2017). Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities. In E. Guerra &#38; M. van den Brand (Eds.), <i>Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017)</i> (Issue 10374, pp. 19–34). Springer.","ieee":"C. Gerking, D. Schubert, and I. Budde, “Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities,” in <i>Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017)</i>, 2017, no. 10374, pp. 19–34.","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. <i>Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017)</i>. Lecture Notes in Computer Science. Springer; 2017:19-34.","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} }","mla":"Gerking, Christopher, et al. “Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities.” <i>Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017)</i>, edited by Esther Guerra and Mark van den Brand, no. 10374, Springer, 2017, pp. 19–34."},"publication":"Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017)","issue":"10374","date_created":"2020-12-17T13:36:44Z","place":"Marburg","department":[{"_id":"76"},{"_id":"241"}],"type":"conference","author":[{"full_name":"Gerking, Christopher","first_name":"Christopher","last_name":"Gerking"},{"id":"9106","first_name":"David","last_name":"Schubert","full_name":"Schubert, David"},{"id":"13693","first_name":"Ingo","last_name":"Budde","orcid":"https://orcid.org/0000-0003-0124-6291","full_name":"Budde, Ingo"}],"year":"2017","title":"Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities","status":"public","date_updated":"2022-01-06T06:54:39Z","language":[{"iso":"eng"}],"_id":"20797","series_title":"Lecture Notes in Computer Science","publisher":"Springer","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/978-3-319-61473-1_2"}],"page":"19-34","editor":[{"first_name":"Esther","last_name":"Guerra","full_name":"Guerra, Esther"},{"last_name":"van den Brand","first_name":"Mark","full_name":"van den Brand, Mark"}],"user_id":"5786"},{"type":"conference","department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"date_created":"2020-12-17T13:59:04Z","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."}],"publication":"Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development","citation":{"short":"J. Geismann, U. Pohlmann, D. Schmelter, in: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 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 <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>, 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.","apa":"Geismann, J., Pohlmann, U., &#38; Schmelter, D. (2017). Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>.","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} }","ama":"Geismann J, Pohlmann U, Schmelter D. Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. In: <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>. ; 2017.","mla":"Geismann, Johannes, et al. “Towards an Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-Core Systems.” <i>Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development</i>, 2017."},"user_id":"5786","_id":"20804","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:39Z","year":"2017","title":"Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems","status":"public","author":[{"first_name":"Johannes","last_name":"Geismann","orcid":"https://orcid.org/0000-0003-2015-2047","full_name":"Geismann, Johannes","id":"20063"},{"full_name":"Pohlmann, Uwe","last_name":"Pohlmann","first_name":"Uwe"},{"full_name":"Schmelter, David","orcid":"0000-0001-7787-5380","first_name":"David","last_name":"Schmelter","id":"40982"}]},{"status":"public","title":"Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction","year":"2017","author":[{"last_name":"Becker","first_name":"Matthias","full_name":"Becker, Matthias"}],"date_updated":"2022-01-06T06:54:39Z","_id":"20805","language":[{"iso":"eng"}],"publisher":"Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik","user_id":"5786","citation":{"apa":"Becker, M. (2017). <i>Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.","ieee":"M. Becker, <i>Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction</i>. 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.","chicago":"Becker, Matthias. <i>Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2017.","mla":"Becker, Matthias. <i>Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2017.","ama":"Becker M. <i>Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction</i>. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2017.","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} }"},"date_created":"2020-12-17T14:00:21Z","type":"dissertation","department":[{"_id":"76"}]},{"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"citation":{"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} }","ama":"Späth J, Ali K, Bodden E. IDEal: Efficient and Precise Alias-aware Dataflow Analysis. In: <i>2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH)</i>. ACM Press; 2017.","mla":"Späth, Johannes, et al. “IDEal: Efficient and Precise Alias-Aware Dataflow Analysis.” <i>2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH)</i>, ACM Press, 2017.","chicago":"Späth, Johannes, Karim Ali, and Eric Bodden. “IDEal: Efficient and Precise Alias-Aware Dataflow Analysis.” In <i>2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH)</i>. 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.","ieee":"J. Späth, K. Ali, and E. Bodden, “IDEal: Efficient and Precise Alias-aware Dataflow Analysis,” in <i>2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH)</i>, 2017.","apa":"Späth, J., Ali, K., &#38; Bodden, E. (2017). IDEal: Efficient and Precise Alias-aware Dataflow Analysis. In <i>2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH)</i>. ACM Press."},"file_date_updated":"2018-11-02T14:28:13Z","user_id":"477","ddc":["000"],"publisher":"ACM Press","_id":"5204","has_accepted_license":"1","status":"public","department":[{"_id":"76"}],"type":"conference","keyword":["ATTRACT","ITSECWEBSITE","CROSSING"],"date_created":"2018-10-31T12:46:50Z","file":[{"date_created":"2018-11-02T14:28:13Z","creator":"ups","success":1,"content_type":"application/pdf","file_id":"5273","date_updated":"2018-11-02T14:28:13Z","relation":"main_file","access_level":"closed","file_size":1021251,"file_name":"sab17ideal.pdf"}],"publication":"2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH)","language":[{"iso":"eng"}],"main_file_link":[{"url":" http://bodden.de/pubs/sab17ideal.pdf"}],"date_updated":"2022-01-06T07:01:44Z","author":[{"last_name":"Späth","first_name":"Johannes","full_name":"Späth, Johannes"},{"last_name":"Ali","first_name":"Karim","full_name":"Ali, Karim"},{"id":"59256","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","full_name":"Bodden, Eric"}],"title":"IDEal: Efficient and Precise Alias-aware Dataflow Analysis","year":"2017"},{"department":[{"_id":"76"}],"type":"journal_article","date_created":"2018-10-31T13:12:32Z","file":[{"date_created":"2018-11-02T16:03:01Z","creator":"ups","success":1,"content_type":"application/pdf","file_id":"5321","date_updated":"2018-11-02T16:03:01Z","relation":"main_file","access_level":"closed","file_size":2339380,"file_name":"1710.00390.pdf"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"citation":{"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} }","ama":"Fischer A, Fuhry B, Kerschbaum F, Bodden E. Computation on Encrypted Data using Data Flow Authentication. <i>CoRR</i>. 2017;abs/1710.00390.","mla":"Fischer, Andreas, et al. “Computation on Encrypted Data Using Data Flow Authentication.” <i>CoRR</i>, vol. abs/1710.00390, 2017.","chicago":"Fischer, Andreas, Benny Fuhry, Florian Kerschbaum, and Eric Bodden. “Computation on Encrypted Data Using Data Flow Authentication.” <i>CoRR</i> abs/1710.00390 (2017).","short":"A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, CoRR abs/1710.00390 (2017).","ieee":"A. Fischer, B. Fuhry, F. Kerschbaum, and E. Bodden, “Computation on Encrypted Data using Data Flow Authentication,” <i>CoRR</i>, vol. abs/1710.00390, 2017.","apa":"Fischer, A., Fuhry, B., Kerschbaum, F., &#38; Bodden, E. (2017). Computation on Encrypted Data using Data Flow Authentication. <i>CoRR</i>, <i>abs/1710.00390</i>."},"publication":"CoRR","file_date_updated":"2018-11-02T16:03:01Z","volume":"abs/1710.00390","ddc":["000"],"user_id":"477","language":[{"iso":"eng"}],"_id":"5209","main_file_link":[{"url":"https://arxiv.org/pdf/1710.00390.pdf"}],"has_accepted_license":"1","date_updated":"2022-01-06T07:01:46Z","author":[{"last_name":"Fischer","first_name":"Andreas","full_name":"Fischer, Andreas"},{"full_name":"Fuhry, Benny","first_name":"Benny","last_name":"Fuhry"},{"full_name":"Kerschbaum, Florian","last_name":"Kerschbaum","first_name":"Florian"},{"full_name":"Bodden, Eric","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","id":"59256"}],"title":"Computation on Encrypted Data using Data Flow Authentication","year":"2017","status":"public"},{"date_updated":"2022-01-06T06:50:31Z","author":[{"full_name":"Becker, Matthias","first_name":"Matthias","last_name":"Becker"}],"status":"public","title":"Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction","year":"2017","doi":"10.17619/UNIPB/1-133","user_id":"477","_id":"102","publisher":"Universität Paderborn","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"name":"SFB 901 - Project Area B","_id":"3"}],"supervisor":[{"full_name":"Becker, Steffen","last_name":"Becker","first_name":"Steffen"}],"citation":{"mla":"Becker, Matthias. <i>Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction</i>. Universität Paderborn, 2017, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-133\">10.17619/UNIPB/1-133</a>.","ama":"Becker M. <i>Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction</i>. Universität Paderborn; 2017. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-133\">10.17619/UNIPB/1-133</a>","bibtex":"@book{Becker_2017, title={Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-133\">10.17619/UNIPB/1-133</a>}, publisher={Universität Paderborn}, author={Becker, Matthias}, year={2017} }","apa":"Becker, M. (2017). <i>Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction</i>. Universität Paderborn. <a href=\"https://doi.org/10.17619/UNIPB/1-133\">https://doi.org/10.17619/UNIPB/1-133</a>","ieee":"M. Becker, <i>Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction</i>. Universität Paderborn, 2017.","short":"M. Becker, Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction, Universität Paderborn, 2017.","chicago":"Becker, Matthias. <i>Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction</i>. Universität Paderborn, 2017. <a href=\"https://doi.org/10.17619/UNIPB/1-133\">https://doi.org/10.17619/UNIPB/1-133</a>."},"department":[{"_id":"76"}],"type":"dissertation","date_created":"2017-10-17T12:41:11Z"},{"external_id":{"arxiv":["1710.00564"]},"date_created":"2020-11-30T10:29:41Z","keyword":["ITSECWEBSITE"],"type":"report","department":[{"_id":"76"}],"citation":{"chicago":"Krüger, Stefan, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini. <i>CrySL: Validating Correct Usage of Cryptographic APIs</i>, 2017.","short":"S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, CrySL: Validating Correct Usage of Cryptographic APIs, 2017.","ieee":"S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, <i>CrySL: Validating Correct Usage of Cryptographic APIs</i>. 2017.","apa":"Krüger, S., Späth, J., Ali, K., Bodden, E., &#38; Mezini, M. (2017). <i>CrySL: Validating Correct Usage of Cryptographic APIs</i>.","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} }","ama":"Krüger S, Späth J, Ali K, Bodden E, Mezini M. <i>CrySL: Validating Correct Usage of Cryptographic APIs</i>.; 2017.","mla":"Krüger, Stefan, et al. <i>CrySL: Validating Correct Usage of Cryptographic APIs</i>. 2017."},"main_file_link":[{"url":"https://arxiv.org/abs/1710.00564"}],"_id":"20555","language":[{"iso":"eng"}],"user_id":"14972","status":"public","title":"CrySL: Validating Correct Usage of Cryptographic APIs","year":"2017","author":[{"first_name":"Stefan","last_name":"Krüger","full_name":"Krüger, Stefan"},{"last_name":"Späth","first_name":"Johannes","full_name":"Späth, Johannes"},{"first_name":"Karim","last_name":"Ali","full_name":"Ali, Karim"},{"first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"},{"full_name":"Mezini, Mira","last_name":"Mezini","first_name":"Mira"}],"date_updated":"2026-02-19T14:39:50Z"},{"file":[{"date_updated":"2018-03-21T12:15:58Z","relation":"main_file","access_level":"closed","file_size":18246710,"file_name":"195-Dissertation_-_Marie_Christin_Platenius.pdf","success":1,"content_type":"application/pdf","file_id":"1527","creator":"florida","date_created":"2018-03-21T12:15:58Z"}],"date_created":"2017-10-17T12:41:30Z","type":"dissertation","department":[{"_id":"76"}],"file_date_updated":"2018-03-21T12:15:58Z","citation":{"mla":"Platenius, Marie Christin. <i>Fuzzy Matching of Comprehensive Service Specifications</i>. Universität Paderborn, 2016.","bibtex":"@book{Platenius_2016, title={Fuzzy Matching of Comprehensive Service Specifications}, publisher={Universität Paderborn}, author={Platenius, Marie Christin}, year={2016} }","ama":"Platenius MC. <i>Fuzzy Matching of Comprehensive Service Specifications</i>. Universität Paderborn; 2016.","ieee":"M. C. Platenius, <i>Fuzzy Matching of Comprehensive Service Specifications</i>. Universität Paderborn, 2016.","apa":"Platenius, M. C. (2016). <i>Fuzzy Matching of Comprehensive Service Specifications</i>. Universität Paderborn.","short":"M.C. Platenius, Fuzzy Matching of Comprehensive Service Specifications, Universität Paderborn, 2016.","chicago":"Platenius, Marie Christin. <i>Fuzzy Matching of Comprehensive Service Specifications</i>. Universität Paderborn, 2016."},"supervisor":[{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"name":"SFB 901 - Project Area B","_id":"3"}],"publisher":"Universität Paderborn","_id":"195","user_id":"14052","ddc":["040"],"year":"2016","title":"Fuzzy Matching of Comprehensive Service Specifications","status":"public","author":[{"full_name":"Platenius, Marie Christin","last_name":"Platenius","first_name":"Marie Christin"}],"date_updated":"2022-01-06T06:54:06Z","has_accepted_license":"1"},{"type":"report","department":[{"_id":"276"},{"_id":"66"},{"_id":"76"}],"file":[{"file_id":"5534","success":1,"content_type":"application/pdf","relation":"main_file","date_updated":"2018-11-12T19:11:20Z","file_name":"MarketSurvey_Techreport (1).pdf","access_level":"closed","file_size":1024328,"date_created":"2018-11-12T19:11:20Z","creator":"bahareh"}],"date_created":"2017-10-17T12:41:30Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt C5","_id":"17"},{"name":"SFB 901 - Project Area C","_id":"4"}],"file_date_updated":"2018-11-12T19:11:20Z","citation":{"mla":"Jazayeri, Bahar, et al. <i>Features of IT Service Markets: A Systematic Literature Review (Supplementary Material)</i>. Universität Paderborn, 2016.","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} }","ama":"Jazayeri B, Platenius MC, Engels G, Kundisch D. <i>Features of IT Service Markets: A Systematic Literature Review (Supplementary Material)</i>. Universität Paderborn; 2016.","ieee":"B. Jazayeri, M. C. Platenius, G. Engels, and D. Kundisch, <i>Features of IT Service Markets: A Systematic Literature Review (Supplementary Material)</i>. Universität Paderborn, 2016.","apa":"Jazayeri, B., Platenius, M. C., Engels, G., &#38; Kundisch, D. (2016). <i>Features of IT Service Markets: A Systematic Literature Review (Supplementary Material)</i>. Universität Paderborn.","chicago":"Jazayeri, Bahar, Marie Christin Platenius, Gregor Engels, and Dennis Kundisch. <i>Features of IT Service Markets: A Systematic Literature Review (Supplementary Material)</i>. 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."},"user_id":"477","ddc":["040"],"publisher":"Universität Paderborn","_id":"198","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:13Z","has_accepted_license":"1","status":"public","title":"Features of IT Service Markets: A Systematic Literature Review (Supplementary Material)","year":"2016","author":[{"id":"36399","first_name":"Bahar","last_name":"Jazayeri","full_name":"Jazayeri, Bahar"},{"first_name":"Marie Christin","last_name":"Platenius","full_name":"Platenius, Marie Christin"},{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"id":"21117","first_name":"Dennis","last_name":"Kundisch","full_name":"Kundisch, Dennis"}]},{"file":[{"date_created":"2018-03-21T12:15:24Z","creator":"florida","file_id":"1526","content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2018-03-21T12:15:24Z","file_name":"199-chp_3A10.1007_2F978-3-319-46295-0_19.pdf","access_level":"closed","file_size":765410}],"date_created":"2017-10-17T12:41:30Z","type":"conference","department":[{"_id":"66"},{"_id":"276"},{"_id":"76"}],"publication":"Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC)","abstract":[{"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.","lang":"eng"}],"language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science (LNCS)","doi":"10.1007/978-3-319-46295-0_19","year":"2016","title":"Features of IT Service Markets: A Systematic Literature Review","author":[{"id":"36399","last_name":"Jazayeri","first_name":"Bahar","full_name":"Jazayeri, Bahar"},{"first_name":"Marie","last_name":"Platenius","full_name":"Platenius, Marie"},{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"full_name":"Kundisch, Dennis","first_name":"Dennis","last_name":"Kundisch","id":"21117"}],"date_updated":"2022-01-06T06:54:14Z","intvolume":"      9936","place":"Banff, Canada","file_date_updated":"2018-03-21T12:15:24Z","citation":{"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={<a href=\"https://doi.org/10.1007/978-3-319-46295-0_19\">10.1007/978-3-319-46295-0_19</a>}, 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)} }","ama":"Jazayeri B, Platenius M, Engels G, Kundisch D. Features of IT Service Markets: A Systematic Literature Review. In: <i>Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC)</i>. Vol 9936. Lecture Notes in Computer Science (LNCS). Banff, Canada: Springer; 2016:301-316. doi:<a href=\"https://doi.org/10.1007/978-3-319-46295-0_19\">10.1007/978-3-319-46295-0_19</a>","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.","chicago":"Jazayeri, Bahar, Marie Platenius, Gregor Engels, and Dennis Kundisch. “Features of IT Service Markets: A Systematic Literature Review.” In <i>Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC)</i>, 9936:301–16. Lecture Notes in Computer Science (LNCS). Banff, Canada: Springer, 2016. <a href=\"https://doi.org/10.1007/978-3-319-46295-0_19\">https://doi.org/10.1007/978-3-319-46295-0_19</a>.","ieee":"B. Jazayeri, M. Platenius, G. Engels, and D. Kundisch, “Features of IT Service Markets: A Systematic Literature Review,” in <i>Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC)</i>, 2016, vol. 9936, pp. 301–316.","apa":"Jazayeri, B., Platenius, M., Engels, G., &#38; Kundisch, D. (2016). Features of IT Service Markets: A Systematic Literature Review. In <i>Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC)</i> (Vol. 9936, pp. 301–316). Banff, Canada: Springer. <a href=\"https://doi.org/10.1007/978-3-319-46295-0_19\">https://doi.org/10.1007/978-3-319-46295-0_19</a>","mla":"Jazayeri, Bahar, et al. “Features of IT Service Markets: A Systematic Literature Review.” <i>Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC)</i>, vol. 9936, Springer, 2016, pp. 301–16, doi:<a href=\"https://doi.org/10.1007/978-3-319-46295-0_19\">10.1007/978-3-319-46295-0_19</a>."},"project":[{"_id":"1","name":"SFB 901"},{"_id":"17","name":"SFB 901 - Subprojekt C5"},{"_id":"4","name":"SFB 901 - Project Area C"}],"page":"301-316","_id":"199","publisher":"Springer","ddc":["040"],"user_id":"477","volume":9936,"status":"public","has_accepted_license":"1"},{"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}","citation":{"bibtex":"@inproceedings{Bodden_I Pun_Steffen_Stolz_Wickert_2016, title={Information Flow Analysis for Go}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-47166-2_30\">10.1007/978-3-319-47166-2_30</a>}, 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 <i>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}</i>, 431–45, 2016. <a href=\"https://doi.org/10.1007/978-3-319-47166-2_30\">https://doi.org/10.1007/978-3-319-47166-2_30</a>.","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.","ama":"Bodden E, I Pun K, Steffen M, Stolz V, Wickert A-K. Information Flow Analysis for Go. In: <i>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}</i>. ; 2016:431-445. doi:<a href=\"https://doi.org/10.1007/978-3-319-47166-2_30\">10.1007/978-3-319-47166-2_30</a>","ieee":"E. Bodden, K. I Pun, M. Steffen, V. Stolz, and A.-K. Wickert, “Information Flow Analysis for Go,” in <i>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}</i>, 2016, pp. 431–445, doi: <a href=\"https://doi.org/10.1007/978-3-319-47166-2_30\">10.1007/978-3-319-47166-2_30</a>.","apa":"Bodden, E., I Pun, K., Steffen, M., Stolz, V., &#38; Wickert, A.-K. (2016). Information Flow Analysis for Go. <i>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}</i>, 431–445. <a href=\"https://doi.org/10.1007/978-3-319-47166-2_30\">https://doi.org/10.1007/978-3-319-47166-2_30</a>","mla":"Bodden, Eric, et al. “Information Flow Analysis for Go.” <i>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}</i>, 2016, pp. 431–45, doi:<a href=\"https://doi.org/10.1007/978-3-319-47166-2_30\">10.1007/978-3-319-47166-2_30</a>."},"date_created":"2020-11-30T11:02:52Z","type":"conference","department":[{"_id":"76"}],"year":"2016","status":"public","title":"Information Flow Analysis for Go","author":[{"id":"59256","orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden","full_name":"Bodden, Eric"},{"full_name":"I Pun, Ka","first_name":"Ka","last_name":"I Pun"},{"full_name":"Steffen, Martin","first_name":"Martin","last_name":"Steffen"},{"full_name":"Stolz, Volker","first_name":"Volker","last_name":"Stolz"},{"full_name":"Wickert, Anna-Katharina","first_name":"Anna-Katharina","last_name":"Wickert"}],"date_updated":"2022-01-06T06:54:30Z","page":"431-445","_id":"20556","language":[{"iso":"eng"}],"user_id":"5786","doi":"10.1007/978-3-319-47166-2_30"},{"_id":"20716","language":[{"iso":"eng"}],"main_file_link":[{"url":"http://bodden.de/pubs/bep16gotaint.pdf"}],"user_id":"5786","author":[{"full_name":"Bodden, Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","first_name":"Eric","id":"59256"},{"full_name":"Eichberg, Michael","last_name":"Eichberg","first_name":"Michael"},{"last_name":"I Pun","first_name":"Ka","full_name":"I Pun, Ka"},{"full_name":"Steffen, Martin","last_name":"Steffen","first_name":"Martin"},{"last_name":"Stolz","first_name":"Volker","full_name":"Stolz, Volker"},{"full_name":"Wickert, Anna-Katharina","last_name":"Wickert","first_name":"Anna-Katharina"}],"status":"public","year":"2016","title":"Don't let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go","date_updated":"2022-01-06T06:54:34Z","date_created":"2020-12-14T11:56:15Z","department":[{"_id":"76"}],"type":"conference","citation":{"short":"E. Bodden, M. Eichberg, K. I Pun, M. Steffen, V. Stolz, A.-K. Wickert, in: Nordic Workshop on Programming Theory (NWPT’16), 2016.","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: <i>Nordic Workshop on Programming Theory (NWPT’16)</i>. ; 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 <i>Nordic Workshop on Programming Theory (NWPT’16)</i>, 2016.","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} }","apa":"Bodden, E., Eichberg, M., I Pun, K., Steffen, M., Stolz, V., &#38; Wickert, A.-K. (2016). Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go. <i>Nordic Workshop on Programming Theory (NWPT’16)</i>.","mla":"Bodden, Eric, et al. “Don’t Let Data Go Astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go.” <i>Nordic Workshop on Programming Theory (NWPT’16)</i>, 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."},"publication":"Nordic Workshop on Programming Theory (NWPT'16)"},{"department":[{"_id":"76"}],"type":"report","keyword":["ATTRACT","ITSECWEBSITE"],"date_created":"2020-12-14T11:57:09Z","citation":{"bibtex":"@book{Nguyen Quang Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2016, title={Just-in-Time Static Analysis}, DOI={<a href=\"http://dx.doi.org/10.7939/DVN/10859\">http://dx.doi.org/10.7939/DVN/10859</a>}, author={Nguyen Quang Do, Lisa and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson}, year={2016} }","ama":"Nguyen Quang Do L, Ali K, Livshits B, Bodden E, Smith J, Murphy-Hill E. <i>Just-in-Time Static Analysis</i>.; 2016. doi:<a href=\"http://dx.doi.org/10.7939/DVN/10859\">http://dx.doi.org/10.7939/DVN/10859</a>","mla":"Nguyen Quang Do, Lisa, et al. <i>Just-in-Time Static Analysis</i>. 2016, doi:<a href=\"http://dx.doi.org/10.7939/DVN/10859\">http://dx.doi.org/10.7939/DVN/10859</a>.","short":"L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, Just-in-Time Static Analysis, 2016.","chicago":"Nguyen Quang Do, Lisa, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill. <i>Just-in-Time Static Analysis</i>, 2016. <a href=\"http://dx.doi.org/10.7939/DVN/10859\">http://dx.doi.org/10.7939/DVN/10859</a>.","ieee":"L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill, <i>Just-in-Time Static Analysis</i>. 2016.","apa":"Nguyen Quang Do, L., Ali, K., Livshits, B., Bodden, E., Smith, J., &#38; Murphy-Hill, E. (2016). <i>Just-in-Time Static Analysis</i>. <a href=\"http://dx.doi.org/10.7939/DVN/10859\">http://dx.doi.org/10.7939/DVN/10859</a>"},"doi":"http://dx.doi.org/10.7939/DVN/10859","user_id":"5786","_id":"20717","language":[{"iso":"eng"}],"main_file_link":[{"url":"http://bodden.de/pubs/dal16jit-tr.pdf"}],"date_updated":"2022-01-06T06:54:34Z","author":[{"first_name":"Lisa","last_name":"Nguyen Quang Do","full_name":"Nguyen Quang Do, Lisa"},{"full_name":"Ali, Karim","first_name":"Karim","last_name":"Ali"},{"full_name":"Livshits, Benjamin","last_name":"Livshits","first_name":"Benjamin"},{"first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"},{"full_name":"Smith, Justin","first_name":"Justin","last_name":"Smith"},{"first_name":"Emerson","last_name":"Murphy-Hill","full_name":"Murphy-Hill, Emerson"}],"year":"2016","title":"Just-in-Time Static Analysis","status":"public"}]