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 | 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
2016 | Conference Paper | LibreCat-ID: 158
Bäumer, F. S., & Geierhos, M. (2016). Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions. In G. Dregvaite & R. Damasevicius (Eds.), Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST) (Vol. 639, pp. 549–558). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-46254-7_44
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 150
Arifulina, S. (2016). Solving Heterogeneity for a Successful Service Market. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-13
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 160
van Rooijen, L., & Hamann, H. (2016). Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm. In Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016) (pp. 3--9). https://doi.org/10.1109/REW.2016.015
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 162
Zhang, G. (2016). Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 164
Czech, M. (2016). Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn.
LibreCat
2016 | Dissertation | LibreCat-ID: 140
Jungmann, A. (2016). Towards On-The-Fly Image Processing. Universität Paderborn.
LibreCat
| Files available
2016 | Dissertation | LibreCat-ID: 141
Mohr, F. (2016). Towards Automated Service Composition Under Quality Constraints. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-171
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 132
Wiersema, T., & Platzner, M. (2016). Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware. In Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016) (pp. 1--8). https://doi.org/10.1109/ReCoSoC.2016.7533910
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 133
Dewender, M. (2016). Verifikation von Service Kompositionen mit Spin. Universität Paderborn.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 134
Heinisch, P. (2016). Verifikation von Service Kompositionen mit Prolog. Universität Paderborn.
LibreCat