[{"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"9","name":"SFB 901 - Subproject B1"}],"quality_controlled":"1","citation":{"mla":"Kim, Yeongsu, et al. “Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure.” <i>International Journal of Advanced Science and Technology</i>, vol. 112, SERSC Australia, 2018, pp. 123–36, doi:<a href=\"https://doi.org/10.14257/ijast.2018.112.12\">10.14257/ijast.2018.112.12</a>.","bibtex":"@article{Kim_Lee_Dollmann_Geierhos_2018, title={Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure}, volume={112}, DOI={<a href=\"https://doi.org/10.14257/ijast.2018.112.12\">10.14257/ijast.2018.112.12</a>}, journal={International Journal of Advanced Science and Technology}, publisher={SERSC Australia}, author={Kim, Yeongsu  and Lee, Seungwoo and Dollmann, Markus and Geierhos, Michaela}, year={2018}, pages={123–136} }","ama":"Kim Y, Lee S, Dollmann M, Geierhos M. Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure. <i>International Journal of Advanced Science and Technology</i>. 2018;112:123-136. doi:<a href=\"https://doi.org/10.14257/ijast.2018.112.12\">10.14257/ijast.2018.112.12</a>","ieee":"Y. Kim, S. Lee, M. Dollmann, and M. Geierhos, “Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure,” <i>International Journal of Advanced Science and Technology</i>, vol. 112, pp. 123–136, 2018.","apa":"Kim, Y., Lee, S., Dollmann, M., &#38; Geierhos, M. (2018). Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure. <i>International Journal of Advanced Science and Technology</i>, <i>112</i>, 123–136. <a href=\"https://doi.org/10.14257/ijast.2018.112.12\">https://doi.org/10.14257/ijast.2018.112.12</a>","short":"Y. Kim, S. Lee, M. Dollmann, M. Geierhos, International Journal of Advanced Science and Technology 112 (2018) 123–136.","chicago":"Kim, Yeongsu , Seungwoo Lee, Markus Dollmann, and Michaela Geierhos. “Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure.” <i>International Journal of Advanced Science and Technology</i> 112 (2018): 123–36. <a href=\"https://doi.org/10.14257/ijast.2018.112.12\">https://doi.org/10.14257/ijast.2018.112.12</a>."},"file_date_updated":"2018-11-02T15:16:29Z","volume":112,"ddc":["000"],"user_id":"477","publisher":"SERSC Australia","_id":"2331","page":"123-136","has_accepted_license":"1","status":"public","department":[{"_id":"36"},{"_id":"1"},{"_id":"579"}],"keyword":["Software Engineering","Natural Language Processing","Semantic Annotation","Machine Learning","Feature Engineering","Syntactic Structure"],"type":"journal_article","date_created":"2018-04-13T09:19:22Z","file":[{"creator":"ups","date_created":"2018-11-02T15:16:29Z","file_name":"12.pdf","file_size":586968,"access_level":"closed","relation":"main_file","date_updated":"2018-11-02T15:16:29Z","file_id":"5297","success":1,"content_type":"application/pdf"}],"abstract":[{"lang":"eng","text":"A user generally writes software requirements in ambiguous and incomplete form by using natural language; therefore, a software developer may have difficulty in clearly understanding what the meanings are. To solve this problem with automation, we propose a classifier for semantic annotation with manually pre-defined semantic categories. To improve our classifier, we carefully designed syntactic features extracted by constituency and dependency parsers. Even with a small dataset and a large number of classes, our proposed classifier records an accuracy of 0.75, which outperforms the previous model, REaCT."}],"publication":"International Journal of Advanced Science and Technology","doi":"10.14257/ijast.2018.112.12","language":[{"iso":"eng"}],"intvolume":"       112","article_type":"original","date_updated":"2022-01-06T06:55:49Z","publication_status":"published","author":[{"full_name":"Kim, Yeongsu ","first_name":"Yeongsu ","last_name":"Kim"},{"full_name":"Lee, Seungwoo","first_name":"Seungwoo","last_name":"Lee"},{"full_name":"Dollmann, Markus","first_name":"Markus","last_name":"Dollmann","id":"27578"},{"id":"42496","first_name":"Michaela","orcid":"0000-0002-8180-5606","last_name":"Geierhos","full_name":"Geierhos, Michaela"}],"publication_identifier":{"eissn":["2207-6360"],"issn":["2005-4238"]},"year":"2018","title":"Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure"},{"date_created":"2018-11-15T08:06:41Z","department":[{"_id":"355"}],"type":"bachelorsthesis","citation":{"ieee":"H. Graf, <i>Ranking of Classification Algorithms in AutoML</i>. Universität Paderborn, 2018.","apa":"Graf, H. (2018). <i>Ranking of Classification Algorithms in AutoML</i>. Universität Paderborn.","mla":"Graf, Helena. <i>Ranking of Classification Algorithms in AutoML</i>. Universität Paderborn, 2018.","bibtex":"@book{Graf_2018, title={Ranking of Classification Algorithms in AutoML}, publisher={Universität Paderborn}, author={Graf, Helena}, year={2018} }","short":"H. Graf, Ranking of Classification Algorithms in AutoML, Universität Paderborn, 2018.","ama":"Graf H. <i>Ranking of Classification Algorithms in AutoML</i>. Universität Paderborn; 2018.","chicago":"Graf, Helena. <i>Ranking of Classification Algorithms in AutoML</i>. Universität Paderborn, 2018."},"supervisor":[{"full_name":"Hüllermeier, Eyke","first_name":"Eyke","last_name":"Hüllermeier","id":"48129"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901 - Subproject B2","_id":"10"}],"_id":"5693","language":[{"iso":"eng"}],"publisher":"Universität Paderborn","user_id":"33176","author":[{"id":"52640","first_name":"Helena","last_name":"Graf","full_name":"Graf, Helena"}],"year":"2018","status":"public","title":"Ranking of Classification Algorithms in AutoML","date_updated":"2022-01-06T07:02:35Z"},{"publication":"Theoretical Aspects of Computing – ICTAC 2018","abstract":[{"text":"Information flow analysis investigates the flow of data in applications, checking in particular for flows from private sources to public sinks. Flow- and path-sensitive analyses are, however, often too costly to be performed every time a security-critical application is run. In this paper, we propose a variant of proof carrying code for information flow security. To this end, we develop information flow (IF) certificates which get attached to programs as well as a method for IF certificate validation. We prove soundness of our technique, i.e., show it to be tamper-free. The technique is implemented within the program analysis tool CPAchecker. Our experiments confirm that the use of certificates pays off for costly analysis runs.","lang":"eng"}],"date_created":"2018-11-21T09:51:37Z","file":[{"success":1,"content_type":"application/pdf","file_id":"5837","date_updated":"2018-11-26T15:11:32Z","relation":"main_file","access_level":"closed","file_size":518016,"file_name":"Töws-Wehrheim2018_Chapter_InformationFlowCertificates.pdf","date_created":"2018-11-26T15:11:32Z","creator":"mtoews"}],"department":[{"_id":"77"}],"type":"conference","author":[{"id":"11315","full_name":"Töws, Manuel","first_name":"Manuel","last_name":"Töws"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783030025076","9783030025083"]},"year":"2018","title":"Information Flow Certificates","date_updated":"2022-01-06T07:02:40Z","publication_status":"published","language":[{"iso":"eng"}],"doi":"10.1007/978-3-030-02508-3_23","citation":{"apa":"Töws, M., &#38; Wehrheim, H. (2018). Information Flow Certificates. In <i>Theoretical Aspects of Computing – ICTAC 2018</i> (pp. 435–454). Cham: Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-030-02508-3_23\">https://doi.org/10.1007/978-3-030-02508-3_23</a>","mla":"Töws, Manuel, and Heike Wehrheim. “Information Flow Certificates.” <i>Theoretical Aspects of Computing – ICTAC 2018</i>, Springer International Publishing, 2018, pp. 435–54, doi:<a href=\"https://doi.org/10.1007/978-3-030-02508-3_23\">10.1007/978-3-030-02508-3_23</a>.","ieee":"M. Töws and H. Wehrheim, “Information Flow Certificates,” in <i>Theoretical Aspects of Computing – ICTAC 2018</i>, 2018, pp. 435–454.","chicago":"Töws, Manuel, and Heike Wehrheim. “Information Flow Certificates.” In <i>Theoretical Aspects of Computing – ICTAC 2018</i>, 435–54. Cham: Springer International Publishing, 2018. <a href=\"https://doi.org/10.1007/978-3-030-02508-3_23\">https://doi.org/10.1007/978-3-030-02508-3_23</a>.","short":"M. Töws, H. Wehrheim, in: Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, Cham, 2018, pp. 435–454.","ama":"Töws M, Wehrheim H. Information Flow Certificates. In: <i>Theoretical Aspects of Computing – ICTAC 2018</i>. Cham: Springer International Publishing; 2018:435-454. doi:<a href=\"https://doi.org/10.1007/978-3-030-02508-3_23\">10.1007/978-3-030-02508-3_23</a>","bibtex":"@inproceedings{Töws_Wehrheim_2018, place={Cham}, title={Information Flow Certificates}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-02508-3_23\">10.1007/978-3-030-02508-3_23</a>}, booktitle={Theoretical Aspects of Computing – ICTAC 2018}, publisher={Springer International Publishing}, author={Töws, Manuel and Wehrheim, Heike}, year={2018}, pages={435–454} }"},"file_date_updated":"2018-11-26T15:11:32Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"place":"Cham","status":"public","has_accepted_license":"1","publisher":"Springer International Publishing","_id":"5774","page":"435-454","ddc":["000"],"user_id":"477"},{"_id":"5936","language":[{"iso":"eng"}],"publisher":"Universität Paderborn","user_id":"477","year":"2018","status":"public","title":"Learning about learning curves from dataset properties","author":[{"full_name":"Scheibl, Manuel","first_name":"Manuel","last_name":"Scheibl"}],"date_updated":"2022-01-06T07:02:47Z","date_created":"2018-11-28T10:29:53Z","type":"bachelorsthesis","department":[{"_id":"355"}],"supervisor":[{"full_name":"Hüllermeier, Eyke","last_name":"Hüllermeier","first_name":"Eyke","id":"48129"}],"citation":{"chicago":"Scheibl, Manuel. <i>Learning about Learning Curves from Dataset Properties</i>. Universität Paderborn, 2018.","short":"M. Scheibl, Learning about Learning Curves from Dataset Properties, Universität Paderborn, 2018.","ieee":"M. Scheibl, <i>Learning about learning curves from dataset properties</i>. Universität Paderborn, 2018.","apa":"Scheibl, M. (2018). <i>Learning about learning curves from dataset properties</i>. Universität Paderborn.","bibtex":"@book{Scheibl_2018, title={Learning about learning curves from dataset properties}, publisher={Universität Paderborn}, author={Scheibl, Manuel}, year={2018} }","ama":"Scheibl M. <i>Learning about Learning Curves from Dataset Properties</i>. Universität Paderborn; 2018.","mla":"Scheibl, Manuel. <i>Learning about Learning Curves from Dataset Properties</i>. Universität Paderborn, 2018."},"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"10","name":"SFB 901 - Subproject B2"}]},{"place":"Cham","citation":{"apa":"Schäfer, D., &#38; Hüllermeier, E. (2018). Preference-Based Reinforcement Learning Using Dyad Ranking. In <i>Discovery Science</i> (pp. 161–175). Cham: Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-030-01771-2_11\">https://doi.org/10.1007/978-3-030-01771-2_11</a>","ieee":"D. Schäfer and E. Hüllermeier, “Preference-Based Reinforcement Learning Using Dyad Ranking,” in <i>Discovery Science</i>, Cham: Springer International Publishing, 2018, pp. 161–175.","chicago":"Schäfer, Dirk, and Eyke Hüllermeier. “Preference-Based Reinforcement Learning Using Dyad Ranking.” In <i>Discovery Science</i>, 161–75. Cham: Springer International Publishing, 2018. <a href=\"https://doi.org/10.1007/978-3-030-01771-2_11\">https://doi.org/10.1007/978-3-030-01771-2_11</a>.","short":"D. Schäfer, E. Hüllermeier, in: Discovery Science, Springer International Publishing, Cham, 2018, pp. 161–175.","mla":"Schäfer, Dirk, and Eyke Hüllermeier. “Preference-Based Reinforcement Learning Using Dyad Ranking.” <i>Discovery Science</i>, Springer International Publishing, 2018, pp. 161–75, doi:<a href=\"https://doi.org/10.1007/978-3-030-01771-2_11\">10.1007/978-3-030-01771-2_11</a>.","ama":"Schäfer D, Hüllermeier E. Preference-Based Reinforcement Learning Using Dyad Ranking. In: <i>Discovery Science</i>. Cham: Springer International Publishing; 2018:161-175. doi:<a href=\"https://doi.org/10.1007/978-3-030-01771-2_11\">10.1007/978-3-030-01771-2_11</a>","bibtex":"@inbook{Schäfer_Hüllermeier_2018, place={Cham}, title={Preference-Based Reinforcement Learning Using Dyad Ranking}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-01771-2_11\">10.1007/978-3-030-01771-2_11</a>}, booktitle={Discovery Science}, publisher={Springer International Publishing}, author={Schäfer, Dirk and Hüllermeier, Eyke}, year={2018}, pages={161–175} }"},"file_date_updated":"2019-01-11T11:03:50Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"10","name":"SFB 901 - Subproject B2"}],"publisher":"Springer International Publishing","_id":"6423","page":"161-175","user_id":"49109","ddc":["000"],"status":"public","has_accepted_license":"1","date_created":"2018-12-20T15:52:03Z","file":[{"relation":"main_file","date_updated":"2019-01-11T11:03:50Z","file_name":"Schäfer-Hüllermeier2018_Chapter_Preference-BasedReinforcementL.pdf","file_size":458972,"access_level":"closed","file_id":"6623","success":1,"content_type":"application/pdf","creator":"ups","date_created":"2019-01-11T11:03:50Z"}],"department":[{"_id":"355"}],"type":"book_chapter","publication":"Discovery Science","language":[{"iso":"eng"}],"doi":"10.1007/978-3-030-01771-2_11","author":[{"full_name":"Schäfer, Dirk","first_name":"Dirk","last_name":"Schäfer"},{"id":"48129","full_name":"Hüllermeier, Eyke","last_name":"Hüllermeier","first_name":"Eyke"}],"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783030017705","9783030017712"]},"title":"Preference-Based Reinforcement Learning Using Dyad Ranking","year":"2018","publication_status":"published","date_updated":"2022-01-06T07:03:04Z"},{"project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901 - Subproject B1","_id":"9"}],"quality_controlled":"1","citation":{"mla":"Bäumer, Frederik Simon, and Michaela Geierhos. “NLP in OTF Computing: Current Approaches and Open Challenges.” <i>Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018)</i>, edited by Robertas Damaševičius and Giedrė Vasiljevienė, vol. 920, Springer, 2018, pp. 559–70, doi:<a href=\"https://doi.org/10.1007/978-3-319-99972-2_46\">10.1007/978-3-319-99972-2_46</a>.","ama":"Bäumer FS, Geierhos M. NLP in OTF Computing: Current Approaches and Open Challenges. In: Damaševičius R, Vasiljevienė G, eds. <i>Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018)</i>. Vol 920. Communications in Computer and Information Science. Cham, Switzerland: Springer; 2018:559-570. doi:<a href=\"https://doi.org/10.1007/978-3-319-99972-2_46\">10.1007/978-3-319-99972-2_46</a>","bibtex":"@inproceedings{Bäumer_Geierhos_2018, place={Cham, Switzerland}, series={Communications in Computer and Information Science}, title={NLP in OTF Computing: Current Approaches and Open Challenges}, volume={920}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-99972-2_46\">10.1007/978-3-319-99972-2_46</a>}, booktitle={Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018)}, publisher={Springer}, author={Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Damaševičius, Robertas and Vasiljevienė, GiedrėEditors}, year={2018}, pages={559–570}, collection={Communications in Computer and Information Science} }","apa":"Bäumer, F. S., &#38; Geierhos, M. (2018). NLP in OTF Computing: Current Approaches and Open Challenges. In R. Damaševičius &#38; G. Vasiljevienė (Eds.), <i>Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018)</i> (Vol. 920, pp. 559–570). Cham, Switzerland: Springer. <a href=\"https://doi.org/10.1007/978-3-319-99972-2_46\">https://doi.org/10.1007/978-3-319-99972-2_46</a>","ieee":"F. S. Bäumer and M. Geierhos, “NLP in OTF Computing: Current Approaches and Open Challenges,” in <i>Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018)</i>, Vilnius, Lithuania, 2018, vol. 920, pp. 559–570.","short":"F.S. Bäumer, M. Geierhos, in: R. Damaševičius, G. Vasiljevienė (Eds.), Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018), Springer, Cham, Switzerland, 2018, pp. 559–570.","chicago":"Bäumer, Frederik Simon, and Michaela Geierhos. “NLP in OTF Computing: Current Approaches and Open Challenges.” In <i>Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018)</i>, edited by Robertas Damaševičius and Giedrė Vasiljevienė, 920:559–70. Communications in Computer and Information Science. Cham, Switzerland: Springer, 2018. <a href=\"https://doi.org/10.1007/978-3-319-99972-2_46\">https://doi.org/10.1007/978-3-319-99972-2_46</a>."},"file_date_updated":"2019-01-11T11:36:10Z","place":"Cham, Switzerland","has_accepted_license":"1","conference":{"end_date":"2018-10-06","location":"Vilnius, Lithuania","name":"24th International Conference on Information and Software Technologies (ICIST 2018)","start_date":"2018-10-04"},"status":"public","volume":920,"editor":[{"first_name":"Robertas","last_name":"Damaševičius","full_name":"Damaševičius, Robertas"},{"last_name":"Vasiljevienė","first_name":"Giedrė","full_name":"Vasiljevienė, Giedrė"}],"user_id":"38837","ddc":["004"],"_id":"4339","publisher":"Springer","page":"559-570","abstract":[{"lang":"eng","text":"On-The-Fly Computing is the vision of covering software needs of end users by fully-automatic compositions of existing software services. End users will receive so-called service compositions tailored to their very individual needs, based on natural language software descriptions. This everyday language may contain inaccuracies and incompleteness, which are well-known challenges in requirements engineering. In addition to existing approaches that try to automatically identify and correct these deficits, there are also new trends to involve users more in the elaboration and refinement process. In this paper, we present the relevant state of the art in the field of automated detection and compensation of multiple inaccuracies in natural language service descriptions and name open challenges needed to be tackled in NL-based software service composition. "}],"publication":"Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018)","department":[{"_id":"36"},{"_id":"1"},{"_id":"579"}],"type":"conference","keyword":["Inaccuracy detection","Natural language software requirements"],"date_created":"2018-09-01T08:52:36Z","file":[{"creator":"fbaeumer","date_created":"2019-01-11T11:36:10Z","access_level":"closed","file_size":1053017,"file_name":"baeumer-4315.pdf","date_updated":"2019-01-11T11:36:10Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"6624"}],"intvolume":"       920","publication_status":"published","date_updated":"2022-01-06T07:00:57Z","publication_identifier":{"issn":["1865-0929","1865-0937"],"isbn":["9783319999715","9783319999722"]},"author":[{"id":"38837","full_name":"Bäumer, Frederik Simon","first_name":"Frederik Simon","last_name":"Bäumer"},{"id":"42496","full_name":"Geierhos, Michaela","first_name":"Michaela","last_name":"Geierhos","orcid":"0000-0002-8180-5606"}],"year":"2018","title":"NLP in OTF Computing: Current Approaches and Open Challenges","doi":"10.1007/978-3-319-99972-2_46","language":[{"iso":"eng"}],"series_title":"Communications in Computer and Information Science"},{"publication":"Proceedings of the 51st Hawaii International Conference on System Sciences","abstract":[{"lang":"eng","text":"Natural language software requirements descriptions enable end users to formulate their wishes and expectations for a future software product without much prior knowledge in requirements engineering. However, these descriptions are susceptible to linguistic inaccuracies such as ambiguities and incompleteness that can harm the development process. There is a number of software solutions that can detect deficits in requirements descriptions and partially solve them, but they are often hard to use and not suitable for end users. For this reason, we develop a software system that helps end-users to create unambiguous and complete requirements descriptions by combining existing expert tools and controlling them using automatic compensation strategies. In order to recognize the necessity of individual compensation methods in the descriptions, we have developed linguistic indicators, which we present in this paper. Based on these indicators, the whole text analysis pipeline is ad-hoc configured and thus adapted to the individual circumstances of a requirements description."}],"file":[{"success":1,"content_type":"application/pdf","file_id":"5274","date_updated":"2018-11-02T14:32:35Z","relation":"main_file","file_size":753693,"access_level":"closed","file_name":"paper0722.pdf","date_created":"2018-11-02T14:32:35Z","creator":"ups"}],"date_created":"2017-10-17T12:40:59Z","keyword":["Software Product Lines: Engineering","Services","and Management","Ambiguities","Incompleteness","Natural Language Processing","Software Requirements"],"type":"conference","department":[{"_id":"36"},{"_id":"1"},{"_id":"579"}],"title":"Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-based Configuration of Text Analysis Pipelines","year":"2018","publication_identifier":{"isbn":["978-0-9981331-1-9"]},"author":[{"id":"38837","first_name":"Frederik Simon","last_name":"Bäumer","full_name":"Bäumer, Frederik Simon"},{"id":"42496","last_name":"Geierhos","first_name":"Michaela","orcid":"0000-0002-8180-5606","full_name":"Geierhos, Michaela"}],"publication_status":"published","date_updated":"2022-01-06T07:01:01Z","main_file_link":[{"url":"https://scholarspace.manoa.hawaii.edu/bitstream/10125/50609/1/paper0722.pdf","open_access":"1"}],"language":[{"iso":"eng"}],"doi":"10125/50609","file_date_updated":"2018-11-02T14:32:35Z","citation":{"short":"F.S. Bäumer, M. Geierhos, in: Proceedings of the 51st Hawaii International Conference on System Sciences, 2018, pp. 5746–5755.","chicago":"Bäumer, Frederik Simon, and Michaela Geierhos. “Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-Based Configuration of Text Analysis Pipelines.” In <i>Proceedings of the 51st Hawaii International Conference on System Sciences</i>, 5746–55, 2018. <a href=\"https://doi.org/10125/50609\">https://doi.org/10125/50609</a>.","apa":"Bäumer, F. S., &#38; Geierhos, M. (2018). Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-based Configuration of Text Analysis Pipelines. In <i>Proceedings of the 51st Hawaii International Conference on System Sciences</i> (pp. 5746–5755). Big Island, Waikoloa Village. <a href=\"https://doi.org/10125/50609\">https://doi.org/10125/50609</a>","ieee":"F. S. Bäumer and M. Geierhos, “Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-based Configuration of Text Analysis Pipelines,” in <i>Proceedings of the 51st Hawaii International Conference on System Sciences</i>, Big Island, Waikoloa Village, 2018, pp. 5746–5755.","ama":"Bäumer FS, Geierhos M. Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-based Configuration of Text Analysis Pipelines. In: <i>Proceedings of the 51st Hawaii International Conference on System Sciences</i>. ; 2018:5746-5755. doi:<a href=\"https://doi.org/10125/50609\">10125/50609</a>","bibtex":"@inproceedings{Bäumer_Geierhos_2018, title={Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-based Configuration of Text Analysis Pipelines}, DOI={<a href=\"https://doi.org/10125/50609\">10125/50609</a>}, booktitle={Proceedings of the 51st Hawaii International Conference on System Sciences}, author={Bäumer, Frederik Simon and Geierhos, Michaela}, year={2018}, pages={5746–5755} }","mla":"Bäumer, Frederik Simon, and Michaela Geierhos. “Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-Based Configuration of Text Analysis Pipelines.” <i>Proceedings of the 51st Hawaii International Conference on System Sciences</i>, 2018, pp. 5746–55, doi:<a href=\"https://doi.org/10125/50609\">10125/50609</a>."},"quality_controlled":"1","project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"9","name":"SFB 901 - Subproject B1"}],"oa":"1","status":"public","conference":{"end_date":"2018-01-06","location":"Big Island, Waikoloa Village","name":"51st Hawaii International Conference on System Sciences (HICSS 2018)","start_date":"2018-01-03"},"has_accepted_license":"1","page":"5746-5755","_id":"44","user_id":"477","ddc":["000"]},{"publication":"Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018","date_created":"2018-10-30T08:03:17Z","file":[{"file_id":"5251","success":1,"content_type":"application/pdf","relation":"main_file","date_updated":"2018-11-02T13:37:38Z","file_name":"fse18main-id76-p.pdf","file_size":524169,"access_level":"closed","date_created":"2018-11-02T13:37:38Z","creator":"ups"}],"department":[{"_id":"77"},{"_id":"76"}],"type":"conference","publication_identifier":{"isbn":["9781450355735"]},"author":[{"id":"22398","full_name":"Pauck, Felix","last_name":"Pauck","first_name":"Felix"},{"id":"59256","orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden","full_name":"Bodden, Eric"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"year":"2018","title":"Do Android taint analysis tools keep their promises?","date_updated":"2022-01-06T07:01:34Z","publication_status":"published","language":[{"iso":"eng"}],"doi":"10.1145/3236024.3236029","citation":{"ama":"Pauck F, Bodden E, Wehrheim H. Do Android taint analysis tools keep their promises? In: <i>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018</i>. ACM Press; 2018. doi:<a href=\"https://doi.org/10.1145/3236024.3236029\">10.1145/3236024.3236029</a>","bibtex":"@inproceedings{Pauck_Bodden_Wehrheim_2018, title={Do Android taint analysis tools keep their promises?}, DOI={<a href=\"https://doi.org/10.1145/3236024.3236029\">10.1145/3236024.3236029</a>}, booktitle={Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018}, publisher={ACM Press}, author={Pauck, Felix and Bodden, Eric and Wehrheim, Heike}, year={2018} }","mla":"Pauck, Felix, et al. “Do Android Taint Analysis Tools Keep Their Promises?” <i>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018</i>, ACM Press, 2018, doi:<a href=\"https://doi.org/10.1145/3236024.3236029\">10.1145/3236024.3236029</a>.","chicago":"Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Do Android Taint Analysis Tools Keep Their Promises?” In <i>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018</i>. ACM Press, 2018. <a href=\"https://doi.org/10.1145/3236024.3236029\">https://doi.org/10.1145/3236024.3236029</a>.","short":"F. Pauck, E. Bodden, H. Wehrheim, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018, ACM Press, 2018.","apa":"Pauck, F., Bodden, E., &#38; Wehrheim, H. (2018). Do Android taint analysis tools keep their promises? In <i>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018</i>. ACM Press. <a href=\"https://doi.org/10.1145/3236024.3236029\">https://doi.org/10.1145/3236024.3236029</a>","ieee":"F. Pauck, E. Bodden, and H. Wehrheim, “Do Android taint analysis tools keep their promises?,” in <i>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018</i>, 2018."},"file_date_updated":"2018-11-02T13:37:38Z","project":[{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"12","name":"SFB 901 - Subproject B4"},{"_id":"1","name":"SFB 901"}],"status":"public","has_accepted_license":"1","publisher":"ACM Press","_id":"4999","ddc":["004"],"user_id":"477"},{"publication":"European Conference on Object-Oriented Programming (ECOOP)","keyword":["ITSECWEBSITE","CROSSING"],"type":"conference","department":[{"_id":"76"}],"file":[{"success":1,"content_type":"application/pdf","file_id":"5255","date_updated":"2018-11-02T13:51:05Z","relation":"main_file","file_size":747259,"access_level":"closed","file_name":"ksa+18crysl.pdf","date_created":"2018-11-02T13:51:05Z","creator":"ups"}],"date_created":"2018-10-31T12:37:29Z","date_updated":"2022-01-06T07:01:44Z","year":"2018","title":"CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs","author":[{"first_name":"Stefan","last_name":"Krüger","full_name":"Krüger, Stefan"},{"full_name":"Späth, Johannes","first_name":"Johannes","last_name":"Späth"},{"last_name":"Ali","first_name":"Karim","full_name":"Ali, Karim"},{"full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","first_name":"Eric","id":"59256"},{"first_name":"Mira","last_name":"Mezini","full_name":"Mezini, Mira"}],"main_file_link":[{"url":"http://bodden.de/pubs/ksa+18crysl.pdf"}],"language":[{"iso":"eng"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"file_date_updated":"2018-11-02T13:51:05Z","citation":{"ieee":"S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs,” in <i>European Conference on Object-Oriented Programming (ECOOP)</i>, 2018, pp. 10:1-10:27.","apa":"Krüger, S., Späth, J., Ali, K., Bodden, E., &#38; Mezini, M. (2018). CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. In <i>European Conference on Object-Oriented Programming (ECOOP)</i> (pp. 10:1-10:27).","mla":"Krüger, Stefan, et al. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.” <i>European Conference on Object-Oriented Programming (ECOOP)</i>, 2018, pp. 10:1-10:27.","bibtex":"@inproceedings{Krüger_Späth_Ali_Bodden_Mezini_2018, title={CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs}, booktitle={European Conference on Object-Oriented Programming (ECOOP)}, author={Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}, year={2018}, pages={10:1-10:27} }","short":"S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, in: European Conference on Object-Oriented Programming (ECOOP), 2018, pp. 10:1-10:27.","ama":"Krüger S, Späth J, Ali K, Bodden E, Mezini M. CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. In: <i>European Conference on Object-Oriented Programming (ECOOP)</i>. ; 2018:10:1-10:27.","chicago":"Krüger, Stefan, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.” In <i>European Conference on Object-Oriented Programming (ECOOP)</i>, 10:1-10:27, 2018."},"has_accepted_license":"1","status":"public","user_id":"477","ddc":["000"],"page":"10:1-10:27","_id":"5203"},{"user_id":"477","ddc":["000"],"_id":"1043","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","page":"22-25","has_accepted_license":"1","status":"public","project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"citation":{"short":"T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, IEEE Embedded Systems Letters (2018) 22–25.","chicago":"Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “Validity of Software Verification Results on Approximate Hardware.” <i>IEEE Embedded Systems Letters</i>, 2018, 22–25. <a href=\"https://doi.org/10.1109/LES.2017.2758200\">https://doi.org/10.1109/LES.2017.2758200</a>.","apa":"Isenberg, T., Jakobs, M.-C., Pauck, F., &#38; Wehrheim, H. (2018). Validity of Software Verification Results on Approximate Hardware. <i>IEEE Embedded Systems Letters</i>, 22–25. <a href=\"https://doi.org/10.1109/LES.2017.2758200\">https://doi.org/10.1109/LES.2017.2758200</a>","ieee":"T. Isenberg, M.-C. Jakobs, F. Pauck, and H. Wehrheim, “Validity of Software Verification Results on Approximate Hardware,” <i>IEEE Embedded Systems Letters</i>, pp. 22–25, 2018.","ama":"Isenberg T, Jakobs M-C, Pauck F, Wehrheim H. Validity of Software Verification Results on Approximate Hardware. <i>IEEE Embedded Systems Letters</i>. 2018:22-25. doi:<a href=\"https://doi.org/10.1109/LES.2017.2758200\">10.1109/LES.2017.2758200</a>","bibtex":"@article{Isenberg_Jakobs_Pauck_Wehrheim_2018, title={Validity of Software Verification Results on Approximate Hardware}, DOI={<a href=\"https://doi.org/10.1109/LES.2017.2758200\">10.1109/LES.2017.2758200</a>}, journal={IEEE Embedded Systems Letters}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike}, year={2018}, pages={22–25} }","mla":"Isenberg, Tobias, et al. “Validity of Software Verification Results on Approximate Hardware.” <i>IEEE Embedded Systems Letters</i>, Institute of Electrical and Electronics Engineers (IEEE), 2018, pp. 22–25, doi:<a href=\"https://doi.org/10.1109/LES.2017.2758200\">10.1109/LES.2017.2758200</a>."},"file_date_updated":"2018-11-02T15:27:04Z","doi":"10.1109/LES.2017.2758200","language":[{"iso":"eng"}],"publication_status":"published","date_updated":"2022-01-06T06:50:39Z","author":[{"first_name":"Tobias","last_name":"Isenberg","full_name":"Isenberg, Tobias"},{"full_name":"Jakobs, Marie-Christine","first_name":"Marie-Christine","last_name":"Jakobs"},{"id":"22398","full_name":"Pauck, Felix","last_name":"Pauck","first_name":"Felix"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"publication_identifier":{"issn":["1943-0663","1943-0671"]},"title":"Validity of Software Verification Results on Approximate Hardware","year":"2018","department":[{"_id":"77"}],"type":"journal_article","date_created":"2017-12-11T16:11:00Z","file":[{"creator":"ups","date_created":"2018-11-02T15:27:04Z","date_updated":"2018-11-02T15:27:04Z","relation":"main_file","access_level":"closed","file_size":523362,"file_name":"08053741.pdf","content_type":"application/pdf","success":1,"file_id":"5303"}],"abstract":[{"text":"Approximate computing (AC) is an emerging paradigm for energy-efficient computation. The basic idea of AC is to sacrifice high precision for low energy by allowing hardware to carry out “approximately correct” calculations. This provides a major challenge for software quality assurance: programs successfully verified to be correct might be erroneous on approximate hardware. In this letter, we present a novel approach for determining under what conditions a software verification result is valid for approximate hardware. To this end, we compute the allowed tolerances for AC hardware from successful verification runs. More precisely, we derive a set of constraints which—when met by the AC hardware—guarantees the verification result to carry over to AC. On the practical side, we furthermore: 1) show how to extract tolerances from verification runs employing predicate abstraction as verification technology and 2) show how to check such constraints on hardware designs. We have implemented all techniques, and exemplify them on example C programs and a number of recently proposed approximate adders.","lang":"eng"}],"publication":"IEEE Embedded Systems Letters"},{"file_date_updated":"2018-11-21T06:15:51Z","supervisor":[{"id":"59256","full_name":"Bodden, Eric","orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden"}],"citation":{"bibtex":"@book{Leer_2018, title={Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis}, publisher={Universität Paderborn}, author={Leer, Richard}, year={2018} }","chicago":"Leer, Richard. <i>Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis</i>. Universität Paderborn, 2018.","short":"R. Leer, Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis, Universität Paderborn, 2018.","ama":"Leer R. <i>Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis</i>. Universität Paderborn; 2018.","ieee":"R. Leer, <i>Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis</i>. Universität Paderborn, 2018.","apa":"Leer, R. (2018). <i>Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis</i>. Universität Paderborn.","mla":"Leer, Richard. <i>Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis</i>. Universität Paderborn, 2018."},"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"file":[{"creator":"florida","date_created":"2018-11-21T06:15:51Z","relation":"main_file","date_updated":"2018-11-21T06:15:51Z","file_name":"ba_leer.pdf","file_size":1383049,"access_level":"closed","file_id":"5768","success":1,"content_type":"application/pdf"}],"date_created":"2017-12-13T07:52:01Z","type":"bachelorsthesis","department":[{"_id":"76"}],"title":"Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis","status":"public","year":"2018","author":[{"full_name":"Leer, Richard","last_name":"Leer","first_name":"Richard"}],"date_updated":"2022-01-06T06:50:39Z","has_accepted_license":"1","_id":"1044","language":[{"iso":"eng"}],"publisher":"Universität Paderborn","ddc":["000"],"user_id":"15504"},{"citation":{"chicago":"Strüwer, Jan Niclas. <i>Interactive Data Visualization for Exploded Supergraphs</i>. Universität Paderborn, 2018.","short":"J.N. Strüwer, Interactive Data Visualization for Exploded Supergraphs, Universität Paderborn, 2018.","apa":"Strüwer, J. N. (2018). <i>Interactive Data Visualization for Exploded Supergraphs</i>. Universität Paderborn.","ieee":"J. N. Strüwer, <i>Interactive Data Visualization for Exploded Supergraphs</i>. Universität Paderborn, 2018.","ama":"Strüwer JN. <i>Interactive Data Visualization for Exploded Supergraphs</i>. Universität Paderborn; 2018.","bibtex":"@book{Strüwer_2018, title={Interactive Data Visualization for Exploded Supergraphs}, publisher={Universität Paderborn}, author={Strüwer, Jan Niclas}, year={2018} }","mla":"Strüwer, Jan Niclas. <i>Interactive Data Visualization for Exploded Supergraphs</i>. Universität Paderborn, 2018."},"supervisor":[{"id":"59256","full_name":"Bodden, Eric","first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647"}],"file_date_updated":"2018-11-21T06:14:15Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"date_created":"2017-12-13T07:53:49Z","file":[{"creator":"florida","date_created":"2018-11-21T06:14:15Z","access_level":"closed","file_size":15839765,"file_name":"ba_struewer.pdf","date_updated":"2018-11-21T06:14:15Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"5767"}],"department":[{"_id":"76"}],"type":"bachelorsthesis","author":[{"last_name":"Strüwer","first_name":"Jan Niclas","full_name":"Strüwer, Jan Niclas"}],"status":"public","year":"2018","title":"Interactive Data Visualization for Exploded Supergraphs","has_accepted_license":"1","date_updated":"2022-01-06T06:50:40Z","language":[{"iso":"eng"}],"_id":"1045","publisher":"Universität Paderborn","user_id":"15504","ddc":["000"]},{"file":[{"creator":"florida","date_created":"2018-11-21T10:50:51Z","file_size":826719,"access_level":"closed","file_name":"Reducer-Based Construction of Conditional Verifiers.pdf","date_updated":"2018-11-21T10:50:51Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"5783"}],"date_created":"2018-01-08T10:52:51Z","type":"conference","department":[{"_id":"77"}],"publication":"Proceedings of the 40th International Conference on Software Engineering (ICSE)","abstract":[{"text":"to appear","lang":"eng"}],"language":[{"iso":"eng"}],"year":"2018","title":"Reducer-Based Construction of Conditional Verifiers","author":[{"full_name":"Beyer, Dirk","first_name":"Dirk","last_name":"Beyer"},{"full_name":"Jakobs, Marie-Christine","first_name":"Marie-Christine","last_name":"Jakobs"},{"first_name":"Thomas","last_name":"Lemberger","full_name":"Lemberger, Thomas"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"}],"date_updated":"2022-01-06T06:50:54Z","file_date_updated":"2018-11-21T10:50:51Z","citation":{"ama":"Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Reducer-Based Construction of Conditional Verifiers. In: <i>Proceedings of the 40th International Conference on Software Engineering (ICSE)</i>. ACM; 2018:1182--1193.","bibtex":"@inproceedings{Beyer_Jakobs_Lemberger_Wehrheim_2018, title={Reducer-Based Construction of Conditional Verifiers}, booktitle={Proceedings of the 40th International Conference on Software Engineering (ICSE)}, publisher={ACM}, author={Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike}, year={2018}, pages={1182--1193} }","mla":"Beyer, Dirk, et al. “Reducer-Based Construction of Conditional Verifiers.” <i>Proceedings of the 40th International Conference on Software Engineering (ICSE)</i>, ACM, 2018, pp. 1182--1193.","short":"D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the 40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.","chicago":"Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Reducer-Based Construction of Conditional Verifiers.” In <i>Proceedings of the 40th International Conference on Software Engineering (ICSE)</i>, 1182--1193. ACM, 2018.","apa":"Beyer, D., Jakobs, M.-C., Lemberger, T., &#38; Wehrheim, H. (2018). Reducer-Based Construction of Conditional Verifiers. In <i>Proceedings of the 40th International Conference on Software Engineering (ICSE)</i> (pp. 1182--1193). Gothenburg, Sweden: ACM.","ieee":"D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Reducer-Based Construction of Conditional Verifiers,” in <i>Proceedings of the 40th International Conference on Software Engineering (ICSE)</i>, Gothenburg, Sweden, 2018, pp. 1182--1193."},"project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901 - Subproject B4","_id":"12"},{"name":"Kooperative Softwareverifikation","_id":"85"}],"page":"1182--1193","_id":"1096","publisher":"ACM","ddc":["000"],"user_id":"29719","status":"public","conference":{"end_date":"2018-06-03","location":"Gothenburg, Sweden","name":"40th International Conference on Software Engineering","start_date":"2018-05-27"},"has_accepted_license":"1"},{"citation":{"short":"F.P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security Monitors, Universität Paderborn, 2018.","chicago":"Jentzsch, Felix Paul. <i>Enforcing IP Core Connection Properties with Verifiable Security Monitors</i>. Universität Paderborn, 2018.","apa":"Jentzsch, F. P. (2018). <i>Enforcing IP Core Connection Properties with Verifiable Security Monitors</i>. Universität Paderborn.","ieee":"F. P. Jentzsch, <i>Enforcing IP Core Connection Properties with Verifiable Security Monitors</i>. Universität Paderborn, 2018.","ama":"Jentzsch FP. <i>Enforcing IP Core Connection Properties with Verifiable Security Monitors</i>. Universität Paderborn; 2018.","bibtex":"@book{Jentzsch_2018, title={Enforcing IP Core Connection Properties with Verifiable Security Monitors}, publisher={Universität Paderborn}, author={Jentzsch, Felix Paul}, year={2018} }","mla":"Jentzsch, Felix Paul. <i>Enforcing IP Core Connection Properties with Verifiable Security Monitors</i>. Universität Paderborn, 2018."},"supervisor":[{"id":"3118","full_name":"Wiersema, Tobias","first_name":"Tobias","last_name":"Wiersema"}],"project":[{"_id":"12","name":"SFB 901 - Subproject B4"},{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"}],"date_created":"2018-01-15T16:48:05Z","type":"bachelorsthesis","keyword":["Approximate Computing","Proof-Carrying Hardware","Formal Verification"],"department":[{"_id":"78"}],"year":"2018","title":"Enforcing IP Core Connection Properties with Verifiable Security Monitors","status":"public","author":[{"full_name":"Jentzsch, Felix Paul","last_name":"Jentzsch","first_name":"Felix Paul"}],"date_updated":"2022-01-06T06:50:54Z","publisher":"Universität Paderborn","_id":"1097","language":[{"iso":"eng"}],"user_id":"477"},{"abstract":[{"text":"Präzision ist kein Zufall. Sie wird vom Menschen herbeigeführt, indem Übereinstimmung mit einem Standard oder einem akzeptierten Wert angestrebt wird oder die Reproduzierbarkeit von Experimenten möglichst hoch sein muss. Was aber tun, wenn Präzision mangels verfügbarer Informationen nicht hergestellt werden kann? Wie gehen Wissenschaft und Kunst dann mit dieser fehlenden Eindeutigkeit um? Die Autorinnen und Autoren dieses Sammelbandes beleuchten aus der Perspektive ihrer jeweiligen Fachdisziplin die Chancen bei der Berücksichtigung von Unschärfe(n) in ihrer Forschung und Kunst. Denn Unschärfe ist Realität. ","lang":"ger"}],"publication":"Unschärfe - Der Umgang mit fehlender Eindeutigkeit","type":"book_chapter","department":[{"_id":"36"},{"_id":"1"},{"_id":"579"}],"file":[{"date_created":"2019-01-11T15:39:39Z","creator":"fbaeumer","file_id":"6629","success":1,"content_type":"application/pdf","file_name":"06_Geierhos.pdf","access_level":"closed","file_size":1126844,"relation":"main_file","date_updated":"2019-01-11T15:39:39Z"}],"date_created":"2018-01-26T14:19:11Z","publication_status":"published","date_updated":"2022-01-06T06:50:56Z","year":"2018","title":"Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen","publication_identifier":{"isbn":["978-3-506-78896-2"]},"author":[{"first_name":"Michaela","orcid":"0000-0002-8180-5606","last_name":"Geierhos","full_name":"Geierhos, Michaela","id":"42496"}],"language":[{"iso":"ger"}],"series_title":"Nordrhein-Westfälische Akademie der Wissenschaften und der Künste - Junges Kolleg","quality_controlled":"1","project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"9","name":"SFB 901 - Subproject B1"}],"file_date_updated":"2019-01-11T15:39:39Z","citation":{"bibtex":"@inbook{Geierhos_2018, place={Paderborn, Germany}, edition={1}, series={Nordrhein-Westfälische Akademie der Wissenschaften und der Künste - Junges Kolleg}, title={Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen}, booktitle={Unschärfe - Der Umgang mit fehlender Eindeutigkeit}, publisher={Ferdinand Schöningh}, author={Geierhos, Michaela}, editor={Freitag, Steffen and Geierhos, Michaela and Asmani, Rozbeh and Haug, Judith I.Editors}, year={2018}, pages={111–128}, collection={Nordrhein-Westfälische Akademie der Wissenschaften und der Künste - Junges Kolleg} }","ama":"Geierhos M. Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen. In: Freitag S, Geierhos M, Asmani R, Haug JI, eds. <i>Unschärfe - Der Umgang mit fehlender Eindeutigkeit</i>. 1st ed. Nordrhein-Westfälische Akademie der Wissenschaften und der Künste - Junges Kolleg. Paderborn, Germany: Ferdinand Schöningh; 2018:111-128.","mla":"Geierhos, Michaela. “Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen.” <i>Unschärfe - Der Umgang mit fehlender Eindeutigkeit</i>, edited by Steffen Freitag et al., 1st ed., Ferdinand Schöningh, 2018, pp. 111–28.","short":"M. Geierhos, in: S. Freitag, M. Geierhos, R. Asmani, J.I. Haug (Eds.), Unschärfe - Der Umgang mit fehlender Eindeutigkeit, 1st ed., Ferdinand Schöningh, Paderborn, Germany, 2018, pp. 111–128.","chicago":"Geierhos, Michaela. “Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen.” In <i>Unschärfe - Der Umgang mit fehlender Eindeutigkeit</i>, edited by Steffen Freitag, Michaela Geierhos, Rozbeh Asmani, and Judith I. Haug, 1st ed., 111–28. Nordrhein-Westfälische Akademie der Wissenschaften und der Künste - Junges Kolleg. Paderborn, Germany: Ferdinand Schöningh, 2018.","ieee":"M. Geierhos, “Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen,” in <i>Unschärfe - Der Umgang mit fehlender Eindeutigkeit</i>, 1st ed., S. Freitag, M. Geierhos, R. Asmani, and J. I. Haug, Eds. Paderborn, Germany: Ferdinand Schöningh, 2018, pp. 111–128.","apa":"Geierhos, M. (2018). Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen. In S. Freitag, M. Geierhos, R. Asmani, &#38; J. I. Haug (Eds.), <i>Unschärfe - Der Umgang mit fehlender Eindeutigkeit</i> (1st ed., pp. 111–128). Paderborn, Germany: Ferdinand Schöningh."},"place":"Paderborn, Germany","has_accepted_license":"1","status":"public","user_id":"13929","ddc":["004"],"editor":[{"first_name":"Steffen","last_name":"Freitag","full_name":"Freitag, Steffen"},{"first_name":"Michaela","last_name":"Geierhos","full_name":"Geierhos, Michaela"},{"last_name":"Asmani","first_name":"Rozbeh","full_name":"Asmani, Rozbeh"},{"first_name":"Judith I.","last_name":"Haug","full_name":"Haug, Judith I."}],"page":"111-128","_id":"1104","publisher":"Ferdinand Schöningh","edition":"1"},{"author":[{"id":"38837","first_name":"Frederik Simon","last_name":"Bäumer","full_name":"Bäumer, Frederik Simon"},{"id":"42496","orcid":"0000-0002-8180-5606","first_name":"Michaela","last_name":"Geierhos","full_name":"Geierhos, Michaela"}],"publication_identifier":{"issn":["1613-0073"]},"year":"2018","title":"How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas","intvolume":"      2075","publication_status":"published","date_updated":"2022-01-06T06:51:09Z","language":[{"iso":"eng"}],"series_title":"CEUR Workshop Proceedings","main_file_link":[{"url":"http://ceur-ws.org/Vol-2075/NLP4RE_paper1.pdf","open_access":"1"}],"publication":"Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)","abstract":[{"text":"The main idea in On-The-Fly Computing is to automatically compose existing software services according to the wishes of end-users. However, since user requirements are often ambiguous, vague and incomplete, the selection and composition of suitable software services is a challanging task. In this paper, we present our current approach to improve requirement descriptions before they are used for software composition. This procedure is fully automated, but also has limitations, for example, if necessary information is missing. In addition, and in response to the limitations, we provide insights into our above-mentioned current work that combines the existing optimization approach with a\r\nchatbot solution.","lang":"eng"}],"date_created":"2018-03-02T09:22:12Z","file":[{"file_name":"NLP4RE_paper1.pdf","access_level":"closed","file_size":1126820,"relation":"main_file","date_updated":"2018-11-02T13:52:54Z","file_id":"5256","success":1,"content_type":"application/pdf","creator":"ups","date_created":"2018-11-02T13:52:54Z"}],"department":[{"_id":"36"},{"_id":"1"},{"_id":"579"}],"type":"conference","conference":{"start_date":"2018-03-19","name":"1st Workshop on Natural Language Processing for Requirements Engineering (NLP4RE)","location":"Utrecht, The Netherlands","end_date":"2018-03-19"},"status":"public","has_accepted_license":"1","publisher":"CEUR-WS.org","_id":"1181","volume":2075,"editor":[{"last_name":"Schmid","first_name":"Klaus","full_name":"Schmid, Klaus"},{"first_name":"Paola","last_name":"Spoletini","full_name":"Spoletini, Paola"},{"full_name":"Ben Charrada, Eya","last_name":"Ben Charrada","first_name":"Eya"},{"full_name":"Chisik, Yoram","last_name":"Chisik","first_name":"Yoram"},{"first_name":"Fabiano","last_name":"Dalpiaz","full_name":"Dalpiaz, Fabiano"},{"full_name":"Ferrari, Alessio","first_name":"Alessio","last_name":"Ferrari"},{"full_name":"Forbrig, Peter","first_name":"Peter","last_name":"Forbrig"},{"first_name":"Xavier","last_name":"Franch","full_name":"Franch, Xavier"},{"full_name":"Kirikova, Marite","last_name":"Kirikova","first_name":"Marite"},{"first_name":"Nazim","last_name":"Madhavji","full_name":"Madhavji, Nazim"},{"last_name":"Palomares","first_name":"Cristina","full_name":"Palomares, Cristina"},{"full_name":"Ralyté, Jolita","first_name":"Jolita","last_name":"Ralyté"},{"first_name":"Mehrdad","last_name":"Sabetzadeh","full_name":"Sabetzadeh, Mehrdad"},{"full_name":"Sawyer, Pete","first_name":"Pete","last_name":"Sawyer"},{"full_name":"van der Linden, Dirk","last_name":"van der Linden","first_name":"Dirk"},{"last_name":"Zamansky","first_name":"Anna","full_name":"Zamansky, Anna"}],"user_id":"477","ddc":["000"],"citation":{"apa":"Bäumer, F. S., &#38; Geierhos, M. (2018). How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas. In K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … A. Zamansky (Eds.), <i>Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)</i> (Vol. 2075). Utrecht, The Netherlands: CEUR-WS.org.","ieee":"F. S. Bäumer and M. Geierhos, “How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas,” in <i>Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)</i>, Utrecht, The Netherlands, 2018, vol. 2075.","chicago":"Bäumer, Frederik Simon, and Michaela Geierhos. “How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas.” In <i>Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)</i>, edited by Klaus Schmid, Paola Spoletini, Eya Ben Charrada, Yoram Chisik, Fabiano Dalpiaz, Alessio Ferrari, Peter Forbrig, et al., Vol. 2075. CEUR Workshop Proceedings. CEUR-WS.org, 2018.","short":"F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.","mla":"Bäumer, Frederik Simon, and Michaela Geierhos. “How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas.” <i>Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)</i>, edited by Klaus Schmid et al., vol. 2075, CEUR-WS.org, 2018.","ama":"Bäumer FS, Geierhos M. How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas. In: Schmid K, Spoletini P, Ben Charrada E, et al., eds. <i>Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)</i>. Vol 2075. CEUR Workshop Proceedings. CEUR-WS.org; 2018.","bibtex":"@inproceedings{Bäumer_Geierhos_2018, series={CEUR Workshop Proceedings}, title={How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas}, volume={2075}, booktitle={Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)}, publisher={CEUR-WS.org}, author={Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Schmid, Klaus and Spoletini, Paola and Ben Charrada, Eya and Chisik, Yoram and Dalpiaz, Fabiano and Ferrari, Alessio and Forbrig, Peter and Franch, Xavier and Kirikova, Marite and Madhavji, Nazim and et al.Editors}, year={2018}, collection={CEUR Workshop Proceedings} }"},"file_date_updated":"2018-11-02T13:52:54Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901 - Subproject B1","_id":"9"}],"quality_controlled":"1","oa":"1"},{"date_created":"2018-03-02T09:27:12Z","file":[{"date_updated":"2018-11-02T14:36:55Z","relation":"main_file","access_level":"closed","file_size":530902,"file_name":"NLP4RE_paper3.pdf","content_type":"application/pdf","success":1,"file_id":"5276","creator":"ups","date_created":"2018-11-02T14:36:55Z"}],"department":[{"_id":"36"},{"_id":"1"},{"_id":"579"}],"type":"conference","publication":"Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)","abstract":[{"lang":"eng","text":"Natural language requirement descriptions are often unstructured, contradictory and incomplete and are therefore challenging for automatic processing. Although many of these deficits can be compensated by means of Natural Language Processing, there still remain cases where interaction with end-users is necessary for clarification. In this paper, we present our idea of using chatbot technology to establish end-user communication in order to support the automatic compensation of some deficits in natural language requirement descriptions."}],"series_title":"CEUR Workshop Proceedings","language":[{"iso":"eng"}],"main_file_link":[{"url":"http://ceur-ws.org/Vol-2075/NLP4RE_paper3.pdf","open_access":"1"}],"publication_identifier":{"issn":["1613-0073"]},"author":[{"first_name":"Edwin","last_name":"Friesen","full_name":"Friesen, Edwin"},{"id":"38837","first_name":"Frederik Simon","last_name":"Bäumer","full_name":"Bäumer, Frederik Simon"},{"id":"42496","full_name":"Geierhos, Michaela","first_name":"Michaela","orcid":"0000-0002-8180-5606","last_name":"Geierhos"}],"year":"2018","title":"CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface","intvolume":"      2075","publication_status":"published","date_updated":"2022-01-06T06:51:10Z","oa":"1","citation":{"mla":"Friesen, Edwin, et al. “CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface.” <i>Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)</i>, edited by Klaus  Schmid et al., vol. 2075, CEUR-WS.org, 2018.","ama":"Friesen E, Bäumer FS, Geierhos M. CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface. In: Schmid K, Spoletini P, Ben Charrada E, et al., eds. <i>Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)</i>. Vol 2075. CEUR Workshop Proceedings. CEUR-WS.org; 2018.","bibtex":"@inproceedings{Friesen_Bäumer_Geierhos_2018, series={CEUR Workshop Proceedings}, title={CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface}, volume={2075}, booktitle={Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)}, publisher={CEUR-WS.org}, author={Friesen, Edwin and Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Schmid, Klaus  and Spoletini, Paola  and Ben Charrada, Eya  and Chisik, Yoram  and Dalpiaz, Fabiano  and Ferrari, Alessio  and Forbrig, Peter  and Franch, Xavier  and Kirikova, Marite  and Madhavji, Nazim  and et al.Editors}, year={2018}, collection={CEUR Workshop Proceedings} }","apa":"Friesen, E., Bäumer, F. S., &#38; Geierhos, M. (2018). CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface. In K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … A. Zamansky (Eds.), <i>Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)</i> (Vol. 2075). Utrecht, The Netherlands: CEUR-WS.org.","ieee":"E. Friesen, F. S. Bäumer, and M. Geierhos, “CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface,” in <i>Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)</i>, Utrecht, The Netherlands, 2018, vol. 2075.","short":"E. Friesen, F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.","chicago":"Friesen, Edwin, Frederik Simon Bäumer, and Michaela Geierhos. “CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface.” In <i>Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)</i>, edited by Klaus  Schmid, Paola  Spoletini, Eya  Ben Charrada, Yoram  Chisik, Fabiano  Dalpiaz, Alessio  Ferrari, Peter  Forbrig, et al., Vol. 2075. CEUR Workshop Proceedings. CEUR-WS.org, 2018."},"file_date_updated":"2018-11-02T14:36:55Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"9","name":"SFB 901 - Subproject B1"}],"quality_controlled":"1","_id":"1182","publisher":"CEUR-WS.org","volume":2075,"editor":[{"full_name":"Schmid, Klaus ","last_name":"Schmid","first_name":"Klaus "},{"last_name":"Spoletini","first_name":"Paola ","full_name":"Spoletini, Paola "},{"full_name":"Ben Charrada, Eya ","last_name":"Ben Charrada","first_name":"Eya "},{"first_name":"Yoram ","last_name":"Chisik","full_name":"Chisik, Yoram "},{"first_name":"Fabiano ","last_name":"Dalpiaz","full_name":"Dalpiaz, Fabiano "},{"last_name":"Ferrari","first_name":"Alessio ","full_name":"Ferrari, Alessio "},{"first_name":"Peter ","last_name":"Forbrig","full_name":"Forbrig, Peter "},{"last_name":"Franch","first_name":"Xavier ","full_name":"Franch, Xavier "},{"first_name":"Marite ","last_name":"Kirikova","full_name":"Kirikova, Marite "},{"full_name":"Madhavji, Nazim ","last_name":"Madhavji","first_name":"Nazim "},{"last_name":"Palomares","first_name":"Cristina ","full_name":"Palomares, Cristina "},{"full_name":"Ralyté, Jolita ","first_name":"Jolita ","last_name":"Ralyté"},{"full_name":"Sabetzadeh, Mehrdad ","first_name":"Mehrdad ","last_name":"Sabetzadeh"},{"full_name":"Sawyer, Pete ","first_name":"Pete ","last_name":"Sawyer"},{"full_name":"van der Linden, Dirk ","first_name":"Dirk ","last_name":"van der Linden"},{"full_name":"Zamansky, Anna ","first_name":"Anna ","last_name":"Zamansky"}],"user_id":"477","ddc":["000"],"conference":{"end_date":"2018-03-19","location":"Utrecht, The Netherlands","name":"1st Workshop on Natural Language Processing for Requirements Engineering (NLP4RE)","start_date":"2018-03-19"},"status":"public","has_accepted_license":"1"},{"date_created":"2018-03-02T09:28:59Z","file":[{"creator":"ups","date_created":"2018-11-02T14:40:58Z","file_name":"NLP4RE_paper5.pdf","file_size":254814,"access_level":"closed","relation":"main_file","date_updated":"2018-11-02T14:40:58Z","file_id":"5279","success":1,"content_type":"application/pdf"}],"department":[{"_id":"36"},{"_id":"1"},{"_id":"579"}],"type":"conference","publication":"Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)","abstract":[{"text":"As our world grows in complexity, companies and employees alike need, more than ever before, solutions tailored to their exact needs. Since such tools cannot always be purchased off-the-shelf and need to be designed from the ground up, developers rely on software requirements. In this paper, we present our vision of a syntactic rule-based extraction\r\ntool for software requirements specification documents. In contrast to other methods, our tool will allow stakeholders to express their needs and wishes in unfiltered natural language, which we believe is essential for non-expert users.","lang":"eng"}],"language":[{"iso":"eng"}],"series_title":"CEUR Workshop Proceedings","main_file_link":[{"url":"http://ceur-ws.org/Vol-2075/NLP4RE_paper5.pdf","open_access":"1"}],"author":[{"full_name":"Caron, Matthew","last_name":"Caron","first_name":"Matthew"},{"id":"38837","first_name":"Frederik Simon","last_name":"Bäumer","full_name":"Bäumer, Frederik Simon"},{"full_name":"Geierhos, Michaela","first_name":"Michaela","orcid":"0000-0002-8180-5606","last_name":"Geierhos","id":"42496"}],"publication_identifier":{"issn":["1613-0073"]},"title":"Back to Basics: Extracting Software Requirements with a Syntactic Approach","year":"2018","intvolume":"      2075","publication_status":"published","date_updated":"2022-01-06T06:51:11Z","oa":"1","citation":{"ieee":"M. Caron, F. S. Bäumer, and M. Geierhos, “Back to Basics: Extracting Software Requirements with a Syntactic Approach,” in <i>Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)</i>, Utrecht, The Netherlands, 2018, vol. 2075.","apa":"Caron, M., Bäumer, F. S., &#38; Geierhos, M. (2018). Back to Basics: Extracting Software Requirements with a Syntactic Approach. In K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … A. Zamansky (Eds.), <i>Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)</i> (Vol. 2075). Utrecht, The Netherlands: CEUR-WS.org.","short":"M. Caron, F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.","chicago":"Caron, Matthew, Frederik Simon Bäumer, and Michaela Geierhos. “Back to Basics: Extracting Software Requirements with a Syntactic Approach.” In <i>Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)</i>, edited by Klaus Schmid, Paola Spoletini, Eya Ben Charrada, Yoram Chisik, Fabiano Dalpiaz, Alessio Ferrari, Peter Forbrig, et al., Vol. 2075. CEUR Workshop Proceedings. CEUR-WS.org, 2018.","mla":"Caron, Matthew, et al. “Back to Basics: Extracting Software Requirements with a Syntactic Approach.” <i>Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)</i>, edited by Klaus Schmid et al., vol. 2075, CEUR-WS.org, 2018.","bibtex":"@inproceedings{Caron_Bäumer_Geierhos_2018, series={CEUR Workshop Proceedings}, title={Back to Basics: Extracting Software Requirements with a Syntactic Approach}, volume={2075}, booktitle={Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)}, publisher={CEUR-WS.org}, author={Caron, Matthew and Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Schmid, Klaus and Spoletini, Paola and Ben Charrada, Eya and Chisik, Yoram and Dalpiaz, Fabiano and Ferrari, Alessio and Forbrig, Peter and Franch, Xavier and Kirikova, Marite and Madhavji, Nazim and et al.Editors}, year={2018}, collection={CEUR Workshop Proceedings} }","ama":"Caron M, Bäumer FS, Geierhos M. Back to Basics: Extracting Software Requirements with a Syntactic Approach. In: Schmid K, Spoletini P, Ben Charrada E, et al., eds. <i>Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)</i>. Vol 2075. CEUR Workshop Proceedings. CEUR-WS.org; 2018."},"file_date_updated":"2018-11-02T14:40:58Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"9","name":"SFB 901 - Subproject B1"}],"quality_controlled":"1","_id":"1183","publisher":"CEUR-WS.org","volume":2075,"editor":[{"last_name":"Schmid","first_name":"Klaus","full_name":"Schmid, Klaus"},{"last_name":"Spoletini","first_name":"Paola","full_name":"Spoletini, Paola"},{"first_name":"Eya","last_name":"Ben Charrada","full_name":"Ben Charrada, Eya"},{"full_name":"Chisik, Yoram","last_name":"Chisik","first_name":"Yoram"},{"first_name":"Fabiano","last_name":"Dalpiaz","full_name":"Dalpiaz, Fabiano"},{"last_name":"Ferrari","first_name":"Alessio","full_name":"Ferrari, Alessio"},{"first_name":"Peter","last_name":"Forbrig","full_name":"Forbrig, Peter"},{"full_name":"Franch, Xavier","first_name":"Xavier","last_name":"Franch"},{"full_name":"Kirikova, Marite","last_name":"Kirikova","first_name":"Marite"},{"last_name":"Madhavji","first_name":"Nazim","full_name":"Madhavji, Nazim"},{"full_name":"Palomares, Cristina","last_name":"Palomares","first_name":"Cristina"},{"full_name":"Ralyté, Jolita","last_name":"Ralyté","first_name":"Jolita"},{"full_name":"Sabetzadeh, Mehrdad","first_name":"Mehrdad","last_name":"Sabetzadeh"},{"last_name":"Sawyer","first_name":"Pete","full_name":"Sawyer, Pete"},{"last_name":"van der Linden","first_name":"Dirk","full_name":"van der Linden, Dirk"},{"first_name":"Anna","last_name":"Zamansky","full_name":"Zamansky, Anna"}],"user_id":"477","ddc":["000"],"conference":{"end_date":"2018-03-19","location":"Utrecht, The Netherlands","name":"1st Workshop on Natural Language Processing for Requirements Engineering (NLP4RE)","start_date":"2018-03-19"},"status":"public","has_accepted_license":"1"},{"date_updated":"2022-05-09T15:04:38Z","status":"public","title":"Learning to Flip the Bias of News Headlines","year":"2018","author":[{"first_name":"Wei-Fan","last_name":"Chen","full_name":"Chen, Wei-Fan","id":"82920"},{"last_name":"Wachsmuth","first_name":"Henning","full_name":"Wachsmuth, Henning","id":"3900"},{"first_name":"Khalid","last_name":"Al Khatib","full_name":"Al Khatib, Khalid"},{"last_name":"Stein","first_name":"Benno","full_name":"Stein, Benno"}],"user_id":"82920","main_file_link":[{"url":"https://www.aclweb.org/anthology/W18-6509.pdf"}],"page":"79-88","publisher":"Association for Computational Linguistics","_id":"11710","language":[{"iso":"eng"}],"project":[{"_id":"1","name":"SFB 901: SFB 901"},{"name":"SFB 901 - B: SFB 901 - Project Area B","_id":"3"},{"_id":"9","name":"SFB 901 - B1: SFB 901 - Subproject B1"}],"publication":"Proceedings of the 11th International Conference on Natural Language Generation","citation":{"chicago":"Chen, Wei-Fan, Henning Wachsmuth, Khalid Al Khatib, and Benno Stein. “Learning to Flip the Bias of News Headlines.” In <i>Proceedings of the 11th International Conference on Natural Language Generation</i>, 79–88. Association for Computational Linguistics, 2018.","short":"W.-F. Chen, H. Wachsmuth, K. Al Khatib, B. Stein, in: Proceedings of the 11th International Conference on Natural Language Generation, Association for Computational Linguistics, 2018, pp. 79–88.","ama":"Chen W-F, Wachsmuth H, Al Khatib K, Stein B. Learning to Flip the Bias of News Headlines. In: <i>Proceedings of the 11th International Conference on Natural Language Generation</i>. Association for Computational Linguistics; 2018:79-88.","bibtex":"@inproceedings{Chen_Wachsmuth_Al Khatib_Stein_2018, title={Learning to Flip the Bias of News Headlines}, booktitle={Proceedings of the 11th International Conference on Natural Language Generation}, publisher={Association for Computational Linguistics}, author={Chen, Wei-Fan and Wachsmuth, Henning and Al Khatib, Khalid and Stein, Benno}, year={2018}, pages={79–88} }","apa":"Chen, W.-F., Wachsmuth, H., Al Khatib, K., &#38; Stein, B. (2018). Learning to Flip the Bias of News Headlines. <i>Proceedings of the 11th International Conference on Natural Language Generation</i>, 79–88.","mla":"Chen, Wei-Fan, et al. “Learning to Flip the Bias of News Headlines.” <i>Proceedings of the 11th International Conference on Natural Language Generation</i>, Association for Computational Linguistics, 2018, pp. 79–88.","ieee":"W.-F. Chen, H. Wachsmuth, K. Al Khatib, and B. Stein, “Learning to Flip the Bias of News Headlines,” in <i>Proceedings of the 11th International Conference on Natural Language Generation</i>, 2018, pp. 79–88."},"type":"conference","department":[{"_id":"600"},{"_id":"568"}],"date_created":"2019-07-11T13:13:43Z"},{"date_created":"2019-11-11T09:51:05Z","department":[{"_id":"600"}],"type":"conference","citation":{"mla":"Chen, Wei-Fan, et al. “A User Study on Snippet Generation: Text Reuse vs. Paraphrases.” <i>Proceedings of the 41st International ACM SIGIR Conference on Research &#38; Development in Information Retrieval</i>, 2018, pp. 1033–36.","bibtex":"@inproceedings{Chen_Hagen_Stein_Potthast_2018, title={A User Study on Snippet Generation: Text Reuse vs. Paraphrases}, booktitle={Proceedings of the 41st International ACM SIGIR Conference on Research &#38; Development in Information Retrieval}, author={Chen, Wei-Fan and Hagen, Matthias and Stein, Benno and Potthast, Martin}, year={2018}, pages={1033–1036} }","ama":"Chen W-F, Hagen M, Stein B, Potthast M. A User Study on Snippet Generation: Text Reuse vs. Paraphrases. In: <i>Proceedings of the 41st International ACM SIGIR Conference on Research &#38; Development in Information Retrieval</i>. ; 2018:1033-1036.","ieee":"W.-F. Chen, M. Hagen, B. Stein, and M. Potthast, “A User Study on Snippet Generation: Text Reuse vs. Paraphrases,” in <i>Proceedings of the 41st International ACM SIGIR Conference on Research &#38; Development in Information Retrieval</i>, 2018, pp. 1033–1036.","apa":"Chen, W.-F., Hagen, M., Stein, B., &#38; Potthast, M. (2018). A User Study on Snippet Generation: Text Reuse vs. Paraphrases. <i>Proceedings of the 41st International ACM SIGIR Conference on Research &#38; Development in Information Retrieval</i>, 1033–1036.","short":"W.-F. Chen, M. Hagen, B. Stein, M. Potthast, in: Proceedings of the 41st International ACM SIGIR Conference on Research &#38; Development in Information Retrieval, 2018, pp. 1033–1036.","chicago":"Chen, Wei-Fan, Matthias Hagen, Benno Stein, and Martin Potthast. “A User Study on Snippet Generation: Text Reuse vs. Paraphrases.” In <i>Proceedings of the 41st International ACM SIGIR Conference on Research &#38; Development in Information Retrieval</i>, 1033–36, 2018."},"publication":"Proceedings of the 41st International ACM SIGIR Conference on Research & Development in Information Retrieval","project":[{"_id":"1","name":"SFB 901: SFB 901"},{"_id":"3","name":"SFB 901 - B: SFB 901 - Project Area B"},{"_id":"9","name":"SFB 901 - B1: SFB 901 - Subproject B1"}],"_id":"14873","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://dl.acm.org/doi/pdf/10.1145/3209978.3210149"}],"page":"1033-1036","user_id":"82920","author":[{"id":"82920","full_name":"Chen, Wei-Fan","first_name":"Wei-Fan","last_name":"Chen"},{"last_name":"Hagen","first_name":"Matthias","full_name":"Hagen, Matthias"},{"first_name":"Benno","last_name":"Stein","full_name":"Stein, Benno"},{"last_name":"Potthast","first_name":"Martin","full_name":"Potthast, Martin"}],"year":"2018","status":"public","title":"A User Study on Snippet Generation: Text Reuse vs. Paraphrases","date_updated":"2022-05-09T15:04:59Z"}]