@bookBröcher_2016, title=Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung, publisher=Universität Paderborn, author=Bröcher, Henrik, year=2016 
LibreCat: /record/201

@articleMelnikov_Hüllermeier_Kaimann_Frick_Gupta_2016, title=Pairwise versus Pointwise Ranking: A Case Study, volume=25, DOI=10.4467/20838476si.16.006.6187, journal=Schedae Informaticae, publisher=Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego, author=Melnikov, Vitalik and Hüllermeier, Eyke and Kaimann, Daniel and Frick, Bernd10.4467/20838476si.16.006.6187__and Gupta,10.4467/20838476si.16.006.6187__Pritha , year=2016 
LibreCat: /record/3318
DOI: 10.4467/20838476si.16.006.6187

@inproceedingsBeringer_Wehrheim_2016, series=Lecture Notes in Computer Science, title=Verification of AUTOSAR Software Architectures with Timed Automata, DOI=10.1007/978-3-319-45943-1_13, booktitle=Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, author=Beringer, Steffen and Wehrheim, Heike, editor=H. ter Beek, Maurice and Gnesi, Stefania and Knapp, AlexanderEditors, year=2016, pages=189--204, collection=Lecture Notes in Computer Science 
LibreCat: /record/3157
DOI: 10.1007/978-3-319-45943-1_13

@bookHeck_2016, title=Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace, publisher=Universität Paderborn, author=Heck, Eduard, year=2016 
LibreCat: /record/173

@bookSchwentker_2016, title=Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen, publisher=Universität Paderborn, author=Schwentker, Christoph, year=2016 
LibreCat: /record/174

@articleWalther_Wehrheim_2016, title=On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs, DOI=10.1016/j.scico.2016.04.002, journal=Science of Computer Programming, publisher=Elsevier, author=Walther, Sven and Wehrheim, Heike, year=2016, pages=2--23 
LibreCat: /record/175
DOI: 10.1016/j.scico.2016.04.002

@inproceedingsDollmann_Geierhos_2016, place=Austin, TX, USA, title=On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements, booktitle=Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), publisher=Association for Computational Linguistics (ACL), author=Dollmann, Markus and Geierhos, Michaela, year=2016, pages=1807–1816 
LibreCat: /record/176

@articlePlatenius_Shaker_Becker_Hüllermeier_Schäfer_2016, title=Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic, DOI=10.1109/TSE.2016.2632115, number=8, journal=IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017, publisher=IEEE, author=Platenius, Marie Christin and Shaker, Ammar and Becker, Matthias and Hüllermeier, Eyke and Schäfer, Wilhelm, year=2016, pages=739–759 
LibreCat: /record/190
DOI: 10.1109/TSE.2016.2632115

@inproceedingsGeierhos_Bäumer_2016, place=Cham, Switzerland, series=Lecture Notes in Computer Science, title=How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement, volume=9612, DOI=10.1007/978-3-319-41754-7_4, booktitle=Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB), publisher=Springer, author=Geierhos, Michaela and Bäumer, Frederik Simon, editor=Métais, Elisabeth10.1007/978-3-319-41754-7_4__and Meziane, Farid10.1007/978-3-319-41754-7_4__and Saraee, Mohamad10.1007/978-3-319-41754-7_4__and Sugumaran, Vijayan10.1007/978-3-319-41754-7_4__and Vadera, Sunil Editors, year=2016, pages=37–47, collection=Lecture Notes in Computer Science 
LibreCat: /record/191
DOI: 10.1007/978-3-319-41754-7_4

@bookReckhorn_2016, title=Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling, publisher=Universität Paderborn, author=Reckhorn, Lena, year=2016 
LibreCat: /record/192

@bookStanco_2016, title=Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen, publisher=Universität Paderborn, author=Stanco, Stefan, year=2016 
LibreCat: /record/181

@inproceedingsMelnikov_Hüllermeier_2016, series=LNCS, title=Learning to Aggregate Using Uninorms, DOI=10.1007/978-3-319-46227-1_47, booktitle=Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), author=Melnikov, Vitaly and Hüllermeier, Eyke, year=2016, pages=756–771, collection=LNCS 
LibreCat: /record/184
DOI: 10.1007/978-3-319-46227-1_47

@inproceedingsCzech_Jakobs_Wehrheim_2016, series=Lecture Notes in Informatics, title=Just test what you cannot verify!, booktitle=Software Engineering 2016, author=Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike, editor=Jens Knoop, Uwe ZdunEditor, year=2016, pages=17–18, collection=Lecture Notes in Informatics 
LibreCat: /record/186

@bookPlatenius_Josifovska_van Rooijen_Arifulina_Becker_Engels_Schäfer_2016, title=An Overview of Service Specification Language and Matching in On-The-Fly Computing (.3), publisher=Universität Paderborn, author=Platenius, Marie Christin and Josifovska, Klementina and van Rooijen, Lorijn and Arifulina, Svetlana and Becker, Matthias and Engels, Gregor and Schäfer, Wilhelm, year=2016 
LibreCat: /record/221

@articleWiersema_Bockhorn_Platzner_2016, title=An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip, DOI=10.1016/j.compeleceng.2016.04.005, journal=Computers &; Electrical Engineering, publisher=Elsevier, author=Wiersema, Tobias and Bockhorn, Arne and Platzner, Marco, year=2016, pages=112--122 
LibreCat: /record/222
DOI: 10.1016/j.compeleceng.2016.04.005

@inproceedingsKrämer_Wehrheim_2016, series=LNCS, title=A short survey on using software error localization for service compositions, DOI=10.1007/978-3-319-44482-6_16, booktitle=Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), author=Krämer, Julia and Wehrheim, Heike, year=2016, pages=248--262, collection=LNCS 
LibreCat: /record/224
DOI: 10.1007/978-3-319-44482-6_16

@inproceedingsJungmann_Kleinjohann_2016, title=A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality, DOI=10.1109/ETFA.2016.7733522, booktitle=Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), author=Jungmann, Alexander and Kleinjohann, Bernd, year=2016, pages=1--8 
LibreCat: /record/225
DOI: 10.1109/ETFA.2016.7733522

@inproceedingsKrämer_Wehrheim_2016, series=LNCS, title=A Formal Approach to Error Localization and Correction in Service Compositions, DOI=10.1007/978-3-319-50230-4_35, booktitle=Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), author=Krämer, Julia and Wehrheim, Heike, year=2016, pages=445--457, collection=LNCS 
LibreCat: /record/226
DOI: 10.1007/978-3-319-50230-4_35

@inproceedingsTöws_Wehrheim_2016, series=LNCS, title=A CEGAR Scheme for Information Flow Analysis, DOI=10.1007/978-3-319-47846-3_29, booktitle=Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), author=Töws, Manuel and Wehrheim, Heike, year=2016, pages=466--483, collection=LNCS 
LibreCat: /record/227
DOI: 10.1007/978-3-319-47846-3_29

@inproceedingsSchwichtenberg_2016, title=Automatized Derivation of Comprehensive Specifications for Black-box Services, DOI=10.1145/2889160.2889271, booktitle=Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), author=Schwichtenberg, Simon, year=2016, pages=815–818 
LibreCat: /record/217
DOI: 10.1145/2889160.2889271