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
2016 | Journal Article | LibreCat-ID: 175
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
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 176 | 
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
| Files available
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 190
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
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 191
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
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 192
Reckhorn, L. (2016). Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling. Universität Paderborn.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 181
Stanco, S. (2016). Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen. Universität Paderborn.
LibreCat
2016 | Conference Paper | LibreCat-ID: 184
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
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 186
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
| Files available
2016 | Report | LibreCat-ID: 221
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 (v0.3). Universität Paderborn.
LibreCat
| Files available
2016 | Journal Article | LibreCat-ID: 222
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
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 224
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
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 225
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
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 226
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
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 227
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
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 217
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
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 218
Jungmann, A., & Kleinjohann, B. (2016). Automatic Composition of Service-based Image Processing Applications. In Proceedings of the 13th IEEE International Conference on Services Computing (SCC) (pp. 106--113). https://doi.org/10.1109/SCC.2016.21
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 5205
Späth, J., Nguyen Quang Do, L., Ali, K., & Bodden, E. (2016). Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. In European Conference on Object-Oriented Programming (ECOOP).
LibreCat
| Files available
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 169
Kühne, T., Hamann, H., Arifulina, S., & Engels, G. (2016). Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application. In Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016) (pp. 278--293). https://doi.org/10.1007/978-3-319-30668-1_18
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 170
Jakobs, M.-C., Töws, M., & Pauck, F. (2016). PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper). In T. E. Ishikawa F, Romanovsky A (Ed.), Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems.
LibreCat
| Files available
2016 | Dissertation | LibreCat-ID: 1190
Isenberg, T. (2016). Induction-based Verification of Timed Systems. Universität Paderborn.
LibreCat
| Files available