Bröcher, H. (2016). Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn.
LibreCat: /record/201

Melnikov, V., Hüllermeier, E., Kaimann, D., Frick, B., &; Gupta,https://doi.org/10.4467/20838476si.16.006.6187__Pritha . (2016). Pairwise versus Pointwise Ranking: A Case Study. Schedae Informaticae, 25.https://doi.org/10.4467/20838476si.16.006.6187 
LibreCat: /record/3318
DOI: 10.4467/20838476si.16.006.6187

Beringer, S., &; Wehrheim, H. (2016). Verification of AUTOSAR Software Architectures with Timed Automata. In M. H. ter Beek, S. Gnesi, &; A. Knapp (Eds.), 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 (pp. 189--204).https://doi.org/10.1007/978-3-319-45943-1_13 
LibreCat: /record/3157
DOI: 10.1007/978-3-319-45943-1_13

Heck, E. (2016). Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace. Universität Paderborn.
LibreCat: /record/173

Schwentker, C. (2016). Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen. Universität Paderborn.
LibreCat: /record/174

Walther, S., &; Wehrheim, H. (2016). On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs. Science of Computer Programming, 2--23.https://doi.org/10.1016/j.scico.2016.04.002 
LibreCat: /record/175
DOI: 10.1016/j.scico.2016.04.002

Dollmann, M., &; Geierhos, M. (2016). On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements. In Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP) (pp. 1807–1816). Austin, TX, USA: Association for Computational Linguistics (ACL).
LibreCat: /record/176

Platenius, M. C., Shaker, A., Becker, M., Hüllermeier, E., &; Schäfer, W. (2016). Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic. IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017, (8), 739–759.https://doi.org/10.1109/TSE.2016.2632115 
LibreCat: /record/190
DOI: 10.1109/TSE.2016.2632115

Geierhos, M., &; Bäumer, F. S. (2016). How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement. In E. Métais, F. Meziane, M. Saraee, V. Sugumaran, &; S. Vadera (Eds.), Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB) (Vol. 9612, pp. 37–47). Cham, Switzerland: Springer.https://doi.org/10.1007/978-3-319-41754-7_4 
LibreCat: /record/191
DOI: 10.1007/978-3-319-41754-7_4

Reckhorn, L. (2016). Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling. Universität Paderborn.
LibreCat: /record/192

Stanco, S. (2016). Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen. Universität Paderborn.
LibreCat: /record/181

Melnikov, V., &; Hüllermeier, E. (2016). Learning to Aggregate Using Uninorms. In Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016) (pp. 756–771).https://doi.org/10.1007/978-3-319-46227-1_47 
LibreCat: /record/184
DOI: 10.1007/978-3-319-46227-1_47

Czech, M., Jakobs, M.-C., &; Wehrheim, H. (2016). Just test what you cannot verify! In U. Z. Jens Knoop (Ed.), Software Engineering 2016 (pp. 17–18).
LibreCat: /record/186

Platenius, M. C., Josifovska, K., van Rooijen, L., Arifulina, S., Becker, M., Engels, G., &; Schäfer, W. (2016). An Overview of Service Specification Language and Matching in On-The-Fly Computing (.3). Universität Paderborn.
LibreCat: /record/221

Wiersema, T., Bockhorn, A., &; Platzner, M. (2016). An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip. Computers &; Electrical Engineering, 112--122.https://doi.org/10.1016/j.compeleceng.2016.04.005 
LibreCat: /record/222
DOI: 10.1016/j.compeleceng.2016.04.005

Krämer, J., &; Wehrheim, H. (2016). A short survey on using software error localization for service compositions. In Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016) (pp. 248--262).https://doi.org/10.1007/978-3-319-44482-6_16 
LibreCat: /record/224
DOI: 10.1007/978-3-319-44482-6_16

Jungmann, A., &; Kleinjohann, B. (2016). A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality. In Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (pp. 1--8).https://doi.org/10.1109/ETFA.2016.7733522 
LibreCat: /record/225
DOI: 10.1109/ETFA.2016.7733522

Krämer, J., &; Wehrheim, H. (2016). A Formal Approach to Error Localization and Correction in Service Compositions. In Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) (pp. 445--457).https://doi.org/10.1007/978-3-319-50230-4_35 
LibreCat: /record/226
DOI: 10.1007/978-3-319-50230-4_35

Töws, M., &; Wehrheim, H. (2016). A CEGAR Scheme for Information Flow Analysis. In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016) (pp. 466--483).https://doi.org/10.1007/978-3-319-47846-3_29 
LibreCat: /record/227
DOI: 10.1007/978-3-319-47846-3_29

Schwichtenberg, S. (2016). Automatized Derivation of Comprehensive Specifications for Black-box Services. In Proceedings of the 38th International Conference on Software Engineering Companion (ICSE) (pp. 815–818).https://doi.org/10.1145/2889160.2889271 
LibreCat: /record/217
DOI: 10.1145/2889160.2889271