[{"title":"A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools","doi":"10.1145/3533767","date_updated":"2022-07-26T11:42:23Z","publisher":"ACM","date_created":"2022-07-25T08:02:36Z","author":[{"full_name":"Nachtigall, Marcus","id":"41213","last_name":"Nachtigall","first_name":"Marcus"},{"orcid":"0000-0001-6600-6171","last_name":"Schlichtig","full_name":"Schlichtig, Michael","id":"32312","first_name":"Michael"},{"last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256","first_name":"Eric"}],"year":"2022","page":"532 - 543","citation":{"ama":"Nachtigall M, Schlichtig M, Bodden E. A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools. In: <i>Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis</i>. ACM; 2022:532-543. doi:<a href=\"https://doi.org/10.1145/3533767\">10.1145/3533767</a>","chicago":"Nachtigall, Marcus, Michael Schlichtig, and Eric Bodden. “A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools.” In <i>Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis</i>, 532–43. ACM, 2022. <a href=\"https://doi.org/10.1145/3533767\">https://doi.org/10.1145/3533767</a>.","ieee":"M. Nachtigall, M. Schlichtig, and E. Bodden, “A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools,” in <i>Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis</i>, 2022, pp. 532–543, doi: <a href=\"https://doi.org/10.1145/3533767\">10.1145/3533767</a>.","mla":"Nachtigall, Marcus, et al. “A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools.” <i>Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis</i>, ACM, 2022, pp. 532–43, doi:<a href=\"https://doi.org/10.1145/3533767\">10.1145/3533767</a>.","short":"M. Nachtigall, M. Schlichtig, E. Bodden, in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–543.","bibtex":"@inproceedings{Nachtigall_Schlichtig_Bodden_2022, title={A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools}, DOI={<a href=\"https://doi.org/10.1145/3533767\">10.1145/3533767</a>}, booktitle={Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis}, publisher={ACM}, author={Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric}, year={2022}, pages={532–543} }","apa":"Nachtigall, M., Schlichtig, M., &#38; Bodden, E. (2022). A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools. <i>Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis</i>, 532–543. <a href=\"https://doi.org/10.1145/3533767\">https://doi.org/10.1145/3533767</a>"},"quality_controlled":"1","publication_identifier":{"isbn":["9781450393799"]},"publication_status":"published","related_material":{"link":[{"url":"https://dl.acm.org/doi/10.1145/3533767.3534374","relation":"confirmation"}]},"keyword":["Automated static analysis","Software usability"],"language":[{"iso":"eng"}],"_id":"32410","department":[{"_id":"76"}],"user_id":"32312","abstract":[{"text":"Static analysis tools support developers in detecting potential coding issues, such as bugs or vulnerabilities. Research on static analysis emphasizes its technical challenges but also mentions severe usability shortcomings. These shortcomings hinder the adoption of static analysis tools, and in some cases, user dissatisfaction even leads to tool abandonment.\r\nTo comprehensively assess the current state of the art, this paper presents the first systematic usability evaluation in a wide range of static analysis tools. We derived a set of 36 relevant criteria from the scientific literature and gathered a collection of 46 static analysis tools complying with our inclusion and exclusion criteria - a representative set of mainly non-proprietary tools. Then, we evaluated how well these tools fulfill the aforementioned criteria.\r\nThe evaluation shows that more than half of the considered tools offer poor warning messages, while about three-quarters of the tools provide hardly any fix support. Furthermore, the integration of user knowledge is strongly neglected, which could be used for improved handling of false positives and tuning the results for the corresponding developer. Finally, issues regarding workflow integration and specialized user interfaces are proved further.\r\nThese findings should prove useful in guiding and focusing further research and development in the area of user experience for static code analyses.","lang":"eng"}],"status":"public","publication":"Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis","type":"conference"},{"date_updated":"2022-05-05T14:09:41Z","publisher":"Springer Science and Business Media LLC","author":[{"first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","full_name":"Holtmann, Jörg","id":"3875"},{"last_name":"Deantoni","full_name":"Deantoni, Julien","first_name":"Julien"},{"id":"8472","full_name":"Fockel, Markus","last_name":"Fockel","orcid":"0000-0002-1269-0702","first_name":"Markus"}],"date_created":"2022-05-05T14:05:32Z","title":"Early timing analysis based on scenario requirements and platform models","doi":"10.1007/s10270-022-01002-3","publication_identifier":{"issn":["1619-1366","1619-1374"]},"publication_status":"published","year":"2022","citation":{"apa":"Holtmann, J., Deantoni, J., &#38; Fockel, M. (2022). Early timing analysis based on scenario requirements and platform models. <i>Software and Systems Modeling</i>. <a href=\"https://doi.org/10.1007/s10270-022-01002-3\">https://doi.org/10.1007/s10270-022-01002-3</a>","bibtex":"@article{Holtmann_Deantoni_Fockel_2022, title={Early timing analysis based on scenario requirements and platform models}, DOI={<a href=\"https://doi.org/10.1007/s10270-022-01002-3\">10.1007/s10270-022-01002-3</a>}, journal={Software and Systems Modeling}, publisher={Springer Science and Business Media LLC}, author={Holtmann, Jörg and Deantoni, Julien and Fockel, Markus}, year={2022} }","short":"J. Holtmann, J. Deantoni, M. Fockel, Software and Systems Modeling (2022).","mla":"Holtmann, Jörg, et al. “Early Timing Analysis Based on Scenario Requirements and Platform Models.” <i>Software and Systems Modeling</i>, Springer Science and Business Media LLC, 2022, doi:<a href=\"https://doi.org/10.1007/s10270-022-01002-3\">10.1007/s10270-022-01002-3</a>.","ama":"Holtmann J, Deantoni J, Fockel M. Early timing analysis based on scenario requirements and platform models. <i>Software and Systems Modeling</i>. Published online 2022. doi:<a href=\"https://doi.org/10.1007/s10270-022-01002-3\">10.1007/s10270-022-01002-3</a>","chicago":"Holtmann, Jörg, Julien Deantoni, and Markus Fockel. “Early Timing Analysis Based on Scenario Requirements and Platform Models.” <i>Software and Systems Modeling</i>, 2022. <a href=\"https://doi.org/10.1007/s10270-022-01002-3\">https://doi.org/10.1007/s10270-022-01002-3</a>.","ieee":"J. Holtmann, J. Deantoni, and M. Fockel, “Early timing analysis based on scenario requirements and platform models,” <i>Software and Systems Modeling</i>, 2022, doi: <a href=\"https://doi.org/10.1007/s10270-022-01002-3\">10.1007/s10270-022-01002-3</a>."},"_id":"31071","department":[{"_id":"241"},{"_id":"662"}],"user_id":"8472","keyword":["Modeling and Simulation","Software"],"language":[{"iso":"eng"}],"publication":"Software and Systems Modeling","type":"journal_article","abstract":[{"text":"Distributed, software-intensive systems (e.g., in the automotive sector) must fulfill communication requirements under hard real-time constraints.  The requirements have to be documented and validated carefully using a systematic requirements engineering (RE) approach, for example, by applying scenario-based requirements notations. The resources of the execution platforms and their properties (e.g., CPU frequency or bus throughput) induce effects on the timing behavior, which may lead to violations of the real-time requirements. Nowadays, the platform properties and their induced timing effects are verified against the real-time requirements by means of timing analysis techniques mostly implemented in commercial-off-the-shelf tools. However, such timing analyses are conducted in late development phases since they rely on artifacts produced during these phases (e.g., the platform-specific code). In order to enable early timing analyses already during RE, we extend a scenario-based requirements notation with allocation means to platform models and define operational semantics for the purpose of simulation-based, platform-aware timing analyses. We illustrate and evaluate the approach with an automotive software-intensive system.","lang":"eng"}],"status":"public"},{"department":[{"_id":"76"}],"user_id":"15249","_id":"33835","language":[{"iso":"eng"}],"keyword":["Software"],"publication":"ACM Transactions on Software Engineering and Methodology","type":"journal_article","status":"public","abstract":[{"lang":"eng","text":"<jats:p>\r\n            Nowadays, an increasing number of applications uses deserialization. This technique, based on rebuilding the instance of objects from serialized byte streams, can be dangerous since it can open the application to attacks such as remote code execution (RCE) if the data to deserialize is originating from an untrusted source. Deserialization vulnerabilities are so critical that they are in OWASP’s list of top 10 security risks for web applications. This is mainly caused by faults in the development process of applications and by flaws in their dependencies, i.e., flaws in the libraries used by these applications. No previous work has studied deserialization attacks in-depth: How are they performed? How are weaknesses introduced and patched? And for how long are vulnerabilities present in the codebase? To yield a deeper understanding of this important kind of vulnerability, we perform two main analyses: one on attack gadgets, i.e., exploitable pieces of code, present in Java libraries, and one on vulnerabilities present in Java applications. For the first analysis, we conduct an exploratory large-scale study by running 256 515 experiments in which we vary the versions of libraries for each of the 19 publicly available exploits. Such attacks rely on a combination of\r\n            <jats:italic>gadgets</jats:italic>\r\n            present in one or multiple Java libraries. A gadget is a method which is using objects or fields that can be attacker-controlled. Our goal is to precisely identify library versions containing gadgets and to understand how gadgets have been introduced and how they have been patched. We observe that the modification of one innocent-looking detail in a class – such as making it\r\n            <jats:monospace>public</jats:monospace>\r\n            – can already introduce a gadget. Furthermore, we noticed that among the studied libraries, 37.5% are not patched, leaving gadgets available for future attacks.\r\n          </jats:p>\r\n          <jats:p>For the second analysis, we manually analyze 104 deserialization vulnerabilities CVEs to understand how vulnerabilities are introduced and patched in real-life Java applications. Results indicate that the vulnerabilities are not always completely patched or that a workaround solution is proposed. With a workaround solution, applications are still vulnerable since the code itself is unchanged.</jats:p>"}],"date_created":"2022-10-20T12:31:49Z","author":[{"first_name":"Imen","last_name":"Sayar","full_name":"Sayar, Imen"},{"first_name":"Alexandre","full_name":"Bartel, Alexandre","last_name":"Bartel"},{"orcid":"0000-0003-3470-3647","last_name":"Bodden","id":"59256","full_name":"Bodden, Eric","first_name":"Eric"},{"last_name":"Le Traon","full_name":"Le Traon, Yves","first_name":"Yves"}],"date_updated":"2022-10-20T12:32:31Z","publisher":"Association for Computing Machinery (ACM)","doi":"10.1145/3554732","title":"An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities","publication_identifier":{"issn":["1049-331X","1557-7392"]},"publication_status":"published","citation":{"chicago":"Sayar, Imen, Alexandre Bartel, Eric Bodden, and Yves Le Traon. “An In-Depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities.” <i>ACM Transactions on Software Engineering and Methodology</i>, 2022. <a href=\"https://doi.org/10.1145/3554732\">https://doi.org/10.1145/3554732</a>.","ieee":"I. Sayar, A. Bartel, E. Bodden, and Y. Le Traon, “An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities,” <i>ACM Transactions on Software Engineering and Methodology</i>, 2022, doi: <a href=\"https://doi.org/10.1145/3554732\">10.1145/3554732</a>.","ama":"Sayar I, Bartel A, Bodden E, Le Traon Y. An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities. <i>ACM Transactions on Software Engineering and Methodology</i>. Published online 2022. doi:<a href=\"https://doi.org/10.1145/3554732\">10.1145/3554732</a>","apa":"Sayar, I., Bartel, A., Bodden, E., &#38; Le Traon, Y. (2022). An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities. <i>ACM Transactions on Software Engineering and Methodology</i>. <a href=\"https://doi.org/10.1145/3554732\">https://doi.org/10.1145/3554732</a>","short":"I. Sayar, A. Bartel, E. Bodden, Y. Le Traon, ACM Transactions on Software Engineering and Methodology (2022).","mla":"Sayar, Imen, et al. “An In-Depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities.” <i>ACM Transactions on Software Engineering and Methodology</i>, Association for Computing Machinery (ACM), 2022, doi:<a href=\"https://doi.org/10.1145/3554732\">10.1145/3554732</a>.","bibtex":"@article{Sayar_Bartel_Bodden_Le Traon_2022, title={An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities}, DOI={<a href=\"https://doi.org/10.1145/3554732\">10.1145/3554732</a>}, journal={ACM Transactions on Software Engineering and Methodology}, publisher={Association for Computing Machinery (ACM)}, author={Sayar, Imen and Bartel, Alexandre and Bodden, Eric and Le Traon, Yves}, year={2022} }"},"year":"2022"},{"_id":"34414","project":[{"grant_number":"418701707","_id":"130","name":"TRR 285: TRR 285"},{"name":"TRR 285 - B: TRR 285 - Project Area B","_id":"132"},{"name":"TRR 285 – B05: TRR 285 - Subproject B05","_id":"144"}],"department":[{"_id":"630"}],"user_id":"14931","type":"journal_article","status":"public","oa":"1","date_updated":"2023-01-02T11:14:26Z","author":[{"first_name":"Christoph","last_name":"Zirngibl","full_name":"Zirngibl, Christoph"},{"last_name":"Schleich","full_name":"Schleich, Benjamin","first_name":"Benjamin"},{"last_name":"Wartzack","full_name":"Wartzack, Sandro","first_name":"Sandro"}],"doi":"10.1007/s00170-022-10441-7","main_file_link":[{"open_access":"1","url":"https://link.springer.com/article/10.1007/s00170-022-10441-7"}],"publication_identifier":{"issn":["0268-3768","1433-3015"]},"publication_status":"published","citation":{"apa":"Zirngibl, C., Schleich, B., &#38; Wartzack, S. (2022). Robust estimation of clinch joint characteristics based on data-driven methods. <i>The International Journal of Advanced Manufacturing Technology</i>. <a href=\"https://doi.org/10.1007/s00170-022-10441-7\">https://doi.org/10.1007/s00170-022-10441-7</a>","short":"C. Zirngibl, B. Schleich, S. Wartzack, The International Journal of Advanced Manufacturing Technology (2022).","mla":"Zirngibl, Christoph, et al. “Robust Estimation of Clinch Joint Characteristics Based on Data-Driven Methods.” <i>The International Journal of Advanced Manufacturing Technology</i>, Springer Science and Business Media LLC, 2022, doi:<a href=\"https://doi.org/10.1007/s00170-022-10441-7\">10.1007/s00170-022-10441-7</a>.","bibtex":"@article{Zirngibl_Schleich_Wartzack_2022, title={Robust estimation of clinch joint characteristics based on data-driven methods}, DOI={<a href=\"https://doi.org/10.1007/s00170-022-10441-7\">10.1007/s00170-022-10441-7</a>}, journal={The International Journal of Advanced Manufacturing Technology}, publisher={Springer Science and Business Media LLC}, author={Zirngibl, Christoph and Schleich, Benjamin and Wartzack, Sandro}, year={2022} }","ama":"Zirngibl C, Schleich B, Wartzack S. Robust estimation of clinch joint characteristics based on data-driven methods. <i>The International Journal of Advanced Manufacturing Technology</i>. Published online 2022. doi:<a href=\"https://doi.org/10.1007/s00170-022-10441-7\">10.1007/s00170-022-10441-7</a>","chicago":"Zirngibl, Christoph, Benjamin Schleich, and Sandro Wartzack. “Robust Estimation of Clinch Joint Characteristics Based on Data-Driven Methods.” <i>The International Journal of Advanced Manufacturing Technology</i>, 2022. <a href=\"https://doi.org/10.1007/s00170-022-10441-7\">https://doi.org/10.1007/s00170-022-10441-7</a>.","ieee":"C. Zirngibl, B. Schleich, and S. Wartzack, “Robust estimation of clinch joint characteristics based on data-driven methods,” <i>The International Journal of Advanced Manufacturing Technology</i>, 2022, doi: <a href=\"https://doi.org/10.1007/s00170-022-10441-7\">10.1007/s00170-022-10441-7</a>."},"keyword":["Industrial and Manufacturing Engineering","Computer Science Applications","Mechanical Engineering","Software","Control and Systems Engineering"],"language":[{"iso":"eng"}],"publication":"The International Journal of Advanced Manufacturing Technology","abstract":[{"lang":"eng","text":"Given a steadily increasing demand on multi-material lightweight designs, fast and cost-efficient production technologies, such as the mechanical joining process clinching, are becoming more and more relevant for series production. Since the application of such joining techniques often base on the ability to reach similar or even better joint loading capacities compared to established joining processes (e.g., spot welding), few contributions investigated the systematic improvement of clinch joint characteristics. In this regard, the use of data-driven methods in combination with optimization algorithms showed already high potentials for the analysis of individual joints and the definition of optimal tool configurations. However, the often missing consideration of uncertainties, such as varying material properties, and the related calculation of their impact on clinch joint properties can lead to poor estimation results and thus to a decreased reliability of the entire joint connection. This can cause major challenges, especially for the design and dimensioning of safety-relevant components, such as in car bodies. Motivated by this, the presented contribution introduces a novel method for the robust estimation of clinch joint characteristics including uncertainties of varying and versatile process chains in mechanical joining. Therefore, the utilization of Gaussian process regression models is demonstrated and evaluated regarding the ability to achieve sufficient prediction qualities."}],"publisher":"Springer Science and Business Media LLC","date_created":"2022-12-14T12:24:29Z","title":"Robust estimation of clinch joint characteristics based on data-driven methods","year":"2022"},{"abstract":[{"lang":"eng","text":"<jats:title>Abstract</jats:title>\r\n               <jats:p>In this paper, we investigate the parameterized complexity of model checking for Dependence and Independence logic, which are well studied logics in the area of Team Semantics. We start with a list of nine immediate parameterizations for this problem, namely the number of disjunctions (i.e. splits)/(free) variables/universal quantifiers, formula-size, the tree-width of the Gaifman graph of the input structure, the size of the universe/team and the arity of dependence atoms. We present a comprehensive picture of the parameterized complexity of model checking and obtain a division of the problem into tractable and various intractable degrees. Furthermore, we also consider the complexity of the most important variants (data and expression complexity) of the model checking problem by fixing parts of the input.</jats:p>"}],"publication":"Journal of Logic and Computation","language":[{"iso":"eng"}],"keyword":["Logic","Hardware and Architecture","Arts and Humanities (miscellaneous)","Software","Theoretical Computer Science"],"year":"2022","issue":"8","title":"A parameterized view on the complexity of dependence and independence logic","date_created":"2023-07-03T11:36:55Z","publisher":"Oxford University Press (OUP)","status":"public","type":"journal_article","extern":"1","user_id":"99353","_id":"45847","page":"1624-1644","intvolume":"        32","citation":{"apa":"Kontinen, J., Meier, A., &#38; Mahmood, Y. (2022). A parameterized view on the complexity of dependence and independence logic. <i>Journal of Logic and Computation</i>, <i>32</i>(8), 1624–1644. <a href=\"https://doi.org/10.1093/logcom/exac070\">https://doi.org/10.1093/logcom/exac070</a>","bibtex":"@article{Kontinen_Meier_Mahmood_2022, title={A parameterized view on the complexity of dependence and independence logic}, volume={32}, DOI={<a href=\"https://doi.org/10.1093/logcom/exac070\">10.1093/logcom/exac070</a>}, number={8}, journal={Journal of Logic and Computation}, publisher={Oxford University Press (OUP)}, author={Kontinen, Juha and Meier, Arne and Mahmood, Yasir}, year={2022}, pages={1624–1644} }","mla":"Kontinen, Juha, et al. “A Parameterized View on the Complexity of Dependence and Independence Logic.” <i>Journal of Logic and Computation</i>, vol. 32, no. 8, Oxford University Press (OUP), 2022, pp. 1624–44, doi:<a href=\"https://doi.org/10.1093/logcom/exac070\">10.1093/logcom/exac070</a>.","short":"J. Kontinen, A. Meier, Y. Mahmood, Journal of Logic and Computation 32 (2022) 1624–1644.","ama":"Kontinen J, Meier A, Mahmood Y. A parameterized view on the complexity of dependence and independence logic. <i>Journal of Logic and Computation</i>. 2022;32(8):1624-1644. doi:<a href=\"https://doi.org/10.1093/logcom/exac070\">10.1093/logcom/exac070</a>","chicago":"Kontinen, Juha, Arne Meier, and Yasir Mahmood. “A Parameterized View on the Complexity of Dependence and Independence Logic.” <i>Journal of Logic and Computation</i> 32, no. 8 (2022): 1624–44. <a href=\"https://doi.org/10.1093/logcom/exac070\">https://doi.org/10.1093/logcom/exac070</a>.","ieee":"J. Kontinen, A. Meier, and Y. Mahmood, “A parameterized view on the complexity of dependence and independence logic,” <i>Journal of Logic and Computation</i>, vol. 32, no. 8, pp. 1624–1644, 2022, doi: <a href=\"https://doi.org/10.1093/logcom/exac070\">10.1093/logcom/exac070</a>."},"publication_identifier":{"issn":["0955-792X","1465-363X"]},"publication_status":"published","doi":"10.1093/logcom/exac070","volume":32,"author":[{"first_name":"Juha","full_name":"Kontinen, Juha","last_name":"Kontinen"},{"full_name":"Meier, Arne","last_name":"Meier","first_name":"Arne"},{"id":"99353","full_name":"Mahmood, Yasir","last_name":"Mahmood","first_name":"Yasir"}],"date_updated":"2024-06-04T16:06:37Z"},{"title":"Towards Situation-specific Software Support for Cross-organizational Design Thinking Processes","publisher":"ACM","date_updated":"2023-03-14T09:59:05Z","date_created":"2022-07-01T08:14:16Z","author":[{"last_name":"Gottschalk","full_name":"Gottschalk, Sebastian","id":"47208","first_name":"Sebastian"},{"last_name":"Yigitbas","orcid":"0000-0002-5967-833X","id":"8447","full_name":"Yigitbas, Enes","first_name":"Enes"},{"full_name":"Nowosad, Alexander","last_name":"Nowosad","first_name":"Alexander"},{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"}],"year":"2022","citation":{"apa":"Gottschalk, S., Yigitbas, E., Nowosad, A., &#38; Engels, G. (2022). Towards Situation-specific Software Support for Cross-organizational Design Thinking Processes. <i>Proceedings of the 5th International Workshop on Software-Intensive Business (IWSiB’22) </i>.","bibtex":"@inproceedings{Gottschalk_Yigitbas_Nowosad_Engels_2022, title={Towards Situation-specific Software Support for Cross-organizational Design Thinking Processes}, booktitle={Proceedings of the 5th International Workshop on Software-intensive Business (IWSiB’22) }, publisher={ACM}, author={Gottschalk, Sebastian and Yigitbas, Enes and Nowosad, Alexander and Engels, Gregor}, year={2022} }","mla":"Gottschalk, Sebastian, et al. “Towards Situation-Specific Software Support for Cross-Organizational Design Thinking Processes.” <i>Proceedings of the 5th International Workshop on Software-Intensive Business (IWSiB’22) </i>, ACM, 2022.","short":"S. Gottschalk, E. Yigitbas, A. Nowosad, G. Engels, in: Proceedings of the 5th International Workshop on Software-Intensive Business (IWSiB’22) , ACM, 2022.","chicago":"Gottschalk, Sebastian, Enes Yigitbas, Alexander Nowosad, and Gregor Engels. “Towards Situation-Specific Software Support for Cross-Organizational Design Thinking Processes.” In <i>Proceedings of the 5th International Workshop on Software-Intensive Business (IWSiB’22) </i>. ACM, 2022.","ieee":"S. Gottschalk, E. Yigitbas, A. Nowosad, and G. Engels, “Towards Situation-specific Software Support for Cross-organizational Design Thinking Processes,” 2022.","ama":"Gottschalk S, Yigitbas E, Nowosad A, Engels G. Towards Situation-specific Software Support for Cross-organizational Design Thinking Processes. In: <i>Proceedings of the 5th International Workshop on Software-Intensive Business (IWSiB’22) </i>. ACM; 2022."},"keyword":["design thinking","situation-specific","cross-organizational","software support"],"language":[{"iso":"eng"}],"_id":"32309","project":[{"name":"SFB 901: SFB 901","_id":"1"},{"name":"SFB 901 - C: SFB 901 - Project Area C","_id":"4"},{"name":"SFB 901 - C5: SFB 901 - Subproject C5","_id":"17"}],"department":[{"_id":"66"},{"_id":"534"}],"user_id":"8447","abstract":[{"lang":"eng","text":"Due to the increasing influences of a VUCA world, design thinking workshops have been established as a standard technique to build solutions according to uncertain customer needs. Concerning the ongoing pandemic and rising development of solutions across organizations, more and more workshops were conducted online with software support. However, existing software tools insufficiently address the different workshop situations in terms of the process (i.e., fixed tasks to conduct), the place (e.g., static online whiteboards), and people (i.e., synchronous working of all stakeholders).\r\nTherefore, we propose a design science study to develop a situation-specific software support that can be configured with flexible development processes, different places, and task-related people. Based on practical experience in existing research projects, we derive the initial design requirements and map them to a set of design principles. Out of that, we design a concept with its implementation as a software tool and point out open challenges. "}],"status":"public","publication":"Proceedings of the 5th International Workshop on Software-intensive Business (IWSiB'22) ","type":"conference"},{"project":[{"_id":"52","name":"PC2: Computing Resources Provided by the Paderborn Center for Parallel Computing"}],"_id":"33684","user_id":"75963","department":[{"_id":"613"},{"_id":"27"},{"_id":"518"}],"article_number":"102920","type":"journal_article","status":"public","oa":"1","date_updated":"2023-08-02T15:03:55Z","author":[{"first_name":"Robert","last_name":"Schade","orcid":"0000-0002-6268-539","full_name":"Schade, Robert","id":"75963"},{"last_name":"Kenter","full_name":"Kenter, Tobias","id":"3145","first_name":"Tobias"},{"first_name":"Hossam","id":"60250","full_name":"Elgabarty, Hossam","orcid":"0000-0002-4945-1481","last_name":"Elgabarty"},{"first_name":"Michael","last_name":"Lass","orcid":"0000-0002-5708-7632","id":"24135","full_name":"Lass, Michael"},{"first_name":"Ole","last_name":"Schütt","full_name":"Schütt, Ole"},{"last_name":"Lazzaro","full_name":"Lazzaro, Alfio","first_name":"Alfio"},{"full_name":"Pabst, Hans","last_name":"Pabst","first_name":"Hans"},{"last_name":"Mohr","full_name":"Mohr, Stephan","first_name":"Stephan"},{"last_name":"Hutter","full_name":"Hutter, Jürg","first_name":"Jürg"},{"first_name":"Thomas","last_name":"Kühne","full_name":"Kühne, Thomas","id":"49079"},{"full_name":"Plessl, Christian","id":"16153","last_name":"Plessl","orcid":"0000-0001-5728-9982","first_name":"Christian"}],"volume":111,"main_file_link":[{"open_access":"1","url":"https://www.sciencedirect.com/science/article/pii/S0167819122000242"}],"doi":"10.1016/j.parco.2022.102920","publication_status":"published","publication_identifier":{"issn":["0167-8191"]},"citation":{"short":"R. Schade, T. Kenter, H. Elgabarty, M. Lass, O. Schütt, A. Lazzaro, H. Pabst, S. Mohr, J. Hutter, T. Kühne, C. Plessl, Parallel Computing 111 (2022).","bibtex":"@article{Schade_Kenter_Elgabarty_Lass_Schütt_Lazzaro_Pabst_Mohr_Hutter_Kühne_et al._2022, title={Towards electronic structure-based ab-initio molecular dynamics simulations with hundreds of millions of atoms}, volume={111}, DOI={<a href=\"https://doi.org/10.1016/j.parco.2022.102920\">10.1016/j.parco.2022.102920</a>}, number={102920}, journal={Parallel Computing}, publisher={Elsevier BV}, author={Schade, Robert and Kenter, Tobias and Elgabarty, Hossam and Lass, Michael and Schütt, Ole and Lazzaro, Alfio and Pabst, Hans and Mohr, Stephan and Hutter, Jürg and Kühne, Thomas and et al.}, year={2022} }","mla":"Schade, Robert, et al. “Towards Electronic Structure-Based Ab-Initio Molecular Dynamics Simulations with Hundreds of Millions of Atoms.” <i>Parallel Computing</i>, vol. 111, 102920, Elsevier BV, 2022, doi:<a href=\"https://doi.org/10.1016/j.parco.2022.102920\">10.1016/j.parco.2022.102920</a>.","apa":"Schade, R., Kenter, T., Elgabarty, H., Lass, M., Schütt, O., Lazzaro, A., Pabst, H., Mohr, S., Hutter, J., Kühne, T., &#38; Plessl, C. (2022). Towards electronic structure-based ab-initio molecular dynamics simulations with hundreds of millions of atoms. <i>Parallel Computing</i>, <i>111</i>, Article 102920. <a href=\"https://doi.org/10.1016/j.parco.2022.102920\">https://doi.org/10.1016/j.parco.2022.102920</a>","ieee":"R. Schade <i>et al.</i>, “Towards electronic structure-based ab-initio molecular dynamics simulations with hundreds of millions of atoms,” <i>Parallel Computing</i>, vol. 111, Art. no. 102920, 2022, doi: <a href=\"https://doi.org/10.1016/j.parco.2022.102920\">10.1016/j.parco.2022.102920</a>.","chicago":"Schade, Robert, Tobias Kenter, Hossam Elgabarty, Michael Lass, Ole Schütt, Alfio Lazzaro, Hans Pabst, et al. “Towards Electronic Structure-Based Ab-Initio Molecular Dynamics Simulations with Hundreds of Millions of Atoms.” <i>Parallel Computing</i> 111 (2022). <a href=\"https://doi.org/10.1016/j.parco.2022.102920\">https://doi.org/10.1016/j.parco.2022.102920</a>.","ama":"Schade R, Kenter T, Elgabarty H, et al. Towards electronic structure-based ab-initio molecular dynamics simulations with hundreds of millions of atoms. <i>Parallel Computing</i>. 2022;111. doi:<a href=\"https://doi.org/10.1016/j.parco.2022.102920\">10.1016/j.parco.2022.102920</a>"},"intvolume":"       111","keyword":["Artificial Intelligence","Computer Graphics and Computer-Aided Design","Computer Networks and Communications","Hardware and Architecture","Theoretical Computer Science","Software"],"language":[{"iso":"eng"}],"publication":"Parallel Computing","publisher":"Elsevier BV","date_created":"2022-10-11T08:17:02Z","title":"Towards electronic structure-based ab-initio molecular dynamics simulations with hundreds of millions of atoms","quality_controlled":"1","year":"2022"},{"publication_identifier":{"issn":["0928-8910","1573-7535"]},"publication_status":"published","intvolume":"        29","citation":{"ama":"Schubert P, Gazzillo P, Patterson Z, et al. Static data-flow analysis for software product lines in C. <i>Automated Software Engineering</i>. 2022;29(1). doi:<a href=\"https://doi.org/10.1007/s10515-022-00333-1\">10.1007/s10515-022-00333-1</a>","chicago":"Schubert, Philipp, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Benedikt Schiebel, Ben Hermann, Shiyi Wei, and Eric Bodden. “Static Data-Flow Analysis for Software Product Lines in C.” <i>Automated Software Engineering</i> 29, no. 1 (2022). <a href=\"https://doi.org/10.1007/s10515-022-00333-1\">https://doi.org/10.1007/s10515-022-00333-1</a>.","ieee":"P. Schubert <i>et al.</i>, “Static data-flow analysis for software product lines in C,” <i>Automated Software Engineering</i>, vol. 29, no. 1, Art. no. 35, 2022, doi: <a href=\"https://doi.org/10.1007/s10515-022-00333-1\">10.1007/s10515-022-00333-1</a>.","bibtex":"@article{Schubert_Gazzillo_Patterson_Braha_Schiebel_Hermann_Wei_Bodden_2022, title={Static data-flow analysis for software product lines in C}, volume={29}, DOI={<a href=\"https://doi.org/10.1007/s10515-022-00333-1\">10.1007/s10515-022-00333-1</a>}, number={135}, journal={Automated Software Engineering}, publisher={Springer Science and Business Media LLC}, author={Schubert, Philipp and Gazzillo, Paul and Patterson, Zach and Braha, Julian and Schiebel, Fabian Benedikt and Hermann, Ben and Wei, Shiyi and Bodden, Eric}, year={2022} }","short":"P. Schubert, P. Gazzillo, Z. Patterson, J. Braha, F.B. Schiebel, B. Hermann, S. Wei, E. Bodden, Automated Software Engineering 29 (2022).","mla":"Schubert, Philipp, et al. “Static Data-Flow Analysis for Software Product Lines in C.” <i>Automated Software Engineering</i>, vol. 29, no. 1, 35, Springer Science and Business Media LLC, 2022, doi:<a href=\"https://doi.org/10.1007/s10515-022-00333-1\">10.1007/s10515-022-00333-1</a>.","apa":"Schubert, P., Gazzillo, P., Patterson, Z., Braha, J., Schiebel, F. B., Hermann, B., Wei, S., &#38; Bodden, E. (2022). Static data-flow analysis for software product lines in C. <i>Automated Software Engineering</i>, <i>29</i>(1), Article 35. <a href=\"https://doi.org/10.1007/s10515-022-00333-1\">https://doi.org/10.1007/s10515-022-00333-1</a>"},"volume":29,"author":[{"id":"60543","full_name":"Schubert, Philipp","last_name":"Schubert","orcid":"0000-0002-8674-1859","first_name":"Philipp"},{"first_name":"Paul","last_name":"Gazzillo","full_name":"Gazzillo, Paul"},{"first_name":"Zach","last_name":"Patterson","full_name":"Patterson, Zach"},{"last_name":"Braha","full_name":"Braha, Julian","first_name":"Julian"},{"orcid":"0009-0008-6867-9802","last_name":"Schiebel","id":"55745","full_name":"Schiebel, Fabian Benedikt","first_name":"Fabian Benedikt"},{"first_name":"Ben","last_name":"Hermann","orcid":"0000-0001-9848-2017","full_name":"Hermann, Ben","id":"66173"},{"first_name":"Shiyi","last_name":"Wei","full_name":"Wei, Shiyi"},{"first_name":"Eric","id":"59256","full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden"}],"date_updated":"2025-12-04T10:42:38Z","oa":"1","doi":"10.1007/s10515-022-00333-1","main_file_link":[{"open_access":"1","url":"https://link.springer.com/article/10.1007/s10515-022-00333-1"}],"type":"journal_article","status":"public","department":[{"_id":"76"}],"user_id":"15249","_id":"30511","project":[{"_id":"12","name":"SFB 901 - B4: SFB 901 - Subproject B4"},{"name":"SFB 901 - B: SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901: SFB 901","_id":"1"}],"alternative_title":["Revoking the preprocessor’s special role"],"article_number":"35","article_type":"original","issue":"1","year":"2022","date_created":"2022-03-25T07:41:26Z","publisher":"Springer Science and Business Media LLC","title":"Static data-flow analysis for software product lines in C","publication":"Automated Software Engineering","abstract":[{"text":"<jats:title>Abstract</jats:title><jats:p>Many critical codebases are written in C, and most of them use preprocessor directives to encode variability, effectively encoding software product lines. These preprocessor directives, however, challenge any static code analysis. SPLlift, a previously presented approach for analyzing software product lines, is limited to Java programs that use a rather simple feature encoding and to analysis problems with a finite and ideally small domain. Other approaches that allow the analysis of real-world C software product lines use special-purpose analyses, preventing the reuse of existing analysis infrastructures and ignoring the progress made by the static analysis community. This work presents <jats:sc>VarAlyzer</jats:sc>, a novel static analysis approach for software product lines. <jats:sc>VarAlyzer</jats:sc> first transforms preprocessor constructs to plain C while preserving their variability and semantics. It then solves any given distributive analysis problem on transformed product lines in a variability-aware manner. <jats:sc>VarAlyzer</jats:sc> ’s analysis results are annotated with feature constraints that encode in which configurations each result holds. Our experiments with 95 compilation units of OpenSSL show that applying <jats:sc>VarAlyzer</jats:sc> enables one to conduct inter-procedural, flow-, field- and context-sensitive data-flow analyses on entire product lines for the first time, outperforming the product-based approach for highly-configurable systems.</jats:p>","lang":"eng"}],"language":[{"iso":"eng"}],"keyword":["inter-procedural static analysis","software product lines","preprocessor","LLVM","C/C++"]},{"title":"IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING","conference":{"name":"18th International Conference on Applied Computing","start_date":"13.10.2021","end_date":"15.10.2021","location":"Lisbon, Portugal"},"date_updated":"2022-01-06T06:57:16Z","publisher":"IADIS","author":[{"first_name":"Frederik Simon","full_name":"Bäumer, Frederik Simon","last_name":"Bäumer"},{"id":"58701","full_name":"Kersting, Joschka","last_name":"Kersting","first_name":"Joschka"},{"full_name":"Denisov, Sergej","last_name":"Denisov","first_name":"Sergej"},{"first_name":"Michaela","orcid":"0000-0002-8180-5606","last_name":"Geierhos","full_name":"Geierhos, Michaela","id":"42496"}],"date_created":"2021-10-11T15:26:58Z","year":"2021","page":"221--225","citation":{"apa":"Bäumer, F. S., Kersting, J., Denisov, S., &#38; Geierhos, M. (2021). IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING. <i>PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021</i>, 221--225.","bibtex":"@inproceedings{Bäumer_Kersting_Denisov_Geierhos_2021, title={IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING}, booktitle={PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021}, publisher={IADIS}, author={Bäumer, Frederik Simon and Kersting, Joschka and Denisov, Sergej and Geierhos, Michaela}, year={2021}, pages={221--225} }","short":"F.S. Bäumer, J. Kersting, S. Denisov, M. Geierhos, in: PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021, IADIS, 2021, pp. 221--225.","mla":"Bäumer, Frederik Simon, et al. “IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING.” <i>PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021</i>, IADIS, 2021, pp. 221--225.","ama":"Bäumer FS, Kersting J, Denisov S, Geierhos M. IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING. In: <i>PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021</i>. IADIS; 2021:221--225.","ieee":"F. S. Bäumer, J. Kersting, S. Denisov, and M. Geierhos, “IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING,” in <i>PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021</i>, Lisbon, Portugal, 2021, pp. 221--225.","chicago":"Bäumer, Frederik Simon, Joschka Kersting, Sergej Denisov, and Michaela Geierhos. “IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING.” In <i>PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021</i>, 221--225. IADIS, 2021."},"has_accepted_license":"1","keyword":["Software Requirements","Natural Language Processing","Transfer Learning","On-The-Fly Computing"],"ddc":["000"],"file_date_updated":"2021-10-15T15:54:41Z","language":[{"iso":"eng"}],"_id":"26049","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B1","_id":"9"}],"user_id":"58701","abstract":[{"text":"Content is the new oil. Users consume billions of terabytes a day while surfing on news sites or blogs, posting on social media sites, and sending chat messages around the globe. While content is heterogeneous, the dominant form of web content is text. There are situations where more diversity needs to be introduced into text content, for example, to reuse it on websites or to allow a chatbot to base its models on the information conveyed rather than of the language used. In order to achieve this, paraphrasing techniques have been developed: One example is Text spinning, a technique that automatically paraphrases text while leaving the intent intact. This makes it easier to reuse content, or to change the language generated by the bot more human. One method for modifying texts is a combination of translation and back-translation. This paper presents NATTS, a naive approach that uses transformer-based translation models to create diversified text, combining translation steps in one model. An advantage of this approach is that it can be fine-tuned and handle technical language.","lang":"eng"}],"status":"public","file":[{"date_updated":"2021-10-15T15:54:41Z","date_created":"2021-10-15T15:54:41Z","creator":"jkers","file_size":411667,"file_id":"26282","access_level":"closed","file_name":"Bäumer et al. (2021), Baeumer2021.pdf","content_type":"application/pdf","success":1,"relation":"main_file"}],"publication":"PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021","type":"conference"},{"keyword":["Computational Theory and Mathematics","Hardware and Architecture","Theoretical Computer Science","Software"],"language":[{"iso":"eng"}],"_id":"30907","user_id":"398","department":[{"_id":"78"}],"status":"public","type":"journal_article","publication":"IEEE Transactions on Computers","title":"Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs","doi":"10.1109/tc.2021.3107196","date_updated":"2022-04-18T10:04:21Z","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","date_created":"2022-04-18T10:03:16Z","author":[{"first_name":"Alfonso","last_name":"Rodriguez","full_name":"Rodriguez, Alfonso"},{"first_name":"Andres","full_name":"Otero, Andres","last_name":"Otero"},{"last_name":"Platzner","id":"398","full_name":"Platzner, Marco","first_name":"Marco"},{"first_name":"Eduardo","last_name":"De la Torre","full_name":"De la Torre, Eduardo"}],"year":"2021","citation":{"mla":"Rodriguez, Alfonso, et al. “Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs.” <i>IEEE Transactions on Computers</i>, Institute of Electrical and Electronics Engineers (IEEE), 2021, pp. 1–1, doi:<a href=\"https://doi.org/10.1109/tc.2021.3107196\">10.1109/tc.2021.3107196</a>.","bibtex":"@article{Rodriguez_Otero_Platzner_De la Torre_2021, title={Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs}, DOI={<a href=\"https://doi.org/10.1109/tc.2021.3107196\">10.1109/tc.2021.3107196</a>}, journal={IEEE Transactions on Computers}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Rodriguez, Alfonso and Otero, Andres and Platzner, Marco and De la Torre, Eduardo}, year={2021}, pages={1–1} }","short":"A. Rodriguez, A. Otero, M. Platzner, E. De la Torre, IEEE Transactions on Computers (2021) 1–1.","apa":"Rodriguez, A., Otero, A., Platzner, M., &#38; De la Torre, E. (2021). Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs. <i>IEEE Transactions on Computers</i>, 1–1. <a href=\"https://doi.org/10.1109/tc.2021.3107196\">https://doi.org/10.1109/tc.2021.3107196</a>","ama":"Rodriguez A, Otero A, Platzner M, De la Torre E. Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs. <i>IEEE Transactions on Computers</i>. Published online 2021:1-1. doi:<a href=\"https://doi.org/10.1109/tc.2021.3107196\">10.1109/tc.2021.3107196</a>","chicago":"Rodriguez, Alfonso, Andres Otero, Marco Platzner, and Eduardo De la Torre. “Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs.” <i>IEEE Transactions on Computers</i>, 2021, 1–1. <a href=\"https://doi.org/10.1109/tc.2021.3107196\">https://doi.org/10.1109/tc.2021.3107196</a>.","ieee":"A. Rodriguez, A. Otero, M. Platzner, and E. De la Torre, “Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs,” <i>IEEE Transactions on Computers</i>, pp. 1–1, 2021, doi: <a href=\"https://doi.org/10.1109/tc.2021.3107196\">10.1109/tc.2021.3107196</a>."},"page":"1-1","publication_status":"published","publication_identifier":{"issn":["0018-9340","1557-9956","2326-3814"]}},{"keyword":["Logic","Hardware and Architecture","Arts and Humanities (miscellaneous)","Software","Theoretical Computer Science"],"language":[{"iso":"eng"}],"publication":"Journal of Logic and Computation","abstract":[{"text":"<jats:title>Abstract</jats:title>\r\n               <jats:p>Abductive reasoning is a non-monotonic formalism stemming from the work of Peirce. It describes the process of deriving the most plausible explanations of known facts. Considering the positive version, asking for sets of variables as explanations, we study, besides the problem of wether there exists a set of explanations, two explanation size limited variants of this reasoning problem (less than or equal to, and equal to a given size bound). In this paper, we present a thorough two-dimensional classification of these problems: the first dimension is regarding the parameterized complexity under a wealth of different parameterizations, and the second dimension spans through all possible Boolean fragments of these problems in Schaefer’s constraint satisfaction framework with co-clones (T. J. Schaefer. The complexity of satisfiability problems. In Proceedings of the 10th Annual ACM Symposium on Theory of Computing, May 1–3, 1978, San Diego, California, USA, R.J. Lipton, W.A. Burkhard, W.J. Savitch, E.P. Friedman, A.V. Aho eds, pp. 216–226. ACM, 1978). Thereby, we almost complete the parameterized complexity classification program initiated by Fellows et al. (The parameterized complexity of abduction. In Proceedings of the Twenty-Sixth AAAI Conference on Articial Intelligence, July 22–26, 2012, Toronto, Ontario, Canada, J. Homann, B. Selman eds. AAAI Press, 2012), partially building on the results by Nordh and Zanuttini (What makes propositional abduction tractable. Artificial Intelligence, 172, 1245–1284, 2008). In this process, we outline a fine-grained analysis of the inherent parameterized intractability of these problems and pinpoint their FPT parts. As the standard algebraic approach is not applicable to our problems, we develop an alternative method that makes the algebraic tools partially available again.</jats:p>","lang":"eng"}],"publisher":"Oxford University Press (OUP)","date_created":"2023-07-03T11:35:23Z","title":"Parameterized complexity of abduction in Schaefer’s framework","issue":"1","year":"2021","_id":"45844","department":[{"_id":"574"}],"user_id":"99353","extern":"1","type":"journal_article","status":"public","date_updated":"2024-06-04T16:03:14Z","volume":31,"author":[{"first_name":"Yasir","last_name":"Mahmood","full_name":"Mahmood, Yasir"},{"first_name":"Arne","last_name":"Meier","full_name":"Meier, Arne"},{"full_name":"Schmidt, Johannes","last_name":"Schmidt","first_name":"Johannes"}],"doi":"10.1093/logcom/exaa079","publication_identifier":{"issn":["0955-792X","1465-363X"]},"publication_status":"published","intvolume":"        31","page":"266-296","citation":{"short":"Y. Mahmood, A. Meier, J. Schmidt, Journal of Logic and Computation 31 (2021) 266–296.","bibtex":"@article{Mahmood_Meier_Schmidt_2021, title={Parameterized complexity of abduction in Schaefer’s framework}, volume={31}, DOI={<a href=\"https://doi.org/10.1093/logcom/exaa079\">10.1093/logcom/exaa079</a>}, number={1}, journal={Journal of Logic and Computation}, publisher={Oxford University Press (OUP)}, author={Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2021}, pages={266–296} }","mla":"Mahmood, Yasir, et al. “Parameterized Complexity of Abduction in Schaefer’s Framework.” <i>Journal of Logic and Computation</i>, vol. 31, no. 1, Oxford University Press (OUP), 2021, pp. 266–96, doi:<a href=\"https://doi.org/10.1093/logcom/exaa079\">10.1093/logcom/exaa079</a>.","apa":"Mahmood, Y., Meier, A., &#38; Schmidt, J. (2021). Parameterized complexity of abduction in Schaefer’s framework. <i>Journal of Logic and Computation</i>, <i>31</i>(1), 266–296. <a href=\"https://doi.org/10.1093/logcom/exaa079\">https://doi.org/10.1093/logcom/exaa079</a>","ama":"Mahmood Y, Meier A, Schmidt J. Parameterized complexity of abduction in Schaefer’s framework. <i>Journal of Logic and Computation</i>. 2021;31(1):266-296. doi:<a href=\"https://doi.org/10.1093/logcom/exaa079\">10.1093/logcom/exaa079</a>","ieee":"Y. Mahmood, A. Meier, and J. Schmidt, “Parameterized complexity of abduction in Schaefer’s framework,” <i>Journal of Logic and Computation</i>, vol. 31, no. 1, pp. 266–296, 2021, doi: <a href=\"https://doi.org/10.1093/logcom/exaa079\">10.1093/logcom/exaa079</a>.","chicago":"Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterized Complexity of Abduction in Schaefer’s Framework.” <i>Journal of Logic and Computation</i> 31, no. 1 (2021): 266–96. <a href=\"https://doi.org/10.1093/logcom/exaa079\">https://doi.org/10.1093/logcom/exaa079</a>."}},{"keyword":["Computer Networks and Communications","Information Systems","Theoretical Computer Science","Software"],"language":[{"iso":"eng"}],"_id":"37146","user_id":"80546","abstract":[{"lang":"eng","text":"<jats:title>Abstract</jats:title><jats:p>Organizations increasingly introduce collaborative technologies in form of virtual assistants (VAs) to save valuable resources, especially when employees are assisted with work-related tasks. However, the effect of VAs on virtual teams and collaboration remains uncertain, particularly whether employees show social loafing (SL) tendencies, i.e., applying less effort for collective tasks compared to working alone. While extant research indicates that VAs collaboratively working in teams exert greater results, less is known about SL in virtual collaboration and how responsibility attribution alters. An online experiment with N = 102 was conducted in which participants were assisted by a VA in solving a task. The results indicate SL tendencies in virtual collaboration with VAs and that participants tend to cede responsibility to the VA. This study makes a first foray and extends the information systems (IS) literature by analyzing SL and responsibility attribution thus updates our knowledge on virtual collaboration with VAs.</jats:p>"}],"status":"public","publication":"Information Systems Frontiers","type":"journal_article","title":"Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution","doi":"10.1007/s10796-021-10201-0","publisher":"Springer Science and Business Media LLC","date_updated":"2023-01-18T07:57:25Z","volume":24,"author":[{"full_name":"Stieglitz, Stefan","last_name":"Stieglitz","first_name":"Stefan"},{"first_name":"Milad","last_name":"Mirbabaie","id":"88691","full_name":"Mirbabaie, Milad"},{"first_name":"Nicholas R. J.","full_name":"Möllmann, Nicholas R. J.","last_name":"Möllmann"},{"full_name":"Rzyski, Jannik","last_name":"Rzyski","first_name":"Jannik"}],"date_created":"2023-01-17T15:25:22Z","year":"2021","page":"745-770","intvolume":"        24","citation":{"ama":"Stieglitz S, Mirbabaie M, Möllmann NRJ, Rzyski J. Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution. <i>Information Systems Frontiers</i>. 2021;24(3):745-770. doi:<a href=\"https://doi.org/10.1007/s10796-021-10201-0\">10.1007/s10796-021-10201-0</a>","chicago":"Stieglitz, Stefan, Milad Mirbabaie, Nicholas R. J. Möllmann, and Jannik Rzyski. “Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution.” <i>Information Systems Frontiers</i> 24, no. 3 (2021): 745–70. <a href=\"https://doi.org/10.1007/s10796-021-10201-0\">https://doi.org/10.1007/s10796-021-10201-0</a>.","ieee":"S. Stieglitz, M. Mirbabaie, N. R. J. Möllmann, and J. Rzyski, “Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution,” <i>Information Systems Frontiers</i>, vol. 24, no. 3, pp. 745–770, 2021, doi: <a href=\"https://doi.org/10.1007/s10796-021-10201-0\">10.1007/s10796-021-10201-0</a>.","apa":"Stieglitz, S., Mirbabaie, M., Möllmann, N. R. J., &#38; Rzyski, J. (2021). Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution. <i>Information Systems Frontiers</i>, <i>24</i>(3), 745–770. <a href=\"https://doi.org/10.1007/s10796-021-10201-0\">https://doi.org/10.1007/s10796-021-10201-0</a>","mla":"Stieglitz, Stefan, et al. “Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution.” <i>Information Systems Frontiers</i>, vol. 24, no. 3, Springer Science and Business Media LLC, 2021, pp. 745–70, doi:<a href=\"https://doi.org/10.1007/s10796-021-10201-0\">10.1007/s10796-021-10201-0</a>.","bibtex":"@article{Stieglitz_Mirbabaie_Möllmann_Rzyski_2021, title={Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution}, volume={24}, DOI={<a href=\"https://doi.org/10.1007/s10796-021-10201-0\">10.1007/s10796-021-10201-0</a>}, number={3}, journal={Information Systems Frontiers}, publisher={Springer Science and Business Media LLC}, author={Stieglitz, Stefan and Mirbabaie, Milad and Möllmann, Nicholas R. J. and Rzyski, Jannik}, year={2021}, pages={745–770} }","short":"S. Stieglitz, M. Mirbabaie, N.R.J. Möllmann, J. Rzyski, Information Systems Frontiers 24 (2021) 745–770."},"publication_identifier":{"issn":["1387-3326","1572-9419"]},"publication_status":"published","issue":"3"},{"title":"Software/Hardware Co-Verification for Custom Instruction Set Processors","doi":"10.1109/ACCESS.2021.3131213","date_updated":"2023-01-18T08:34:50Z","publisher":"IEEE","author":[{"first_name":"Marie-Christine","last_name":"Jakobs","full_name":"Jakobs, Marie-Christine"},{"first_name":"Felix","id":"22398","full_name":"Pauck, Felix","last_name":"Pauck"},{"last_name":"Platzner","full_name":"Platzner, Marco","id":"398","first_name":"Marco"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"},{"first_name":"Tobias","last_name":"Wiersema","id":"3118","full_name":"Wiersema, Tobias"}],"date_created":"2021-11-25T14:12:22Z","year":"2021","citation":{"chicago":"Jakobs, Marie-Christine, Felix Pauck, Marco Platzner, Heike Wehrheim, and Tobias Wiersema. “Software/Hardware Co-Verification for Custom Instruction Set Processors.” <i>IEEE Access</i>, 2021. <a href=\"https://doi.org/10.1109/ACCESS.2021.3131213\">https://doi.org/10.1109/ACCESS.2021.3131213</a>.","ieee":"M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, and T. Wiersema, “Software/Hardware Co-Verification for Custom Instruction Set Processors,” <i>IEEE Access</i>, 2021, doi: <a href=\"https://doi.org/10.1109/ACCESS.2021.3131213\">10.1109/ACCESS.2021.3131213</a>.","ama":"Jakobs M-C, Pauck F, Platzner M, Wehrheim H, Wiersema T. Software/Hardware Co-Verification for Custom Instruction Set Processors. <i>IEEE Access</i>. Published online 2021. doi:<a href=\"https://doi.org/10.1109/ACCESS.2021.3131213\">10.1109/ACCESS.2021.3131213</a>","apa":"Jakobs, M.-C., Pauck, F., Platzner, M., Wehrheim, H., &#38; Wiersema, T. (2021). Software/Hardware Co-Verification for Custom Instruction Set Processors. <i>IEEE Access</i>. <a href=\"https://doi.org/10.1109/ACCESS.2021.3131213\">https://doi.org/10.1109/ACCESS.2021.3131213</a>","mla":"Jakobs, Marie-Christine, et al. “Software/Hardware Co-Verification for Custom Instruction Set Processors.” <i>IEEE Access</i>, IEEE, 2021, doi:<a href=\"https://doi.org/10.1109/ACCESS.2021.3131213\">10.1109/ACCESS.2021.3131213</a>.","bibtex":"@article{Jakobs_Pauck_Platzner_Wehrheim_Wiersema_2021, title={Software/Hardware Co-Verification for Custom Instruction Set Processors}, DOI={<a href=\"https://doi.org/10.1109/ACCESS.2021.3131213\">10.1109/ACCESS.2021.3131213</a>}, journal={IEEE Access}, publisher={IEEE}, author={Jakobs, Marie-Christine and Pauck, Felix and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias}, year={2021} }","short":"M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, T. Wiersema, IEEE Access (2021)."},"publication_status":"published","quality_controlled":"1","keyword":["Software Analysis","Abstract Interpretation","Custom Instruction","Hardware Verification"],"language":[{"iso":"eng"}],"funded_apc":"1","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"_id":"27841","user_id":"22398","department":[{"_id":"78"}],"abstract":[{"lang":"eng","text":"Verification of software and processor hardware usually proceeds separately, software analysis relying on the correctness of processors executing machine instructions. This assumption is valid as long as the software runs on standard CPUs that have been extensively validated and are in wide use. However, for processors exploiting custom instruction set extensions to meet performance and energy constraints the validation might be less extensive, challenging the correctness assumption. In this paper we present a novel formal approach for hardware/software co-verification targeting processors with custom instruction set extensions. We detail two different approaches for checking whether the hardware fulfills the requirements expected by the software analysis. The approaches are designed to explore a trade-off between generality of the verification and computational effort. Then, we describe the integration of software and hardware analyses for both techniques and describe a fully automated tool chain implementing the approaches. Finally, we demonstrate and compare the two approaches on example source code with custom instructions, using state-of-the-art software analysis and hardware verification techniques."}],"status":"public","type":"journal_article","publication":"IEEE Access"},{"language":[{"iso":"eng"}],"keyword":["Software"],"department":[{"_id":"76"}],"user_id":"477","_id":"31132","project":[{"name":"Reaktor: SFB 901 - Automatisierte Risikoanalyse in Bezug auf Open-Source-Abhängigkeiten (Hektor) (Transferproject T3)","_id":"107"},{"_id":"1","name":"SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen Märkten"},{"name":"SFB 901; Projektbereich T: Transferprojekte des Sonderforschungsbereichs","_id":"82"},{"name":"SFB 901; TP T3: Automatisierte Risikoanalyse in Bezug auf Open-Source-Abhängigkeiten (Hektor)","_id":"107"}],"status":"public","publication":"IEEE Transactions on Software Engineering","type":"journal_article","doi":"10.1109/tse.2021.3101739","title":"Identifying Challenges for OSS Vulnerability Scanners - A Study &amp; Test Suite","date_created":"2022-05-09T13:02:35Z","author":[{"last_name":"Dann","id":"26886","full_name":"Dann, Andreas Peter","first_name":"Andreas Peter"},{"first_name":"Henrik","last_name":"Plate","full_name":"Plate, Henrik"},{"first_name":"Ben","full_name":"Hermann, Ben","id":"66173","last_name":"Hermann","orcid":"0000-0001-9848-2017"},{"first_name":"Serena Elisa","full_name":"Ponta, Serena Elisa","last_name":"Ponta"},{"first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","full_name":"Bodden, Eric","id":"59256"}],"date_updated":"2025-11-11T14:28:46Z","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","page":"1-1","citation":{"ama":"Dann AP, Plate H, Hermann B, Ponta SE, Bodden E. Identifying Challenges for OSS Vulnerability Scanners - A Study &#38;amp; Test Suite. <i>IEEE Transactions on Software Engineering</i>. Published online 2021:1-1. doi:<a href=\"https://doi.org/10.1109/tse.2021.3101739\">10.1109/tse.2021.3101739</a>","chicago":"Dann, Andreas Peter, Henrik Plate, Ben Hermann, Serena Elisa Ponta, and Eric Bodden. “Identifying Challenges for OSS Vulnerability Scanners - A Study &#38;amp; Test Suite.” <i>IEEE Transactions on Software Engineering</i>, 2021, 1–1. <a href=\"https://doi.org/10.1109/tse.2021.3101739\">https://doi.org/10.1109/tse.2021.3101739</a>.","ieee":"A. P. Dann, H. Plate, B. Hermann, S. E. Ponta, and E. Bodden, “Identifying Challenges for OSS Vulnerability Scanners - A Study &#38;amp; Test Suite,” <i>IEEE Transactions on Software Engineering</i>, pp. 1–1, 2021, doi: <a href=\"https://doi.org/10.1109/tse.2021.3101739\">10.1109/tse.2021.3101739</a>.","short":"A.P. Dann, H. Plate, B. Hermann, S.E. Ponta, E. Bodden, IEEE Transactions on Software Engineering (2021) 1–1.","mla":"Dann, Andreas Peter, et al. “Identifying Challenges for OSS Vulnerability Scanners - A Study &#38;amp; Test Suite.” <i>IEEE Transactions on Software Engineering</i>, Institute of Electrical and Electronics Engineers (IEEE), 2021, pp. 1–1, doi:<a href=\"https://doi.org/10.1109/tse.2021.3101739\">10.1109/tse.2021.3101739</a>.","bibtex":"@article{Dann_Plate_Hermann_Ponta_Bodden_2021, title={Identifying Challenges for OSS Vulnerability Scanners - A Study &#38;amp; Test Suite}, DOI={<a href=\"https://doi.org/10.1109/tse.2021.3101739\">10.1109/tse.2021.3101739</a>}, journal={IEEE Transactions on Software Engineering}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Dann, Andreas Peter and Plate, Henrik and Hermann, Ben and Ponta, Serena Elisa and Bodden, Eric}, year={2021}, pages={1–1} }","apa":"Dann, A. P., Plate, H., Hermann, B., Ponta, S. E., &#38; Bodden, E. (2021). Identifying Challenges for OSS Vulnerability Scanners - A Study &#38;amp; Test Suite. <i>IEEE Transactions on Software Engineering</i>, 1–1. <a href=\"https://doi.org/10.1109/tse.2021.3101739\">https://doi.org/10.1109/tse.2021.3101739</a>"},"year":"2021","publication_identifier":{"issn":["0098-5589","1939-3520","2326-3881"]},"publication_status":"published"},{"language":[{"iso":"eng"}],"file_date_updated":"2020-11-19T17:29:03Z","keyword":["Software Requirements","Natural Language Processing","Transfer Learning","On-The-Fly Computing"],"ddc":["000"],"department":[{"_id":"579"}],"user_id":"58701","_id":"18686","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B1","_id":"9"}],"status":"public","file":[{"content_type":"application/pdf","relation":"main_file","success":1,"date_created":"2020-11-19T17:29:03Z","creator":"jkers","date_updated":"2020-11-19T17:29:03Z","access_level":"closed","file_id":"20443","file_name":"Kersting & Bäumer (2020), Kersting2020d.pdf","file_size":1064877}],"publication":"PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020","type":"conference","conference":{"start_date":"18.11.2020","name":"17th International Conference on Applied Computing","location":"Lisbon, Portugal","end_date":"20.11.2020"},"title":"SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH","date_created":"2020-08-31T10:59:54Z","author":[{"first_name":"Joschka","last_name":"Kersting","id":"58701","full_name":"Kersting, Joschka"},{"first_name":"Frederik Simon","id":"38837","full_name":"Bäumer, Frederik Simon","last_name":"Bäumer"}],"date_updated":"2022-01-06T06:53:51Z","publisher":"IADIS","page":"119--123","citation":{"apa":"Kersting, J., &#38; Bäumer, F. S. (2020). SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH. <i>PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020</i>, 119--123.","bibtex":"@inproceedings{Kersting_Bäumer_2020, title={SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH}, booktitle={PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020}, publisher={IADIS}, author={Kersting, Joschka and Bäumer, Frederik Simon}, year={2020}, pages={119--123} }","short":"J. Kersting, F.S. Bäumer, in: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020, IADIS, 2020, pp. 119--123.","mla":"Kersting, Joschka, and Frederik Simon Bäumer. “SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH.” <i>PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020</i>, IADIS, 2020, pp. 119--123.","ieee":"J. Kersting and F. S. Bäumer, “SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH,” in <i>PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020</i>, Lisbon, Portugal, 2020, pp. 119--123.","chicago":"Kersting, Joschka, and Frederik Simon Bäumer. “SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH.” In <i>PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020</i>, 119--123. IADIS, 2020.","ama":"Kersting J, Bäumer FS. SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH. In: <i>PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020</i>. IADIS; 2020:119--123."},"year":"2020","has_accepted_license":"1"},{"date_updated":"2022-01-06T06:53:28Z","oa":"1","volume":12481,"author":[{"first_name":"Sebastian","id":"47208","full_name":"Gottschalk, Sebastian","last_name":"Gottschalk"},{"first_name":"Enes","id":"8447","full_name":"Yigitbas, Enes","orcid":"0000-0002-5967-833X","last_name":"Yigitbas"},{"first_name":"Eugen","last_name":"Schmidt","full_name":"Schmidt, Eugen"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"}],"doi":"10.1007/978-3-030-64266-2_5","conference":{"end_date":"2020-12-02","location":"Eindhoven","name":"8th International Working Conference on Human-Centered Software Engineering (HCSE'20)","start_date":"2020-11-30"},"has_accepted_license":"1","publication_status":"published","place":"Cham","intvolume":"     12481","citation":{"chicago":"Gottschalk, Sebastian, Enes Yigitbas, Eugen Schmidt, and Gregor Engels. “Model-Based Product Configuration in Augmented Reality Applications.” In <i>Human-Centered Software Engineering. HCSE 2020</i>, edited by Regina Bernhaupt, Carmelo Ardito, and Stefan Sauer, Vol. 12481. Lecture Notes in Computer Science. Cham: Springer, 2020. <a href=\"https://doi.org/10.1007/978-3-030-64266-2_5\">https://doi.org/10.1007/978-3-030-64266-2_5</a>.","ieee":"S. Gottschalk, E. Yigitbas, E. Schmidt, and G. Engels, “Model-based Product Configuration in Augmented Reality Applications,” in <i>Human-Centered Software Engineering. HCSE 2020</i>, Eindhoven, 2020, vol. 12481.","ama":"Gottschalk S, Yigitbas E, Schmidt E, Engels G. Model-based Product Configuration in Augmented Reality Applications. In: Bernhaupt R, Ardito C, Sauer S, eds. <i>Human-Centered Software Engineering. HCSE 2020</i>. Vol 12481. Lecture Notes in Computer Science. Cham: Springer; 2020. doi:<a href=\"https://doi.org/10.1007/978-3-030-64266-2_5\">10.1007/978-3-030-64266-2_5</a>","apa":"Gottschalk, S., Yigitbas, E., Schmidt, E., &#38; Engels, G. (2020). Model-based Product Configuration in Augmented Reality Applications. In R. Bernhaupt, C. Ardito, &#38; S. Sauer (Eds.), <i>Human-Centered Software Engineering. HCSE 2020</i> (Vol. 12481). Cham: Springer. <a href=\"https://doi.org/10.1007/978-3-030-64266-2_5\">https://doi.org/10.1007/978-3-030-64266-2_5</a>","bibtex":"@inproceedings{Gottschalk_Yigitbas_Schmidt_Engels_2020, place={Cham}, series={Lecture Notes in Computer Science}, title={Model-based Product Configuration in Augmented Reality Applications}, volume={12481}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-64266-2_5\">10.1007/978-3-030-64266-2_5</a>}, booktitle={Human-Centered Software Engineering. HCSE 2020}, publisher={Springer}, author={Gottschalk, Sebastian and Yigitbas, Enes and Schmidt, Eugen and Engels, Gregor}, editor={Bernhaupt, Regina and Ardito, Carmelo and Sauer, StefanEditors}, year={2020}, collection={Lecture Notes in Computer Science} }","mla":"Gottschalk, Sebastian, et al. “Model-Based Product Configuration in Augmented Reality Applications.” <i>Human-Centered Software Engineering. HCSE 2020</i>, edited by Regina Bernhaupt et al., vol. 12481, Springer, 2020, doi:<a href=\"https://doi.org/10.1007/978-3-030-64266-2_5\">10.1007/978-3-030-64266-2_5</a>.","short":"S. Gottschalk, E. Yigitbas, E. Schmidt, G. Engels, in: R. Bernhaupt, C. Ardito, S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020, Springer, Cham, 2020."},"_id":"18249","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area C","_id":"4"},{"_id":"17","name":"SFB 901 - Subproject C5"}],"department":[{"_id":"66"},{"_id":"534"}],"user_id":"47208","series_title":"Lecture Notes in Computer Science","file_date_updated":"2020-11-30T08:36:52Z","type":"conference","editor":[{"full_name":"Bernhaupt, Regina","last_name":"Bernhaupt","first_name":"Regina"},{"first_name":"Carmelo","last_name":"Ardito","full_name":"Ardito, Carmelo"},{"first_name":"Stefan","full_name":"Sauer, Stefan","last_name":"Sauer"}],"status":"public","publisher":"Springer","date_created":"2020-08-25T08:27:38Z","title":"Model-based Product Configuration in Augmented Reality Applications","year":"2020","keyword":["Product Configuration","Augmented Reality","Runtime Adaptation","Dynamic Software Product Lines"],"ddc":["000"],"language":[{"iso":"eng"}],"publication":"Human-Centered Software Engineering. HCSE 2020","abstract":[{"lang":"eng","text":"Augmented Reality (AR) has recently found high attention in mobile shopping apps such as in domains like furniture or decoration. Here, the developers of the apps focus on the positioning of atomic 3D objects in the physical environment. With this focus, they neglect the configuration of multi-faceted 3D object composition according to the user needs and environmental constraints. To tackle these challenges, we present a model-based approach to support AR-assisted product con-figuration based on the concept of Dynamic Software Product Lines. Our approach splits products (e.g. table) into parts (e.g. tabletop, ta-ble legs, funnier) with their 3D objects and additional information (e.g. name, price). The possible products, which can be configured out of these parts, are stored in a feature model. At runtime, this feature model can be used to configure 3D object compositions out of the product parts and adapt to user needs and environmental constraints. The benefits of this approach are demonstrated by a case study of configuring modular kitchens with the help of a prototypical mobile-based implementation."}],"file":[{"access_level":"open_access","file_name":"HCSE20_full.pdf","file_id":"20541","file_size":2258601,"date_created":"2020-11-30T08:33:30Z","creator":"sego","date_updated":"2020-11-30T08:36:52Z","relation":"main_file","content_type":"application/pdf"}]},{"year":"2020","title":"Hypothesis-driven Adaptation of Business Models based on Product Line Engineering","date_created":"2020-05-04T12:16:54Z","publisher":"IEEE","file":[{"content_type":"application/pdf","relation":"main_file","creator":"sego","date_created":"2020-07-14T09:33:00Z","date_updated":"2020-07-14T09:33:00Z","access_level":"open_access","file_id":"17383","file_name":"CBI.pdf","file_size":569290}],"abstract":[{"lang":"eng","text":"The continuous innovation of its business models is an important task for a company to stay competitive. During this process, the company has to validate various hypotheses about its business models by adapting to uncertain and changing customer needs effectively and efficiently. This adaptation, in turn, can be supported by the concept of Software Product Lines (SPLs). SPLs reduce the time to market by deriving products for customers with changing requirements using a common set of features, structured as a feature model. Analogously, we support the process of business model adaptation by applying the engineering process of SPLs to the structure of the Business Model Canvas (BMC). We call this concept a Business Model Decision Line (BMDL). The BMDL matches business domain knowledge in the form of a feature model with customer needs to derive hypotheses about the business model together with experiments for validation. Our approach is effective by providing a comprehensive overview of possible business model adaptations and efficient by reusing experiments for different hypotheses. We implement our approach in a tool and illustrate the usefulness with an example of developing business models for a mobile application."}],"publication":"Proceedings of the 22nd IEEE International Conference on Business Informatics","language":[{"iso":"eng"}],"ddc":["006"],"keyword":["Business Model Decision Line","Business Model Adaptation","Hypothesis-driven Adaptation","Software Product Line","Feature Model"],"citation":{"apa":"Gottschalk, S., Rittmeier, F., &#38; Engels, G. (2020). Hypothesis-driven Adaptation of Business Models based on Product Line Engineering. In <i>Proceedings of the 22nd IEEE International Conference on Business Informatics</i>. Antwerp: IEEE. <a href=\"https://doi.org/10.1109/CBI49978.2020.00022\">https://doi.org/10.1109/CBI49978.2020.00022</a>","mla":"Gottschalk, Sebastian, et al. “Hypothesis-Driven Adaptation of Business Models Based on Product Line Engineering.” <i>Proceedings of the 22nd IEEE International Conference on Business Informatics</i>, IEEE, 2020, doi:<a href=\"https://doi.org/10.1109/CBI49978.2020.00022\">10.1109/CBI49978.2020.00022</a>.","short":"S. Gottschalk, F. Rittmeier, G. Engels, in: Proceedings of the 22nd IEEE International Conference on Business Informatics, IEEE, 2020.","bibtex":"@inproceedings{Gottschalk_Rittmeier_Engels_2020, title={Hypothesis-driven Adaptation of Business Models based on Product Line Engineering}, DOI={<a href=\"https://doi.org/10.1109/CBI49978.2020.00022\">10.1109/CBI49978.2020.00022</a>}, booktitle={Proceedings of the 22nd IEEE International Conference on Business Informatics}, publisher={IEEE}, author={Gottschalk, Sebastian and Rittmeier, Florian and Engels, Gregor}, year={2020} }","ama":"Gottschalk S, Rittmeier F, Engels G. Hypothesis-driven Adaptation of Business Models based on Product Line Engineering. In: <i>Proceedings of the 22nd IEEE International Conference on Business Informatics</i>. IEEE; 2020. doi:<a href=\"https://doi.org/10.1109/CBI49978.2020.00022\">10.1109/CBI49978.2020.00022</a>","ieee":"S. Gottschalk, F. Rittmeier, and G. Engels, “Hypothesis-driven Adaptation of Business Models based on Product Line Engineering,” in <i>Proceedings of the 22nd IEEE International Conference on Business Informatics</i>, Antwerp, 2020.","chicago":"Gottschalk, Sebastian, Florian Rittmeier, and Gregor Engels. “Hypothesis-Driven Adaptation of Business Models Based on Product Line Engineering.” In <i>Proceedings of the 22nd IEEE International Conference on Business Informatics</i>. IEEE, 2020. <a href=\"https://doi.org/10.1109/CBI49978.2020.00022\">https://doi.org/10.1109/CBI49978.2020.00022</a>."},"has_accepted_license":"1","conference":{"start_date":"2020-06-22","name":"22nd IEEE International Conference on Business Informatics","location":"Antwerp","end_date":"2020-06-24"},"doi":"10.1109/CBI49978.2020.00022","author":[{"first_name":"Sebastian","id":"47208","full_name":"Gottschalk, Sebastian","last_name":"Gottschalk"},{"last_name":"Rittmeier","id":"5281","full_name":"Rittmeier, Florian","first_name":"Florian"},{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"}],"date_updated":"2022-01-06T06:52:59Z","oa":"1","status":"public","type":"conference","file_date_updated":"2020-07-14T09:33:00Z","user_id":"47208","department":[{"_id":"66"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area C","_id":"4"},{"_id":"17","name":"SFB 901 - Subproject C5"}],"_id":"16933"},{"department":[{"_id":"66"}],"series_title":"Lecture Notes in Business Information Processing","user_id":"47208","_id":"9275","project":[{"name":"SFB 901 - Project Area C","_id":"4"},{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subproject C5","_id":"17"}],"file_date_updated":"2019-12-06T13:47:58Z","type":"conference","status":"public","editor":[{"first_name":"Boris","full_name":"Shishkov, Boris","last_name":"Shishkov"}],"author":[{"first_name":"Sebastian","last_name":"Gottschalk","id":"47208","full_name":"Gottschalk, Sebastian"},{"first_name":"Florian","full_name":"Rittmeier, Florian","id":"5281","last_name":"Rittmeier"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"}],"date_updated":"2022-01-06T07:04:12Z","oa":"1","conference":{"end_date":"2019-07-03","location":"Lisbon","name":"International Symposium on Business Modeling and Software Design","start_date":"2019-07-01"},"doi":"10.1007/978-3-030-24854-3_10","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/978-3-030-24854-3_10"}],"has_accepted_license":"1","publication_identifier":{"unknown":["978-3-030-24853-6"]},"publication_status":"published","page":"153-169","citation":{"mla":"Gottschalk, Sebastian, et al. “Business Models of Store-Oriented Software Ecosystems: A Variability Modeling Approach.” <i>Business Modeling and Software Design</i>, edited by Boris Shishkov, Springer International Publishing, 2019, pp. 153–69, doi:<a href=\"https://doi.org/10.1007/978-3-030-24854-3_10\">10.1007/978-3-030-24854-3_10</a>.","bibtex":"@inproceedings{Gottschalk_Rittmeier_Engels_2019, series={Lecture Notes in Business Information Processing}, title={Business Models of Store-Oriented Software Ecosystems: A Variability Modeling Approach}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-24854-3_10\">10.1007/978-3-030-24854-3_10</a>}, booktitle={Business Modeling and Software Design}, publisher={Springer International Publishing}, author={Gottschalk, Sebastian and Rittmeier, Florian and Engels, Gregor}, editor={Shishkov, BorisEditor}, year={2019}, pages={153–169}, collection={Lecture Notes in Business Information Processing} }","short":"S. Gottschalk, F. Rittmeier, G. Engels, in: B. Shishkov (Ed.), Business Modeling and Software Design, Springer International Publishing, 2019, pp. 153–169.","apa":"Gottschalk, S., Rittmeier, F., &#38; Engels, G. (2019). Business Models of Store-Oriented Software Ecosystems: A Variability Modeling Approach. In B. Shishkov (Ed.), <i>Business Modeling and Software Design</i> (pp. 153–169). Lisbon: Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-030-24854-3_10\">https://doi.org/10.1007/978-3-030-24854-3_10</a>","chicago":"Gottschalk, Sebastian, Florian Rittmeier, and Gregor Engels. “Business Models of Store-Oriented Software Ecosystems: A Variability Modeling Approach.” In <i>Business Modeling and Software Design</i>, edited by Boris Shishkov, 153–69. Lecture Notes in Business Information Processing. Springer International Publishing, 2019. <a href=\"https://doi.org/10.1007/978-3-030-24854-3_10\">https://doi.org/10.1007/978-3-030-24854-3_10</a>.","ieee":"S. Gottschalk, F. Rittmeier, and G. Engels, “Business Models of Store-Oriented Software Ecosystems: A Variability Modeling Approach,” in <i>Business Modeling and Software Design</i>, Lisbon, 2019, pp. 153–169.","ama":"Gottschalk S, Rittmeier F, Engels G. Business Models of Store-Oriented Software Ecosystems: A Variability Modeling Approach. In: Shishkov B, ed. <i>Business Modeling and Software Design</i>. Lecture Notes in Business Information Processing. Springer International Publishing; 2019:153-169. doi:<a href=\"https://doi.org/10.1007/978-3-030-24854-3_10\">10.1007/978-3-030-24854-3_10</a>"},"language":[{"iso":"eng"}],"keyword":["Software Ecosystems","Business Models","Variabilities"],"ddc":["000"],"publication":"Business Modeling and Software Design","file":[{"content_type":"application/pdf","relation":"main_file","creator":"sego","date_created":"2019-11-14T14:47:32Z","date_updated":"2019-12-06T13:47:58Z","access_level":"open_access","file_id":"14988","file_name":"BMSD.pdf","file_size":546764}],"abstract":[{"text":"In the last years, store-oriented software ecosystems are gaining\r\nmore and more attention from a business perspective. In these ecosystems,\r\nthird-party developers upload extensions to a store which can be\r\ndownloaded by end users. While the functional scope of such ecosystems\r\nis relatively similar, the underlying business models differ greatly in and\r\nbetween their different product domains (e.g. Mobile Phone, Smart TV).\r\nThis variability, in turn, makes it challenging for store providers to \r\nfind a business model that fits their own needs.\r\nTo handle this variability, we introduce the Business Variability Model\r\n(BVM) for modeling business model decisions. The basis of these decisions\r\nis the analysis of 60 store-oriented software ecosystems in eight\r\ndifferent product domains. We map their business model decisions to the\r\nBusiness Model Canvas, condense them to a variability model and discuss\r\nparticular variants and their dependencies. Our work provides store\r\nproviders a new approach for modeling business model decisions together\r\nwith insights of existing business models. This, in turn, supports them\r\nin creating new and improving existing business models.","lang":"eng"}],"date_created":"2019-04-23T11:47:23Z","publisher":"Springer International Publishing","title":"Business Models of Store-Oriented Software Ecosystems: A Variability Modeling Approach","year":"2019"},{"type":"journal_article","status":"public","_id":"8424","project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901 - Subproject B1","_id":"9"}],"department":[{"_id":"36"},{"_id":"1"},{"_id":"579"}],"user_id":"58701","article_type":"original","article_number":"22","file_date_updated":"2020-09-18T09:23:34Z","has_accepted_license":"1","publication_identifier":{"issn":["2073-431X"]},"publication_status":"published","intvolume":"         8","citation":{"bibtex":"@article{Bäumer_Kersting_Geierhos_2019, title={Natural Language Processing in OTF Computing: Challenges and the Need for Interactive Approaches}, volume={8}, DOI={<a href=\"https://doi.org/10.3390/computers8010022\">10.3390/computers8010022</a>}, number={122}, journal={Computers}, publisher={MDPI AG, Basel, Switzerland}, author={Bäumer, Frederik Simon and Kersting, Joschka and Geierhos, Michaela}, year={2019} }","mla":"Bäumer, Frederik Simon, et al. “Natural Language Processing in OTF Computing: Challenges and the Need for Interactive Approaches.” <i>Computers</i>, vol. 8, no. 1, 22, MDPI AG, Basel, Switzerland, 2019, doi:<a href=\"https://doi.org/10.3390/computers8010022\">10.3390/computers8010022</a>.","short":"F.S. Bäumer, J. Kersting, M. Geierhos, Computers 8 (2019).","apa":"Bäumer, F. S., Kersting, J., &#38; Geierhos, M. (2019). Natural Language Processing in OTF Computing: Challenges and the Need for Interactive Approaches. <i>Computers</i>, <i>8</i>(1). <a href=\"https://doi.org/10.3390/computers8010022\">https://doi.org/10.3390/computers8010022</a>","ieee":"F. S. Bäumer, J. Kersting, and M. Geierhos, “Natural Language Processing in OTF Computing: Challenges and the Need for Interactive Approaches,” <i>Computers</i>, vol. 8, no. 1, 2019.","chicago":"Bäumer, Frederik Simon, Joschka Kersting, and Michaela Geierhos. “Natural Language Processing in OTF Computing: Challenges and the Need for Interactive Approaches.” <i>Computers</i> 8, no. 1 (2019). <a href=\"https://doi.org/10.3390/computers8010022\">https://doi.org/10.3390/computers8010022</a>.","ama":"Bäumer FS, Kersting J, Geierhos M. Natural Language Processing in OTF Computing: Challenges and the Need for Interactive Approaches. <i>Computers</i>. 2019;8(1). doi:<a href=\"https://doi.org/10.3390/computers8010022\">10.3390/computers8010022</a>"},"date_updated":"2022-01-06T07:03:55Z","oa":"1","volume":8,"author":[{"first_name":"Frederik Simon","id":"38837","full_name":"Bäumer, Frederik Simon","last_name":"Bäumer"},{"last_name":"Kersting","full_name":"Kersting, Joschka","id":"58701","first_name":"Joschka"},{"first_name":"Michaela","id":"42496","full_name":"Geierhos, Michaela","orcid":"0000-0002-8180-5606","last_name":"Geierhos"}],"conference":{"name":"24th International Conference on Information and Software Technologies (ICIST 2018)","start_date":"2018-10-04","end_date":"2018-10-06","location":"Vilnius, Lithuania"},"doi":"10.3390/computers8010022","main_file_link":[{"open_access":"1","url":"https://www.mdpi.com/2073-431X/8/1/22/pdf"}],"publication":"Computers","abstract":[{"lang":"eng","text":"The vision of On-the-Fly (OTF) Computing is to compose and provide software services ad hoc, based on requirement descriptions in natural language. Since non-technical users write their software requirements themselves and in unrestricted natural language, deficits occur such as inaccuracy and incompleteness. These deficits are usually met by natural language processing methods, which have to face special challenges in OTF Computing because maximum automation is the goal. In this paper, we present current automatic approaches for solving inaccuracies and incompletenesses in natural language requirement descriptions and elaborate open challenges. In particular, we will discuss the necessity of domain-specific resources and show why, despite far-reaching automation, an intelligent and guided integration of end users into the compensation process is required. In this context, we present our idea of a chat bot that integrates users into the compensation process depending on the given circumstances. "}],"file":[{"creator":"jkers","date_created":"2020-09-18T09:23:34Z","date_updated":"2020-09-18T09:23:34Z","file_id":"19572","file_name":"Bäumer et al. (2019), Baeumer2019.pdf","access_level":"closed","file_size":3164523,"content_type":"application/pdf","relation":"main_file","success":1}],"keyword":["Inaccuracy Detection","Natural Language Software Requirements","Chat Bot"],"ddc":["000"],"language":[{"iso":"eng"}],"quality_controlled":"1","issue":"1","year":"2019","publisher":"MDPI AG, Basel, Switzerland","date_created":"2019-03-06T14:27:28Z","title":"Natural Language Processing in OTF Computing: Challenges and the Need for Interactive Approaches"},{"date_created":"2019-05-14T05:43:57Z","title":"Service Function Chaining Across OpenStack and Kubernetes Domains","year":"2019","ddc":["004"],"keyword":["Network Function Virtualization","Software-defined Networking","Cloud Computing","service orchestration","OpenStack","Kubernetes"],"language":[{"iso":"eng"}],"publication":"13th ACM International Conference on Distributed and Event-based Systems","abstract":[{"lang":"eng","text":"Remarkable advantages of Containers (CNs) over Virtual Machines (VMs) such as lower overhead and faster startup has gained the attention of Communication Service Providers (CSPs) as using CNs for providing Virtual Network Functions (VNFs) can save costs while increasing the service agility. However, as it is not feasible to realise all types of VNFs in CNs, the coexistence of VMs and CNs is proposed. To put VMs and CNs together, an orchestration framework that can chain services across distributed and heterogeneous domains is required. To this end, we implemented a framework by extending and consolidating state-of-the-art tools and technologies originated from Network Function Virtualization (NFV), Software-defined Networking (SDN) and cloud computing environments. This framework chains services provisioned across Kubernetes and OpenStack domains. During the demo, we deploy a service consist of CN- and VM-based VNFs to demonstrate different features provided by our framework."}],"file":[{"relation":"main_file","content_type":"application/pdf","file_size":1206037,"access_level":"closed","file_id":"12953","file_name":"p240-Kouchaksaraei.pdf","date_updated":"2019-08-26T09:09:50Z","creator":"ups","date_created":"2019-08-26T09:09:50Z"}],"date_updated":"2022-01-06T07:04:21Z","author":[{"first_name":"Hadi","id":"60845","full_name":"Razzaghi Kouchaksaraei, Hadi","last_name":"Razzaghi Kouchaksaraei"},{"first_name":"Holger","id":"126","full_name":"Karl, Holger","last_name":"Karl"}],"doi":"10.1145/3328905.3332505","conference":{"start_date":"2019-06-24","name":"13th ACM International Conference on Distributed and Event-based Systems","location":"Darmstadt","end_date":"2019-06-28"},"publication_status":"published","has_accepted_license":"1","place":"Darmstadt","citation":{"mla":"Razzaghi Kouchaksaraei, Hadi, and Holger Karl. “Service Function Chaining Across OpenStack and Kubernetes Domains.” <i>13th ACM International Conference on Distributed and Event-Based Systems</i>, 2019, doi:<a href=\"https://doi.org/10.1145/3328905.3332505\">10.1145/3328905.3332505</a>.","bibtex":"@inproceedings{Razzaghi Kouchaksaraei_Karl_2019, place={Darmstadt}, title={Service Function Chaining Across OpenStack and Kubernetes Domains}, DOI={<a href=\"https://doi.org/10.1145/3328905.3332505\">10.1145/3328905.3332505</a>}, booktitle={13th ACM International Conference on Distributed and Event-based Systems}, author={Razzaghi Kouchaksaraei, Hadi and Karl, Holger}, year={2019} }","short":"H. Razzaghi Kouchaksaraei, H. Karl, in: 13th ACM International Conference on Distributed and Event-Based Systems, Darmstadt, 2019.","apa":"Razzaghi Kouchaksaraei, H., &#38; Karl, H. (2019). Service Function Chaining Across OpenStack and Kubernetes Domains. In <i>13th ACM International Conference on Distributed and Event-based Systems</i>. Darmstadt. <a href=\"https://doi.org/10.1145/3328905.3332505\">https://doi.org/10.1145/3328905.3332505</a>","ieee":"H. Razzaghi Kouchaksaraei and H. Karl, “Service Function Chaining Across OpenStack and Kubernetes Domains,” in <i>13th ACM International Conference on Distributed and Event-based Systems</i>, Darmstadt, 2019.","chicago":"Razzaghi Kouchaksaraei, Hadi, and Holger Karl. “Service Function Chaining Across OpenStack and Kubernetes Domains.” In <i>13th ACM International Conference on Distributed and Event-Based Systems</i>. Darmstadt, 2019. <a href=\"https://doi.org/10.1145/3328905.3332505\">https://doi.org/10.1145/3328905.3332505</a>.","ama":"Razzaghi Kouchaksaraei H, Karl H. Service Function Chaining Across OpenStack and Kubernetes Domains. In: <i>13th ACM International Conference on Distributed and Event-Based Systems</i>. Darmstadt; 2019. doi:<a href=\"https://doi.org/10.1145/3328905.3332505\">10.1145/3328905.3332505</a>"},"project":[{"_id":"23","name":"5G Programmable Infrastructure Converging disaggregated neTwork and compUte Resources","grant_number":"762057"},{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area C","_id":"4"},{"name":"SFB 901 - Subproject C4","_id":"16"}],"_id":"9809","user_id":"477","department":[{"_id":"34"}],"file_date_updated":"2019-08-26T09:09:50Z","type":"conference","status":"public"}]