[{"date_updated":"2022-01-06T06:54:34Z","author":[{"last_name":"Holzinger","first_name":"Philipp","full_name":"Holzinger, Philipp"},{"full_name":"Triller, Stefan","last_name":"Triller","first_name":"Stefan"},{"last_name":"Bartel","first_name":"Alexandre","full_name":"Bartel, Alexandre"},{"last_name":"Bodden","first_name":"Eric","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"}],"publication_identifier":{"isbn":["978-1-4503-4139-4"]},"title":"An In-Depth Study of More Than Ten Years of Java Exploitation","status":"public","year":"2016","user_id":"5786","doi":"http://doi.acm.org/10.1145/2976749.2978361","series_title":"CCS '16","_id":"20719","language":[{"iso":"eng"}],"page":"779-790","citation":{"chicago":"Holzinger, Philipp, Stefan Triller, Alexandre Bartel, and Eric Bodden. “An In-Depth Study of More Than Ten Years of Java Exploitation.” In <i>Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security</i>, 779–90. CCS ’16, 2016. <a href=\"http://doi.acm.org/10.1145/2976749.2978361\">http://doi.acm.org/10.1145/2976749.2978361</a>.","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.","ieee":"P. Holzinger, S. Triller, A. Bartel, and E. Bodden, “An In-Depth Study of More Than Ten Years of Java Exploitation,” in <i>Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security</i>, 2016, pp. 779–790, doi: <a href=\"http://doi.acm.org/10.1145/2976749.2978361\">http://doi.acm.org/10.1145/2976749.2978361</a>.","apa":"Holzinger, P., Triller, S., Bartel, A., &#38; Bodden, E. (2016). An In-Depth Study of More Than Ten Years of Java Exploitation. <i>Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security</i>, 779–790. <a href=\"http://doi.acm.org/10.1145/2976749.2978361\">http://doi.acm.org/10.1145/2976749.2978361</a>","bibtex":"@inproceedings{Holzinger_Triller_Bartel_Bodden_2016, series={CCS ’16}, title={An In-Depth Study of More Than Ten Years of Java Exploitation}, DOI={<a href=\"http://doi.acm.org/10.1145/2976749.2978361\">http://doi.acm.org/10.1145/2976749.2978361</a>}, 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} }","ama":"Holzinger P, Triller S, Bartel A, Bodden E. An In-Depth Study of More Than Ten Years of Java Exploitation. In: <i>Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security</i>. CCS ’16. ; 2016:779-790. doi:<a href=\"http://doi.acm.org/10.1145/2976749.2978361\">http://doi.acm.org/10.1145/2976749.2978361</a>","mla":"Holzinger, Philipp, et al. “An In-Depth Study of More Than Ten Years of Java Exploitation.” <i>Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security</i>, 2016, pp. 779–90, doi:<a href=\"http://doi.acm.org/10.1145/2976749.2978361\">http://doi.acm.org/10.1145/2976749.2978361</a>."},"publication":"Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security","department":[{"_id":"76"}],"keyword":["ATTRACT","access control","exploits","java security","security analysis","ITSECWEBSITE"],"type":"conference","date_created":"2020-12-14T11:58:33Z"},{"year":"2016","title":"PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution","status":"public","author":[{"last_name":"Follner","first_name":"Andreas","full_name":"Follner, Andreas"},{"full_name":"Bartel, Alexandre","first_name":"Alexandre","last_name":"Bartel"},{"last_name":"Peng","first_name":"Hui","full_name":"Peng, Hui"},{"first_name":"Yu-Chen","last_name":"Chang","full_name":"Chang, Yu-Chen"},{"last_name":"Ispoglou","first_name":"Kyriakos","full_name":"Ispoglou, Kyriakos"},{"last_name":"Payer","first_name":"Mathias","full_name":"Payer, Mathias"},{"id":"59256","full_name":"Bodden, Eric","first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647"}],"date_updated":"2022-01-06T06:54:34Z","page":"212-228","main_file_link":[{"url":"http://bodden.de/pubs/fbt+16pshape.pdf"}],"language":[{"iso":"eng"}],"_id":"20720","user_id":"5786","publication":"International Workshop on Security and Trust Management (STM)","citation":{"ieee":"A. Follner <i>et al.</i>, “PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution,” in <i>International Workshop on Security and Trust Management (STM)</i>, 2016, pp. 212–228.","apa":"Follner, A., Bartel, A., Peng, H., Chang, Y.-C., Ispoglou, K., Payer, M., &#38; Bodden, E. (2016). PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution. <i>International Workshop on Security and Trust Management (STM)</i>, 212–228.","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.","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 <i>International Workshop on Security and Trust Management (STM)</i>, 212–28, 2016.","mla":"Follner, Andreas, et al. “PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution.” <i>International Workshop on Security and Trust Management (STM)</i>, 2016, pp. 212–28.","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} }","ama":"Follner A, Bartel A, Peng H, et al. PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution. In: <i>International Workshop on Security and Trust Management (STM)</i>. ; 2016:212-228."},"date_created":"2020-12-14T11:59:04Z","type":"conference","department":[{"_id":"76"}]},{"date_updated":"2022-01-06T06:54:34Z","author":[{"full_name":"Nguyen Quang Do, Lisa","last_name":"Nguyen Quang Do","first_name":"Lisa"},{"last_name":"Eichberg","first_name":"Michael","full_name":"Eichberg, Michael"},{"id":"59256","full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","first_name":"Eric"}],"title":"Toward an Automated Benchmark Management System","year":"2016","status":"public","user_id":"5786","_id":"20721","series_title":"SOAP 2016","language":[{"iso":"eng"}],"main_file_link":[{"url":"http://bodden.de/pubs/neb16toward.pdf"}],"page":"13-17","citation":{"chicago":"Nguyen Quang Do, Lisa, Michael Eichberg, and Eric Bodden. “Toward an Automated Benchmark Management System.” In <i>Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis</i>, 13–17. SOAP 2016, 2016.","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.","ama":"Nguyen Quang Do L, Eichberg M, Bodden E. Toward an Automated Benchmark Management System. In: <i>Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis</i>. SOAP 2016. ; 2016: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} }","apa":"Nguyen Quang Do, L., Eichberg, M., &#38; Bodden, E. (2016). Toward an Automated Benchmark Management System. <i>Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis</i>, 13–17.","mla":"Nguyen Quang Do, Lisa, et al. “Toward an Automated Benchmark Management System.” <i>Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis</i>, 2016, pp. 13–17.","ieee":"L. Nguyen Quang Do, M. Eichberg, and E. Bodden, “Toward an Automated Benchmark Management System,” in <i>Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis</i>, 2016, pp. 13–17."},"publication":"Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis","department":[{"_id":"76"}],"keyword":["ATTRACT"],"type":"conference","date_created":"2020-12-14T12:00:32Z"},{"type":"conference","department":[{"_id":"76"}],"date_created":"2020-12-14T12:02:21Z","publication":"Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis","citation":{"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.","ama":"Arzt S, Kussmaul T, Bodden E. Towards Cross-Platform Cross-Language Analysis with Soot. In: <i>Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis</i>. SOAP 2016. ; 2016:1-6.","chicago":"Arzt, Steven, Tobias Kussmaul, and Eric Bodden. “Towards Cross-Platform Cross-Language Analysis with Soot.” In <i>Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis</i>, 1–6. SOAP 2016, 2016.","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} }","apa":"Arzt, S., Kussmaul, T., &#38; Bodden, E. (2016). Towards Cross-Platform Cross-Language Analysis with Soot. <i>Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis</i>, 1–6.","mla":"Arzt, Steven, et al. “Towards Cross-Platform Cross-Language Analysis with Soot.” <i>Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis</i>, 2016, pp. 1–6.","ieee":"S. Arzt, T. Kussmaul, and E. Bodden, “Towards Cross-Platform Cross-Language Analysis with Soot,” in <i>Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis</i>, 2016, pp. 1–6."},"user_id":"5786","main_file_link":[{"url":"http://www.bodden.de/pubs/akb16towards.pdf"}],"page":"1-6","language":[{"iso":"eng"}],"_id":"20722","series_title":"SOAP 2016","date_updated":"2022-01-06T06:54:34Z","status":"public","year":"2016","title":"Towards Cross-Platform Cross-Language Analysis with Soot","author":[{"first_name":"Steven","last_name":"Arzt","full_name":"Arzt, Steven"},{"full_name":"Kussmaul, Tobias","first_name":"Tobias","last_name":"Kussmaul"},{"full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","first_name":"Eric","id":"59256"}]},{"page":"16-26","main_file_link":[{"url":"http://www.bodden.de/pubs/fb2016ropocop.pdf"}],"_id":"20724","language":[{"iso":"eng"}],"user_id":"5786","doi":"http://dx.doi.org/10.1016/j.jisa.2016.01.002","volume":29,"year":"2016","title":"ROPocop — Dynamic mitigation of code-reuse attacks","status":"public","author":[{"last_name":"Follner","first_name":"Andreas","full_name":"Follner, Andreas"},{"id":"59256","full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden"}],"publication_identifier":{"issn":["2214-2126"]},"date_updated":"2022-01-06T06:54:34Z","intvolume":"        29","date_created":"2020-12-14T14:11:40Z","type":"journal_article","department":[{"_id":"76"}],"publication":"Journal of Information Security and Applications ","citation":{"ama":"Follner A, Bodden E. ROPocop — Dynamic mitigation of code-reuse attacks. <i>Journal of Information Security and Applications </i>. 2016;29:16-26. doi:<a href=\"http://dx.doi.org/10.1016/j.jisa.2016.01.002\">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>","bibtex":"@article{Follner_Bodden_2016, title={ROPocop — Dynamic mitigation of code-reuse attacks}, volume={29}, DOI={<a href=\"http://dx.doi.org/10.1016/j.jisa.2016.01.002\">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>}, journal={Journal of Information Security and Applications }, author={Follner, Andreas and Bodden, Eric}, year={2016}, pages={16–26} }","mla":"Follner, Andreas, and Eric Bodden. “ROPocop — Dynamic Mitigation of Code-Reuse Attacks.” <i>Journal of Information Security and Applications </i>, vol. 29, 2016, pp. 16–26, doi:<a href=\"http://dx.doi.org/10.1016/j.jisa.2016.01.002\">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>.","short":"A. Follner, E. Bodden, Journal of Information Security and Applications  29 (2016) 16–26.","chicago":"Follner, Andreas, and Eric Bodden. “ROPocop — Dynamic Mitigation of Code-Reuse Attacks.” <i>Journal of Information Security and Applications </i> 29 (2016): 16–26. <a href=\"http://dx.doi.org/10.1016/j.jisa.2016.01.002\">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>.","apa":"Follner, A., &#38; Bodden, E. (2016). ROPocop — Dynamic mitigation of code-reuse attacks. <i>Journal of Information Security and Applications </i>, <i>29</i>, 16–26. <a href=\"http://dx.doi.org/10.1016/j.jisa.2016.01.002\">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>","ieee":"A. Follner and E. Bodden, “ROPocop — Dynamic mitigation of code-reuse attacks,” <i>Journal of Information Security and Applications </i>, vol. 29, pp. 16–26, 2016, doi: <a href=\"http://dx.doi.org/10.1016/j.jisa.2016.01.002\">http://dx.doi.org/10.1016/j.jisa.2016.01.002</a>."}},{"user_id":"5786","main_file_link":[{"url":"http://www.bodden.de/pubs/fbb16analyzing.pdf"}],"_id":"20725","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:34Z","year":"2016","title":"Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality","status":"public","author":[{"first_name":"Andreas","last_name":"Follner","full_name":"Follner, Andreas"},{"full_name":"Bartel, Alexandre","first_name":"Alexandre","last_name":"Bartel"},{"id":"59256","last_name":"Bodden","orcid":"0000-0003-3470-3647","first_name":"Eric","full_name":"Bodden, Eric"}],"type":"conference","department":[{"_id":"76"}],"date_created":"2020-12-14T14:12:36Z","publication":"International Symposium on Engineering Secure Software and Systems (ESSoS)","citation":{"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} }","ama":"Follner A, Bartel A, Bodden E. Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality. In: <i>International Symposium on Engineering Secure Software and Systems (ESSoS)</i>. ; 2016.","short":"A. Follner, A. Bartel, E. Bodden, in: International Symposium on Engineering Secure Software and Systems (ESSoS), 2016.","chicago":"Follner, Andreas, Alexandre Bartel, and Eric Bodden. “Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality.” In <i>International Symposium on Engineering Secure Software and Systems (ESSoS)</i>, 2016.","ieee":"A. Follner, A. Bartel, and E. Bodden, “Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality,” 2016.","apa":"Follner, A., Bartel, A., &#38; Bodden, E. (2016). Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality. <i>International Symposium on Engineering Secure Software and Systems (ESSoS)</i>.","mla":"Follner, Andreas, et al. “Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality.” <i>International Symposium on Engineering Secure Software and Systems (ESSoS)</i>, 2016."}},{"doi":"10.1007/978-3-662-49635-0_7","user_id":"5786","editor":[{"last_name":"Piessens","first_name":"Frank","full_name":"Piessens, Frank"},{"full_name":"Vigan'o, Luca","last_name":"Vigan'o","first_name":"Luca"}],"page":"116-138","main_file_link":[{"url":"http://www.bodden.de/pubs/fb16mitigating.pdf"}],"_id":"20726","language":[{"iso":"eng"}],"publisher":"Springer Berlin Heidelberg","date_updated":"2022-01-06T06:54:34Z","year":"2016","title":"Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels","status":"public","author":[{"full_name":"Falzon, Kevin","last_name":"Falzon","first_name":"Kevin"},{"id":"59256","first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric"}],"publication_identifier":{"isbn":["978-3-662-49635-0"]},"type":"conference","department":[{"_id":"76"}],"place":"Berlin, Heidelberg","date_created":"2020-12-14T14:20:20Z","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","citation":{"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.","chicago":"Falzon, Kevin, and Eric Bodden. “Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels.” In <i>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</i>, edited by Frank Piessens and Luca Vigan’o, 116–38. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. <a href=\"https://doi.org/10.1007/978-3-662-49635-0_7\">https://doi.org/10.1007/978-3-662-49635-0_7</a>.","ieee":"K. Falzon and E. Bodden, “Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels,” in <i>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</i>, 2016, pp. 116–138, doi: <a href=\"https://doi.org/10.1007/978-3-662-49635-0_7\">10.1007/978-3-662-49635-0_7</a>.","apa":"Falzon, K., &#38; Bodden, E. (2016). Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels. In F. Piessens &#38; L. Vigan’o (Eds.), <i>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</i> (pp. 116–138). Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/978-3-662-49635-0_7\">https://doi.org/10.1007/978-3-662-49635-0_7</a>","bibtex":"@inproceedings{Falzon_Bodden_2016, place={Berlin, Heidelberg}, title={Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels}, DOI={<a href=\"https://doi.org/10.1007/978-3-662-49635-0_7\">10.1007/978-3-662-49635-0_7</a>}, 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} }","ama":"Falzon K, Bodden E. Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels. In: Piessens F, Vigan’o L, eds. <i>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</i>. Springer Berlin Heidelberg; 2016:116-138. doi:<a href=\"https://doi.org/10.1007/978-3-662-49635-0_7\">10.1007/978-3-662-49635-0_7</a>","mla":"Falzon, Kevin, and Eric Bodden. “Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels.” <i>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</i>, edited by Frank Piessens and Luca Vigan’o, Springer Berlin Heidelberg, 2016, pp. 116–38, doi:<a href=\"https://doi.org/10.1007/978-3-662-49635-0_7\">10.1007/978-3-662-49635-0_7</a>."}},{"main_file_link":[{"url":"http://www.bodden.de/pubs/ssme16harvesting.pdf"}],"_id":"20727","language":[{"iso":"eng"}],"user_id":"5786","title":"Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques","status":"public","year":"2016","author":[{"full_name":"Rasthofer, Siegfried","first_name":"Siegfried","last_name":"Rasthofer"},{"full_name":"Arzt, Steven","first_name":"Steven","last_name":"Arzt"},{"last_name":"Miltenberger","first_name":"Marc","full_name":"Miltenberger, Marc"},{"id":"59256","first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric"}],"date_updated":"2022-01-06T06:54:34Z","date_created":"2020-12-14T14:21:41Z","type":"conference","keyword":["ATTRACT","ITSECWEBSITE"],"department":[{"_id":"76"}],"publication":"Network and Distributed System Security Symposium (NDSS)","citation":{"ieee":"S. Rasthofer, S. Arzt, M. Miltenberger, and E. Bodden, “Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques,” 2016.","apa":"Rasthofer, S., Arzt, S., Miltenberger, M., &#38; Bodden, E. (2016). Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques. <i>Network and Distributed System Security Symposium (NDSS)</i>.","short":"S. Rasthofer, S. Arzt, M. Miltenberger, E. Bodden, in: Network and Distributed System Security Symposium (NDSS), 2016.","chicago":"Rasthofer, Siegfried, Steven Arzt, Marc Miltenberger, and Eric Bodden. “Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques.” In <i>Network and Distributed System Security Symposium (NDSS)</i>, 2016.","mla":"Rasthofer, Siegfried, et al. “Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques.” <i>Network and Distributed System Security Symposium (NDSS)</i>, 2016.","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} }","ama":"Rasthofer S, Arzt S, Miltenberger M, Bodden E. Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques. In: <i>Network and Distributed System Security Symposium (NDSS)</i>. ; 2016."}},{"date_created":"2020-12-14T14:22:36Z","department":[{"_id":"76"}],"keyword":["CROSSING","ITSECWEBSITE"],"type":"conference","citation":{"ama":"Nadi S, Krüger S, Mezini M, Bodden E. Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs? In: <i>International Conference for Software Engineering (ICSE)</i>. ; 2016: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} }","mla":"Nadi, Sarah, et al. “Jumping Through Hoops: Why Do Java Developers Struggle With Cryptography APIs?” <i>International Conference for Software Engineering (ICSE)</i>, 2016, pp. 935–46.","chicago":"Nadi, Sarah, Stefan Krüger, Mira Mezini, and Eric Bodden. “Jumping Through Hoops: Why Do Java Developers Struggle With Cryptography APIs?” In <i>International Conference for Software Engineering (ICSE)</i>, 935–46, 2016.","short":"S. Nadi, S. Krüger, M. Mezini, E. Bodden, in: International Conference for Software Engineering (ICSE), 2016, pp. 935–946.","apa":"Nadi, S., Krüger, S., Mezini, M., &#38; Bodden, E. (2016). Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs? <i>International Conference for Software Engineering (ICSE)</i>, 935–946.","ieee":"S. Nadi, S. Krüger, M. Mezini, and E. Bodden, “Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs?,” in <i>International Conference for Software Engineering (ICSE)</i>, 2016, pp. 935–946."},"publication":"International Conference for Software Engineering (ICSE)","_id":"20728","language":[{"iso":"eng"}],"main_file_link":[{"url":"http://www.bodden.de/pubs/nkm+16jumping.pdf"}],"page":"935-946","user_id":"5786","author":[{"first_name":"Sarah","last_name":"Nadi","full_name":"Nadi, Sarah"},{"last_name":"Krüger","first_name":"Stefan","full_name":"Krüger, Stefan"},{"full_name":"Mezini, Mira","last_name":"Mezini","first_name":"Mira"},{"first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"}],"status":"public","title":"Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs?","year":"2016","date_updated":"2022-01-06T06:54:34Z"},{"language":[{"iso":"eng"}],"_id":"20729","main_file_link":[{"url":"http://www.bodden.de/pubs/ab16stubdroid.pdf"}],"user_id":"5786","author":[{"last_name":"Arzt","first_name":"Steven","full_name":"Arzt, Steven"},{"first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256"}],"status":"public","year":"2016","title":"StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework","date_updated":"2022-01-06T06:54:34Z","date_created":"2020-12-14T14:23:29Z","department":[{"_id":"76"}],"keyword":["ITSECWEBSITE"],"type":"conference","citation":{"ieee":"S. Arzt and E. Bodden, “StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework,” 2016.","apa":"Arzt, S., &#38; Bodden, E. (2016). StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework. <i>International Conference for Software Engineering (ICSE)</i>.","chicago":"Arzt, Steven, and Eric Bodden. “StubDroid: Automatic Inference of Precise Data-Flow Summaries for the Android Framework.” In <i>International Conference for Software Engineering (ICSE)</i>, 2016.","short":"S. Arzt, E. Bodden, in: International Conference for Software Engineering (ICSE), 2016.","mla":"Arzt, Steven, and Eric Bodden. “StubDroid: Automatic Inference of Precise Data-Flow Summaries for the Android Framework.” <i>International Conference for Software Engineering (ICSE)</i>, 2016.","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} }","ama":"Arzt S, Bodden E. StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework. In: <i>International Conference for Software Engineering (ICSE)</i>. ; 2016."},"publication":"International Conference for Software Engineering (ICSE)"},{"publication":"2016 49th Hawaii International Conference on System Sciences (HICSS)","citation":{"ama":"Eling N, Rasthofer S, Kolhagen M, Bodden E, Buxmann P. Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment. In: <i>2016 49th Hawaii International Conference on System Sciences (HICSS)</i>. ; 2016:3666-3675. doi:<a href=\"https://doi.org/10.1109/HICSS.2016.458\">10.1109/HICSS.2016.458</a>","bibtex":"@inproceedings{Eling_Rasthofer_Kolhagen_Bodden_Buxmann_2016, title={Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment}, DOI={<a href=\"https://doi.org/10.1109/HICSS.2016.458\">10.1109/HICSS.2016.458</a>}, 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} }","mla":"Eling, N., et al. “Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment.” <i>2016 49th Hawaii International Conference on System Sciences (HICSS)</i>, 2016, pp. 3666–75, doi:<a href=\"https://doi.org/10.1109/HICSS.2016.458\">10.1109/HICSS.2016.458</a>.","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.","chicago":"Eling, N., S. Rasthofer, M. Kolhagen, Eric Bodden, and P. Buxmann. “Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment.” In <i>2016 49th Hawaii International Conference on System Sciences (HICSS)</i>, 3666–75, 2016. <a href=\"https://doi.org/10.1109/HICSS.2016.458\">https://doi.org/10.1109/HICSS.2016.458</a>.","apa":"Eling, N., Rasthofer, S., Kolhagen, M., Bodden, E., &#38; Buxmann, P. (2016). Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment. <i>2016 49th Hawaii International Conference on System Sciences (HICSS)</i>, 3666–3675. <a href=\"https://doi.org/10.1109/HICSS.2016.458\">https://doi.org/10.1109/HICSS.2016.458</a>","ieee":"N. Eling, S. Rasthofer, M. Kolhagen, E. Bodden, and P. Buxmann, “Investigating Users’ Reaction to Fine-Grained Data Requests: A Market Experiment,” in <i>2016 49th Hawaii International Conference on System Sciences (HICSS)</i>, 2016, pp. 3666–3675, doi: <a href=\"https://doi.org/10.1109/HICSS.2016.458\">10.1109/HICSS.2016.458</a>."},"type":"conference","department":[{"_id":"76"}],"date_created":"2020-12-14T14:24:12Z","date_updated":"2022-01-06T06:54:34Z","status":"public","year":"2016","title":"Investigating Users' Reaction to Fine-Grained Data Requests: A Market Experiment","author":[{"full_name":"Eling, N.","first_name":"N.","last_name":"Eling"},{"last_name":"Rasthofer","first_name":"S.","full_name":"Rasthofer, S."},{"full_name":"Kolhagen, M.","last_name":"Kolhagen","first_name":"M."},{"orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden","full_name":"Bodden, Eric","id":"59256"},{"full_name":"Buxmann, P.","first_name":"P.","last_name":"Buxmann"}],"publication_identifier":{"issn":["1530-1605"]},"doi":"10.1109/HICSS.2016.458","user_id":"5786","main_file_link":[{"url":"http://www.bodden.de/pubs/erk+15investigating.pdf"}],"page":"3666-3675","_id":"20730","language":[{"iso":"eng"}]},{"page":"431-447","_id":"208","user_id":"477","ddc":["040"],"status":"public","has_accepted_license":"1","file_date_updated":"2018-03-21T10:43:36Z","citation":{"ama":"Blömer J, Liske G. Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes. In: <i>Proceedings of the CT-RSA 2016</i>. LNCS. ; 2016:431-447. doi:<a href=\"https://doi.org/10.1007/978-3-319-29485-8_25\">10.1007/978-3-319-29485-8_25</a>","bibtex":"@inproceedings{Blömer_Liske_2016, series={LNCS}, title={Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-29485-8_25\">10.1007/978-3-319-29485-8_25</a>}, booktitle={Proceedings of the CT-RSA 2016}, author={Blömer, Johannes and Liske, Gennadij}, year={2016}, pages={431–447}, collection={LNCS} }","mla":"Blömer, Johannes, and Gennadij Liske. “Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes.” <i>Proceedings of the CT-RSA 2016</i>, 2016, pp. 431–47, doi:<a href=\"https://doi.org/10.1007/978-3-319-29485-8_25\">10.1007/978-3-319-29485-8_25</a>.","chicago":"Blömer, Johannes, and Gennadij Liske. “Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes.” In <i>Proceedings of the CT-RSA 2016</i>, 431–47. LNCS, 2016. <a href=\"https://doi.org/10.1007/978-3-319-29485-8_25\">https://doi.org/10.1007/978-3-319-29485-8_25</a>.","short":"J. Blömer, G. Liske, in: Proceedings of the CT-RSA 2016, 2016, pp. 431–447.","apa":"Blömer, J., &#38; Liske, G. (2016). Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes. In <i>Proceedings of the CT-RSA 2016</i> (pp. 431–447). <a href=\"https://doi.org/10.1007/978-3-319-29485-8_25\">https://doi.org/10.1007/978-3-319-29485-8_25</a>","ieee":"J. Blömer and G. Liske, “Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes,” in <i>Proceedings of the CT-RSA 2016</i>, 2016, pp. 431–447."},"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt C1","_id":"13"},{"_id":"4","name":"SFB 901 - Project Area C"}],"series_title":"LNCS","doi":"10.1007/978-3-319-29485-8_25","year":"2016","title":"Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes","author":[{"id":"23","last_name":"Blömer","first_name":"Johannes","full_name":"Blömer, Johannes"},{"first_name":"Gennadij","last_name":"Liske","full_name":"Liske, Gennadij"}],"date_updated":"2022-01-06T06:54:39Z","file":[{"creator":"florida","date_created":"2018-03-21T10:43:36Z","file_name":"208-aCCA_P-KEM_final.pdf","access_level":"closed","file_size":462666,"relation":"main_file","date_updated":"2018-03-21T10:43:36Z","file_id":"1521","content_type":"application/pdf","success":1}],"date_created":"2017-10-17T12:41:32Z","type":"conference","department":[{"_id":"64"}],"publication":"Proceedings of the CT-RSA 2016","abstract":[{"text":"This paper presents a new framework for constructing fully CCA-secure predicate encryption schemes from pair encoding schemes. Our construction is the first in the context of predicate encryption which uses the technique of well-formedness proofs known from public key encryption. The resulting constructions are simpler and more efficient compared to the schemes achieved using known generic transformations from CPA-secure to CCA-secure schemes. The reduction costs of our framework are comparable to the reduction costs of the underlying CPA-secure framework. We achieve this last result by applying the dual system encryption methodology in a novel way.","lang":"eng"}]},{"place":"Zukunftsmeile 1, 33102 Paderborn, Germany","date_created":"2020-12-22T09:24:42Z","type":"report","department":[{"_id":"76"},{"_id":"241"}],"citation":{"ama":"Dziwok S, Pohlmann U, Piskachev G, Schubert D, Thiele S, Gerking C. <i>The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling</i>.; 2016.","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} }","mla":"Dziwok, Stefan, et al. <i>The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling</i>. 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.","chicago":"Dziwok, Stefan, Uwe Pohlmann, Goran Piskachev, David Schubert, Sebastian Thiele, and Christopher Gerking. <i>The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling</i>. Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.","apa":"Dziwok, S., Pohlmann, U., Piskachev, G., Schubert, D., Thiele, S., &#38; Gerking, C. (2016). <i>The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling</i>.","ieee":"S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, and C. Gerking, <i>The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling</i>. Zukunftsmeile 1, 33102 Paderborn, Germany, 2016."},"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."}],"_id":"20822","language":[{"iso":"eng"}],"user_id":"5786","status":"public","year":"2016","title":"The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling","author":[{"id":"3901","full_name":"Dziwok, Stefan","first_name":"Stefan","last_name":"Dziwok","orcid":"http://orcid.org/0000-0002-8679-6673"},{"full_name":"Pohlmann, Uwe","last_name":"Pohlmann","first_name":"Uwe"},{"id":"41936","first_name":"Goran","orcid":"0000-0003-4424-5838","last_name":"Piskachev","full_name":"Piskachev, Goran"},{"last_name":"Schubert","first_name":"David","full_name":"Schubert, David","id":"9106"},{"first_name":"Sebastian","last_name":"Thiele","full_name":"Thiele, Sebastian"},{"full_name":"Gerking, Christopher","last_name":"Gerking","first_name":"Christopher"}],"date_updated":"2022-01-06T06:54:40Z"},{"date_created":"2020-12-22T09:28:23Z","type":"report","department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"citation":{"ieee":"J. Holtmann <i>et al.</i>, <i>The MechatronicUML Requirements Engineering Method: Process and Language</i>. 2016.","apa":"Holtmann, J., Fockel, M., Koch, T., Schmelter, D., Brenner, C., Bernijazov, R., &#38; Sander, M. (2016). <i>The MechatronicUML Requirements Engineering Method: Process and Language</i>. <a href=\"https://doi.org/10.13140/RG.2.2.33223.29606\">https://doi.org/10.13140/RG.2.2.33223.29606</a>","chicago":"Holtmann, Jörg, Markus Fockel, Thorsten Koch, David Schmelter, Christian Brenner, Ruslan Bernijazov, and Marcel Sander. <i>The MechatronicUML Requirements Engineering Method: Process and Language</i>, 2016. <a href=\"https://doi.org/10.13140/RG.2.2.33223.29606\">https://doi.org/10.13140/RG.2.2.33223.29606</a>.","short":"J. Holtmann, M. Fockel, T. Koch, D. Schmelter, C. Brenner, R. Bernijazov, M. Sander, The MechatronicUML Requirements Engineering Method: Process and Language, 2016.","mla":"Holtmann, Jörg, et al. <i>The MechatronicUML Requirements Engineering Method: Process and Language</i>. 2016, doi:<a href=\"https://doi.org/10.13140/RG.2.2.33223.29606\">10.13140/RG.2.2.33223.29606</a>.","bibtex":"@book{Holtmann_Fockel_Koch_Schmelter_Brenner_Bernijazov_Sander_2016, title={The MechatronicUML Requirements Engineering Method: Process and Language}, DOI={<a href=\"https://doi.org/10.13140/RG.2.2.33223.29606\">10.13140/RG.2.2.33223.29606</a>}, author={Holtmann, Jörg and Fockel, Markus and Koch, Thorsten and Schmelter, David and Brenner, Christian and Bernijazov, Ruslan and Sander, Marcel}, year={2016} }","ama":"Holtmann J, Fockel M, Koch T, et al. <i>The MechatronicUML Requirements Engineering Method: Process and Language</i>.; 2016. doi:<a href=\"https://doi.org/10.13140/RG.2.2.33223.29606\">10.13140/RG.2.2.33223.29606</a>"},"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. "}],"language":[{"iso":"eng"}],"_id":"20823","doi":"10.13140/RG.2.2.33223.29606","user_id":"5786","year":"2016","status":"public","title":"The MechatronicUML Requirements Engineering Method: Process and Language","author":[{"id":"3875","full_name":"Holtmann, Jörg","first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571"},{"full_name":"Fockel, Markus","orcid":"0000-0002-1269-0702","last_name":"Fockel","first_name":"Markus","id":"8472"},{"full_name":"Koch, Thorsten","last_name":"Koch","first_name":"Thorsten","id":"13616"},{"id":"40982","full_name":"Schmelter, David","orcid":"0000-0001-7787-5380","first_name":"David","last_name":"Schmelter"},{"full_name":"Brenner, Christian","last_name":"Brenner","first_name":"Christian"},{"full_name":"Bernijazov, Ruslan","last_name":"Bernijazov","first_name":"Ruslan"},{"full_name":"Sander, Marcel","last_name":"Sander","first_name":"Marcel"}],"date_updated":"2022-01-06T06:54:40Z"},{"publication":"Tagungsband Embedded Software Engineering Kongress 2016","citation":{"mla":"Pohlmann, Uwe, et al. “Das Erwachen Der Macht – Automatische Softwareverteilung.” <i>Tagungsband Embedded Software Engineering Kongress 2016</i>, 2016, pp. 587–92.","bibtex":"@inproceedings{Pohlmann_Holtmann_Meyer_2016, title={Das Erwachen der Macht – Automatische Softwareverteilung}, booktitle={Tagungsband Embedded Software Engineering Kongress 2016}, author={Pohlmann, Uwe and Holtmann, Jörg and Meyer, Matthias}, year={2016}, pages={587–592} }","ama":"Pohlmann U, Holtmann J, Meyer M. Das Erwachen der Macht – Automatische Softwareverteilung. In: <i>Tagungsband Embedded Software Engineering Kongress 2016</i>. ; 2016:587-592.","ieee":"U. Pohlmann, J. Holtmann, and M. Meyer, “Das Erwachen der Macht – Automatische Softwareverteilung,” in <i>Tagungsband Embedded Software Engineering Kongress 2016</i>, 2016, pp. 587–592.","apa":"Pohlmann, U., Holtmann, J., &#38; Meyer, M. (2016). Das Erwachen der Macht – Automatische Softwareverteilung. In <i>Tagungsband Embedded Software Engineering Kongress 2016</i> (pp. 587–592).","short":"U. Pohlmann, J. Holtmann, M. Meyer, in: Tagungsband Embedded Software Engineering Kongress 2016, 2016, pp. 587–592.","chicago":"Pohlmann, Uwe, Jörg Holtmann, and Matthias Meyer. “Das Erwachen Der Macht – Automatische Softwareverteilung.” In <i>Tagungsband Embedded Software Engineering Kongress 2016</i>, 587–92, 2016."},"abstract":[{"lang":"ger","text":"Für die Ausführung der Software müssen die Softwarekomponenten auf ECUs verteilt werden. Dabei unterliegt die Verteilung sicherheitskritischen Constraints. Das Suchen der optimalen und gültigen Verteilung ist sehr komplex. Die Lösung kann effizient durch Verfahren des Operations Research ermittelt werden. Jedoch ist die manuelle Kodierung sehr aufwändig. Dieser Beitrag stellt eine modellgetriebene Methode und Werkzeugunterstützung vor, welche die Beschreibung von Constraints und Optimierungen vereinfacht sowie die formale Kodierung und Lösungssuche automatisiert. Dies erlaubt die effiziente Nutzung der Macht von formalen Modellen ohne Kenntnis der formalen mathematischen Verfahren. Die Vorteile der Methode werden anhand eines Beispiels aus der Automobilindustrie beschrieben. "}],"date_created":"2020-12-22T09:30:16Z","type":"conference","department":[{"_id":"241"}],"year":"2016","status":"public","title":"Das Erwachen der Macht – Automatische Softwareverteilung","author":[{"full_name":"Pohlmann, Uwe","first_name":"Uwe","last_name":"Pohlmann"},{"last_name":"Holtmann","orcid":"0000-0001-6141-4571","first_name":"Jörg","full_name":"Holtmann, Jörg","id":"3875"},{"id":"683","last_name":"Meyer","first_name":"Matthias","full_name":"Meyer, Matthias"}],"date_updated":"2022-01-06T06:54:40Z","page":"587-592","_id":"20824","language":[{"iso":"eng"}],"user_id":"15249"},{"date_created":"2020-12-22T09:32:08Z","type":"conference","department":[{"_id":"76"}],"publication":"Tag des Systems Engineering 2016","citation":{"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.","chicago":"Greinert, Matthias, Christian Tschirner, and Jörg Holtmann. “Anwendung von Methoden Der Produktentstehung Auf Basis Des Systemmodells Mechatronischer Systeme.” In <i>Tag Des Systems Engineering 2016</i>, 77–86. Gesellschaft f{\\\"u}r Systems Engineering e.V., 2016. <a href=\"https://doi.org/10.3139/9783446451414.008\">https://doi.org/10.3139/9783446451414.008</a>.","ieee":"M. Greinert, C. Tschirner, and J. Holtmann, “Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme,” in <i>Tag des Systems Engineering 2016</i>, 2016, pp. 77–86, doi: <a href=\"https://doi.org/10.3139/9783446451414.008\">10.3139/9783446451414.008</a>.","apa":"Greinert, M., Tschirner, C., &#38; Holtmann, J. (2016). Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. <i>Tag Des Systems Engineering 2016</i>, 77–86. <a href=\"https://doi.org/10.3139/9783446451414.008\">https://doi.org/10.3139/9783446451414.008</a>","bibtex":"@inproceedings{Greinert_Tschirner_Holtmann_2016, title={Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme}, DOI={<a href=\"https://doi.org/10.3139/9783446451414.008\">10.3139/9783446451414.008</a>}, 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} }","ama":"Greinert M, Tschirner C, Holtmann J. Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. In: <i>Tag Des Systems Engineering 2016</i>. Gesellschaft f{\\\"u}r Systems Engineering e.V.; 2016:77-86. doi:<a href=\"https://doi.org/10.3139/9783446451414.008\">10.3139/9783446451414.008</a>","mla":"Greinert, Matthias, et al. “Anwendung von Methoden Der Produktentstehung Auf Basis Des Systemmodells Mechatronischer Systeme.” <i>Tag Des Systems Engineering 2016</i>, Gesellschaft f{\\\"u}r Systems Engineering e.V., 2016, pp. 77–86, doi:<a href=\"https://doi.org/10.3139/9783446451414.008\">10.3139/9783446451414.008</a>."},"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."}],"page":"77-86","_id":"20825","publisher":"Gesellschaft f{\\\"u}r Systems Engineering e.V.","language":[{"iso":"eng"}],"doi":"10.3139/9783446451414.008","user_id":"5786","title":"Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme","year":"2016","status":"public","author":[{"last_name":"Greinert","first_name":"Matthias","full_name":"Greinert, Matthias"},{"last_name":"Tschirner","first_name":"Christian","full_name":"Tschirner, Christian"},{"orcid":"0000-0001-6141-4571","first_name":"Jörg","last_name":"Holtmann","full_name":"Holtmann, Jörg","id":"3875"}],"date_updated":"2022-01-06T06:54:40Z"},{"abstract":[{"lang":"eng","text":"The development of today’s technical products (e.g., in automation) is characterized by high customer expectations regarding the product individualization, which causes a wide range of product variants. Original equipment manufacturers (OEMs) can apply classical approaches from product line engineering, like feature modeling, to cope with the variability and the induced development complexity. Our tool support for feature models integrates a variety of feature model extensions like feature attributes and properties, logical constraints between features and feature properties, and the distinction between features and feature realizations. Furthermore, technical products have geometrical dimensions. The OEM specifies Computer Aided Design (CAD) models to consider these geometric dimensions and to virtually layout particular product variants. Geometric assembly constraints specify how parts of the product can be arranged in a CAD model. However, a potential product customer cannot configure an individual product variant and virtually layout this variant in the same software tool since the respective information stems from different sources. In order to cope with this problem, we present in this paper an extension of our tool support for feature models to specify geometric assembly constraints. Based on the proposed extension, we outline our research roadmap to consider these constraints in an online shop of an e-commerce system, in which a potential customer shall be able to configure a product variant and to virtually layout it according to the assembly constraints.\r\n"}],"citation":{"ama":"Koch T, Holtmann J, Schubert D, Lindemann T. Towards Feature-based Product Line Engineering of Technical Systems. In: Trächtler A, Denkena B, Thoben K-D, eds. <i>3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016)</i>. Elsevier; 2016:447-454. doi:<a href=\"https://doi.org/10.1016/j.protcy.2016.08.057\">10.1016/j.protcy.2016.08.057</a>","bibtex":"@inproceedings{Koch_Holtmann_Schubert_Lindemann_2016, title={Towards Feature-based Product Line Engineering of Technical Systems}, DOI={<a href=\"https://doi.org/10.1016/j.protcy.2016.08.057\">10.1016/j.protcy.2016.08.057</a>}, booktitle={3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016)}, publisher={Elsevier}, author={Koch, Thorsten and Holtmann, Jörg and Schubert, David and Lindemann, Timo}, editor={Trächtler, Ansgar and Denkena, Berend and Thoben, Klaus-DieterEditors}, year={2016}, pages={447–454} }","mla":"Koch, Thorsten, et al. “Towards Feature-Based Product Line Engineering of Technical Systems.” <i>3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016)</i>, edited by Ansgar Trächtler et al., Elsevier, 2016, pp. 447–54, doi:<a href=\"https://doi.org/10.1016/j.protcy.2016.08.057\">10.1016/j.protcy.2016.08.057</a>.","chicago":"Koch, Thorsten, Jörg Holtmann, David Schubert, and Timo Lindemann. “Towards Feature-Based Product Line Engineering of Technical Systems.” In <i>3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016)</i>, edited by Ansgar Trächtler, Berend Denkena, and Klaus-Dieter Thoben, 447–54. Elsevier, 2016. <a href=\"https://doi.org/10.1016/j.protcy.2016.08.057\">https://doi.org/10.1016/j.protcy.2016.08.057</a>.","short":"T. Koch, J. Holtmann, D. Schubert, T. Lindemann, in: A. Trächtler, B. Denkena, K.-D. Thoben (Eds.), 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016), Elsevier, 2016, pp. 447–454.","apa":"Koch, T., Holtmann, J., Schubert, D., &#38; Lindemann, T. (2016). Towards Feature-based Product Line Engineering of Technical Systems. In A. Trächtler, B. Denkena, &#38; K.-D. Thoben (Eds.), <i>3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016)</i> (pp. 447–454). Elsevier. <a href=\"https://doi.org/10.1016/j.protcy.2016.08.057\">https://doi.org/10.1016/j.protcy.2016.08.057</a>","ieee":"T. Koch, J. Holtmann, D. Schubert, and T. Lindemann, “Towards Feature-based Product Line Engineering of Technical Systems,” in <i>3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016)</i>, 2016, pp. 447–454."},"publication":"3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016)","department":[{"_id":"241"},{"_id":"662"}],"type":"conference","date_created":"2020-12-22T09:33:36Z","date_updated":"2022-01-06T06:54:40Z","author":[{"id":"13616","full_name":"Koch, Thorsten","last_name":"Koch","first_name":"Thorsten"},{"full_name":"Holtmann, Jörg","first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","id":"3875"},{"full_name":"Schubert, David","first_name":"David","last_name":"Schubert","id":"9106"},{"last_name":"Lindemann","first_name":"Timo","full_name":"Lindemann, Timo"}],"status":"public","title":"Towards Feature-based Product Line Engineering of Technical Systems","year":"2016","editor":[{"first_name":"Ansgar","last_name":"Trächtler","full_name":"Trächtler, Ansgar"},{"first_name":"Berend","last_name":"Denkena","full_name":"Denkena, Berend"},{"first_name":"Klaus-Dieter","last_name":"Thoben","full_name":"Thoben, Klaus-Dieter"}],"user_id":"13616","doi":"10.1016/j.protcy.2016.08.057","language":[{"iso":"eng"}],"_id":"20826","publisher":"Elsevier","page":"447-454"},{"title":"ASIL Tailoring on Functional Safety Requirements","year":"2016","status":"public","author":[{"last_name":"Fockel","orcid":"0000-0002-1269-0702","first_name":"Markus","full_name":"Fockel, Markus","id":"8472"}],"date_updated":"2022-01-06T06:54:40Z","intvolume":"      9923","page":"298–310","_id":"20827","publisher":"Springer International Publishing Switzerland","series_title":"Lecture Notes in Computer Science (LNCS)","language":[{"iso":"eng"}],"user_id":"8472","volume":9923,"publication":"5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR)","citation":{"ieee":"M. Fockel, “ASIL Tailoring on Functional Safety Requirements,” in <i>5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR)</i>, 2016, vol. 9923, pp. 298–310.","apa":"Fockel, M. (2016). ASIL Tailoring on Functional Safety Requirements. In <i>5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR)</i> (Vol. 9923, pp. 298–310). Trondheim, Norway: Springer International Publishing Switzerland.","short":"M. Fockel, in: 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), Springer International Publishing Switzerland, Trondheim, Norway, 2016, pp. 298–310.","chicago":"Fockel, Markus. “ASIL Tailoring on Functional Safety Requirements.” In <i>5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR)</i>, 9923:298–310. Lecture Notes in Computer Science (LNCS). Trondheim, Norway: Springer International Publishing Switzerland, 2016.","mla":"Fockel, Markus. “ASIL Tailoring on Functional Safety Requirements.” <i>5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR)</i>, vol. 9923, Springer International Publishing Switzerland, 2016, pp. 298–310.","bibtex":"@inproceedings{Fockel_2016, place={Trondheim, Norway}, series={Lecture Notes in Computer Science (LNCS)}, title={ASIL Tailoring on Functional Safety Requirements}, volume={9923}, booktitle={5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR)}, publisher={Springer International Publishing Switzerland}, author={Fockel, Markus}, year={2016}, pages={298–310}, collection={Lecture Notes in Computer Science (LNCS)} }","ama":"Fockel M. ASIL Tailoring on Functional Safety Requirements. In: <i>5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR)</i>. Vol 9923. Lecture Notes in Computer Science (LNCS). Trondheim, Norway: Springer International Publishing Switzerland; 2016:298–310."},"abstract":[{"text":"Cyber-physical systems like self-driving cars are highly complex and safety-critical. This results in a great number of safety requirements that have different levels of criticality. In automotive, the criticality is categorized in Automotive Safety Integrity Levels (ASIL). As a high ASIL causes high development effort, the goal is to develop most subsystems with lower ASIL requirements. To achieve this ASIL tailoring, subsystems need to be separated or redundantly implemented. These safety measures are usually integrated late in the development process and thus cause costly development iterations. In this paper, we present a systematic, tool-supported ASIL tailoring process for the requirements analysis phase. It is applied on formal safety requirements and automatically generated fault trees for a functional view of the system. The process supports early planning of safety efforts for mixed-criticality systems and avoids costly late development iterations.","lang":"eng"}],"date_created":"2020-12-22T09:35:16Z","place":"Trondheim, Norway","type":"conference","department":[{"_id":"241"},{"_id":"662"}]},{"date_created":"2020-12-22T09:36:49Z","type":"journal_article","department":[{"_id":"241"},{"_id":"662"}],"issue":"RE/2016","publication":"OBJEKTspektrum","citation":{"mla":"Holtmann, Jörg, et al. “Requirements Engineering - Zusatzaufgabe Oder Kernkompetenz?” <i>OBJEKTspektrum</i>, no. RE/2016, 2016.","apa":"Holtmann, J., Fockel, M., Koch, T., &#38; Schmelter, D. (2016). Requirements Engineering - Zusatzaufgabe oder Kernkompetenz? <i>OBJEKTspektrum</i>, (RE/2016).","ieee":"J. Holtmann, M. Fockel, T. Koch, and D. Schmelter, “Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?,” <i>OBJEKTspektrum</i>, no. RE/2016, 2016.","chicago":"Holtmann, Jörg, Markus Fockel, Thorsten Koch, and David Schmelter. “Requirements Engineering - Zusatzaufgabe Oder Kernkompetenz?” <i>OBJEKTspektrum</i>, no. RE/2016 (2016).","ama":"Holtmann J, Fockel M, Koch T, Schmelter D. Requirements Engineering - Zusatzaufgabe oder Kernkompetenz? <i>OBJEKTspektrum</i>. 2016;(RE/2016).","short":"J. Holtmann, M. Fockel, T. Koch, D. Schmelter, OBJEKTspektrum (2016).","bibtex":"@article{Holtmann_Fockel_Koch_Schmelter_2016, title={Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?}, number={RE/2016}, journal={OBJEKTspektrum}, author={Holtmann, Jörg and Fockel, Markus and Koch, Thorsten and Schmelter, David}, year={2016} }"},"abstract":[{"text":"In verschiedenen Unternehmen wird mit Anforderungen unterschiedlich umgegangen. Je nach Größe, Branche und Unternehmenskultur ist das Thema Requirements Engineering (RE) mal weniger, mal mehr etabliert. In einigen Unternehmen wird es als lästige Zusatzaufgabe betrachtet, während andere Unternehmen ganze Abteilungen mit RE als Kernkompetenz betreiben. RE wird allerdings in jedem Projekt - bewusst oder unbewusst - durchgeführt! RE ist die Basis für den weiteren Entwicklungsprozess, die Validierung/Verifikation und die Plan- und Messbarkeit des Projekts. Darüber hinaus können Fehler, die auf Anforderungsebene gefunden werden, weniger aufwendig und somit günstiger behoben werden als in späteren Entwicklungsphasen. Am Fraunhofer IEM beraten wir Unternehmen und erforschen neue Methoden bezüglich der Entwicklung von intelligenten technischen Systemen. In diesem Artikel berichten wir über unsere Erfahrungen aus Projekten, in denen wir Unternehmen aus verschiedenen Branchen und mit unterschiedlichem RE-Reifegrad zwecks Leistungssteigerung des RE begleitet haben. Auf Basis dieser Projekterfahrungen zeigen wir Wege auf, wie der Stand des RE mittels eines Reifegradmodells im eigenen Unternehmen verbessert werden kann.","lang":"ger"}],"main_file_link":[{"url":"http://www.sigs-datacom.de/uploads/tx_dmjournals/fockel_holtmann_koch_schmelter_OTS_RE_16.pdf"}],"_id":"20828","language":[{"iso":"eng"}],"user_id":"8472","year":"2016","title":"Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?","status":"public","author":[{"id":"3875","full_name":"Holtmann, Jörg","orcid":"0000-0001-6141-4571","first_name":"Jörg","last_name":"Holtmann"},{"full_name":"Fockel, Markus","first_name":"Markus","orcid":"0000-0002-1269-0702","last_name":"Fockel","id":"8472"},{"full_name":"Koch, Thorsten","last_name":"Koch","first_name":"Thorsten","id":"13616"},{"full_name":"Schmelter, David","first_name":"David","orcid":"0000-0001-7787-5380","last_name":"Schmelter","id":"40982"}],"date_updated":"2022-01-06T06:54:40Z"},{"title":"Integrated and iterative systems engineering and software requirements engineering for technical systems","year":"2016","status":"public","author":[{"id":"3875","orcid":"0000-0001-6141-4571","first_name":"Jörg","last_name":"Holtmann","full_name":"Holtmann, Jörg"},{"full_name":"Bernijazov, Ruslan","first_name":"Ruslan","last_name":"Bernijazov"},{"id":"683","full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias"},{"id":"40982","full_name":"Schmelter, David","orcid":"0000-0001-7787-5380","last_name":"Schmelter","first_name":"David"},{"full_name":"Tschirner, Christian","first_name":"Christian","last_name":"Tschirner"}],"date_updated":"2022-01-06T06:54:40Z","_id":"20829","language":[{"iso":"eng"}],"doi":"10.1002/smr.1780","user_id":"40982","publication":"Journal of Software Evolution and Process","citation":{"chicago":"Holtmann, Jörg, Ruslan Bernijazov, Matthias Meyer, David Schmelter, and Christian Tschirner. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems.” <i>Journal of Software Evolution and Process</i>, 2016. <a href=\"https://doi.org/10.1002/smr.1780\">https://doi.org/10.1002/smr.1780</a>.","short":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, C. Tschirner, Journal of Software Evolution and Process (2016).","ieee":"J. Holtmann, R. Bernijazov, M. Meyer, D. Schmelter, and C. Tschirner, “Integrated and iterative systems engineering and software requirements engineering for technical systems,” <i>Journal of Software Evolution and Process</i>, 2016.","apa":"Holtmann, J., Bernijazov, R., Meyer, M., Schmelter, D., &#38; Tschirner, C. (2016). Integrated and iterative systems engineering and software requirements engineering for technical systems. <i>Journal of Software Evolution and Process</i>. <a href=\"https://doi.org/10.1002/smr.1780\">https://doi.org/10.1002/smr.1780</a>","bibtex":"@article{Holtmann_Bernijazov_Meyer_Schmelter_Tschirner_2016, title={Integrated and iterative systems engineering and software requirements engineering for technical systems}, DOI={<a href=\"https://doi.org/10.1002/smr.1780\">10.1002/smr.1780</a>}, journal={Journal of Software Evolution and Process}, author={Holtmann, Jörg and Bernijazov, Ruslan and Meyer, Matthias and Schmelter, David and Tschirner, Christian}, year={2016} }","ama":"Holtmann J, Bernijazov R, Meyer M, Schmelter D, Tschirner C. Integrated and iterative systems engineering and software requirements engineering for technical systems. <i>Journal of Software Evolution and Process</i>. 2016. doi:<a href=\"https://doi.org/10.1002/smr.1780\">10.1002/smr.1780</a>","mla":"Holtmann, Jörg, et al. “Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems.” <i>Journal of Software Evolution and Process</i>, 2016, doi:<a href=\"https://doi.org/10.1002/smr.1780\">10.1002/smr.1780</a>."},"abstract":[{"text":"The development of software-intensive technical systems involves several engineering disciplines like mechanical, electrical, control, and particularly software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of discipline-spanning processes and a system model. Such a system model provides a common understanding of the system under development and serves as a starting point for the discipline-specific development. An integral part of MBSE is the requirements engineering on the system level. However, these requirements need to be refined for the discipline-specific development to start, e.g., into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived in previous work a systematic transition from MBSE to model-based software requirements engineering. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. In this paper, we extend this approach with support for subsequent process iterations and provide an algorithm for the automated steps. We illustrate the approach and perform a case study with an example of an automotive embedded system.","lang":"eng"}],"date_created":"2020-12-22T09:39:46Z","type":"journal_article","department":[{"_id":"241"},{"_id":"662"}]}]