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
@article{Kim_Lee_Dollmann_Geierhos_2018, title={Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure}, volume={112}, DOI={10.14257/ijast.2018.112.12}, 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} }
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 5693
@book{Graf_2018, title={Ranking of Classification Algorithms in AutoML}, publisher={Universität Paderborn}, author={Graf, Helena}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 5774
@inproceedings{Töws_Wehrheim_2018, place={Cham}, title={Information Flow Certificates}, DOI={10.1007/978-3-030-02508-3_23}, booktitle={Theoretical Aspects of Computing – ICTAC 2018}, publisher={Springer International Publishing}, author={Töws, Manuel and Wehrheim, Heike}, year={2018}, pages={435–454} }
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 5936
@book{Scheibl_2018, title={Learning about learning curves from dataset properties}, publisher={Universität Paderborn}, author={Scheibl, Manuel}, year={2018} }
LibreCat
2018 | Book Chapter | LibreCat-ID: 6423
@inbook{Schäfer_Hüllermeier_2018, place={Cham}, title={Preference-Based Reinforcement Learning Using Dyad Ranking}, DOI={10.1007/978-3-030-01771-2_11}, booktitle={Discovery Science}, publisher={Springer International Publishing}, author={Schäfer, Dirk and Hüllermeier, Eyke}, year={2018}, pages={161–175} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 4339
@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={10.1007/978-3-319-99972-2_46}, 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} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 44 | 
@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={10125/50609}, booktitle={Proceedings of the 51st Hawaii International Conference on System Sciences}, author={Bäumer, Frederik Simon and Geierhos, Michaela}, year={2018}, pages={5746–5755} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 4999
@inproceedings{Pauck_Bodden_Wehrheim_2018, title={Do Android taint analysis tools keep their promises?}, DOI={10.1145/3236024.3236029}, 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} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 5203
@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} }
LibreCat
| Files available
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 1043
@article{Isenberg_Jakobs_Pauck_Wehrheim_2018, title={Validity of Software Verification Results on Approximate Hardware}, DOI={10.1109/LES.2017.2758200}, 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} }
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
@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} }
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
@book{Strüwer_2018, title={Interactive Data Visualization for Exploded Supergraphs}, publisher={Universität Paderborn}, author={Strüwer, Jan Niclas}, year={2018} }
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1096
@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} }
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
@book{Jentzsch_2018, title={Enforcing IP Core Connection Properties with Verifiable Security Monitors}, publisher={Universität Paderborn}, author={Jentzsch, Felix Paul}, year={2018} }
LibreCat
2018 | Book Chapter | LibreCat-ID: 1104
@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} }
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1181 |
@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} }
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1182 |
@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} }
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1183 |
@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} }
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11710
@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} }
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 14873
@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 & Development in Information Retrieval}, author={Chen, Wei-Fan and Hagen, Matthias and Stein, Benno and Potthast, Martin}, year={2018}, pages={1033–1036} }
LibreCat
| Download (ext.)