Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
367 Publications
2018 | Journal Article | LibreCat-ID: 2331
Kim Y, Lee S, Dollmann M, Geierhos M. Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure. International Journal of Advanced Science and Technology. 2018;112:123-136. doi:10.14257/ijast.2018.112.12
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 5693
Graf H. Ranking of Classification Algorithms in AutoML. Universität Paderborn; 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 5774
Töws M, Wehrheim H. Information Flow Certificates. In: Theoretical Aspects of Computing – ICTAC 2018. Cham: Springer International Publishing; 2018:435-454. doi:10.1007/978-3-030-02508-3_23
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 5936
Scheibl M. Learning about Learning Curves from Dataset Properties. Universität Paderborn; 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 6423
Schäfer D, Hüllermeier E. Preference-Based Reinforcement Learning Using Dyad Ranking. In: Discovery Science. Cham: Springer International Publishing; 2018:161-175. doi:10.1007/978-3-030-01771-2_11
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 4339
Bäumer FS, Geierhos M. NLP in OTF Computing: Current Approaches and Open Challenges. In: Damaševičius R, Vasiljevienė G, eds. Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018). Vol 920. Communications in Computer and Information Science. Cham, Switzerland: Springer; 2018:559-570. doi:10.1007/978-3-319-99972-2_46
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 44 | 
Bäumer FS, Geierhos M. Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-based Configuration of Text Analysis Pipelines. In: Proceedings of the 51st Hawaii International Conference on System Sciences. ; 2018:5746-5755. doi:10125/50609
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 4999
Pauck F, Bodden E, Wehrheim H. Do Android taint analysis tools keep their promises? 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. doi:10.1145/3236024.3236029
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 5203
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: European Conference on Object-Oriented Programming (ECOOP). ; 2018:10:1-10:27.
LibreCat
| Files available
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 1043
Isenberg T, Jakobs M-C, Pauck F, Wehrheim H. Validity of Software Verification Results on Approximate Hardware. IEEE Embedded Systems Letters. 2018:22-25. doi:10.1109/LES.2017.2758200
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer R. Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis. Universität Paderborn; 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
Strüwer JN. Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn; 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1096
Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Reducer-Based Construction of Conditional Verifiers. In: Proceedings of the 40th International Conference on Software Engineering (ICSE). ACM; 2018:1182--1193.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch FP. Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn; 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 1104
Geierhos M. Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen. In: Freitag S, Geierhos M, Asmani R, Haug JI, eds. Unschärfe - Der Umgang mit fehlender Eindeutigkeit. 1st ed. Nordrhein-Westfälische Akademie der Wissenschaften und der Künste - Junges Kolleg. Paderborn, Germany: Ferdinand Schöningh; 2018:111-128.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1181 |
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. 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). Vol 2075. CEUR Workshop Proceedings. CEUR-WS.org; 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1182 |
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. 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). Vol 2075. CEUR Workshop Proceedings. CEUR-WS.org; 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1183 |
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. 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). Vol 2075. CEUR Workshop Proceedings. CEUR-WS.org; 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11710
Chen W-F, Wachsmuth H, Al Khatib K, Stein B. Learning to Flip the Bias of News Headlines. In: Proceedings of the 11th International Conference on Natural Language Generation. Association for Computational Linguistics; 2018:79-88.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 14873
Chen W-F, Hagen M, Stein B, Potthast M. A User Study on Snippet Generation: Text Reuse vs. Paraphrases. In: Proceedings of the 41st International ACM SIGIR Conference on Research & Development in Information Retrieval. ; 2018:1033-1036.
LibreCat
| Download (ext.)