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 | 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.)
2018 | Conference Paper | LibreCat-ID: 14885
Potthast M, Chen W-F, Hagen M, Stein B. A Plan for Ancillary Copyright: Original Snippets. In: Proceedings of the Second International Workshop on Recent Trends in News Information Retrieval. ; 2018:3-5.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 3325
Melnikov V, Hüllermeier E. Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics. In: Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017. KIT Scientific Publishing; 2017. doi:10.5445/KSP/1000074341
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 3512
Börding P. Testing Java Method Contracts. Universität Paderborn; 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 3580
Hansmeier T. An FPGA Accelerator for Checking Resolution Proofs. Universität Paderborn; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 114
Jakobs M-C, Wehrheim H. Compact Proof Witnesses. In: Barrett C, Davies M, Kahsai T, eds. NASA Formal Methods: 9th International Symposium. Lecture Notes in Computer Science. ; 2017:389-403. doi:10.1007/978-3-319-57288-8_28
LibreCat
| Files available
| DOI