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, Frederik Simon, and Michaela Geierhos. “NLP in OTF Computing: Current Approaches and Open Challenges.” In Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018), edited by Robertas Damaševičius and Giedrė Vasiljevienė, 920:559–70. Communications in Computer and Information Science. Cham, Switzerland: Springer, 2018. https://doi.org/10.1007/978-3-319-99972-2_46.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 44 | 
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 Proceedings of the 51st Hawaii International Conference on System Sciences, 5746–55, 2018. https://doi.org/10125/50609.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 4999
Pauck, Felix, Eric Bodden, and Heike Wehrheim. “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. https://doi.org/10.1145/3236024.3236029.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 5203
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 European Conference on Object-Oriented Programming (ECOOP), 10:1-10:27, 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 1043
Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “Validity of Software Verification Results on Approximate Hardware.” IEEE Embedded Systems Letters, 2018, 22–25. https://doi.org/10.1109/LES.2017.2758200.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer, Richard. 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, Jan Niclas. Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1096
Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Reducer-Based Construction of Conditional Verifiers.” In Proceedings of the 40th International Conference on Software Engineering (ICSE), 1182--1193. ACM, 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch, Felix Paul. Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn, 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 1104
Geierhos, Michaela. “Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen.” In Unschärfe - Der Umgang mit fehlender Eindeutigkeit, 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.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1181 |
Bäumer, Frederik Simon, and Michaela Geierhos. “How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas.” In 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), 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.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1182 |
Friesen, Edwin, Frederik Simon Bäumer, and Michaela Geierhos. “CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface.” In 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), 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.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1183 |
Caron, Matthew, Frederik Simon Bäumer, and Michaela Geierhos. “Back to Basics: Extracting Software Requirements with a Syntactic Approach.” In 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), 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.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11710
Chen, Wei-Fan, Henning Wachsmuth, Khalid Al Khatib, and Benno Stein. “Learning to Flip the Bias of News Headlines.” In Proceedings of the 11th International Conference on Natural Language Generation, 79–88. Association for Computational Linguistics, 2018.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 14873
Chen, Wei-Fan, Matthias Hagen, Benno Stein, and Martin Potthast. “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, 1033–36, 2018.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 14885
Potthast, Martin, Wei-Fan Chen, Matthias Hagen, and Benno Stein. “A Plan for Ancillary Copyright: Original Snippets.” In Proceedings of the Second International Workshop on Recent Trends in News Information Retrieval, 3–5, 2018.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 3325
Melnikov, Vitalik, and Eyke Hüllermeier. “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. https://doi.org/10.5445/KSP/1000074341.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 3512
Börding, Paul. Testing Java Method Contracts. Universität Paderborn, 2017.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 3580
Hansmeier, Tim. An FPGA Accelerator for Checking Resolution Proofs. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 114
Jakobs, Marie-Christine, and Heike Wehrheim. “Compact Proof Witnesses.” In NASA Formal Methods: 9th International Symposium, edited by Clark Barrett, Misty Davies, and Temesghen Kahsai, 389–403. Lecture Notes in Computer Science, 2017. https://doi.org/10.1007/978-3-319-57288-8_28.
LibreCat
| Files available
| DOI